Xavier Leroy on programming, languages and formal verification

Comments

• Source: Lobsters
• Category: dev
• Signal strength: just now

Why it matters: This is currently trending on Lobsters with high momentum.

Signal from Lobsters · discussion