4 ms·
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/l
by csbartus 2y 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 https://www.osequi.com/studies/list/list.html, now focusing on "diagrams as code": https://tonsky.me/blog/diagrams/ https://tonsky.me/blog/diagrams/