June 2022 Archive
6721.
6722.
US ran offensive cyber ops to support Ukraine, says general
(theregister.com)
6723.
6724.
Using the Kani Rust Verifier on a Rust Standard Library CVE
(model-checking.github.io)
6725.
TigerStyle – TigerBeetle's coding style guide
(github.com)
6726.
6727.
The philosopher who resisted despair
(vox.com)
6728.
How to build a batched notification system
(knock.app)
6729.
Propositions Concerning Digital Minds and Society [pdf]
(nickbostrom.com)
6730.
6731.
Microsoft is building an ARM-powered Windows mini
(computerworld.com)
6732.
Russia Controls 20% of Ukraine
(news.yahoo.com)
6733.
6734.
No feature survives contact with the user
(blog.witful.com)
6735.
What are you good at?
(iamunknowing.com)
6736.
6738.
NASA just bought the rest of the space station crew flights from SpaceX
(arstechnica.com)
6739.
6741.
6742.
6743.
China is getting serious about planetary defense
(planetary.org)
6744.
6745.
6747.
Amazon’s Kindle bookstore to quit China
(theregister.com)
6748.
6749.
Writing WebAssembly Code by Hand
(blog.suborbital.dev)
6750.
The appeal of bidirectional type-checking
(haskellforall.com)