Stories by todsacerdoti

It's not always DNS

The new calculus of AI-based coding

Recreating Lions' commentary for teaching OS at MIT [video]

Using Homebrew to Distribute Early Access Binaries from Private GitHub Reposito

Programming Languages as Languages (2014)

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

21
22
23
24
25
26
27
28
29
30