New top story on Hacker News: Idris 2: Quantitative Type Theory in Practice
New top story on Hacker News: Idris 2: Quantitative Type Theory in Practice https://ift.tt/3nT00nb
How to Stay Sane in Brutalizing Times
By David Brooks via NYT Opinion https://ift.tt/JNKQ4Be
Comments
Post a Comment