| 1. | | Political theorists have been worrying about mob rule for 2,000 years (economist.com) |
| 22 points by TheAsprngHacker on Jan 20, 2021 | past | 6 comments |
|
| 2. | | The Ghosts of the ’68 Election Still Haunt Our Politics (2018) (nymag.com) |
| 1 point by TheAsprngHacker on Nov 8, 2020 | past |
|
| 3. | | Are Asian Americans the Last Undecided Voters? (newyorker.com) |
| 2 points by TheAsprngHacker on Oct 27, 2020 | past |
|
| 4. | | The KyoAni I Felt: The kind touch of K-On and the studio behind it (dosaylazy.github.io) |
| 4 points by TheAsprngHacker on July 18, 2020 | past |
|
| 5. | | Ask HN: How to network if I share a name with another person in the same field? |
| 2 points by TheAsprngHacker on June 16, 2020 | past | 9 comments |
|
| 6. | | Implementing Swift Generics (2017) [video] (youtube.com) |
| 2 points by TheAsprngHacker on June 16, 2020 | past |
|
| 7. | | The anime K-ON! helped preserve the small town of Toyosato (crunchyroll.com) |
| 2 points by TheAsprngHacker on May 28, 2020 | past |
|
| 8. | | Students report big problems with online AP tests (washingtonpost.com) |
| 1 point by TheAsprngHacker on May 15, 2020 | past |
|
| 9. | | Sharing Joel David Hamkins’s “almost correct proofs” tweet with my son (mikesmathpage.wordpress.com) |
| 2 points by TheAsprngHacker on May 6, 2020 | past |
|
| 10. | | Principles of Programming Languages [JHU Textbook] [PDF] (jhu.edu) |
| 3 points by TheAsprngHacker on April 21, 2020 | past | 1 comment |
|
| 11. | | Verified Functional Programming in Agda (acm.org) |
| 88 points by TheAsprngHacker on April 5, 2020 | past | 10 comments |
|
| 12. | | Naoko Yamada: Filmed with the Heart (sakugabooru.com) |
| 1 point by TheAsprngHacker on Feb 2, 2020 | past |
|
| 13. | | Coq 8.11.0 released, featuring new Ltac2 tactic language (github.com/coq) |
| 1 point by TheAsprngHacker on Jan 30, 2020 | past | 1 comment |
|
| 14. | | Ask HN: I got rejected from Cornell. I want to study PL theory; what to do? |
| 1 point by TheAsprngHacker on Dec 13, 2019 | past | 6 comments |
|
| 15. | | A New Way to Solve Quadratic Equations – Po-Shen Loh (poshenloh.com) |
| 1 point by TheAsprngHacker on Nov 21, 2019 | past | 1 comment |
|
| 16. | | Ask HN: What are the security and legal aspects of websites with user content? |
| 2 points by TheAsprngHacker on Nov 5, 2019 | past | 1 comment |
|
| 17. | | Functor, Applicative, and Monad (typeslogicscats.gitlab.io) |
| 252 points by TheAsprngHacker on Sept 18, 2019 | past | 120 comments |
|
| 18. | | SOSML – Online Standard ML Interpreter (sosml.github.io) |
| 1 point by TheAsprngHacker on Sept 8, 2019 | past | 1 comment |
|
| 19. | | Why Isn't the Intermediate Value Theorem Constructive? (math.stackexchange.com) |
| 1 point by TheAsprngHacker on Sept 7, 2019 | past | 1 comment |
|
| 20. | | Functor, Applicative, and Monad (typeslogicscats.gitlab.io) |
| 1 point by TheAsprngHacker on Sept 1, 2019 | past |
|
| 21. | | Snap! 5 is here (snap.berkeley.edu) |
| 96 points by TheAsprngHacker on June 28, 2019 | past | 16 comments |
|
| 22. | | Ask HN: I Deleted a Submission Because of a Typo, and I Can't Resubmit It? |
| 3 points by TheAsprngHacker on Feb 20, 2019 | past | 4 comments |
|
| 23. | | Ask HN: How can I make the most out of high school? |
| 67 points by TheAsprngHacker on Dec 30, 2018 | past | 63 comments |
|
| 24. | | Heaps – Haxe game engine by the language’s creator (heaps.io) |
| 58 points by TheAsprngHacker on Nov 26, 2018 | past | 7 comments |
|
| 25. | | A-Normalization: Why and How (might.net) |
| 3 points by TheAsprngHacker on Nov 18, 2018 | past |
|
| 26. | | A Haskell Compiler – Slides on GHC Implementation (2013) (stanford.edu) |
| 101 points by TheAsprngHacker on Aug 19, 2018 | past | 18 comments |
|
| 27. | | Compiling Pattern Matching to Good Decision Trees [pdf] (inria.fr) |
| 3 points by TheAsprngHacker on July 6, 2018 | past |
|
| 28. | | Why do people criticize the performance of Java, but not other JVM langs? |
| 3 points by TheAsprngHacker on June 16, 2018 | past | 2 comments |
|
| 29. | | Functional Geekery Episode 48 – Matthias Felleisen [audio] (functionalgeekery.com) |
| 81 points by TheAsprngHacker on June 7, 2018 | past | 4 comments |
|
| 30. | | Lifetime Safety: Preventing Leaks and Dangling [pdf] (github.com/isocpp) |
| 1 point by TheAsprngHacker on Feb 11, 2018 | past |
|
|
| More |
