Neil Mitchell (neildmitchell @🪡) @ndm_haskell
Haskell/Rust programmer. Views expressed are my own. ndmitchell.com Cambridge/London, UK Joined March 2010-
Tweets4K
-
Followers5K
-
Following165
-
Likes8K
Today I spent 8 hours to change 2 lines of code (github.com/facebook/pyref…). That involved: * 30,342,810 line example that caused a crash * 97 compilations * 1.3Gb of log files * 6 historic diffs * 3 computers * 2 whiteboards of notes It's like a day long logic puzzle :)
New-ish @galois blog: “What Works (and Doesn't) Selling Formal Methods”. The boring truth: engineers are rational and adoption is all about cost/benefit tradeoffs
We landed a Zed extension for `pyrefly`, @facebook's new Python language server written in Rust. "Type check over 1.85 million lines of code per second" and receive other goodies, like go-to-definition.
🚀New Project Alert🚀 We recently launched an open source project, Pyrefly. It's a new type checker and IDE experience for Python. Lightweight, accurate, and designed for scale, Pyrefly is an excellent fit for your Python workflow! Learn more: engineering.fb.com/2025/05/15/dev…
Pyrefly (our Python type checker) got a blog post (engineering.fb.com/2025/05/15/dev…) and podcast (open.spotify.com/episode/4JhEid…) today. Available from pyrefly.org if you want to give it a try.
Heading off to PyCon to talk about Pyrefly, the Python type checker I've been working on for the past 9 months. us.pycon.org/2025/schedule/…
I'll be talking at this about Buck2
Rust 1.85.0 has been released! 🌈🦀✨ Not only does this release add async closures, it also includes a whole new Rust Edition, Rust 2024! 🎆🚀 Check out the blog post for an overview of all the changes and additions: blog.rust-lang.org/2025/02/20/Rus…
HLint (Haskell linter) v3.10 out, which now works with GHC 9.8-9.12. A few little hints here and there too. hackage.haskell.org/package/hlint
I don't recommend developing two build systems, and then switching from one to the other, but that's what we at Jane Street accidentally did. And what a journey it was! In the end, we're finally using Dune to build all our 70M+ lines of OCaml & Python 🙌 blog.janestreet.com/how-we-acciden…
This Linux-kernel-RCU bug fought well: people.kernel.org/8q9a9dt4q3
Very cool talk on building D binaries with Buck2 - youtube.com/live/AzezZhvIy… by Max Haughton
I’ve done a lot of formal methods “technical sales” - trying to scope projects for Galois clients that solve their problem and fit into a budget. I gave a talk last week on some things that I learned along the way: mikedodds.github.io/files/talks/20…
Released the Haskell extra library 1.8, now with support for the upcoming GHC 9.12. Mostly a lot of handy list functions - hackage.haskell.org/package/extra/…
My Haskell Uniplate library got ported to Rust - crates.io/crates/uniplate. Allows doing traversals by type, eg making it easy to work with big syntax trees. I've been using these ideas in Rust a while (eg github.com/facebook/starl…) but happily someone made them a proper library!
I finally wrote down my thoughts on the design of the LSP, both good and bad: michaelpj.com/blog/2024/09/0…
Got starlark-rust working with WASM/JS, so you can now run Starlark (approximately simplified Python) in your browser. Based on code from april.dev. PR at github.com/facebook/starl….
Haskell XML parsing library `hexml` (github.com/ndmitchell/hex…) gets an update after 6 years! Now supports <![CDATA[ ]]>, thanks to a contribution from mniip.com. Hexml is a very fast XML parser written in C, designed for easy wrapping as a fast Haskell XML library.
My 11yo made a platformer scratch game - scratch.mit.edu/projects/10098… - requires keyboard control. Finally a scratch game from him with a reasonable difficulty curve!
The libarchive e8 vulnerability is actually really cool, but the ZDI advisory doesn't explain why it's so wild lol. For some reason, I know about RAR filters, so let me provide the background. 🧵 1/n

Dmitrii Kovanikov @ChShersh
48K Followers 231 Following Dysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
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
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
Graham Hutton @haskellhutt
8K Followers 696 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
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!
Satnam Singh @satnam6502
20K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
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
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
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
Michael Snoyman @snoyberg
6K Followers 569 Following Programmer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in 🇺🇸, living in 🇮🇱 עזרי מעם ה' עושה שמים וארץ
Yaron (Ron) Minsky @yminsky
16K Followers 340 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
João Forte Carvalho ... @bgamari
2K Followers 320 Following Director of Product @Constellation Network
Paweł Szulc @EncodePanda
3K Followers 657 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Edward Z. Yang @ezyang
14K Followers 1K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
Redacted @cercerilla
2K Followers 459 Following
Alejandro Serrano @trupill
4K Followers 479 Following 👨💻 Researcher at Kotlin Evolution Team 🧙♂️ Haskell wizard 📚 Author of 4 books 👨👩👦👦 +1 of @ElenaVielva
MelissaDabiri @MeliissaDabiri0
856 Followers 2K Following Sales Director at Ripple. Be the business. UCL #Ripple #XRP #XLM #|socoin20022 #NESARA #GESARA Awaken The New Financial System (WEB3 System)
拉普拉斯妖 @int0x16
5 Followers 318 Following
Ali @MetheBond
8 Followers 103 Following Making memories with Travel & Tech, Learning and Growth is a lifetime process🎯
Adithya Kumar @adiovk
2 Followers 36 Following
Gire @argireraj
59 Followers 3K Following
name cannot be blank @nihil2501
172 Followers 3K Following
Åsmund Retterstøl @retterstol
22 Followers 109 Following
よび @pmpmbocchi
6K Followers 6K Following アプリ開発などIT全般のトレンド、副業に関して発信。スタートアップからメガベンチャーまでの案件をメインにディレクション。月に10件程度の案件に携わっていますが案件多くて副業出来る方を探してます。プレミアリーグ/ご飯/プロ野球 /旅行/採用
Michael Litchard @lambdafan
3 Followers 73 Following
July-Anger Zucchini @AngerJulyZu
0 Followers 41 Following
Daniel San @dani_avila7
15K Followers 3K Following co-founder and CTO, building @aitmpl_com + @codegptAI + @deepgraphMCP | Powered by TypeScript & Pumpkin Spice Lattes ☕️
minascorinth @minascorinth
0 Followers 734 Following
Ihar Hrachyshka @hrachyshka
6 Followers 294 Following
Titouan Créac'h @titouancreach
79 Followers 453 Following Software engineer, functional programming lover, neovim enthusiast.
Valentina Rohan @RohanValen32915
80 Followers 2K Following
Archmagos Biologis, M... @techpriestbio
9 Followers 137 Following Physician (MD). Electrical engineer. Neuroscientist. Bridging biology and the Rechnender Raum.
David Himmelstrup @purtslemmih
19 Followers 158 Following
Marianaforfe @marianaforfe
212 Followers 420 Following Retired dancer venturing into the world of web3 and content creation, now on the road to financial dependency
Chuanyi Han @Hanson_0215
0 Followers 125 Following
FlexAbraham @flex_abraham
18 Followers 950 Following The Lord is my shepherd there is nothing ✝️♥️🙏🏿 follower of Christ
INTOUCH FOUNDATION @mukisabrian510
937 Followers 7K Following 🤲 Small steps, big impacts Humanity in Action | Supporting Children & Families | Real life stories ¦ Real impact | 🫶 Donate | 🔔 Share | inspire 🌎
siddhanta pradhanπ²... @siddhan54957063
483 Followers 954 Following
Lucas Silva Barreto @LucasSilva73312
3 Followers 103 Following
Byron Alley @byronalley
1K Followers 2K Following Entrepreneur, elixir web dev, business consultant — en/fr/es/ע/中 Also Rust, C, ML, NeoVim. I use tmux btw. CE9BD6F384C1EB129727D9F33F4D259CD2769183
Nikolai Pohodenko @phdnk
4 Followers 65 Following
Olga Pustovalova @olp_cs
510 Followers 879 Following #python #rust #rstats #MachineLearning #NLProc #nlp #digitalhealth
dustyway @dustyway777
16 Followers 227 Following
Muntasir R Rahman @muntasirraihan
197 Followers 2K Following Principal Machine Learning Engineer @ Keystone Strategies
vhs @ApValentin
35 Followers 212 Following
Hrhfaz3 @AnistonJen10814
681 Followers 7K Following Every picture has a story and every story has a moment I'd love to share with you, thanks and enjoy
Avinash Sivaraman @AvinashSivaram
136 Followers 1K Following Software Development Engineer, working for AWS | AWS, React, Full Stack Developer. Love Open Source ❤️
Igor Varga @igorvarga
74 Followers 644 Following Software and IT Infrastructure ✦ Husband ♥ Father of two
David Garner @dpgarnerstl
0 Followers 1K Following
Miguel Ángel Gallard @mikegl
127 Followers 862 Following
Victor Hugo @VictorHugo45995
0 Followers 7K Following
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
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
Graham Hutton @haskellhutt
8K Followers 696 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
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!
Satnam Singh @satnam6502
20K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
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 🏳️⚧️
Tom Sydney Kerckhove @kerckhove_ts
3K Followers 425 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Michael Snoyman @snoyberg
6K Followers 569 Following Programmer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in 🇺🇸, living in 🇮🇱 עזרי מעם ה' עושה שמים וארץ
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
Yaron (Ron) Minsky @yminsky
16K Followers 340 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
João Forte Carvalho ... @bgamari
2K Followers 320 Following Director of Product @Constellation Network
Edward Z. Yang @ezyang
14K Followers 1K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
Patrick Walton @pcwalton
18K Followers 520 Following Programming languages and graphics person. @pcwalton.bsky.social
sclv @sclv
2K Followers 3K Following "more important than being able to do mathematics is to be sure the applications are meaningful." - e. bishop • https://t.co/45nJUN3IqD
🌸🐑 mlep🥛🌸 @yandereidiot
6K Followers 873 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!
José Manuel Calderó... @josecalderon
2K Followers 855 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Haskell Foundation @haskellfound
5K Followers 59 Following https://t.co/fFbaw17S1M • a non-profit for building the future of Haskell
Andrew Gallant @burntsushi5
10K Followers 96 Following I love to code. I rarely check DMs. My email address is on my web site.
ZubanLS @zubanls
16 Followers 1 Following A Mypy-compatible Python Language Server built in Rust (by @jedidjah_ch)
Astral @astral_sh
8K Followers 0 Following High-performance developer tools for the Python ecosystem, starting with Ruff, an extremely fast Python linter, written in Rust.
Charlie Marsh @charliermarsh
28K Followers 827 Following Building @astral_sh: Ruff, uv, and other high-performance Python tools. Prev: Staff engineer @SpringDiscovery, @KhanAcademy, BSE @PrincetonCS.
StFaithsKinver @StFaithsKinver
176 Followers 3 Following Welcome to the twitter account for the Year 6 trip to Kinver!
Mark Cuban @mcuban
9.0M Followers 1K Following Dunking on the pharma industry with @costplusdrugs.com, the lowest prices on meds anywhere. check it out !
Bazel @bazelbuild
6K Followers 34 Following Build and test software of any size, quickly and reliably
Andreas Herrmann @andrherr
16 Followers 10 Following
David Tolnay @davidtolnay
9K Followers 139 Following
Dave Viner @dviner
195 Followers 388 Following papa, internet dreamer and doer. @MetaOpenSource and Developer tools at Facebook
austin 🇵🇸 @stdlib
2K Followers 395 Following we altered the flow of time, so that the world might once again feel small (bg: Roses, Butterfly and Puppies, by Nagasawa Rosetsu)
Dan Luu @altluu
4K Followers 1 Following Chatty alt of @danluu. Mainly on https://t.co/V3Q53o3vC3 and https://t.co/00xlxH8ipr.
Gergely Orosz @GergelyOrosz
292K Followers 3K Following Writing @Pragmatic_Eng, the #1 technology newsletter on Substack. Author of @EngGuidebook. Formerly Uber & Skype.
Andy Gordon @AndrewDGordon
2K Followers 996 Following Computer scientist focused on AI & HCI, esp programming languages. Science advisor at Cogna and Evara AI. Ex partner at Microsoft. Honorary prof at U Edinburgh.
Anil Madhavapeddy @avsm
6K Followers 1K Following Professor of Planetary Computing @Cambridge_CL 🇮🇪 @[email protected] and https://t.co/0P3DSgR0Dv
Simon Peyton Jones @SimonPeytonJon1
58 Followers 0 Following
Nadav Rotem @nadavrot
4K Followers 414 Following Engineering director at Facebook. Interested in systems, compilers, ML, performance, and other stuff. 🇮🇱
Deep Time Ecology @DeepTimeEcology
834 Followers 388 Following Deep time ecology group @CamZoology looking at how ecology impacts evolution from the first animals to our modern oceans. PI @EGMitchell
Alastair Reid @alastair_d_reid
3K Followers 336 Following Researcher at Intel Strategic CAD Labs. Formal methods, security, computer architecture, ... He/him. Tweets are my own.
Haskell IDE team @IdeHaskell
516 Followers 14 Following Maintainers and collaborators of haskell-language-server and projects powering it
Lawrence Lomax @insertjokehere
431 Followers 774 Following Mobile & Generalist Engineer, Developer Productivity @meta
Meta Open Source @MetaOpenSource
166K Followers 545 Following Empowering diverse community through open source technology.
Ming Khan @Ming_tfk27
630 Followers 410 Following PhD student from Bangladesh at @CamZoology & @BAS_News via @CornellEAS and @PaleoFAU. Tweets about science, activism, inclusion, debate, all my homes. she/her
Nile Stephenson @NileStephenson
195 Followers 193 Following PhD candidate in Zoology Dept. at Uni of Cambridge studying Ediacaran & soft coral ecology. Enjoy reading, music, running. he/him
Artem Pianykh @artem_pianykh
450 Followers 135 Following Static analysis & compilers at Меtа https://t.co/l9w7XQDcmM
Performance Summit @perfsummit1
343 Followers 75 Following Semi-annual event for software performance enthusiasts interested in learning and speaking about research and development in software performance space.
Pantsbuild @pantsbuild
1K Followers 62 Following Ergonomic, hermetic, user-friendly software build system for Python, Go, Java, Kotlin, Protobuf, Scala, Shell. Pants lets you fearlessly scale up your codebase!
John Carmack @ID_AA_Carmack
1.1M Followers 274 Following AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo Aerospace
rust-analyzer @rust_analyzer
13K Followers 3 Following Empowering language server for @rustlang. Support at https://t.co/eMVqPirYpa
Dan Rose @DanRose999
111K Followers 546 Following senior advisor at coatue / 20 years at facebook and amazon
baris @barisacar
45 Followers 234 Following
Daniel Azzopardi @desva0
69 Followers 129 Following
Laurent - @llb@floss.... @laurent_le_brun
86 Followers 137 Following Software engineer at Google. Working on an IDE. Previously worked on Bazel and F#. Designer of Starlark. Demoscener (LLB / Ctrl-Alt-Test).
Engineering at Meta @fb_engineering
280K Followers 198 Following Engineering at Meta is a technical news resource for engineers interested in how we solve large-scale technical challenges at Meta.
Mike Schroepfer @schrep
100K Followers 271 Following founder @Gigascale, Sr Fellow/fmr CTO @Meta, founder @AdditionalVent. Let’s go build!
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]