2025-10-17
Automerge
automerge.orgAutomerge is a local-first sync engine for multiplayer apps that works offline, prevents conflicts, and runs fast.
2025-06-18
zb beta released
www.zombiezen.com/blog/2025/06/zb-beta-releasezb is a tool for reproducibly building software, similar to Bazel.
(See the comparison page if you’re curious to know the differences.)
When a software build process is reproducible,
it will produce the exact same output
when given the same inputs.
Reproducibility is a desirable property for a software build process to have:
it simplifies debugging,
it enables build speed-ups,
and it is essential for digital supply chain security.
However, reproducibility is a difficult goal to achieve.
2025-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-04-24
Instrumenting Axum projects
determinate.systems/posts/instrumenting-axum2025-03-21
Life Altering Postgresql Patterns
mccue.dev/pages/3-11-25-life-altering-postgresql-patterns2024-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-12-17
Advent of Code on the Nintendo DS
sailor.li/aocnds.htmlSolving AoC on the DS with Rust.
2024-10-16
Damas-Hindley-Milner inference two ways
bernsteinbear.com/blog/type-inference2024-09-30
On Leaving Apple
typesanitizer.com/blog/leaving-apple.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-20
Go's 'range over function' iterators and avoiding iteration errors
utcc.utoronto.ca/~cks/space/blog/programming/GoIteratorsAndAvoidingMistakes2024-06-17
How I learned Haskell in just 15 years - duckrabbit solutions
duckrabbit.tech/articles/learning-haskell.html2024-06-13
Category Theory in Context
math.jhu.edu/~eriehl/context.pdfA simple, arena-backed, generic dynamic array for C
nullprogram.com/blog/2023/10/05OpenBSD extreme privacy setup
dataswamp.org/~solene/2024-06-08-openbsd-privacy-setup.htmlIn this article, you will learn how to install and configure OpenBSD to reduce its network activity over clearnet
2024-06-11
Optimizing Font Files for the Modern Web
documentation.platformos.com/best-practices/performance/optimizing-font-filesExploring Gleam, a type-safe language on the BEAM!
christopher.engineering/en/blog/gleam-overviewFrom Erlang, to Elixir and now, GLEAM!?
gamja: Simple IRC web client
sr.ht/~emersion/gamjaNetBSD 10 on a Pinebook Pro laptop
www.idatum.net/netbsd-10-on-a-pinebook-pro-laptop.htmlI've been running NetBSD on a RockPro64 since NetBSD 10-BETA, and I'm still happy with it now with NetBSD 10-RELEASE. I'm always looking for hardware to hack NetBSD though, and I recently watched a FOSDEM 2024 video: NetBSD 10: Thirty years, still going strong!. The Pinebook Pro laptop was mentioned at one point, which has the same RockChip SoC as the RockPro64. That reminded me I'd been wanting to give this inexpensive ARM 64 laptop a try.