CompCert – Formally-verified C compiler
(github.com)
June 2021 Archive
571.
572.
The Dangers of Low Head Dams (2019)
(practical.engineering)
573.
Notepad++ v8 release
(notepad-plus-plus.org)
575.
HN “Why Not Simply”
(hn.algolia.com)
576.
Mathematics Cheat Sheet [pdf]
(ourway.keybase.pub)
577.
RFC for 700 HTTP Status Codes (2012)
(github.com)
578.
Main is usually a function, so when is it not? (2015)
(jroweboy.github.io)
579.
Finding a CPU Design Bug in the Xbox 360 (2018)
(randomascii.wordpress.com)
580.
Policies that make the poor less poor
(eclogiselle.com)
581.
The bullshit-jobs thesis may be bullshit
(economist.com)
582.
584.
The Development of Erlang (1997)
(fermatslibrary.com)
586.
587.
Google’s Messaging Mess: A Timeline
(theverge.com)
588.
The modern web on a slow connection (2017)
(danluu.com)
589.
The Future of Games is an Instant Flash to the past
(fortressofdoors.com)
590.
Stripe Reader
(stripe.com)
591.
NymphCast – Open-source Chromecast Alternative
(github.com)
592.
Kats: One stop shop for time series analysis in Python
(facebookresearch.github.io)
593.
Kinda a Big Announcement
(joelonsoftware.com)
594.
DenoDB
(github.com)
595.
I know the secret to the quiet mind but wish I’d never learned it
(theatlantic.com)
596.
Deloitte tells staff they can work from home forever
(cityam.com)
598.
A Timeline of CIA Atrocities (1993)
(huppi.com)
600.
Europe is now a corporate also-ran. Can it recover its footing?
(economist.com)