typetheoryforall.com

↩

Can PL theory make you a better software engineer?

2023-04-10 05:23:25 (Hacker News)

Source: Hacker News

Kevin Buzzard: Mechanizing Modern Mathematics Interview

2023-01-16 14:21:18 (Hacker News)

Source: Hacker News

↩