"wreck" is actually "destruct", "same" is "reflexivity"... It boggles the mind w... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		colonwqbang on Sept 3, 2023 \| parent \| context \| favorite \| on: How to write correct code by construction using th... "wreck" is actually "destruct", "same" is "reflexivity"... It boggles the mind why the author would make up fanciful new names for the fundamental tactics in this "how to" article.

21eleven on Sept 4, 2023 [–]

He's giving a talk, it's for the lulz

If you are giving a talk on a theorem proving programing language you're gonna want to make it fun

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact