Stories by todsacerdoti

Model checking safety of Ben-Or's Byzantine consensus with Apalache

Time Standards Reference

Disaggregated Storage – A Brief Introduction

CSS Sprite Sheet Animations

Rust's Most Subtle Syntax

Moving my game project from C to the Odin language

Ractor – a Rust Actor Framework

Don't return named tuples in new APIs

Sortledton: A Universal, Transactional Graph Data Structure [pdf]

The State of Racket

M4 Crimes for Metaprogramming Processing

Deer Text Format – the system powering this site, and how it can work for you

Why Pg_dump Is Amazing

IRC Today hosted IRC bouncer

Booking.com Phishers May Leave You with Reservations

TLS 1.3 Hybrid Key Exchange Using X25519Kyber768M-KEM

Rendering Outlines with a Post-Processing Shader

Development-Cycle in Cargo: 1.83

Conditional class names using DOM attributes as state

C++ programmer′s guide to undefined behavior: part 8 of 11