2025-08-25
Everything I know about good API design
www.seangoedecke.com/good-api-design2025-06-13
What I talk about when I talk about IRs
bernsteinbear.com/blog/irsI have a lot of thoughts about the design of compiler intermediate representations (IRs). In this post I’m going to try and communicate some of those ideas and why I think they are important.
2025-05-28
The Ingredients of a Productive Monorepo
blog.swgillespie.me/posts/monorepo-ingredients2025-05-23
share_target - Web application manifest
developer.mozilla.org/en-US/docs/Web/Progressive_web_apps/Manifest/Reference/share_targetThe share_target manifest member allows installed Progressive Web Apps (PWAs) to be registered as a share target in the system's share dialog.
2025-05-06
Debian installation with encrypted BTRFS
chaos.tomaskral.eu/guides/debian-encrypted-btrfs-root2025-01-21
Algebraic Effects for the Rest of Us
overreacted.io/algebraic-effects-for-the-rest-of-us2024-12-17
Building GBA Games in Rust
shanesnover.com/2024/02/07/intro-to-rust-on-gba.html2024-10-16
Damas-Hindley-Milner inference two ways
bernsteinbear.com/blog/type-inference2024-08-15
Writing a C Compiler
nostarch.com/writing-c-compilerA fun, hands-on guide to writing your own compiler for a real-world programming language.
Planning Weekly Workouts in 100 lines of Haskell
alt-romes.github.io/posts/2024-08-14-planning-a-workout-week-with-100-lines-of-haskell.htmlA lightning post on logic programming in Haskell to construct a workout weekly schedule given the set of exercises, days and constraints.
2024-07-09
Using use in Gleam
erikarow.land/notes/using-use-gleam2024-06-26
A reckless introduction to Hindley-Milner type inference
reasonableapproximation.net/2019/05/05/hindley-milner.html2024-06-24
Microfeatures I Love in Blogs and Personal Websites
danilafe.com/blog/blog_microfeaturesIn this post, I talk about pleasant but seemingly minor features in personal sites
2024-06-18
Understanding SPF, DKIM, and DMARC: A Simple Guide
github.com/nicanorflavier/spf-dkim-dmarc-simplified2024-06-13
Category Theory for Programmers: The Preface
bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-prefaceSolving SAT via Positive Supercompilation
hirrolot.github.io/posts/sat-supercompilation.htmlAPI Tokens: A Tedious Survey
fly.io/blog/api-tokens-a-tedious-surveyComparison between types of API tokens.
My personal C coding style as of late 2023
nullprogram.com/blog/2023/10/082024-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.