“Tastes like six-seven!”
- Lucas
§ 512. STATE PIE
The state pie shall be apple pie.
Sec. 2. SERVING APPLE PIE
When serving apple pie in Vermont, a "good faith" effort shall be made to meet one or more of the following conditions:
(a) with a glass of cold milk,
(b) with a slice of cheddar cheese weighing a minimum of 1/2 ounce,
(c) with a large scoop of vanilla ice cream.
“Tastes like six-seven!”
- Lucas
this is a lovely post, where someone takes formally verified code, fuzzes it, and finds real problems.
while reading the piece, I was thinking about my own very similar experience ~15 years ago fuzzing CompCert. and then the author makes this precise comparison :)
https://kirancodes.me/posts/log-who-watches-the-watchers.html
Why do chicken coops have two doors?
If they had four, it would be a chicken sedan.