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

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

Embrace being a crud monkey

Thanks to @BrianGoetz, 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

📢 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 preview, including context parameters. Several previously experimental features are now stable, such as guard conditions, non-local break and continue, and multi-dollar interpolation. ✅ Kotlin compiler: Unified management of compiler warnings. ✅ Kotlin/JVM: Changes to default method generation for interface functions. ✅ Kotlin/Native: LLVM 19 and new features for tracking and adjusting memory consumption. ✅ Kotlin/Wasm: Separated Wasm target and the ability to configure Binaryen per project. ✅ Kotlin/JS: Fix for the copy method generated for JsPlainObject interfaces. ✅ Gradle: Binary compatibility validation included in the Kotlin Gradle plugin. ✅ Standard library: Stable Base64 and HexFormat APIs. Learn more: ➡️ kotl.in/2-2-0

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

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

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-sno… If you want to meet them in person, come to @rustikonconf, the first Rust conference in Poland! Our first guest is @snoyberg 👏

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

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…

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

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

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=4bpc8NpN…

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.

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.

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/functio…

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…

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.

2-3% faster compilation speeds across the board with GHC. @lexi_lambda and @monoidal_ explain how they did it in this blog post: tweag.io/blog/2022-12-22-mak….