Advent of Haskell @AdventOfHaskell
Advent of Haskell - presented by @anteiGmbH and @KonfyCare adventofhaskell.com Joined October 2020-
Tweets64
-
Followers585
-
Following353
-
Likes34
Day 24: A screencast! We are going to build an RSS reader in 90 minutes. adventofhaskell.com #haskell 🎄🧑🎄
Day 23: Here comes the "Santa Wrap" #haskell adventofhaskell.com 🎄🧑🎄
We now have all contributors in place. Ready for the 24th 🎉
Day 22: Let's talk a bit about "lower case #haskell" adventofhaskell.com 🧑🎄🎄
Day 21: Riccardo teaches us about scripting with trello #haskell adventofhaskell.com 🧑🎄🎄
Day 20: Thomas is "Reconciling concepts from FP and OOP" #Haskell adventofhaskell.com 🧑🎄🎄
Day 19: Today we are going to learn about "dependently typed folds" adventofhaskell.com #haskell 🎄🧑🎄
Day 18: We are going to hear the story of "beauty and the bytestring" #Haskell adventofhaskell.com 🎄🧑🎄
Once more with feeling! 💜 We still have one slot to cover. We just need one more secret Santa to cover all 24 days! 🧑🎄 DM or E-Mail to [email protected] #Haskell
Day 17: Alejandro is "Talking about Toys" #Haskell 🧑🎄🎄 adventofhaskell.com
Day 16: Let's make some music with #Haskell and Vivid synth! 🎶🧑🎄🎄 adventofhaskell.com
Day 15: "Getting acquainted with Lens" adventofhaskell.com #haskell
How do you manage information attached to your errors in your code? How do you make sure errors provide the right context? For @AdventOfHaskell, I wrote about why it's worth keeping that information structured, with a pattern for doing that in Haskell. jelv.is/blog/Structure…
Day 14: Tikhon is going to show you how to "Structure your errors" 🧑🎄🎄 #Haskell adventofhaskell.com
Anyone have some content they've been planning to finish over holiday break? Here's a fun way to ensure you finish it and publish it!
Anyone have some content they've been planning to finish over holiday break? Here's a fun way to ensure you finish it and publish it!
Not sure if they're still looking, but this is a great excuse to write that Haskell post you've been procrastinating on!
Not sure if they're still looking, but this is a great excuse to write that Haskell post you've been procrastinating on!
Day 13: Justin shows us how to "Roll your own Holly Jolly streaming combinators with Free" adventofhaskell.com #Haskell 🎄🧑🎄
Watching @CVlad doing a #Haskell live stream on a lazy Saturday afternoon! 🧑🎄twitch.tv/cvladfp
Camarade Hécate 🪬 @TechnoEmpress
2K Followers 2K Following @haskellfound data-djinniyya; Bifunctor disaster; Multifarious Motherfucker; Blockchain-free zone #Haskell they/them (PP by @HuntyDraws).Edward Kmett⏏️ @kmett
14K Followers 776 Following Founder/CTO of @Positron_AI Helping @ToposInstitute I tend to talk about Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/oP135HK8LMTom Sydney Kerckhove @kerckhove_ts
2K Followers 418 Following Professional Weirdo Learning American Sign LanguagePaweł Szulc @EncodePanda
3K Followers 644 Following Haskell, 范畴论, λ, Distributed Systems, Formal MethodsChris Penner @chrislpenner
23K Followers 19K Following he/him | Optics By Example: https://t.co/WC3SHRY4Kl | Cunningham's law made manifest. | Building @unisonwebJosé A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.🌸🐑 mlep🥛🌸 @yandereidiot
6K Followers 944 Following 🪬 Former CTO of @haskellfound 🧘 Core Eng Honcho @kadena_io 🪷 https://t.co/KikQ4pozJg 🐑 I love sheep ✨Alejandro Serrano @trupill
4K Followers 481 Following 👨💻 Researcher at Kotlin Evolution Team 🧙♂️ Haskell wizard 📚 Author of 4 books 👨👩👦👦 +1 of @ElenaVielvaJustin Lê @mstk
2K Followers 1K Following jle / mstksg / Lê Anh Khoa: Computational Science PhD, Physics BS, Haskeller & amateur musician; he / himHaskell Love Conferen.. @_haskellove
1K Followers 50 Following #haskelllove https://t.co/vg1yElERCf https://t.co/6KK9yrS6QlEric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala developer (author of the specs2 and registry libraries)Alexander Granin @graninas
5K Followers 893 Following 📚 Author 🏗️ Software Architect 🎞️ FP 🧩 OOP 🎙️ Speaker 🔬 Researcher 🐪 OCaml ✒️📜🚀👽 Sci-fi&Poetry 🧠 Thinker Book: Functional Design and Architecturesara :: panic! (the '.. @typed_hole
2K Followers 423 Following Video games, software engineering, functional programming, building bridges. Tweeting about whatever is on my mind! - Я вчу українську мовуSoso Ibn Ben Bakr Rus.. @PradoeSousa
342 Followers 1K Following Caucasiano. Direitista. Bolsonarista. Matemático. Corretor de imóveis. Armamentista!@chris__martin@functi.. @chris__martin
5K Followers 546 Following Married @argumatronic; Work Freckle by @RenLearnUS (not a representative); Writing @typeclasses; Private @toxicblockchain; Masto @[email protected]FTS @fishtreesugar
14 Followers 463 Followingusagi_zajec @usagi_zajec
15 Followers 323 FollowingMega @Megamegamium
0 Followers 2K FollowingPedro era o Cão @orlandolopeses
923 Followers 5K Following Trogloditas líricos não levam desafloros pra casa@gacallea@stereophoni.. @thecallea
82 Followers 312 Following Fuck this shit: https://t.co/2TNZJD5DKf - Find me here: https://t.co/HeLx229m3PTurning coffee into H.. @Haskelllearner
10 Followers 37 Following λ Coffee → Code Also, music. English & GermanBryan Honof @HonofBryan
168 Followers 579 Following 🧑💻Engineer at @floxdevelopment 🎸Playing guitar for @previseofficial 🧑🏫Lecturer at @HogeschoolPXL 🤔Opinions are my own!Jonathan @solidsnakedev
226 Followers 344 Following 👨💻 CTO @AnastasiaLabs | Smart Contract Architect 🔧 Creating open source solutions for the Cardano community | Let's build the future together!Yu-ri Gordon @ryeorthekaiser
31 Followers 364 FollowingÖmür Özkir @oem
191 Followers 466 Following rustacean 🦀 and array programming enthusiast, he/him @[email protected]amygdala :: ∀ a. a .. @thedrlazy
54 Followers 236 Following Medical student, Future's neurosurgeon, FP zombie, The man who knows the monads by Haskell and PureScript. If I can help you, don't be shy and contact me. :)Eryk Ciepiela @ErykCiepielaDev
1 Followers 30 Following🌗 @dp_fried
0 Followers 242 Followingkoijigen @koijigen
14 Followers 311 Following Hobbyist programma🌞 総て白帯🌈 独り言多め🖋️ 開発情報アンテナ乱立📡 Become coding mate🤗 photo🙏 * prof : https://t.co/UeBtFVUlEY by cocoparisienne. * back : https://t.co/gbpOaeAmdX by RitaE.neuroevolutus @neuroevolutus
4 Followers 982 FollowingArgav_Infinity @ArgavInfinity
7 Followers 116 Following Currently learning computer science | self-learninghamid @hamidkisha
142 Followers 825 FollowingUday Kiran @neoatnebula
14 Followers 127 Following 21 | POP_OS | neovim | Haskell | Twitter has shit!Tiberiu Alexandru @tiberiualex
59 Followers 635 Following JavaScript, TypeScript, learning Haskell and RustYongming Han @yongming_han
33 Followers 1K FollowingDenis Makovey @fsdfskjglkk
0 Followers 49 Followingshzmwfgwzf @asnawysl
172 Followers 5K Following Charity Volunteer, Buddhist Believer, Help those who are struggling in life and God will bless yousalim pamukcu @Salimp2009Salim
399 Followers 2K Following @[email protected] C++🚀🚀 & 🦀🦀 Self Learning Programmer C++23+, Rust , Haskell, Linux, vim/nvim, Lunarvim,... 🙈Dominic @__dommills
117 Followers 369 Following 🇯🇲 Former Mathematical Physicist turned Software Engineer | Wannabe Haskeller | @LindauNobel, @HLForum, @ICTPnews and @CERN alumnusRenan Oliveira @_roliveira0
199 Followers 4K FollowingRunner2323 @runner2323
99 Followers 5K FollowingCassandra Connors @psychedelicsn0w
3 Followers 111 Following I rescue animals and write code in Haskellsrini @srini98969145
72 Followers 1K FollowingAloz1 @Aloz1
22 Followers 132 FollowingEdil Medeiros @edil_medeiros
2K Followers 2K Following Computer engineering professor in the way to become a bitcoin specialist |🇧🇷🇺🇸| DM open 📬 | npub1uu8sdgm7geznwnaxhfgqs5wp6slhpm8tsdy6u852v72jawyk0faqc3hr2k∃ric βαiλεγ @yurrriq
298 Followers 750 Following highly functional yak stylist; armchair algebraist; käng tills död; lead kubernaut at @sportradar; opinions and such are my ownJeroen Bulters @bulters
511 Followers 1K Following Dad | 🤓 | Partner at Nerd As A Service | CISO at Betty BlocksBsky: @anders.sorby.x.. @anders_sorby
417 Followers 3K Following People&planet over profits. Antifascist. @partiet https://t.co/A1NU9RJOeT CTO/medgründer. Yatima lang dev. Make the world a better place. (Han/Ham)@[email protected].. @csaltos
1K Followers 5K Following Carlos Saltos Coding with Scala, Elm, Haskell, Python, Erlang, Gleam, Rust , Java and Ruby Co-Founder of https://t.co/geeguwPFul @[email protected]Haskell Spotlight @HaskellSpot
422 Followers 836 Following Let's bring better tools and documentation for Haskell together. ✌️ Support the project: https://t.co/zv6CF3ynGF ☕️grant mccartney @hotdogontology
575 Followers 1K Following sandwich topology enthusiast. i teach people about math and computer science. sometimes i make tiny video games.Dmitrii Kovanikov @ChShersh
8K Followers 111 Following 🧑💻 Senior SE at Bloomberg using OCaml 🐫 Ꚙ Autistic 📽 Content: https://t.co/6laFNyCooC Opinions are my ownTweag @tweagio
5K Followers 260 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.Graham Hutton @haskellhutt
7K Followers 694 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴Matt Parsons @mattoflambda
4K Followers 566 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!Joachim Breitner @nomeata
3K Followers 1 Following Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 https://t.co/9Sjz02h8dLCamarade Hécate 🪬 @TechnoEmpress
2K Followers 2K Following @haskellfound data-djinniyya; Bifunctor disaster; Multifarious Motherfucker; Blockchain-free zone #Haskell they/them (PP by @HuntyDraws).Edward Kmett⏏️ @kmett
14K Followers 776 Following Founder/CTO of @Positron_AI Helping @ToposInstitute I tend to talk about Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/oP135HK8LMTom Sydney Kerckhove @kerckhove_ts
2K Followers 418 Following Professional Weirdo Learning American Sign LanguageAlexis King @lexi_lambda
13K Followers 25 Following Fighting for the radical belief that things can be understood • I work on Haskell and GHC at @tweagio • DMs open (but responsiveness varies) • she/her, ⚢Gabriella Gonzalez @GabriellaG439
14K Followers 144 Following Author of @dhall_lang, https://t.co/YzieN4kyo2, and countless packages and presentations. I'm a midwife to the hidden beauty in everything (she/her) 🏳️⚧️Flavius 🏴☠️ @FlavioCorpa
2K Followers 204 Following Senior Software Engineer, Haskell & Elm @Scrive 🌳 Adult chess improver #chesspunks♟️ 日本語を勉強しています(N4)🏯Domen Kožar @domenkozar
5K Followers 1K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BLzqD 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2JvL 🌊 https://t.co/KiomSAWHVhArian van Putten @ProgrammerDude
4K Followers 2K Following I perform @nixos_org witchcraft at @mercuryRúnar @runarorama
11K Followers 83 Following Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.Paweł Szulc @EncodePanda
3K Followers 644 Following Haskell, 范畴论, λ, Distributed Systems, Formal MethodsChris Penner @chrislpenner
23K Followers 19K Following he/him | Optics By Example: https://t.co/WC3SHRY4Kl | Cunningham's law made manifest. | Building @unisonwebBen Gamari @bgamari
2K Followers 312 Following I work on the Glorious Glasgow Haskell Compiler at @WellTyped.Susan Potter @SusanPotter
7K Followers 2K Following Antifascist. Software Engineer @referentiallabs. Gay. Immigrant. Loves: #OptionsTrading #FunctionalProgramming #economics #mathematics #systems #JohnWatersGustavo Franke @gustavofranke
107 Followers 502 FollowingJosh Burgess @_joshburgess
2K Followers 5K Following Programmer into FP, Haskell, Rust, PureScript, OCaml, TypeScript and music (prog rock/metal, jazz fusion), mountains, hiking, grassroots motorsports, etc.jailandrade@mastodon... @jailandrade
753 Followers 338 Following Indie Software Developer. I will try to sell you CSS anytime. You should have a website. I want you to have a website.Galois @galois
6K Followers 700 Following Galois applies cutting edge computer science and mathematics to solve difficult technological problems.dade! @dadepo
760 Followers 1 Following Author of Blockchain Protocol Development Guide https://t.co/lxapdDbHIRElliot Cameron @eacameron88
106 Followers 234 Following Hoper in the resurrection of the dead by Jesus' power. Lover of my wife Kassie.kenbot @KenScambler
3K Followers 934 Following Architecture, compositionality, code. Principal dev @thoughtworks Site: https://t.co/ispAQvWOuaJosé Pedro Magalhãe.. @dreixel
394 Followers 140 Following Managing Director, Head of Core Strats at @StanChart山本和彦 @kazu_yamamoto
3K Followers 197 Following 4人の子育と両親の介護真っ最中のHaskeller。Haskellコミュニティではネットワーク周りを担当。昆虫、特にクワガタが好き。山口県在住。 アイコンは長男を模したゆるキャラです。Paul Biggar 🇵🇸�.. @paulbiggar
28K Followers 302 Following Founder @tech4palestine, @darklang, @circleci (he/him)Tom Oram @tomphp
699 Followers 1K Following Passionate about all aspects of software. Engineer at Armakuni.@nutty.land / @nuttyc.. @nuttycom
3K Followers 762 Following Haskell, climbing, blacksmithing. I work on Zcash at https://t.co/wRnfB6yQhW, and hack on https://t.co/tSRWNUSp3p. Informed by anarchist thought,🛡️ He/him, I do not identify.Alfredo Di Napoli @alfredodinapoli
449 Followers 313 Following 34-year-old Computer Scientist, Zen Coder (wanna-be), Vim/Emacs user, FP lover, Haskell hacker.Raghu @rkaippully
55 Followers 45 FollowingGabriele Keller @gckeller
1K Followers 369 Following Professor of Software Technology, @UniUtrecht, (functional) programming languages, type systems, parallel computing @[email protected]Dan Burton @drb226
295 Followers 85 Following Haskeller, computer scientist, vocalist, pianist, gamer, gay ex-mormon.Travis Whitaker (hs/a.. @TravisMWhitaker
338 Followers 625 Following I am weaponizing Haskell and Nix.Oisín Kidney @oisdk
734 Followers 800 Following Programming languages and functional programming, mainly tweeting about #haskell and #agda (he/him)Artem Pianykh @artem_pyanykh
471 Followers 133 Following Static analysis & compilers at Меtа https://t.co/l9w7XQDcmMAndreas Klebinger @AndreasK_Tweets
393 Followers 52 Following Working on the Glasgow Haskell Compiler.Adam Gordon Bell 🤓 @adamgordonbell
4K Followers 153 Following Follow me for Coding, Computers, and Backend stuff. Builds at @EarthlyTech • Host of @CoRecursive Give me feedback: https://t.co/kth03iy3KcRichard Eisenberg @RaeHaskell
3K Followers 161 Following Type system grease monkey and language designer for Haskell and OCaml. I want type systems to save us from software errors. Works at @JaneStreetGroup. He/himCary Robbins @carymrobbins
172 Followers 56 FollowingDebasish (দেব�.. @debasishg
10K Followers 555 Following Programmer. Author: Functional and Reactive Domain Modeling (Manning 2016), DSLs In Action (Manning 2010). Father. Husband. Seinfeld fanboy. FP aficionado.András Kovács @andrasKovacs6
743 Followers 69 Following Type theory & applications. Also on Mastodon: https://t.co/KYgeYKJQgMAndor Pénzes @sverien
492 Followers 1K Following Functional programming,software development,compiler construction.. @annanannanse
41 Followers 508 FollowingOli 💛🐝 @o1i_io
2K Followers 341 Following Chief Bee Officer | #tech 🥑 #DevRel & Ops @bytewax | host @devrelradioAlex Biehl @alexbiehl_
105 Followers 418 FollowingMarek Fajkus @turbo_MaCk
376 Followers 1K Following The cosmos is all that is or ever was or ever will be.Olle Fredriksson @ollfredo
362 Followers 305 Following Joined to follow @plt_borat. Compilers and functional programming. https://t.co/jhXCQH3smp https://t.co/7w3hKa2yLJPat Brisbin @patbrisbin
483 Followers 149 Following Author of https://t.co/YGJ2lUBX0r. Previously at thoughtbot, built most of Code Climate's Quality stack, currently pointing out naming issues at Freckle.Saurabh Nanda @saurabhnanda
1K Followers 452 Following Excited about FP and Haskell, but not a fan-boy.Зимняя рыба.. @slowpnir
289 Followers 906 FollowingGeorgy Lukyanov @geo2A
172 Followers 231 Following PhD student at Newcastle University. I am doing functional programming and formal verification. I don't usually tweet, but when I do, it might be in Russian.Alexey Raga @alexeyraga
556 Followers 273 Following Haskeller, father, traveler, Australian, used to live in Belgium, Russia, Kazakhstan, Tajikistan.Ilya Sergey @ilyasergey
5K Followers 965 Following Associate Professor at @NUSComputing. Member of @nus_plse. Programming languages, verification, distributed systems. Ex-@uclcs, @IMDEA_Software, @jetbrains.@kosmikus @AdventOfHaskell My experience is that being explicit in this case makes the explanation simpler, because the shapes of NS and NP follow very closely that of Haskell's ADTs. But maybe I can write a follow-up doing this with combinators. 🤔
@trupill @AdventOfHaskell Interesting combination of using generics-sop with explicit recursion. Are you doing this because you think it's easier to explain, or because you actually prefer this style?
Not sure if they're still looking, but this is a great excuse to write that Haskell post you've been procrastinating on!
We still need 3 submissions to fill up every day. Your content matters! Mail your idea to [email protected] or send us a DM! This cat is ready and eager to process your submission! #Haskell
Anyone have some content they've been planning to finish over holiday break? Here's a fun way to ensure you finish it and publish it!
We still need 3 submissions to fill up every day. Your content matters! Mail your idea to [email protected] or send us a DM! This cat is ready and eager to process your submission! #Haskell
[BLOG] @AdventOfHaskell 2020: "Roll your own Holly Jolly streaming combinators with Free" :D A project-based post using one of my favorite techniques that came handy during a recent #haskell project blog.jle.im/entry/holly-jo…
So hyped for this! Going to try to do all Advent of Code problems live. See you in an hour!
Day 12: Join Vladimir on his #Haskell streaming event at 12:00 GMT! adventofhaskell.com twitch.tv/cvladfp
Another cookie!
Day 11: Wander introduces us to `retry`. #Haskell adventofhaskell.com 🧑🎄🎄
Very impressed by the ‘retry’ package too. It’s fantastic stuff.
Day 11: Wander introduces us to `retry`. #Haskell adventofhaskell.com 🧑🎄🎄
@AdventOfHaskell Great read that reminds me I should probably use GADTs more often! Thank you @chrislpenner
Feel free to ask any questions!
Day 9: Armando is introducing is to denotational design! adventofhaskell.com #Haskell 🧑🎄🎄
Surprise, I'm Day 7 of the Advent of Haskell! In this post, I coin the term "pure framework" and express my wish for hackage to have more of those things.
Day 7: Samuel is "Capturing the magic of Prelude.interact" #Haskell adventofhaskell.com 🧑🎄🎄
Read your first cookie from the calendar today!
Advent of #Haskell kicked off with Gustavo's post "My journey into Haskell" check out adventofhaskell.com 🧑🎄🎄
@AdventOfHaskell @chrislpenner ahh, i'll try to send in something today :D
If you've been on the fence about it, don't be! Even very short posts can be a fun treat!
December is drawing near! We still have a couple of free slots! Don't be shy and submit your idea 🧑🎄
@mstk @AdventOfHaskell Ooh! Hope you got an idea in! I still find myself thinking back to your Regex with Free Alternatives post from time to time, it's a FANTASTIC post.