Skip to content

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

Comments

The only thing Perl and C have in common is the curly-brace.

And direct access to system calls. And the uncanny ability to look like it's going to do what I want and then five minutes into a run wind up in a small town in Arkansas blind drunk and crying vaguely about fluffy red squirrels taking its sandwich.

But it adds to the charm.

AboutSource Built by g1lg1l

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