I Can't Believe It's Not Zero!

2.1K Followers
567 Following
10.3K Posts

§ 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

Lean proved this program was correct; then I found a bug.

Riley’s travel plan today (cc @ktoso)
I know who I am! I’m the dude, photographing the dude, taking a photo of another dude!
But we are (finally?) going to Japan, apparently
Alas, no nipple bus
Fun fact, it’s entirely possible to believe victims of sexual assault and not blaming them for getting assaulted

Why do chicken coops have two doors?

If they had four, it would be a chicken sedan.

Update: flight delayed and they’re swapping our plane. So … there’s a chance?
Riley and Lucas agree: actually pulling planes up to the terminal is bullshit