Hacker News with Generative AI: Software Foundations

Software Foundations (cis.upenn.edu)
The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.

Software Foundations, Computer Science, Programming Languages, Formal Verification

6 points by Tomte 24 days ago | 0 comments

Pledging $300k to the Zig Software Foundation (mitchellh.com)
My wife and I have pledged $300,0001 to the Zig Software Foundation (ZSF).

Programming Languages, Open Source, Software Foundations

544 points by tosh 184 days ago | 192 comments