Neil Mitchell (neildmitchell @๐ชก)
@ndm_haskell
Haskell/Rust programmer. Views expressed are my own.
๋ด๊ฐ ์ข์ํ ๋งํ ์ฝํ ์ธ
Pyrefly is awesome. Anyone using Pyright (the default Python support in Cursor) should switch today.
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/โฆ
us.pycon.org
High-Performance Python: Faster Type Checking and Free Threaded Execution (Sponsor: Meta)
Meta's Commitment to the Python Community: Empowering Innovation and Collaboration At Meta, we're dedicated to advancing the Python ecosystem through โฆ Presented by: Sam Gross, Neil Mitchell
I'll be talking at this about Buck2
๐ Build Meetup London - May 22 @ 11 AM! Expert insights on Bazel migration & scaling, Buck2, & build strategies. Plus, a hands-on unconference session. Register: share.hsforms.com/2-kAtpya7SouXmโฆ โค๏ธ Hosted by EngFlow, @JaneStreetGroup, and @tweagio. #Bazel #Buck2 #BuildSystems #DevOps
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
youtube.com
YouTube
DConf '24 Day Two Livestream
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!
United States ํธ๋ ๋
- 1. Vanity Fair 40.3K posts
- 2. Susie Wiles 90.4K posts
- 3. Mick Foley 27.6K posts
- 4. #doordashfairy N/A
- 5. Raphinha 49.8K posts
- 6. Michelea Ponce 15.5K posts
- 7. Disclosure Day 17.7K posts
- 8. Spielberg 24.3K posts
- 9. Brad Johnson N/A
- 10. Alan Jackson N/A
- 11. My Fellow Americans 3,208 posts
- 12. Larian 7,585 posts
- 13. Palmer 41.8K posts
- 14. Doug Williams N/A
- 15. Philo 2,240 posts
- 16. Unemployment 60.9K posts
- 17. Bellingham 30.8K posts
- 18. Josh Freeman N/A
- 19. Olive Garden N/A
- 20. Brookline 1,783 posts
๋ด๊ฐ ์ข์ํ ๋งํ ์ฝํ ์ธ
-
Edward Kmett
@kmett -
Well-Typed
@welltyped -
Joรฃo Forte Carvalho @Conste11ation
@bgamari -
Andres Lรถh
@kosmikus -
Michael Snoyman
@snoyberg -
Tweag by Modus Create
@tweagio -
Graham Hutton
@haskellhutt -
Haskell Foundation
@haskellfound -
Matt Parsons
@mattoflambda -
Serokell
@serokell -
ICFP Conference
@icfp_conference -
Evil Haskell Tips
@EvilHaskellTips -
Tikhon Jelvis
@tikhonjelvis -
Joachim Breitner
@nomeata -
Phil Freeman
@paf31
Something went wrong.
Something went wrong.