NASA’s new AI space chip could let spacecraft think for themselves
(sciencedaily.com)
1.
2.
4.
Some Junk Theorems in Lean
(news.ycombinator.com)
5.
6.
De Bruijn Numerals
(news.ycombinator.com)
7.