Comment by csbartus
1 year ago
Working on creating likely-correct software with formal and semi-formal methods for rapid iteration.
Done the first demo: https://www.osequi.com/studies/list/list.html, now focusing on "diagrams as code": https://tonsky.me/blog/diagrams/
No comments yet
Contribute on Hacker News ↗