Stories by todsacerdoti

When 'perfect' code fails

Learning Regular Languages with RPNI Algorithm

Formal or not formal? That is the question in AI for theorem proving

Property-Based Testing in Practice

Sandbox Your Program Using FreeBSD's Capsicum [video]

An Overview of Attestations in CI

KDE Linux deep dive: package management is amazing, which is why we don't inclu

Retrospective on Weaknesses in Fuzzing Research

(fifteenth RacketCon) playlist is now up

An Efficient Implementation of SELF (1989) [pdf]

Computational Complexity (2023) [pdf]

"Learn APL" Notes

Barebones RISC-V OS written in Zig (2023)

We do not have sufficient links to the UK for Online Safety Act to be applicable

Alpha launch – .well-known/avatar – feedback wanted

LaTeX, LLMs and Boring Technology

Ruby Stability at Scale

Synadia and TigerBeetle Pledge $512,000 to the Zig Software Foundation

Mapping Starlink's global IP transit providers

Technology for Humans: Conversation with Ruby Central's Executive Director, Sha

74 75 76 77 78 79 80 81 82 83