Lambda Dandy @LambdaDandy
Haskell and functional programming enthusiast. The profile pic is art by Tiina Menzel https://t.co/YAxOvNBNKt Joined November 2021-
Tweets226
-
Followers31
-
Following210
-
Likes2K
Lambda Dandy retweeted
In the future, Haskell users will be able to annotate their programs to get better stack traces, thanks to work by the Well-Typed team: well-typed.com/blog/2025/09/b…
0
15
67
3K
9
Lambda Dandy retweeted
Better infrastructure, fewer surprises. We’re raising $6K for a dedicated ARM server to support #Haskell’s infrastructure (CI, backups, etc). Let’s build infra you can rely on! Every contribution helps! Donate: donorbox.org/infrastructure… Read more: discourse.haskell.org/t/infrastructu…
Apparently OCaml is now also a go-to for disillusioned Go people, not just for Haskell people. The prophecy is coming true.
Lambda Dandy retweeted
I have published my first new blog post in four years lexi-lambda.github.io/blog/2025/05/2…
Turns out the functionality WAS in the library. It just wasn't mentioned in the tutorial nor the two cookbook sections it should appear in and was in the Readme of the subdirectory of the parent library that pointed to the one-page haddocks below the deprecated functions. My bad.
Lambda Dandy retweeted
it's Friday so I'll say something nice about a programming language that isn't Haskell or Rust The industry still has a lot to learn from Joe Armstrong, Erlang, and OTP. I'm not keen on the limitations of the runtime but we should steal from them more.
All my roads lead to Existentials. Camus would be proud. #Haskell
Lambda Dandy retweeted
There's no reason XKCD 3062's language [xkcd.com/3062/] needs to just stay in a cartoon. Here's a working implementation of it, built in @racketlang : github.com/shriram/xkcd-3…
Lambda Dandy retweeted
Gottfried Leibniz (1701)
I keep writing 'optional' instead of 'optimal'. Is this a sign from the subconscious? Is this the seniority manifesting? Is it Age or Ability?
Leaving the room right after starting to run the E2E test suite to avoid jinxing it is probably not a good sign.
I have the chorus of Sinatra's 'My way' stuck on a loop in my head. Am I going to suddenly drop dead?
'Classically trained' has a nice ring to it that almost distracts you from the madness of it all.
Lambda Dandy retweeted
Maybe don't put me in charge of advertising Haskell..
Bart Blast @Bart_Blast
707 Followers 5K Following Building Hologram, a full-stack Elixir web framework
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
yusuf fatih @ysuuffatih
6 Followers 701 Following
lateralus23 @lateralus231
204 Followers 6K Following λ λ λ « Regarde autour de toi le monde sans cesse grandissant de gens qui se prennent au sérieux »
Daniel 🦔 @DanielW_Kiwi
3K Followers 3K Following Husband, father and software developer from the bottom of the world in NZ that likes F# a little too much.
chreke @therealchreke
663 Followers 879 Following Freelancer. Web and distributed systems developer. Club Mate enthusiast. F# enjoyer.
Arpit @googleiapple12
135 Followers 7K Following Too late to explore earth. Too early to explore space. So here I'm exploring the Metaverse ✨
(infinite-jes) @lawofcons
896 Followers 2K Following Cajun, Programmer, INTJ, green/yellow; free software, linux-enjoyer, emacs life. GPU-poor.
Functional Software @funcsoftware
14 Followers 49 Following Providing services in Functional Programming
Oleg 🇺🇦🐍 λ @TheOlegarchy
508 Followers 68 Following Originally from Ukraine, I moved to the US when I was 12. I’m a polyglot programmer, husband, father, and Oxford comma guru.
Paweł Szulc @EncodePanda
3K Followers 655 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
GLaDOS-418 @smirkingTpot
73 Followers 731 Following ⦿ you will be baked, and then there will be cake - GLaDOS. ⦿ in a toxic relationship with C++ ⦿ Church of Kopimist ⦿ curious. not expert. ⦿ 🇮🇳/α
Dimitar @dimitrov2k
2K Followers 801 Following swe at @urbdyn | rust | neovim | linux (arch btw) | oss | https://t.co/F6aFRFiuZj
Jake Morrison @reachfh
1K Followers 5K Following CTO @cogini | Elixir | DevOps | product design | geek jokes | https://t.co/xnSO6fweka | 30 years in Taiwan, now back in Oklahoma for family
Debbie @debbiedorsey78
319 Followers 3K Following
Barry @chiroptical
558 Followers 277 Following Random functional programming content on https://t.co/JINGR9eNES; senior software engineer at @mercury; @chiroptical.dev on sky site
@[email protected]... @csaltos
1K Followers 4K Following Carlos Saltos Coding with Scala, Elm, Haskell, Python, Erlang, Gleam, Rust , Java and Ruby Co-Founder of https://t.co/geeguwPFul @[email protected]
Celeste @cahollenbeck
1K Followers 914 Following Nontraditional computer science PhD candidate at @EdinburghUni 🏴. Former technical & creative writer.
José 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.
Sandy Vanderbleek @haskellandchill
699 Followers 4K Following Software engineer turned med student, ICOM 2029
vaibhav sagar @vbhvsgr
2K Followers 5K Following future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him https://t.co/VGk6nI4TOO https://t.co/64Kipz3ghV https://t.co/YetTYcxcvQ on bluesky
Tom Sydney Kerckhove @kerckhove_ts
3K Followers 426 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
The Shroders @TShroders
44 Followers 201 Following Hardworking Ex-Pat family, living in Lake Nona, Tweets about #expatlife #travel #WHUFC
Susan Potter @SusanPotter
7K Followers 2K Following Antifascist. Anti-authoritarian. Pro-privacy. Functional programmer. Recovering SRE. Micro-SaaS, real estate & trading. Outsider. Gay af. Genocide is terrible.
FP Complete @FPComplete
6K Followers 2K Following FP Complete is a technology company specializing in Server-Side Software, DevSecOps, Cloud Deployment, Container Orchestration & Advanced Programming Languages.
Kelly Sommers @kellabyte
49K Followers 340 Following 🇨🇦 Backend brat, big data, distributed diva. Relentless learner.
ElixirFixer - also kn... @FunctionalUs
2K Followers 597 Following Over 4 years recruiting elixir developers for over 50 clients in the US & Canada! B Corp Certified @ SR2 Recruitment
Computer Science @CompSciFact
251K Followers 19 Following Daily tweets about computer science and related stuff @JohnDCook.
Ryan Winchester @ryanrwinchester
5K Followers 883 Following I write code for work and fun. BEAM is the future. My thoughts are your own. 👾 https://t.co/DlPacWL4Io 📺 https://t.co/121oSft21q
Elixir Forum @elixirforum
6K Followers 3K Following This account tweets every thread that's posted by the community on the Elixir Forum :-)
Chris McCord @chris_mccord
23K Followers 394 Following Creator of the Phoenix Framework, Author of Metaprogramming Elixir, Programmer at @flydotio, builder of things
Daniel 🦔 @DanielW_Kiwi
3K Followers 3K Following Husband, father and software developer from the bottom of the world in NZ that likes F# a little too much.
TypeScript @typescript
396K Followers 50 Following TypeScript is a language for application-scale JavaScript development. It's a typed superset of JavaScript that compiles to plain JavaScript.
Ningning Xie @xnningxie
4K Followers 308 Following Having fun with types! @UofTCompSci @GoogleDeepMind
ZuriHac @ZuriHac
2K Followers 48 Following Free yearly Haskell Hackathon in Zurich. Est. 2010. Next edition: 7-9 June 2025.
Effect | TypeScript a... @EffectTS_
11K Followers 36 Following Production-Grade Software in TypeScript. Open source library. →Community: https://t.co/rlme4wZIPR →Content: https://t.co/9DWBQLXFJ2
LiveView Native @LiveViewNative
831 Followers 5 Following "It's not a webview" Create Phoenix LiveView apps for anything with a screen.
Sandy Petersen 🪔 @SandyofCthulhu
43K Followers 632 Following Game Designer, Horror fan, Grandpa. Founded Lovecraftian gaming. CEO of Petersen Games. Also Doom, Age of Empires, etc. Subscribe for game insights & history!
Mitchell Hashimoto @mitchellh
141K Followers 139 Following Working on a new terminal: Ghostty. 👻 Prev: founded @HashiCorp. Created Vagrant, Terraform, Vault, and others. Vision Jet Pilot. 👨✈️
Fermat's Library @fermatslibrary
775K Followers 4 Following A platform for illuminating academic papers. We annotate and share a paper every week. Save, annotate and share papers with anyone: https://t.co/0o2Pls3jmo
Jonathan Blow @Jonathan_Blow
145K Followers 268 Following Designer/Programmer of Braid and The Witness. President, Thekla, Inc. Partner in Indie Fund. Working hard on a new game and a programming language.
John Carmack @ID_AA_Carmack
1.1M Followers 273 Following AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo Aerospace
Didier 'Dirac's ghost... @DiracGhost
16K Followers 652 Following Docendo discimus. Mathematician. Amateur physicist. Program computers and reverse engineer them. Philosophical anarchist. Guitar player. Voluntarist. COYG.
Nikita Lisitsa @lisyarus
11K Followers 524 Following I teach C++ & computer graphics and make games. Working on a village building game: https://t.co/skTGGgH0Ay Check out my cozy traffic sim: https://t.co/7Dzc83p6uq He/him
Math Academy @_MathAcademy_
21K Followers 121 Following Master math 4x more efficiently than a traditional classroom. Individualized, adaptive, AI-powered and fully automated. Accredited courses 4th grade-University.
MuniHac @MuniHac
373 Followers 139 Following MuniHac is an annual three-day Haskell hackathon and conference in Munich that brings together Haskell developers and enthusiasts from across the globe
The Haskell Interlude @HaskelInterlude
585 Followers 11 Following This is the Haskell Interlude. A Haskell-focused podcast hosted by @nomeata, @kosmikus, @tritlo, @wouterswierstra, @nikivazou, @hgoldstein95, +Sam @PLRG_bristol
Flying Guibou @FlyingGuibou
227 Followers 345 Following Once graphical programmer, now FP addict, #nix #Haskell. #skydiving #running. Former apolitical, privileged, learning about far left. He/Him.
イリヤ・クブシ... @Kuvshinov_Ilya
586K Followers 30K Following イリヤ・クブシノブ。ロシア出身、日本在住のイラストレーター。@gitssac2045キャラデザなど。監督、絵コンテ、作監もやっています。Tokyo-based russian artist / animation director. https://t.co/szheyZssVB
Matti Palli 🧙�... @tritlo
3K Followers 2K Following uncertified haskell engineer | certified researcher
terminally onλine ε... @tekbog
34K Followers 944 Following principal engineer @ redacted | AI and distributed systems | do you hear the drums of liberation?
enia 🍩 @enia_sfw
107K Followers 845 Following Just a horny artist :D Welcome Always open for commissions! All info: https://t.co/sIq3DupMIv
Dr Valeria dePaiva @valeriadepaiva
4K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
Functional Software @funcsoftware
14 Followers 49 Following Providing services in Functional Programming
Janet A. Carr @janetacarr
5K Followers 253 Following Clojure Consultant & Freelancer Software Dev, Clojure, & Functional Programming Twitch: https://t.co/MQSMRl4qp7 Course: https://t.co/APVnddLdAM
Haskell Weekly @HaskellDiscu
270 Followers 41 Following Articles, projects and tutorials about #Haskell. Weekly newsletter: https://t.co/wHDxdrfj8s
Jeff Geerling @geerlingguy
78K Followers 5K Following Father, author, developer, maker. Sometimes called "an inflammatory enigma". #stl #ansible #k8s #raspberrypi #crohns #ostomy
chreke @therealchreke
663 Followers 879 Following Freelancer. Web and distributed systems developer. Club Mate enthusiast. F# enjoyer.
Protohackers @Protohackerscom
370 Followers 11 Following Programming challenge where you implement network protocols.
Anthony Alaribe {··... @tonialaribe
6K Followers 3K Following Watch me build developer tools in public. Building @monoscope_tech {•••}. I build stuff in Haskell, Rust (🦀) and Go. Maths ♥️ Engineering. HTMX fanboy
Rita Iglesias @rita_codes
36K Followers 642 Following Software Engineer at @mui_hq👩🏻💻 Actress and violinist sometimes 🎬 Mechanical keyboards 👾 She/Her
Org Mode @orgmode_bot
3K Followers 1 Following I will distribute a description of an org-mode function and the corresponding key binding everyday. Please visit http://t.co/QUH0gkn6LM
Fabian Christoph 🇪... @FabianChristo12
67 Followers 464 Following Ostfriese, studied cs@rptu, JRPG fan, jogger, strength. I like interactive theorem proving 🐔 and programming algebra ⮀
José Manuel Calderó... @josecalderon
2K Followers 853 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
The Pragmatic Enginee... @Pragmatic_Eng
38K Followers 3 Following Big Tech and startups, from the inside. The #1 technology newsletter on Substack. Sign up at https://t.co/MPNdQSVnwV. Podcast: https://t.co/nVOulBGYoh
Andrej Karpathy @karpathy
1.4M Followers 1K Following Building @EurekaLabsAI. Previously Director of AI @ Tesla, founding team @ OpenAI, CS231n/PhD @ Stanford. I like to train large deep neural nets.
Glitchbyte @0xglitchbyte
9K Followers 196 Following Infra engineer studying the depths of cs + math · Building apps and tools• Notes on code, craft, and christian faith · BJJ nerd breaking legs, breaking hearts
Oleg 🇺🇦🐍 λ @TheOlegarchy
508 Followers 68 Following Originally from Ukraine, I moved to the US when I was 12. I’m a polyglot programmer, husband, father, and Oxford comma guru.
Livebook @livebookdev
5K Followers 2 Following Open-source, Elixir-powered computational notebook. Automate tasks, analyze data, run ML models, prototype, and build internal tools with notebook-based apps.Trends for United States
147 B posts
2.524 posts
3.656 posts
19,3 B posts
45,3 B posts
31,5 B posts
4.668 posts
39,5 B posts
10,8 B posts
134 B posts
13,5 B posts
118 B posts
131 B posts
27 B posts
18,2 B posts
6.627 posts
1.859 posts
87,2 B posts
You might like
Avi Dessauer
@AviDessauer
281 Followers
Lukas
@louquard
85 Followers
Giacomo Cavalieri
@giacomo_cava
795 Followers
Uday
@neoatnebula
3 Followers
Christian Kjær
@codetalkio
194 Followers
Spencer Janssen
@spencerjanssen
432 Followers
Christopher Reichert
@creichert07
295 Followers
Heneli
@henelidotdev
134 Followers
Tamas Szokol
@tamas_szokol
144 Followers
Sibi Prabakaran
@psibi
162 Followers
mitchellsalad
@mitchellsalad
201 Followers