kercker

Recent Submissions

1. 1. ▲ A Primer on Type Systems(2018) (cs.uaf.edu) 2 points · 5 years ago · 0 comments
2. 2. ▲ Programming with Categories (brendanfong.com) 342 points · 5 years ago · 108 comments
3. 3. ▲ 2018 Turing Award Awarded to Yoshua Bengio, Geoffrey E Hinton and Yann LeCun (amturing.acm.org) 3 points · 6 years ago · 0 comments
4. 4. ▲ Open Academic Graph (openacademic.ai) 1 point · 6 years ago · 0 comments
5. 5. ▲ Computer Modeling Should Become a Popular Hobby (qrg.northwestern.edu) 160 points · 6 years ago · 50 comments
6. 6. ▲ When is one thing equal to some other thing? (2007) [pdf] (math.harvard.edu) 3 points · 7 years ago · 0 comments
7. 7. ▲ Rabies vaccine maker to stop output in China’s latest drug safety scandal (scmp.com) 2 points · 7 years ago · 0 comments
8. 8. ▲ What Is a Distributed Denial-Of-Service (DDoS) Attack (cloudflare.com) 3 points · 7 years ago · 0 comments
9. 9. ▲ ZTE of China to Pay $1B Fine in Deal to End U.S. Sanctions (nytimes.com) 62 points · 7 years ago · 56 comments
10. 10. ▲ Disaster at Xichang (2013) (airspacemag.com) 2 points · 7 years ago · 0 comments