2025-08-12
missing.css
missing.style2025-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-05-28
SAT Live!
localhost:40002025-05-23
honk
humungus.tedunangst.com/r/honk
Take control of your honks and join the federation.
An ActivityPub server with minimal setup and support costs.
Spend more time using the software and less time operating it.
2025-05-06
Debian installation with encrypted BTRFS
chaos.tomaskral.eu/guides/debian-encrypted-btrfs-root2025-04-24
Instrumenting Axum projects
determinate.systems/posts/instrumenting-axum2025-04-04
Pitfalls of Safe Rus
corrode.dev/blog/pitfalls-of-safe-rustWhen people say Rust is a “safe language”, they often mean memory safety.
And while memory safety is a great start, it’s far from all it takes to build robust applications.
Memory safety is important but not sufficient for overall r…
2025-02-04
Running a Debian Sid on Ubuntu
blogops.mixinet.net/posts/incus2024-11-04
Writing secure Go code
jarosz.dev/article/writing-secure-go-codeSecurity testing starts with understanding vulnerabilities. The CVE website lists known software flaws. The OWASP Top Ten highlights common weaknesses. With this knowledge, we can improve our Go development. This article shows how to put in place robust practices. They are to: fuzz inputs, verify dependencies, and use static analysis tools (SAST).
2024-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-06-26
You probably wrote half a monad by accident
gieseanw.wordpress.com/2024/06/25/you-probably-wrote-half-a-monad-by-accident2024-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
litterbox - IRC logger
git.causal.agency/litterbox/about2024-06-13
Category Theory in Context
math.jhu.edu/~eriehl/context.pdfAvoid Linux locking up in low memory situations using earlyoom
dataswamp.org/~solene/2022-09-28-earlyoom.htmlThis article presents the program earlyoom to prevent a Linux system to lock up in low memory situations.
Optimal SQLite settings for Django
gcollazo.com/optimal-sqlite-settings-for-djangoThere’s plenty of information out there on how to scale Django to handle numerous requests per second, but most of it…
2024-06-11
Exploring Gleam, a type-safe language on the BEAM!
christopher.engineering/en/blog/gleam-overviewFrom Erlang, to Elixir and now, GLEAM!?