2025-06-26
Box combinators
mmapped.blog/posts/41-box-combinators.htmlIn functional programming,
combinator libraries refer to a design style that emphasizes bottom-up program construction.
Such libraries define a few core data types
and provide constructors—functions that create initial objects—and combinators—functions that build larger objects from smaller pieces.Combinators enable the programmer to use intuitive visual and spatial reasoning
that’s vastly more powerful than linear language processing.
As a result, solving problems with combinators feels like playing with lego pieces.
2025-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-02-04
Running a Debian Sid on Ubuntu
blogops.mixinet.net/posts/incus2025-01-21
Algebraic Effects for the Rest of Us
overreacted.io/algebraic-effects-for-the-rest-of-us2024-11-20
On "Safe" C++
izzys.casa/2024/11/on-safe-cxx2024-10-24
Rust Prism
registerspill.thorstenball.com/p/rust-prism2024-10-16
Damas-Hindley-Milner inference two ways
bernsteinbear.com/blog/type-inference2024-09-30
On Leaving Apple
typesanitizer.com/blog/leaving-apple.html2024-09-17
Master hexagonal architecture in Rust
www.howtocodeit.com/articles/master-hexagonal-architecture-rustEverything you need to write flexible, future-proof Rust applications using hexagonal architecture.
2024-09-16
Wayland: i3 to Sway migration
anarc.at/software/desktop/wayland2024-08-28
There can't be only one
www.b-list.org/weblog/2024/aug/27/highlander-problemThere's a concept that I've heard called by a lot of different names, but my favorite name for it is …
2024-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-08-09
Store Code Discussions in Git using Git Notes
wouterj.nl/2024/08/git-notesCode discussions contain relevant information. Isn’t it a shame that we
keep these in the centralized GitHub/GitLab servers, far away from our
decentralized Git code? As soon as we move provider, we’ll lose all old
discussions! And how do you ever find the pull requests back from 5
years ago? Symfony has implemented a lightweight solution to this problem
years ago using a less-known feature of Git: Git Notes.
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-wasmCAUSAL.AGENCY(7)
causal.agencyI make mostly IRC software in C. I like OpenBSD but also the GPL. I just want to read books and try to learn to be kinder. When I can I'd like to talk to strangers and experience more magic.
2024-06-13
API Tokens: A Tedious Survey
fly.io/blog/api-tokens-a-tedious-surveyComparison between types of API tokens.