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-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-30
The PGP Problem
www.latacora.com/blog/2019/07/16/the-pgp-problemWhy do people keep telling me to use PGP? The answer is that they shouldn’t be telling you that, because PGP is bad and needs to go away.
2025-05-28
The Ingredients of a Productive Monorepo
blog.swgillespie.me/posts/monorepo-ingredients2025-05-06
Debian installation with encrypted BTRFS
chaos.tomaskral.eu/guides/debian-encrypted-btrfs-root2025-01-09
if got, want: A Simple Way to Write Better Go Tests
mtlynch.io/if-got-want-improve-go-tests2024-12-17
GBA From Scratch With Ferris
lokathor.github.io/gba-from-scratch2024-11-20
On "Safe" C++
izzys.casa/2024/11/on-safe-cxx2024-11-07
Proposal for a Django project template
david.guillot.me/en/posts/tech/proposal-for-a-django-project-templateMy take on what could be a project template for Django advanced usage, with modern tooling (for Python and UI dependencies, as well as configuration/environment management), but not too opinionated.
2024-09-19
Blogging in Djot instead of Markdown
www.jonashietala.se/blog/2024/02/02/blogging_in_djot_instead_of_markdown2024-07-09
Using use in Gleam
erikarow.land/notes/using-use-gleam2024-06-20
Go's 'range over function' iterators and avoiding iteration errors
utcc.utoronto.ca/~cks/space/blog/programming/GoIteratorsAndAvoidingMistakes2024-06-19
Aurora - Python Static Site Generator
aurora.jamesg.blogAurora: An extensible, Python-based static site generator.
Pimalaya
pimalaya.orgOfficial website of the Pimalaya project.
2024-06-17
Sqlc: 2024 check in — brandur.org
brandur.org/fragments/sqlc-20242024-06-14
Nix as a WebAssembly build tool
determinate.systems/posts/nix-wasm2024-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.htmlCategory Theory in Context
math.jhu.edu/~eriehl/context.pdfOptimal 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…