Stories by todsacerdoti

"German string" optimizations in Spellbook

Zig's (.{}){} Syntax

Nginx Explorer – Cookie Authentication

Comin: GitOps for NixOS Machines

The rise of advanced build systems

ZX81 3D Monster Maze disassembly (2020)

C++ Shared Pointer Thread-Safety

What I wish I had known as a programmer moving to Berlin

Text Embedding Benchmark (2022)

Principles of Dependent Type Theory [pdf]

Atomic Attributes in Local-First Sync – Adam Wulf

In Search of Types [pdf]

Jspin: GUI for running the SPIN model checker

Why GCP Is More Usable for Developers

Parsing arguments in Rust with no dependencies

HTML link, or button, that is the question / Marijke Luttekes

Linux-ia64: Linux fork with IA-64 support re-added. See HTTP://t2sde.org/ for a

AI search should sustain open source, not just index it

243 244 245 246 247 248 249 250 251 252