Stories by todsacerdoti

Threads and Goroutines

We've Got a Vulkan Memory Allocator at Home

A Modern Platform for Content Creation

Rsbac: Extending Linux Security Beyond the Limits

Building a cost-effective logging platform using ClickHouse for petabyte scale

Tsnsrv, or easily accessing services on your tailscale network · Andreas Fuchs'

A Helping Arm for Panfrost

Django: Parametrized tests for all model admin classes

Simply Parse in C

Simple Verification of Rust Programs via Functional Purification (2016) [pdf]

FlashAttention-2: Faster Attention with Better Parallelism and Work Partitioning

Analyzing Go Build Times

Using Emoji on the Web

Strlcpy and Strlcat Added to Glibc

Generate static sites for reading subreddit archives

Stalwart Mail Server

Breaking the Chains of Trusting Trust [pdf]

Sosml: The Online Interpreter for Standard ML