2025-08-29
You no longer need JavaScript
lyra.horse/blog/2025/08/you-dont-need-jsAn overview of what makes modern CSS so awesome.
2025-08-21
A Brief Guide to A Few Algebraic Structures
argumatronic.com/posts/2019-06-21-algebra-cheatsheet.htmlI started writing this post because, for whatever reason, I keep forgetting what the difference is between a ring and a group, which is funny to me because I never forget the difference between a semiring and a semigroup – although other people do, because it’s quite easy to forget! So, I wanted a fast reference to the kinds of algebraic structures that I am most often dealing with in one way or another, usually because I’m writing Haskell (which has some reliance on terminology and structure from abstract algebra and category theory) or I’m trying to read a book about category theory and they keep talking about “groups.” Wikipedia, of course, defines all these structures, and that’s fine, but what I need in those times is more of a refresher than an in-depth explanation.
2025-05-28
The Ingredients of a Productive Monorepo
blog.swgillespie.me/posts/monorepo-ingredients2025-04-24
Instrumenting Axum projects
determinate.systems/posts/instrumenting-axum2025-01-21
Algebraic Effects for the Rest of Us
overreacted.io/algebraic-effects-for-the-rest-of-us2025-01-09
if got, want: A Simple Way to Write Better Go Tests
mtlynch.io/if-got-want-improve-go-tests2024-12-20
Visitor Pattern Considered Pointless - Use Pattern Switches Instead
nipafx.dev/java-visitor-pattern-pointlessIn modern Java, the visitor pattern is no longer needed. Using sealed types and switches with pattern matching achieves the same goals with less code and less complexity.
2024-10-21
init.py files are optional. Here’s why you should still use them
dev.arie.bovenberg.net/blog/still-use-init-py2024-10-16
Damas-Hindley-Milner inference two ways
bernsteinbear.com/blog/type-inference2024-09-16
Technical Writing One introduction
developers.google.com/tech-writing/one2024-07-02
A write-ahead log is not a universal part of durability
notes.eatonphil.com/2024-07-01-a-write-ahead-log-is-not-a-universal-part-of-durability.htmlA write-ahead log is not a universal part of durability
2024-06-20
Why does SQLite (in production) have such a bad rep?
avi.im/blag/2024/sqlite-bad-rep2024-06-19
Pimalaya
pimalaya.orgOfficial website of the Pimalaya project.
2024-06-18
Comparing Objective Caml and Standard ML
adam.chlipala.net/mlcomp2024-06-14
Nix as a WebAssembly build tool
determinate.systems/posts/nix-wasmlitterbox - IRC logger
git.causal.agency/litterbox/about2024-06-13
Category Theory for Programmers: The Preface
bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface2024-06-12
My experience crafting an interpreter with Rust
ceronman.com/2021/07/22/my-experience-crafting-an-interpreter-with-rustLast year I finally decided to learn some Rust. The official book by Steve Klabnik and Carol Nichols is excellent, but even after reading it and working on some small code exercises, I felt that I …
2024-06-11
Exploring Gleam, a type-safe language on the BEAM!
christopher.engineering/en/blog/gleam-overviewFrom Erlang, to Elixir and now, GLEAM!?
2024-06-09
The Hare programming language
harelang.orgHare is a systems programming language designed to be simple, stable, and robust. Hare uses a static type system, manual memory management, and a minimal runtime. It is well-suited to writing operating systems, system tools, compilers, networking software, and other low-level, high performance tasks.