The C bounded model checker: criminally underused (philipzucker.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of philipzucker.com: The C bounded model checker: criminally underused

First screen, captured 2 years ago.

Looks similar

Screenshot of philipzucker.com: Compiling with Constraints

Compiling with Constraints (philipzucker.com)

108 points by philzook 2 years ago | 31 comments

Screenshot of philipzucker.com: Symbolic Execution by Overloading __bool__

Symbolic Execution by Overloading bool(philipzucker.com)

63 points by philzook 1 year ago | 8 comments

Screenshot of philipzucker.com: Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping

Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping (philipzucker.com)

12 points by matt_d 7 months ago | 0 comments

Screenshot of philipzucker.com: SQL, Homomorphisms and Constraint Satisfaction Problems

SQL, Homomorphisms and Constraint Satisfaction Problems (philipzucker.com)

134 points by xlinux 1 year ago | 16 comments

Screenshot of philipzucker.com: Knuckledragger, a Semi-Automated Python Proof Assistant

Knuckledragger, a Semi-Automated Python Proof Assistant (philipzucker.com)

64 points by philzook 2 years ago | 14 comments

Screenshot of retroscience.net: Brent's Encapsulated C Programming Rules (2020)

Brent's Encapsulated C Programming Rules (2020)(retroscience.net)

58 points by p2detar 10 months ago | 30 comments