Let's try something different for a change: A simple #DerivingVia tutorial in #Haskell via a Twitter thread 🧵

New blog post: Things DBs don't do - But should! thenile.dev/blog/things-db… It is based on my keynote at #ddtx23 - lots of people asked about it and there were no recordings. So I put my thoughts on writing.

10 Haskell/GHC features I avoid: >>= ; let if-then-else case-of import data type class instance They’re not always a problem. But, they’re overused, and can often be replaced by better alternatives. Here's why I avoid each, and what I do instead... 📷

"FoundationDB: A Distributed Key-Value Store", from this month's CACM, is a great read. Well worth checking out for anybody who works on the architecture of large systems: cacm.acm.org/magazines/2023…

Introducing NeoHaskell: A beacon of joy in a greyed tech world dev.to/neohaskell/int… #haskell #opensource #programming

Published a new blog post! ✍️ 8 months of OCaml after 8 years of Haskell in production In this blog post, I compare OCaml and Haskell across 🧪 Syntax 🧪 Features 🧪 Ecosystem 🧪 Tooling 🧪 Compiler messages 🧪 Standard library I hope you enjoy! 🤗 And let me know any

It took three years to finish, but our follow-up to the 2006 "What Goes Around Comes Around" is finally out! Stonebraker and I examine the last 20 years in databases and discuss why relational databases + SQL will continue to remain on top. 📄PDF: db.cs.cmu.edu/papers/2024/wh…

Want to learn how database concurrency control really works? Check out this paper from Yingjun Wu 🤘 and Andy Pavlo (@andypavlo.bsky.social)!  It dives deep into the most widely used type of concurrency control today: multi-version concurrency control (MVCC). The basic idea behind MVCC is for a database

Learning Haskell/FP often expands people’s minds. In a world dominated by Java + Python intro courses, being forced to see computation in a new way is very empowering. There’s almost no downside to learning these techniques and having them in your toolbox.

Elizabeth Garrett Christensen (Elizabeth Garrett Christensen): Window Functions for Data Analysis with Postgres postgr.es/p/6Df

I am thrilled to announce that my book, Functional Design and Architecture, has just been released by Manning Publications! FINALLY RELEASED!!! 😃😃😃😄😊😊❤️❤️❤️❤️❤️❤️ This has been a long journey, and I sincerely hope this book will make a significant contribution to the functional

The first two videos for CMU Database Group's latest seminar series on Database Building Blocks are now posted. You should start off with Andrew Lamb's fantastic introductory overview to ApacheDataFusion: youtube.com/watch?v=iJhRbD…

This paper covering the internals and architecture of ClickHouse is one of the best in database architecture that I read in 2024. Some great insights on SIMD and Multicore parallelisation of the query processing layer, query compilation based on LLVM, the various data

New blog post on the mental model I've used when working through complex or confusing papers on transactional systems. transactional.blog/blog/2025-deco…

🏆 The ACM SIGMOD Test of time award (2025) goes to K-shape: Efficient and accurate clustering of time series John Paparrizos, Luis Gravano 2025.sigmod.org/sigmod_awards.…

Nice blogpost by Murat Demirbas (Distributolog) on the foundational treatment of serializability theory in databases from Chapter 2 of the book Concurrency Control and Recovery in Database Systems (1987) by Bernstein, Hadzilacos, and Goodman. I started reading the post and after a bit of

"Mathematics for Computer Science" from MIT. This complete book of 1048 pages is now FREE.

You don’t hate math. You hate the way it was taught to you. But because you haven’t learned math properly, you confuse correlation and causation, and therefore think that you hate math.

James Noble excerpt from a longer paper Ensuring safety for powerful learned systems requires a fundamentally different foundation based on mathematically provable constraints on the acts an AI may perform. Such a foundation must rest on a simple principle: we should never trust an AI’s

AI is writing a growing share of the world's software. No one is formally verifying any of it. New essay: "When AI Writes the World's Software, Who Verifies It?" leodemoura.github.io/blog/2026/02/2…