Justin Lê @mstk
jle / mstksg / Lê Anh Khoa: Computational Science PhD, Physics BS, Haskeller & amateur musician; he / him blog.jle.im Orange, CA Joined March 2007-
Tweets5K
-
Followers2K
-
Following1K
-
Likes73K
I agree mostly with this, unsigned ints are really really good for documentation's sake but giving them a usable safe interface is tough. I still can't see one without being suspicious of every code path it touches
I agree mostly with this, unsigned ints are really really good for documentation's sake but giving them a usable safe interface is tough. I still can't see one without being suspicious of every code path it touches
Sub-10-microsecond Haskell Sudoku solver implemented in hardware. unsafeperform.io/papers/2025-hs…
@mstk my interpretation of the lyric... you'd need the leap of double-negation-elimination to get from my second part to the second axiom in the post (or switch entirely to classical logic (plonk everything under NotNot))
this new Google Notebook LLM feature that turns blog posts or papers into e-classroom-like slides with full audio and multimedia is blowing my mind
interestingly enough it also solve done of my normal haskell stumpers i have been using. writing a blog post on it now. I should try my others too, but many of them I have already put out into the internet unfortunately
interestingly enough it also solve done of my normal haskell stumpers i have been using. writing a blog post on it now. I should try my others too, but many of them I have already put out into the internet unfortunately
the difference between mathematicians and programmers, ask them how much exactly pi megabytes is
one of the rare examples of something where version 89 came out before version 23
one of the rare examples of something where version 89 came out before version 23
IME the main advantage of cider and cider V weren't their features, it was just their tight integration with the internal ecosystem and a building of 2000s SWEs whose only job was to update and maintain its integration. after leaving I went back to vim immediately
IME the main advantage of cider and cider V weren't their features, it was just their tight integration with the internal ecosystem and a building of 2000s SWEs whose only job was to update and maintain its integration. after leaving I went back to vim immediately
a pretty good argument for approaching data with the "parse, don't validate" philosophy
a pretty good argument for approaching data with the "parse, don't validate" philosophy

