HN Explorer

TheAsprngHacker

↗ HN profile [ 95.7 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 6
  2. The Ghosts of the ’68 Election Still Haunt Our Politics (2018) (nymag.com)
    1 points 0
  3. The KyoAni I Felt: The kind touch of K-On and the studio behind it (dosaylazy.github.io)
    4 points 0
  4. Implementing Swift Generics (2017) [video] (youtube.com)
    2 points 0
  5. The anime K-ON! helped preserve the small town of Toyosato (crunchyroll.com)
    2 points 0
  6. Sharing Joel David Hamkins’s “almost correct proofs” tweet with my son (mikesmathpage.wordpress.com)
    2 points 0
  7. Principles of Programming Languages [JHU Textbook] [PDF] (pl.cs.jhu.edu)
    3 points 1
  8. Verified Functional Programming in Agda (dl.acm.org)
    88 points 10
  9. Naoko Yamada: Filmed with the Heart (blog.sakugabooru.com)
    1 points 0
  10. Coq 8.11.0 released, featuring new Ltac2 tactic language (github.com)
    1 points 1
  11. A New Way to Solve Quadratic Equations – Po-Shen Loh (poshenloh.com)
    1 points 1
  12. Functor, Applicative, and Monad (typeslogicscats.gitlab.io)
    252 points 120
  13. SOSML – Online Standard ML Interpreter (sosml.github.io)
    1 points 1
  14. Why Isn't the Intermediate Value Theorem Constructive? (math.stackexchange.com)
    1 points 1
  15. Snap! 5 is here (snap.berkeley.edu)
    96 points 16
  16. 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 4
  17. A-Normalization: Why and How (matt.might.net)
    3 points 0
  18. Functional Geekery Episode 48 – Matthias Felleisen [audio] (functionalgeekery.com)
    81 points 4
  19. Lifetime Safety: Preventing Leaks and Dangling [pdf] (github.com)
    1 points 0
  20. Optical Illusions in Matplotlib (gist.github.com)
    1 points 0
  21. The Programming Languages Zoo (github.com)
    1 points 0
  22. ATS2: Unleashing the Potentials of Types and Templates (github.com)
    1 points 0
  23. Ask HN: Haskell vs OCaml for Compiler Writing?

    Which programming language is better for writing a compiler? (For example, Haskell might be the better "functional" language but side effects + OOP might be more convenient for building a symbol table, or one language…

    4 points 1
  24. Lambda the Ultimate | Programming Languages Weblog (lambda-the-ultimate.org)
    2 points 0
  25. The Hackett Programming Language (docs.racket-lang.org)
    2 points 0