Hacker Newsnew | past | comments | ask | show | jobs | submit | Iolaum's favoriteslogin
1.
From Zero to QED: An informal introduction to formality with Lean 4 (sdiehl.github.io)
144 points by rwosync 9 days ago | 21 comments
2.
Microsoft has removed the “use offline account” option when installing Windows (reddit.com)
1793 points by rahuldottech on Sept 28, 2019 | 766 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: