HN Explorer

TheAsprngHacker

↗ HN profile [ 83.2 ms ] full profile
Karma
873
Created
November 4, 2017 (8y ago)
Submissions
0
  1. Political theorists have been worrying about mob rule for 2,000 years (economist.com)
    22 points 7
  2. The Ghosts of the ’68 Election Still Haunt Our Politics (2018) (nymag.com)
    1 points 0
  3. Are Asian Americans the Last Undecided Voters? (newyorker.com)
    2 points 0
  4. The KyoAni I Felt: The kind touch of K-On and the studio behind it (dosaylazy.github.io)
    4 points 0
  5. Ask HN: How to network if I share a name with another person in the same field?

    As I prepare for college, I would like to do more to network myself and build my career. I currently plan to go into academia and specialize in programming language theory. I have a common western first name and a…

    2 points 9
  6. Implementing Swift Generics (2017) [video] (youtube.com)
    2 points 0
  7. The anime K-ON! helped preserve the small town of Toyosato (crunchyroll.com)
    2 points 0
  8. Students report big problems with online AP tests (washingtonpost.com)
    1 points 0
  9. Sharing Joel David Hamkins’s “almost correct proofs” tweet with my son (mikesmathpage.wordpress.com)
    2 points 0
  10. Principles of Programming Languages [JHU Textbook] [PDF] (pl.cs.jhu.edu)
    3 points 1
  11. Verified Functional Programming in Agda (dl.acm.org)
    88 points 10
  12. Naoko Yamada: Filmed with the Heart (blog.sakugabooru.com)
    1 points 0
  13. Coq 8.11.0 released, featuring new Ltac2 tactic language (github.com)
    1 points 1
  14. Ask HN: I got rejected from Cornell. I want to study PL theory; what to do?

    I just got rejected from Cornell. Throughout my teenage years, I have been in love with PL theory/type theory. I naturally became familiar with the work of professors. I decided that when I grew up, I wanted to be just…

    1 points 6
  15. A New Way to Solve Quadratic Equations – Po-Shen Loh (poshenloh.com)
    1 points 1
  16. Ask HN: What are the security and legal aspects of websites with user content?

    I would like to create a website where people may upload text (with Markdown for formatting) and images. However, when I did my research, I realize that there is huge legal and technical responsibility involved. The…

    2 points 1
  17. Functor, Applicative, and Monad (typeslogicscats.gitlab.io)
    252 points 124
  18. SOSML – Online Standard ML Interpreter (sosml.github.io)
    1 points 1
  19. Why Isn't the Intermediate Value Theorem Constructive? (math.stackexchange.com)
    1 points 1
  20. Functor, Applicative, and Monad (typeslogicscats.gitlab.io)
    1 points 0
  21. Snap! 5 is here (snap.berkeley.edu)
    96 points 16
  22. Ask HN: I Deleted a Submission Because of a Typo, and I Can't Resubmit It?

    I submitted my new blog post, but I realized that I dropped a word in the title. I deleted the submission, but now I can't resubmit it. How can I post it again?

    3 points 5
  23. Ask HN: How can I make the most out of high school?

    I'm in high school. Soon, I will be in college. Before, I’ve focused mainly on studying and pursuing solitary passions, but not doing social activities. However, I now feel that I'm missing out on typical teenager life,…

    67 points 67
  24. Heaps – Haxe game engine by the language’s creator (heaps.io)
    58 points 7
  25. A-Normalization: Why and How (matt.might.net)
    3 points 0