Stories by todsacerdoti

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]

Red Language Reference Manual

DiffX – Next-Generation Extensible Diff Format

Coding Through Chaos: Addiction, Recovery and Acceptance

Chocolate-quake: A purist Quake source port

Things are different between system and application monitoring

Zero-Cost 'Tagless Final' in Rust with GADT-Style Enums

2
3
4
5
6
7
8
9
10
11