Newest stories submitted by davidk01.

  1. 11
    Graphs are to categories as lists are to monoids compsci math plt alhassy.github.io
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 2
    Predictions Scorecard, 2019 January 01 ai science rodneybrooks.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 5
    The Process of Mastering a Skill practices azeria-labs.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 3
    When Nerds Collide culture medium.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 1
    Lecture Notes: Programming the Turing Machine historical scriptcrafty.com
    davidk01 avatar authored by davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 4
    PEG: Ambiguity, precision and confusion plt programming jeffreykegler.github.io
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  7. 2
    What is algebraic about algebraic effects and handlers? pdf plt arxiv.org
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 21
    You could have invented Parser Combinators plt programming theorangeduck.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  9. 2
    Quantum Computing for Computer Scientists video math programming youtube.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 2
    Fermat's Little Theorem video math youtube.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 14
    Cancer Isn't a Logic Problem science cancer.nautil.us
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 37 comments
  12. 3
    Sharding Your Data With PostgreSQL 11 databases pgdash.io
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 4
    How should we evaluate progress in AI? ai philosophy meaningness.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  14. 4
    The Astrée Static Analyzer c formalmethods plt astree.ens.fr
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 3
    A Unikernel Firewall for QubesOS security roscidus.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  16. 6
    A History of Computation, Logic and Algebra historical pron.github.io
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 11
    Signal Foundation privacy signal.org
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  18. 11
    Concrete Semantics plt concrete-semantics.org
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 11
    little mathematics library math mirtitles.org
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 7
    Computer Scientists Close In on Perfect, Hack-Proof Code formalmethods wired.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 19 comments
  21. 10
    Xtext - Language Engineering Made Easy plt eclipse.org
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  22. 1
    Mathematizing C++ Concurrency plt cl.cam.ac.uk
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 3
    Variation of the Pigeonhole Principle math scriptcrafty.com
    davidk01 avatar authored by davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  24. 5
    Tree Automata - Archive of Formal Proofs plt isa-afp.org
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  25. 13
    QED Manifesto math cs.ru.nl
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
<< Page 2 | Page 4 >>