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 ( https://t.co/2mw1LKDqQk). 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:

Pyrefly (our Python type checker) got a blog post ( https://t.co/vuS8HJ6D1Q) and podcast ( https://t.co/odeIYbTad4) today. Available from https://t.co/fullAX6Ub5 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.

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:

HLint (Haskell linter) v3.10 out, which now works with GHC 9.8-9.12. A few little hints here and there too.

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 🙌 https://t.co/qYfW5y45uE

This Linux-kernel-RCU bug fought well:

Very cool talk on building D binaries with Buck2 - https://t.co/mlKtfeaRC7 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: https://t.co/pEnr6noLpA

Released the Haskell extra library 1.8, now with support for the upcoming GHC 9.12. Mostly a lot of handy list functions -

My Haskell Uniplate library got ported to Rust - https://t.co/OrhwJ8ozFq. 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 https://t.co/ZuPXL7NBvG) but happily someone made them a proper library!

I finally wrote down my thoughts on the design of the LSP, both good and bad:

Got starlark-rust working with WASM/JS, so you can now run Starlark (approximately simplified Python) in your browser. Based on code from https://t.co/TB0igkhOg8. PR at https://t.co/MUnd5jXBZ1.

Haskell XML parsing library `hexml` ( https://t.co/9UoHfVJZ93) gets an update after 6 years! Now supports <![CDATA[ ]]>, thanks to a contribution from https://t.co/cM8g01jI1U. 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 - https://t.co/bTNBD9Wk20 - requires keyboard control. Finally a scratch game from him with a reasonable difficulty curve!