Tech News
Tech blog posts, updated regularly
Lobsters
Fast DEFLATE compression in Lean
·
kim-em.github.io via typesanitizer
formalmethodsperformancevibecoding
Lobsters
Xavier Leroy on programming, languages and formal verification
·
youtube.com via xvw
formalmethodsmlvideo