"In our problem last week, we covered a complex problem that used a binary search. Today, we’ll apply binary search again to solidify our understanding of it. This time, instead of extra algorithmic complexity, we’ll start adding some data structure complexity. We’ll be working with a 2D Matrix instead of basic arrays. To learn more about data structures and algorithms in Haskell, you should take a look at our Solve.hs course! In particular, you’ll cover multi-dimensional arrays in module 2, and you’ll learn how to write algorithms in Haskell in module 3!" https://mmhaskell.com/blog/2025/7/14/binary-search-in-a-2d-matrix

"There's a trend at the moment of solving online games with programming, let's do one from the UK called Passport Application, which is developed by "His Majesty's Passport Office" or HMPO. It's a cultural phenomenon in the UK: despite being quite expensive (about £100 just to start) for the standard online version (a masterpiece of minimalist design, entirely text-based), most British play the game, and do so every 10 years or so." https://jameshaydon.github.io/passport/

"A common issue in impure ML-style languages with polymorphism and mutable references is the possibility of polymorphic references. In a hypothetical impure language that had both these features, but no mitigations against polymorphic references, the following code would be extremely unsafe...." https://welltypedwit.ch/posts/value-restriction

"In my functional programming course to Master Students of Telecom Nancy, I like to use parsing as an example of monadic programming, relying on the megaparsec library. My only concern with megaparsec is that its official tutorial is long: at the time I’m writing, it’s 15000 words long." https://www.tweag.io/blog/2025-04-24-minimal-megaparsec-tutorial/

"Implementing a calculator with normal ranges, embedded in Haskell, using a simplified probability monad." https://alt-romes.github.io/posts/2025-04-25-unsure-calculator-in-100-lines-of-haskell.html

"A few months ago, I announced that the GHC wasm backend added support for Template Haskell and ghci. Initially, the ghci feature only supported running code in nodejs and accessing the nodejs context, and I’ve been asked a few times when ghci was going to work in browsers in order to allow live-coding the frontend. Sure, why not? I promised it in the last blog post’s wishlist. After all, GHCJS used to support GHCJSi for browsers almost 10 years ago!".. https://www.tweag.io/blog/2025-04-17-wasm-ghci-browser/

"Typeclass metaprogramming is a powerful technique available to Haskell programmers to automatically generate term-level code from static type information. It has been used to great effect in several popular Haskell libraries (such as the servant ecosystem), and it is the core mechanism used to implement generic programming via GHC generics. Despite this, remarkably little material exists that explains the technique, relegating it to folk knowledge known only to advanced Haskell programmers." https://lexi-lambda.github.io/blog/2021/03/25/an-introduction-to-typeclass-metaprogramming/