2-3% faster compilation speeds across the board with GHC. Alexis King and Krzysztof Gogolewski explain how they did it in this blog post: tweag.io/blog/2022-12-2….

1. Never stop learning. 2. See failure as a beginning. 3. Teach others what you know. 4. Assume nothing, question everything. 5. Analyze objectively. 6. Practice humility. 7. Respect constructive criticism. 8. Love what you do. 9. Give credit where it's due. 10. Take initiative.

I've been working on the Buck2 build system with many others for nearly the last 4 years. Super happy it's now open source, alongside being used internally for a while.

There was a lot of interest in this, so I've published a blog post describing how I use Nix with Dockerfiles to build Docker images, including a runnable example. mitchellh.com/writing/nix-wi…

Functional Programming in Lean is now done! This is an online book on using Lean 4 as a programming language that doesn't assume you already know Haskell, Rust, Coq, Idris, or Agda. Thank you to everyone who provided feedback along the way! leanprover.github.io/functional_pro…

I‘ve been participating on langdev.stackexchange.com for the past few days, and it’s been a lot of fun, but the community is badly in need of more people with real knowledge about PL/compilers. This is not a super high bar, and I suspect that many of my followers clear it.

Interested in a PhD studentship in the Functional Programming Lab in Nottingham? We are currently seeking applications for up to 10 positions. Please share! cs.nott.ac.uk/~pszgmh/10-phd…

Property tests are one of my favourite techniques for doing a lot of QA work with a teeny-tiny bit of code. So much so that I felt compelled to film a demo. 👨‍💻🔍 (I'm using #PureScript & #Neovim here, but the technique works in any modern stack.) 📺 youtube.com/watch?v=4bpc8N…

Interested in learning about functors, applicatives, monads and equational reasoning in Haskell? The full set of 15 videos from my advanced course based on the book "Programming in Haskell" is now freely available on YouTube. tinyurl.com/haskell-notts2

Imagine Python, but with an opt-in type system, native parallelism and access to CPU/GPU-level optimisations - that’s the latest language from the creator of Swift. It’s called Mojo, and it’s our topic of the week on Developer Voices: youtu.be/JRcXUuQYR90

A research project about BEAM languages, focusing on adoption, diversity, and challenges are looking for people to complete this survey and share it with your network. It closes on September 29th: exploring-beam-community.fly.dev

I'm happy to report that a preprint of my book is now available on Artima: artima.com/shop/modern_ma…

Welcome to the #MyRustStory blog series 👀 In 2025, Rust will celebrate its 10th anniversary. This is a great chance to focus on this programming language and its community. In this series, we will share insights from leaders in the #Rustlang community. softwaremill.com/michael-snoyma…

virtual threads in java 24 if you had library code using “synchronized” it’s time to re-visit them

It's official. LaTeX is dead to me. It's all about Typst now. buttondown.com/functionalprog… if you want to know more.

📢 The Kotlin 2.2.0 release is out! This version includes both new and stable language features, tooling updates, performance improvements for different platforms, and important fixes. Here are some additional highlights from this release: ✅ Language: New language features in

Thanks to Brian Goetz, Java is adopting type classes! It's becoming the best mainstream functional language! ✅ algebraic data types with exhaustive pattern matching ✅ Nullable types: JSpecify now, language feature later ✅ Haskell's type classes 🤯 youtu.be/Gz7Or9C0TpM

Embrace being a crud monkey

No more bicycles, buses, or stairs for me. If you use reCAPTCHA, I don't use you. I'm done! 😜

How is Leptos so amazing youtu.be/K_TmEPAD9Ig. I don't know, but I'm going to find out!