1.
2.
Microsoft's New 10,000-Year Data Storage Medium: Glass
(slashdot.org)
4.
Broken Proofs and Broken Provers
(news.ycombinator.com)
5.
What is an elliptic curve? (2019)
(news.ycombinator.com)
6.
Change management is broken. These 4 numbers explain why
(feeds.feedburner.com)
7.
'Source available' is not open source (and that's okay)
(news.ycombinator.com)
8.
Unison 1.0
(news.ycombinator.com)
9.
Unison 1.0 Release
(news.ycombinator.com)
10.
Examples Are the Best Documentation
(news.ycombinator.com)
11.
What is AGI? Nobody agrees, and it’s tearing Microsoft and OpenAI apart.
(arstechnica.com)
12.