rain 🌦️ @sunshowers.io · 20/07/2026These people live in a different universe from me tbh. I'm someone who needs extensive compiler assistance to hope to write correct software 1560
bailey? 🏳️🌈 🇿🇦 @bailz.bsky.social · 20/07/2026I feel like there are people who admit they benefit from compiler assistance and people who wrongly believe they're perfect or somehow otherwise better off without it 130
Damien @damienstanton.com · 21/07/2026This is the truth. It's the same people who seem to have an abject rejection of theorem provers & dependent types too -- literally hubris against a machine. Wild mentality. 021
