Stories by todsacerdoti

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

A Language a Day – A Collection of Brief Overviews to 21 Programming Languages

C++ Is More Alive Than Ever: The Modern Features Silencing the Critics

CLI tool to analyze and report TODO comments in JavaScript and TypeScript Git R

Simple trick to save environment and money when using GitHub Actions

Writing integration tests for a Go CLI application

Macros, Safety, and SOA

C++, Complexity, and Compiler Bugs