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
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.
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
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 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
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!
Satnam Singh @satnam6502
19K 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 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
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 546 Following Programmer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in 🇺🇸, living in 🇮🇱 עזרי מעם ה' עושה שמים וארץ
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.
Yaron (Ron) Minsky @yminsky
15K Followers 333 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 314 Following Director of Product @Constellation Network
Arian van Putten @ProgrammerDude
4K Followers 2K Following I perform @nixos_org witchcraft at @mercury
Paweł Szulc @EncodePanda
3K Followers 655 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 460 Following
David Himmelstrup @purtslemmih
20 Followers 153 Following
Marianaforfe @marianaforfe
299 Followers 419 Following Retired dancer venturing into the world of web3 and content creation, now on the road to financial dependency
Chuanyi Han @Hanson_0215
2 Followers 123 Following
𝐇𝐎𝐏𝐄 𝐈... @shalommukisa
701 Followers 5K Following 🌍 You + Us = A future worth building ¦ Humanity in Action! Supporting Children & Families! Real life stories. Real impact 🫶 ¦ 👇 Be the reason ↓ Donate Now 📥
siddhanta pradhanπ² @siddhan54957063
304 Followers 643 Following
Lucas Silva Barreto @LucasSilva73312
4 Followers 104 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
Musk Private page �... @musk7641
404 Followers 3K Following 1CEO - Spacex 🚀 Tesla =🚘 Founder - The Boring Company Co-Founder - Neuralink, OpenAl
Nikolai Pohodenko @phdnk
4 Followers 65 Following
Olga Pustovalova @olp_cs
508 Followers 880 Following #python #rust #rstats #MachineLearning #NLProc #nlp #digitalhealth
dustyway @dustyway777
15 Followers 195 Following
Muntasir R Rahman @muntasirraihan
192 Followers 2K Following Principal Machine Learning Engineer @ Keystone Strategies
vhs @ApValentin
37 Followers 212 Following
Hrhfaz3 @AnistonJen10814
673 Followers 8K 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
135 Followers 1K Following Software Development Engineer, working for AWS | AWS, React, Full Stack Developer. Love Open Source ❤️
Igor Varga @igorvarga
77 Followers 639 Following Software and IT Infrastructure ✦ Husband ♥ Father of two
David Garner @dpgarnerstl
0 Followers 973 Following
Miguel Ángel Gallard @mikegl
127 Followers 863 Following
Victor Hugo @VictorHugo45995
0 Followers 7K Following
Jose Storopoli @jose_storopoli
156 Followers 372 Following Cypherpunk, PhD, Computer Scientist, Bayesian, Stoic. BJJ & Barbell aficionado. "running bitcoin" since 2020. Open source Maximalist. Software Eng @AlpenLabs.
karthik @Tetris2705
26 Followers 634 Following Experience in building scalable web applications | AI enthusiastic
Eric Tchirnhausen @tchirnhaus20039
22 Followers 5K Following Like to try new things you never know; trying to prove all software can be automated 😅 😅 😅 | ML/AI, | C++/Java/Go | GitHub : Dyl777
Sensey @pisensey
61 Followers 1K Following
arge12 @geier_1
0 Followers 78 Following
Caden Hao @func_hao
9 Followers 77 Following Code ninja in PHP & JS. Simplifying the complicated, one line at a time. Love Laravel Love WordPress Love Elm
Ada obi Loveth @AdaobiLove10353
29 Followers 621 Following
Yevhen @zhacka
525 Followers 437 Following
Ahmed Hany @__AhmedHany__
34 Followers 4K Following
The Bug Report @0xbugreport
157 Followers 2K Following CS student at CSUMB / writer of arcane texts 📜 / network ecologist 📡 / reverse engineer 👨🏼💻 / prompt master supreme
Bas @basketticode
5 Followers 676 Following
phoenix @agentphoenix88
101 Followers 3K Following
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
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 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
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!
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
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 🏳️⚧️
Tom Sydney Kerckhove @kerckhove_ts
3K Followers 426 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Michael Snoyman @snoyberg
6K Followers 546 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
15K Followers 333 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
João Forte Carvalho ... @bgamari
2K Followers 314 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 Reject modernity - return to pasture
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
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
13 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 830 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 138 Following
Dave Viner @dviner
195 Followers 387 Following papa, internet dreamer and doer. @MetaOpenSource and Developer tools at Facebook
austin 🇵🇸 @stdlib
2K Followers 398 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
289K 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
838 Followers 390 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 337 Following Researcher at Intel Strategic CAD Labs. Formal methods, security, computer architecture, ... He/him. Tweets are my own.
Haskell IDE team @IdeHaskell
517 Followers 14 Following Maintainers and collaborators of haskell-language-server and projects powering it
Lawrence Lomax @insertjokehere
434 Followers 773 Following Mobile & Generalist Engineer, Developer Productivity @meta
Meta Open Source @MetaOpenSource
165K Followers 545 Following Empowering diverse community through open source technology.
Ming Khan @Ming_tfk27
632 Followers 412 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
196 Followers 194 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
451 Followers 135 Following Static analysis & compilers at Меtа https://t.co/l9w7XQDcmM
Performance Summit @perfsummit1
342 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 273 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 chairman coatue ventures / 20 years at facebook and amazon
baris @barisacar
47 Followers 235 Following
Daniel Azzopardi @desva0
68 Followers 129 Following
Laurent - @llb@floss.... @laurent_le_brun
87 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
283K 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 270 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]