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
Justin Lê retweeted
AI has graduated from PhD student to advisor
58
668
21K
433K
715
Download Image
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
Justin Lê retweeted
Sub-10-microsecond Haskell Sudoku solver implemented in hardware. unsafeperform.io/papers/2025-hs…
Justin Lê retweeted
@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
Justin Lê retweeted
chat… it’s time to lock in for real
Justin Lê retweeted
I'm 33 going on 34 and I work on this codebase every day. Feeling blessed 🙏
the difference between mathematicians and programmers, ask them how much exactly pi megabytes is
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
Justin Lê retweeted
null pointer was the culprit that took down google 😭
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
Justin Lê retweeted
Justin Lê retweeted
remember what good repos are supposed to look like
Edward Kmett @kmett
16K Followers 824 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 523 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
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.
Tom Sydney Kerckhove @kerckhove_ts
3K Followers 426 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
10K 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 • competitive shooter
Tikhon Jelvis @tikhonjelvis
3K Followers 249 Following I like programming languages. A lot. Tools, types and functions.
🌸🐑 mlep🥛🌸 @yandereidiot
6K Followers 873 Following 🪬 Former CTO of @haskellfound 🧘 Advisor/Core Eng Honcho @kadena_io 🐎 Horse and dairy lover 🤠 Cowgirl Utahn Reject modernity - return to pasture
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 655 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 460 Following
Elijah Shen @ElijahShen1
5 Followers 68 Following
John Smith @john98299
3 Followers 15 Following
Elrondex @elrondex
191 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
160 Followers 6K Following
Liam Goodacre @goodacre_liam
476 Followers 457 Following Programmer, mainly Haskell, maybe categories. The answer is always an optic. Foldable Coyoneda gives me joy.
Anshu Kumar @anshuscript
476 Followers 933 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
keinsell @keinsell_
325 Followers 1K Following
𐤀 @syenanoon
167 Followers 1K Following
Marcos @MAMware
335 Followers 2K Following
Andrew Bailey @drewmanfsu
133 Followers 185 Following Jesus saved my life. Husband, Father of 3 boys. Building websites and apps in my free time
Hrhfaz3 @AnistonJen10814
674 Followers 8K 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
82 Followers 137 Following Master's Student at UT Austin under Professor Stone in the LARG group working on reinforcement learning, multi-agent learning, and game theory
JulieDaugherty @woshinji1971
1 Followers 1K Following My husband was a big fan of investing in virtual assets. He left me a legacy, bu t I don’t know how to withdraw it. What should I do?【https://t.co/sqiEjmjR8Z】
Rhuihgie @Rhuihgie755126
16 Followers 1K Following
𝕝𝕖𝕠𝕟 @typesuser
255 Followers 4K Following transformers for neuroscience @netholabs // making ml deployments atomic @diagonalsh
LJ @xt7ybn
17 Followers 436 Following
Ada obi Loveth @AdaobiLove10353
29 Followers 621 Following
Easworte @Easworte01300
26 Followers 952 Following
Beibvum @Beibvum3845
27 Followers 1K Following
Swawbee @Swawbee60249
25 Followers 1K Following
Jitender Shekhawat @hash_tweak
56 Followers 228 Following Builder of things. Rust | JS/TS | Haskell | FP enthusiast. Prefers Linux, learning AI.
Dave Fuller @davefuller
183 Followers 428 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
146 Followers 596 Following Vice Chairman of the Board @ The Organization for Advancement of the OKLCH Color Format (OAOCF)
Makayla Hirthe @MHirthe51903
83 Followers 4K Following
Roalosh @RoaloshnkS4WB
31 Followers 2K Following Is there someone somewhere, waiting for me to return to my original appearance
iampizza @AilrkY
1 Followers 187 Following
Baba Otter @BabaOtter
208 Followers 2K Following
kno1important @kno1important
356 Followers 4K Following
Mihai Chirculescu @m_chirculescu
579 Followers 586 Following You can just do things. My DMs are open: reach out!
Milad @MiladBourhani
173 Followers 2K Following Software Craftsman, father, lazy guitarist, gamer. I like Haskell a lot. Opinions are my own.
Matios Incompleteness... @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
133 Followers 2K Following Dev/Researcher at Weblyzard Technology + Msc. Student, Computational Social Systems at the TU Graz
Kemal Elmizan @kemalelmizan
209 Followers 2K Following Software Engineering | Distributed Systems Lecturer | https://t.co/Wh7m959DJB | [email protected]
qokdie @gokdenizhater
10 Followers 201 Following
Lee Penkman @LeeLeepenkman
3K Followers 4K Following AI Will Come To Life. Husband, Father https://t.co/ZRrl5gTRcd AI Social Net. https://t.co/jOys1I1emb Vision/Language/Speech APIs https://t.co/k4UbhkOJFO AI Art Generator
Dmitrii Kovanikov @ChShersh
42K Followers 204 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 824 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 523 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 103 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
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.
Graham Hutton @haskellhutt
8K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Tom Sydney Kerckhove @kerckhove_ts
3K Followers 426 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
10K 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 76 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 249 Following I like programming languages. A lot. Tools, types and functions.
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 995 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
154K Followers 281 Following Anduril is shaping the future of defense, transforming U.S. & allied military capabilities with advanced technology.
Mira Murati @miramurati
365K Followers 573 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 204 Following 4人の子育と親の介護真っ最中のHaskeller。Haskellコミュニティではネットワーク周りを担当。昆虫、特にクワガタが好き。エギンガー＆サワラーな釣り人。山口県在住。 アイコンは長男を模したゆるキャラです。
Haskell Weekly @HaskellDiscu
270 Followers 41 Following Articles, projects and tutorials about #Haskell. Weekly newsletter: https://t.co/wHDxdrfj8s
Travis Whitaker (hs/a... @TravisMWhitaker
5K Followers 827 Following I am weaponizing Haskell and Nix.
Palmer Luckey @PalmerLuckey
421K 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 229 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 propane flame photonic engine brighter than the sun *portable* dyson spheres!
Alexander Granin @graninas
7K Followers 869 Following 📚 Author 🏗️ Software Architect 🎞️ FP 🧩 OOP 🎙️ Speaker 🔬 Researcher ✒️📜🚀👽 Sci-fi&Poetry 🧠 Thinker 📖 Book: Functional Design and Architecture
Yagiz Nizipli @yagiznizipli
13K Followers 489 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 636 Following ai researcher @meta superintelligence labs, past: openai, google 🧠
Timothy B. Lee @binarybits
46K Followers 1K 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
102K Followers 736 Following I made https://t.co/hiOSECjQtd & https://t.co/0IBEbdSdiv https://t.co/r6Rx43hirg this my guy 👉 @HesJustJordy
Dr Kareem Carr, Stati... @kareem_carr
172K Followers 350 Following Statistician. PhD @Harvard • Follow me for fun, nerdy content • Author of the Vital Statistics newsletter (link in bio)
derek guy @dieworkwear
1.4M Followers 958 Following Menswear writer. Editor at @putthison. Creator of @RLGoesHard. Bylines at The New York Times, The Financial Times, Politico, Esquire, and Mr. Porter
Andrew McCalip @andrewmccalip
69K 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 | find me on a platform not run by a nazi 👋🏼
Zanzi Tangle, now at ... @tangled_zans
3K Followers 327 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 773 Following Hydra @ Input Output. Haskell, Agda, Cardano, Mathematics, Analytic Idealism. Opinions my own.
Ian Chang @ianyhchang
1K Followers 369 Following Debut album 属 Belonging out now via @CitySlang: https://t.co/sdVoQsRBQ7
Sabine Hossenfelder @skdh
196K 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
559K Followers 208 Following The AI community building the future. https://t.co/VkRPD0Vclr
christina 死神 @chhopsky
14K Followers 2K Following making Ambrosia Sky @softrainsgames 💕 writer New Astoria, sapphic cyberpunk 🦾 ex-lolesports, CoD, twitch, dauntless etc 🎸🥁📸🇦🇺 right click enemy champions
Trung Phan @TrungTPhan
729K 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
381 Followers 621 Following brooklyn-based emo-revival revival. stream our debut ep “home sweet home”. link: https://t.co/sb0fPtQyRH
She hopf on my fibrat... @girlbossmoder
5K 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
Adam Wespiser @wespiser
279 Followers 528 Following Technologist, Software Engineer, and ex-academic.Trends for United States
194 B posts
69,1 B posts
54,7 B posts
74 B posts
66,2 B posts
230 B posts
186 B posts
40,8 B posts
54,9 B posts
7.871 posts
5.356 posts
23,9 B posts
5.424 posts
6.980 posts
2.742 posts
5.140 posts
125 B posts
5.905 posts
2.666 posts
4.009 posts
You might like
João Forte Carvalho ...
@bgamari
2K Followers
Well-Typed
@welltyped
6K Followers
Neil Mitchell (neildm...
@ndm_haskell
5K Followers
Joachim Breitner
@nomeata
2K Followers
Nikita Volkov
@NikitaYVolkov
1K Followers
Tikhon Jelvis
@tikhonjelvis
3K Followers
Michael Snoyman
@snoyberg
6K Followers
Matt Parsons
@mattoflambda
5K Followers
Andres Löh
@kosmikus
3K Followers
Dad×2_jack
@Iceland_jack
3K Followers
gelisam
@haskell_cat
1K Followers
Vladislav Zavialov
@int_index
2K Followers
Oskar Wickström
@owickstrom
5K Followers
Lennart Augustsson
@Augustsson
2K Followers
Jeremy Gibbons
@jer_gib
2K Followers