TheMagicalC
@cwg1231@defcon.social
Amateur radio and physical security enjoyer, computer hater and programmer. Born onto the front lines of the fight for accessibility in education. Musician, maker, and artist. Tea and coffee lover, nuclear professional. Trans rights are human rights. Over 18.
defcon.social
TheMagicalC
@cwg1231@defcon.social
Amateur radio and physical security enjoyer, computer hater and programmer. Born onto the front lines of the fight for accessibility in education. Musician, maker, and artist. Tea and coffee lover, nuclear professional. Trans rights are human rights. Over 18.
defcon.social
@cwg1231@defcon.social
·
Dec 27, 2025
@bob_zim @deliverator true. I haven’t played around with any of those cool formally verifiable languages yet, so I wasn’t comfortable asserting that they’re practical for industry use.
0
1
0
Conversation (1)
Showing 0 of 1 cached locally.
Syncing comments from the remote thread. 1 more reply is still loading.
Loading comments...