Stories by todsacerdoti

Reverb Part 1: "Freeverb"

The Bonfire Social 1.0 Release Candidate

Understanding the PURL Specification (Package URL)

Boredom over Beauty: Why Code Quality Is Code Security

AI is a gamechanger for TLA+ users

APLearn: Machine Learning Library

Nvidia ISO-26262 Spark Process

DNS4EU for Public Is Available

Storing arbitrary data in Pokemon emerald

I Think I'm Done Thinking About GenAI for Now

Redesigned Swift.org is now live

Gg: GG – GUI for JJ

The Works of Peter Naur

When memory was measured in kilobytes: The art of efficient vision

DejaGNU (2011)

How Reladiff Works – A Journey Through the Challenges and Techniques of Data En

Formalizing a proof in lean using GitHub Copilot and canonical

Jujutsu v0.30.0 Released

No More Shading Languages: Compiling C++ to Vulkan Shaders [pdf]

83
84
85
86
87
88
89
90
91
92