Skip to content

Comment on C*: Unifying Programming and Verification in C (2025)parent

Comments

Many of us were there when yada yada white wizard. Hell, my first paid job was writing Perl CGI scripts. Well, script. Monolithic MFing thing spread across 100 files and running a whole company on text files with zero format documentation and RCS as version control. No need for CVS because the systems were incrementally archived with tar every hour...

Until they weren't. (I'm glad you saw that coming, because they didn't.)

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.