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
14
69
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..
FlexAbraham @flex_abraham
17 Followers 951 Following The Lord is my shepherd there is nothing ✝️♥️🙏🏿 follower of Christ
Bart Blast @Bart_Blast
823 Followers 6K 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
12 Followers 714 Following
lateralus23 @lateralus231
210 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
673 Followers 898 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
882 Followers 2K Following Cajun, Programmer, INTJ, green/yellow; free software, linux-enjoyer, emacs life. GPU-poor.
Functional Software @funcsoftware
15 Followers 49 Following Providing services in Functional Programming
Oleg 🇺🇦🐍 λ @TheOlegarchy
505 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 657 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
GLaDOS-418 @smirkingTpot
75 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
323 Followers 3K Following
Barry @chiroptical
555 Followers 276 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 913 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
719 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 425 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
The Shroders @TShroders
58 Followers 203 Following Hardworking Ex-Pat family. Account run by Dave. Very lucky man!
Susan Potter @SusanPotter
7K Followers 2K Following Contrarian. Pro-privacy. Anti-authoritarian. Functional programmer. Recovering SRE. Micro-SaaS, real estate & trading. 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 341 Following 🇨🇦Backend Brat. Distributed Diva. Relentless Learner.
ElixirFixer - also kn... @FunctionalUs
2K Followers 595 Following Over 5 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 885 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 395 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
398K 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
859 Followers 5 Following "It's not a webview" Create Phoenix LiveView apps for anything with a screen.
Sandy Petersen 🪔 @SandyofCthulhu
44K Followers 718 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
146K Followers 141 Following Working on a new terminal: Ghostty. 👻 Prev: founded @HashiCorp. Created Vagrant, Terraform, Vault, and others. Vision Jet Pilot. 👨✈️
Fermat's Library @fermatslibrary
777K 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
146K Followers 275 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 274 Following AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo Aerospace
Didier 'Dirac's ghost... @DiracGhost
16K Followers 653 Following Docendo discimus. Mathematician. Amateur physicist. Program computers and reverse engineer them. Philosophical anarchist. Guitar player. Voluntarist. COYG.
Nikita Lisitsa @lisyarus
12K Followers 525 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_
22K 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
376 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
597 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
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
3K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
Functional Software @funcsoftware
15 Followers 49 Following Providing services in Functional Programming
Janet A. Carr @janetacarr
5K Followers 252 Following Clojure Consultant & Freelancer Software Dev, Clojure, & Functional Programming Twitch: https://t.co/MQSMRl4qp7 Course: https://t.co/APVnddLdAM
Haskell Weekly @HaskellDiscu
268 Followers 41 Following Articles, projects and tutorials about #Haskell. Weekly newsletter: https://t.co/wHDxdrfj8s
Jeff Geerling @geerlingguy
79K Followers 5K Following Father, author, developer, maker. Sometimes called "an inflammatory enigma". #stl #ansible #k8s #raspberrypi #crohns #ostomy
chreke @therealchreke
673 Followers 898 Following Freelancer. Web and distributed systems developer. Club Mate enthusiast. F# enjoyer.
Protohackers @Protohackerscom
369 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 643 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
68 Followers 462 Following Ostfriese, studied cs@rptu, JRPG fan, jogger, strength. I like interactive theorem proving 🐔 and programming algebra ⮀
José Manuel Calderó... @josecalderon
2K Followers 854 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
39K 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
11K Followers 221 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
505 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
45,2 B posts
235 B posts
8.981 posts
17,7 B posts
24,2 B posts
13,9 B posts
52,5 B posts
9.817 posts
18,5 B posts
46,3 B posts
28,5 B posts
7.358 posts
5.038 posts
1.861 posts
12,6 B posts
114 B posts
69,8 B posts
125 B posts
3.361 posts
You might like
Avi Dessauer
@AviDessauer
285 Followers
Lukas
@louquard
83 Followers
doyougnu
@do_you_gnu
122 Followers
Giacomo Cavalieri
@giacomo_cava
800 Followers
Uday
@neoatnebula
5 Followers
Christian Kjær
@codetalkio
193 Followers
Spencer Janssen
@spencerjanssen
433 Followers
Christopher Reichert
@creichert07
294 Followers
Heneli
@henelidotdev
135 Followers
Tamas Szokol
@tamas_szokol
146 Followers
Sibi Prabakaran
@psibi
162 Followers
mitchellsalad
@mitchellsalad
203 Followers