Edward Kmett @kmett
16K Followers 822 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Matt Parsons @mattoflambda
5K Followers 522 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Domen Kožar @domenkozar
5K Followers 1K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5J
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
deech @deech
5K Followers 1K Following
Tom Sydney Kerckhove @kerckhove_ts
3K Followers 425 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
Rick @rickasaurus
9K Followers 3K Following 2x Dad, AI Old-Timer, FP Enjoyer, Math for Fun, Startup Leadership Roles in: Fintech, Healthcare, RegTech, Biotech. B2B, B2B2C, Successful Exit CTO.
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
piq and 69 others @piq9117
3K Followers 1K Following 🇺🇸 • haskell • CEO @htmx_org • neovim extremist • guns
Tikhon Jelvis @tikhonjelvis
3K Followers 250 Following I like programming languages. A lot. Tools, types and functions.
🌸🐑 mlep🥛🌸 @yandereidiot
6K Followers 872 Following 🪬 Former CTO of @haskellfound 🧘 Advisor/Core Eng Honcho @kadena_io 🐎 Horse and dairy lover 🤠 Cowgirl Utahn Return to pasture. Ask me about my cows!
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
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
Paweł Szulc @EncodePanda
3K Followers 657 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
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.
Redacted @cercerilla
2K Followers 459 Following
gelisam @haskell_cat
1K Followers 308 Following AI Safety ∩ Programming Language Theory. Professional Haskell developer at https://t.co/qG4jsBEIIO, opinions are my own.
Daniel San @dani_avila7
15K Followers 2K Following co-founder and CTO, building @aitmpl_com + @codegptAI + @deepgraphMCP | Powered by TypeScript & Pumpkin Spice Lattes ☕️
Katie Chen @GghuG98
0 Followers 15 Following Fitness & outdoor enthusiast 🏋️♀️🏃♀️🚴♀️ Always chasing the next challenge
Dries Frederickx @PolyTroid
258 Followers 2K Following Current status: NEET. Jack of no traits and definitely master of none.
FlexAbraham @flex_abraham
17 Followers 859 Following The Lord is my shepherd there is nothing ✝️♥️🙏🏿 follower of Christ
Elijah Shen @ElijahShen1
5 Followers 71 Following
John Smith @john98299
0 Followers 16 Following
Elrondex @elrondex
190 Followers 5K Following Elixir library to interact with Elrond Blockchain ⚡ $EGLD, Arwen, WASM, DeFI, SC, ESDTs, NFTs, SFTs, $MEX, DEX, AMM https://t.co/yPL9XXZguT
0azadi @0azadi
9 Followers 91 Following
Amar Sukhi @SukhiSecurity
168 Followers 7K Following
Liam Goodacre @goodacre_liam
478 Followers 460 Following Programmer, mainly Haskell, maybe categories. The answer is always an optic. Foldable Coyoneda gives me joy.
Anshu Kumar @anshuscript
485 Followers 1K Following Senior Software Engineer && Computer Science Teacher 👨💻 Freelancer l MERN Developer l Full Stack Developer ⏩ Mentor | Teacher | Bookholic
Jules @analytichegel
2K Followers 2K Following optimistic nihilist. fedi: @[email protected]. priv: @boy_aphrodite
𐤀 @syenanoon
192 Followers 1K FollowingMarcos @MAMware
313 Followers 2K Following
Andrew Bailey @drewmanfsu
172 Followers 189 Following Jesus saved my life. Husband, Father of 3 boys. Building websites and apps in my free time
Hrhfaz3 @AnistonJen10814
683 Followers 7K Following Every picture has a story and every story has a moment I'd love to share with you, thanks and enjoy
Cameron Angliss @cameronangliss
85 Followers 141 Following Master's Student at UT Austin working under Professor Stone in the LARG group on reinforcement learning and multi-agent learning
Rhuihgie @Rhuihgie755126
15 Followers 1K Following
LJ @xt7ybn
19 Followers 438 Following
Ada obi Loveth @AdaobiLove10353
28 Followers 620 Following
Easworte @Easworte01300
30 Followers 981 Following
Beibvum @Beibvum3845
29 Followers 1K Following
Swawbee @Swawbee60249
21 Followers 1K Following
Dave Fuller @davefuller
218 Followers 476 Following I'm a Trivialist. "I want the club sandwich, I want the cold Mexican beer, I want a $10,000-a-night hooker!" -- Johnny Mnemonic
#1 OKLCH FUNDAMENTALI... @Sock_Master27
144 Followers 593 Following Vice Chairman of the Board @ The Organization for Advancement of the OKLCH Color Format (OAOCF)
Makayla Hirthe @MHirthe51903
105 Followers 5K Following
Roalosh @RoaloshnkS4WB
29 Followers 2K Following Is there someone somewhere, waiting for me to return to my original appearance
iampizza @AilrkY
1 Followers 190 Following
Baba Otter @BabaOtter
378 Followers 2K Following
Milad @MiladBourhani
180 Followers 2K Following Software Craftsman, father, lazy guitarist, gamer. I like Haskell a lot. Opinions are my own.
wittgenstein’s himb... @MatiosTV
2K Followers 5K Following BG:@atrinassa TwitterArtDirector JxRConsulting FlatSun Jada💋WGMIdance RadicalCentrist SpacePaladin OCEANTRUTHER Matriot CalTrad MaineFrameworksTwitter DTA
Mehdi @louafimay
2 Followers 192 Following
Sudhang Shankar @ShankarSudhang
139 Followers 2K Following Dev/Researcher at Weblyzard Technology + Msc. Student, Computational Social Systems at the TU Graz
Kemal Elmizan @kemalelmizan
211 Followers 2K Following Software Engineering | Distributed Systems Lecturer | https://t.co/Wh7m959DJB | [email protected]
qokdie @gokdenizhater
11 Followers 203 Following
Dmitrii Kovanikov @ChShersh
48K Followers 230 Following Dysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Edward Kmett @kmett
16K Followers 822 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Matt Parsons @mattoflambda
5K Followers 522 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Rúnar @runarorama
12K Followers 106 Following Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
Joachim Breitner @nomeata
2K Followers 1 Following Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 https://t.co/9Sjz02h8dL
deech @deech
5K Followers 1K Following
Graham Hutton @haskellhutt
8K Followers 696 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Tom Sydney Kerckhove @kerckhove_ts
3K Followers 425 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
Inactive; Bluesky is ... @hillelogram
18K Followers 3 Following No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)com
Rick @rickasaurus
9K Followers 3K Following 2x Dad, AI Old-Timer, FP Enjoyer, Math for Fun, Startup Leadership Roles in: Fintech, Healthcare, RegTech, Biotech. B2B, B2B2C, Successful Exit CTO.
gabby @GabriellaG439
15K Followers 77 Following Author of @dhall_lang, https://t.co/YzieN4kyo2, and principal engineer at @Mercury I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
naomi (forgetful func... @fixedpointfae
5K Followers 512 Following 25 sols | polymorphic lambda witch ✨ | she/her/她 | haskell + rust + scala dev | op amp enthusiast | compilers + analog synths | https://t.co/UOuLLmAqKm
Tikhon Jelvis @tikhonjelvis
3K Followers 250 Following I like programming languages. A lot. Tools, types and functions.
🌸🐑 mlep🥛🌸 @yandereidiot
6K Followers 872 Following 🪬 Former CTO of @haskellfound 🧘 Advisor/Core Eng Honcho @kadena_io 🐎 Horse and dairy lover 🤠 Cowgirl Utahn Return to pasture. Ask me about my cows!
Aram Hăvărneanu @aramh
3K Followers 1K Following Mathematical engineer bringing type safety to the cloud. Previously worked on CUE @cue_lang. JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.
HSVSphere @HSVSphere
14K Followers 996 Following A colorful sphere, here to grudge. Its opinions will never budge. A vibrant orb, with hues so bright, Unwavering in its stances and might.
Trae Stephens @traestephens
32K Followers 1K Following Partner, Founders Fund; Co-Founder, Anduril; Co-Founder, Sol
CAL FIRE/San Diego Co... @CALFIRESANDIEGO
157K Followers 489 Following Flickr/Instagram/Facebook: @CALFIRESANDIEGO Conditions of Use: https://t.co/ssjfcviUYl
Anduril Industries @anduriltech
157K Followers 283 Following Anduril is shaping the future of defense, transforming U.S. & allied military capabilities with advanced technology.
Mira Murati @miramurati
371K Followers 574 Following Now building @thinkymachines. Previously CTO @OpenAI
Masahiro Sakai @masahiro_sakai
2K Followers 2K Following Engineer @PreferredNet ← Research Scientist @東芝.『抽象によるソフトウェア設計』『型システム入門』共訳者, Haskeller, https://t.co/v00oxn8aAC, https://t.co/QycS3EnIBu
山本和彦 @kazu_yamamoto
3K Followers 205 Following 4人の子育と親の介護真っ最中のHaskeller。Haskellコミュニティではネットワーク周りを担当。昆虫、特にクワガタが好き。エギンガー&サワラーな釣り人。山口県在住。 アイコンは長男を模したゆるキャラです。
Haskell Weekly @HaskellDiscu
268 Followers 41 Following Articles, projects and tutorials about #Haskell. Weekly newsletter: https://t.co/wHDxdrfj8s
Travis Whitaker (hs/a... @TravisMWhitaker
5K Followers 834 Following I am weaponizing Haskell and Nix.
Palmer Luckey @PalmerLuckey
429K Followers 2K Following I am a technology enthusiast, writer, and modder. Founder of @ModRetro, @Oculus VR, and @Anduriltech. Keeping American superheroes safe with autonomous systems.
Wes Gurnee @wesg52
3K Followers 227 Following Trying to read Claude’s mind. Interpretability at @AnthropicAI Prev: Optimizer @MIT, Byte-counter @Google
Danielle Fong 🔆 @DanielleFong
58K Followers 11K Following *hyperamerican* propane and propane accessories replacing woke solar with a propane flame photonic engine brighter than the sun *portable* dyson spheres!
Alexander Granin @graninas
8K Followers 868 Following 📚 Author 🏗️ Software Architect 🎞️ FP 🧩 OOP 🎙️ Speaker 🔬 Researcher ✒️📜🚀👽 Sci-fi&Poetry 🧠 Thinker 📖 Book: Functional Design and Architecture
Yagiz Nizipli @yagiznizipli
13K Followers 498 Following father, enjoying life and working on @cloudflare workers runtime. wrote a super fast url parser named after my daughter: https://t.co/bEwb1l2q3W
Jason Wei @_jasonwei
98K Followers 638 Following ai researcher @meta superintelligence labs, past: openai, google 🧠
Timothy B. Lee @binarybits
46K Followers 2K Following Reporting on AI and the future of the economy. Computer science masters degree from Princeton. @arstechnica alum. Subscribe to my AI newsletter!
˗ˏˋmewtru´ˎ˗ @trunarla
103K Followers 748 Following I made https://t.co/hiOSECjQtd & https://t.co/0IBEbdSdiv https://t.co/r6Rx43hirg this my guy 👉 @HesJustJordy
🔥 Kareem Carr PhD ... @kareem_carr
172K Followers 347 Following Statistician. PhD@Harvard. Check out my Vital Statistics newsletter (link in bio)
derek guy @dieworkwear
1.4M Followers 956 Following Menswear writer. Editor at @putthison. Bylines at The New York Times, The Financial Times, Politico, Esquire, and Mr. Porter
Andrew McCalip @andrewmccalip
70K Followers 1K Following Building spacecraft @vardaspace. Circumnavigating world @ https://t.co/hLM2DEHrnx. Art @ https://t.co/Cze338MBMi Former: Co-Founder Cosine Additive, acquired by GE
Sinéad Griffin @sineatrix
13K Followers 1K Following @[email protected] 100% scientist @BerkeleyLab, 50% artist and 0% arithmetician, https://t.co/9UzFO08Lp4, 🇮🇪 (she/her)
TracketPacer @TracketPacer
58K Followers 396 Following 🚀 rockit network engineer | 👩🏼💻🛜 weird use cases & silly tech
Zanzi Tangle, now at ... @tangled_zans
3K Followers 325 Following Turning Category Theory into code she/her Find me at: https://t.co/B0egvR0lmb @zanzi.bsky.social
Roopsha Samanta @roopshasamanta
5K Followers 534 Following Ex-academic. Untenured, unapologetic, undaunted.
Wayfinder @playwayfinder
40K Followers 38 Following Out Now on Steam, PlayStation & Xbox! Wield the power of a #Wayfinder in a brand new character-based, co-op action rpg!
wint @dril
1.7M Followers 416 Following welcome to my shit https://t.co/SuXccfQtN7 https://t.co/kHbbE12Ftx https://t.co/uXYQZrfYdk
Daniel Firth (Inspect... @locallycompact
1K Followers 783 Following Hydra @ Input Output. Haskell, Agda, Cardano, Mathematics, Analytic Idealism. Opinions my own.
Ian Chang @ianyhchang
1K Followers 368 Following Debut album 属 Belonging out now via @CitySlang: https://t.co/sdVoQsRBQ7
Sabine Hossenfelder @skdh
197K Followers 787 Following German Physicist. Author of "Lost in Math" & "Existential Physics". There is no strength in numbers, have no such misconception.
Hugging Face @huggingface
567K Followers 210 Following The AI community building the future. https://t.co/VkRPD0Vclr
christina 死神 @chhopsky
14K Followers 2K Following gamedev Ambrosia Sky 💕 writer New Astoria, sapphic cyberpunk 🦾 ex-lolesports, CoD, twitch etc 🇦🇺 girls guitars cameras cars
Trung Phan @TrungTPhan
728K Followers 4K Following Write on business with @workweekinc. Building a privacy-first AI research app (https://t.co/fZ5ObIy3Ra) and LLM API management platform (https://t.co/VTMMh1UFSj)
LOOK AT THE BONES @LATBones
380 Followers 620 Following brooklyn-based emo-revival revival. stream our debut ep “home sweet home”. link: https://t.co/sb0fPtQyRH
She hopf on my fibrat... @girlbossmoder
6K Followers 1K Following Research Fellow in topology at Dunkin Donuts | Minors DNI 🔞
Terrible Maps @TerribleMaps
1.7M Followers 1K Following The home of terrible maps with a pinch of humour [email protected]
Jay Foreman @jayforeman
94K Followers 1K Following This Way Up - When Maps Go Wrong (And Why It Matters) Pre-order the MAP MEN BOOK now: https://t.co/Brsmmvyscu