Hacker News
- Top ten algorithms of science and engineering in the 20th century https://www.andrew.cmu.edu/course/15-355/misc/Top%20Ten%20Algorithms.html 2 comments
- Developing Blockchain Use Cases for CMU Coin https://www.andrew.cmu.edu/user/azj/cmucoin/ 20 comments
- How to Catch When Proxies Lie [pdf] https://www.andrew.cmu.edu/user/nicolasc/publications/Weinberg-IMC18.pdf 2 comments
- On the Turing Completeness of MS PowerPoint [pdf] https://www.andrew.cmu.edu/user/twildenh/PowerPointTM/Paper.pdf 16 comments
- Distributed systems readings http://www.andrew.cmu.edu/course/15-749/READINGS/required/ 16 comments
- Nah Lock: A Lock-Free Memory Allocator http://www.andrew.cmu.edu/user/apodolsk/418/finalreport.html 19 comments
- Secure Go - Securing and exploiting a Go binary http://www.andrew.cmu.edu/user/areece/securego/ 4 comments
- Cutting Up the Founders' Pie http://www.andrew.cmu.edu/user/fd0n/35%20Founders%27%20Pie%20Calculator.htm 15 comments
Lobsters
- 22% of users would run an arbitrary executable on their machines for a small amount of cash https://www.andrew.cmu.edu/user/nicolasc/publications/CEVG-FC11.pdf 4 comments pdf , security
- Schwalbenkönige + Zittersiege: German Soccer Terms https://www.andrew.cmu.edu/user/ujf/blog/GermanSoccerTerms.html 24 comments soccer
- TIL that even pure math(s) has a reproducibility crisis of sorts. https://www.andrew.cmu.edu/user/avigad/meetings/fomm2020/slides/fomm_buzzard.pdf 119 comments math
- Automated Reasoning for the Working Mathematician: slides of talk by Jeremy Avigad, September 2019 [PDF] https://www.andrew.cmu.edu/user/avigad/talks/london.pdf 5 comments math
- How the Univalence Axiom absolves "abuse of notation" of identifying isomorphic objects and captures the defining property of logic: invariance under all equivalences (by Awodey) https://www.andrew.cmu.edu/user/awodey/preprints/siu.pdf 10 comments math
- Can you formalise the univalence axiom on foundations besides homotopy type theory? https://www.andrew.cmu.edu/user/awodey/preprints/siu.pdf 12 comments math
- "What Is Justified Belief?" by Alvin I. Goldman (1979) [.pdf] https://www.andrew.cmu.edu/user/kk3n/epistclass/goldmanjust.pdf 7 comments philosophy
- "Animal Liberation": A Critique -- Micheal Fox https://www.andrew.cmu.edu/course/80-136/fox1.pdf 13 comments philosophy
- Answer for: How should I cut up the founder pie? http://www.andrew.cmu.edu/user/fd0n/35%20Founders%27%20Pie%20Calculator.htm 27 comments startups
- Is there a trend of VCs (or other experienced investors) not wanting to honor discounts/warrants from convertible debt from previous rounds? http://www.andrew.cmu.edu/user/fd0n/27%20Convertible%20Notes.htm 3 comments startups
- Nah Lock: A Lock-Free Memory Allocator http://www.andrew.cmu.edu/user/apodolsk/418/finalreport.html 11 comments coding
- Do our intuitive beliefs have more 'power' than our logical reasoning? https://www.andrew.cmu.edu/user/jksadegh/A%20Good%20Atheist%20Secularist%20Skeptical%20Book%20Collection/The%20Problems%20of%20Philosophy%20-%20Bertrand%20Russell%20-%20secure.pdf 6 comments philosophy
- TIL that 3 construction workers died building Miller Park, and were immortalized with a statue on stadium grounds. Great job by the Brewers. https://www.andrew.cmu.edu/user/crm/mlb/2006/milwaukee/millerpark-statue.jpg 35 comments baseball
- Exploiting Google Go Binaries http://www.andrew.cmu.edu/user/areece/securego/ 4 comments netsec
- Has anybody used this method for teaching or learning programming? Your comments? (PDF) http://www.andrew.cmu.edu/user/sraja/papers/2009-iticse-sooriamurthi.pdf 7 comments programming
- The proof is trivial! Just... http://www.andrew.cmu.edu/user/agpierce/ 23 comments math
- It was bound to happen sooner or later... http://www.andrew.cmu.edu/user/jbistlin/headlines/134.jpg 6 comments reddit.com
- What are the odds? (pic) http://www.andrew.cmu.edu/user/jbistlin/headlines/106.jpg 10 comments reddit.com
- The Lambda Calculus: Its Syntax and Semantics http://www.andrew.cmu.edu/user/cebrown/notes/barendregt.html 7 comments programming
