2025-08-29
You no longer need JavaScript
lyra.horse/blog/2025/08/you-dont-need-jsAn overview of what makes modern CSS so awesome.
2025-05-28
SAT Live!
localhost:40002025-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-04-29
No-engine gamedev using Odin + Raylib
zylinski.se/posts/no-engine-gamedev-using-odin-and-raylibGames can be made in many different ways. Many games are made using big, general purpose game engines such as Unity and Godot. I enjoy using the Odin Programming Language combined with Raylib.
Odin is a C-like programming language and Raylib is library for drawing graphics, checking input and playing sounds. So it’s just a program that uses a simple library, no engine!
There are no objectively best ways to create games.
2025-04-24
Instrumenting Axum projects
determinate.systems/posts/instrumenting-axum2025-03-18
CASCII - ASCII Diagram Builder
cascii.appA well-equipped ASCII diagram builders freely available on the internet.
It stresses portability, simplicity, and immediateness.
2025-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-21
init.py files are optional. Here’s why you should still use them
dev.arie.bovenberg.net/blog/still-use-init-py2024-10-16
Damas-Hindley-Milner inference two ways
bernsteinbear.com/blog/type-inference2024-09-19
Blogging in Djot instead of Markdown
www.jonashietala.se/blog/2024/02/02/blogging_in_djot_instead_of_markdown2024-06-20
build2 | C/C++ Build Toolchain
build2.orgbuild2 is an open source (MIT), cross-platform build toolchain that aims to approximate Rust Cargo's convenience for developing and packaging C/C++ projects while providing more depth and flexibility, especially in the build system.
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-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
Solving SAT via Positive Supercompilation
hirrolot.github.io/posts/sat-supercompilation.htmlCategory Theory in Context
math.jhu.edu/~eriehl/context.pdf2024-06-12
I really like the RP2040
dgroshev.com/blog/rp20402024-06-11
Self-serve dashboards
briefer.cloud/blog/posts/self-serve-bi-mythSales pitches are the only place where “self-serve dashboards" work. In the real world, it's a different story.
Why "business" people don't use metabase/power-bi.
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.