philzook HN profile →
Coverage
We've seen 5 of an unknown number of submissions
Full eval: 0 Lite-only: 5 Unevaluated: 0
Quick Scan holistic editorial estimate · 5 lite evaluations
Editorial [E]: 0.00 Llama · truncated content · holistic (not section-level)
5 stories
1.
HRCB ND
E 0.00
S
Symbolic Execution by Overloading __bool__ (www.philipzucker.com)
81 points by philzook 469 days ago | 10 comments | hrcb Technical Computing
2.
HRCB ND
E 0.00
S
Knuckledragger, a Semi-Automated Python Proof Assistant (www.philipzucker.com)
71 points by philzook 609 days ago | 24 comments | hrcb Technology
3.
HRCB +0.07
E 0.00
S +0.19
Compiling with Constraints (www.philipzucker.com)
126 points by philzook 749 days ago | 36 comments | hrcb Technology
4.
HRCB ND
E 0.00
S
The C bounded model checker: criminally underused (www.philipzucker.com)
209 points by philzook 797 days ago | 125 comments | hrcb Software Verification
5.
HRCB ND
E 0.00
S
Translating My Z3 Tutorial to Coq (www.philipzucker.com)
108 points by philzook 1864 days ago | 18 comments | hrcb Technical Computing