Home | Notifications | New Note | Local | Federated | Search | Logout
Note Detail
Reply to @bonifartius@noauthority.social
Blurry Moon@sun@shitposter.world (2026-09-21 19:46:04)
@bonifartius @newt @waltercool every now and then I'm reminded that people here are way smarter than me
---Reply---
🌈ᚩ🌈@bonifartius@noauthority.social (2026-09-21 19:53:49)
@sun @waltercool @newt i'm not smart, i only fiddled with agda2 once for uni (failed horribly at that ;). it was interesting, but more because of the emacs environment which was actually pretty neat.
Reply
---Replies---
🌈ᚩ🌈@bonifartius@noauthority.social (2026-09-21 20:50:17)
@sun @waltercool @newt iirc provers are good for some things, like designing robust network protocols.
for "real" programming you have to deal with the dirtiness of the physical world where things fail, so the interesting part is to find good ways to handle failure mode which work, in the real world.