Home | Notifications | New Note | Local | Federated | Search | Logout

Note Detail

Reply to @sun@shitposter.world
Q.U.I.N.N.@icedquinn@blob.cat (2026-08-22 09:51:33)
@sun i did something like that out of Io, but its been a week or two trying to get executive dysfunction to let me finish the parser :blobcatghostrev: 

going back to being jobless and then being shoved in to windowless rooms was really bad
---Reply---
Blurry Moon@sun@shitposter.world (2026-08-22 09:52:41)
@icedquinn I needed a pascal-like capability language that had a narrow formal verifiable subset

---Replies---

Q.U.I.N.N.@icedquinn@blob.cat (2026-08-22 09:54:42)
@sun idk what that means. pony types?

formal verification has many names underneath.