Daily Weekly Monthly

Daily Shaarli

Previous day
All links of one day in a single page.
Next day

July 20, 2026

Lezer
langs is.blog
A formally verified compiler back-end
langs
Type Systems
langs
C’s Biggest Mistake - Digital Mars
langs
Xi: an editor for the next 20 years - Recurse Center
thumbnail
is.talk editor
The Meaning of Memory Safety - 978-3-319-89722-6_4.pdf
systems is.paper