Stories by todsacerdoti

YC Winter 2025 batch applications due by Tuesday, November 12, 2024

Configuring SSH Keys for Multiple GitHub Accounts

A ChatGPT-like assistant but private for developers

Thinking About Recipe Formats More Than Anyone Should

Developer Survey 2024

"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