Xavier Leroy on programming, languages and formal verification

https://lobste.rs/rss Hits: 20
Summary

InfoPresseUrheberrechtKontaktCreatorWerbenEntwicklerImpressumVerträge hier kündigenNutzungsbedingungenDatenschutzRichtlinien & SicherheitWie funktioniert YouTube?Neue Funktionen testen

First seen: 2026-07-26 16:01

Last seen: 2026-07-27 11:26

Read Full Article More from this Source
Related News
The Productivity Mirage
2026-07-27 · 1 hits
What are you doing this week?
2026-07-27 · 1 hits
Being Linux Torvalds
2026-07-27 · 6 hits
On AI
2026-07-27 · 3 hits
A shell colon does nothing. Use it anyway
2026-07-25 · 64 hits