GoKawiil
An introduction to formal proof verification and the Curry-Howard Correspondence
(news.ycombinator.com)
1.
2.
Type checker may be wrong – Lean and the Curry-Howard correspondence
(news.ycombinator.com)
3.
Forensics Take Center Stage in the Mystery Will of Tony Hsieh
(feeds.content.dowjones.io)
4.
The US Army Issued Ocarinas to Soldiers in World War II
(news.ycombinator.com)
5.
Jim Carrey’s Grinch Will Steal Christmas Again
(gizmodo.com)
6.
7.
8.
US faculty members report high levels of anxiety
(feeds.nature.com)
9.
The Technocracy Movement of the 1930s
(news.ycombinator.com)
10.
12.
Jim Carrey Wanted to Become the Grinch at All Costs
(gizmodo.com)
13.