Newest stories submitted by davidk01.

  1. 3
    Augmenting Human Intellect: A Conceptual Framework historical practices framework.thoughtvectors.net
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 8
    McCarthy's Ambiguous Operator lisp programming randomhacks.net
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  3. 5
    The KeY Project formalmethods java key-project.org
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  4. 4
    Encryption Key Hierarchies in Alloy formalmethods programming cloudbootup.com
    davidk01 avatar authored by davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  5. 6
    Introduction to the Coq Proof Assistant video formalmethods youtube.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 9
    The Egg art philosophy galactanet.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  7. 6
    The Cost of Bad Software Architecture practices cloudbootup.com
    davidk01 avatar authored by davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  8. 5
    A Lever for the Mind math plt programming codon.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 3
    Computational Insights and the Theory of Evolution video ai youtube.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 4
    Why are Machine Learning Projects so Hard to Manage? ai programming medium.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  11. 6
    4 bit Adder in Alloy and TypeScript programming cloudbootup.com
    davidk01 avatar authored by davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  12. 6
    How To Predict Any Three Events More Accurately math kaomorphism.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 7
    We Really Don't Know How To Compute video plt programming infoq.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 3
    Transactional memory, immediate-mode structured graphics, serialization, backtracking, and parsing graphics programming write.as
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 11
    Outperforming everything with anything compilers wordsandbuttons.online
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  16. 8
    Practical strace: Retrofitting Build Caching programming scriptcrafty.com
    davidk01 avatar authored by davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 10 comments
  17. 4
    Impossible Programs video compsci programming codon.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 1
    Reusable code vs. re-editable code practices johndcook.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 3
    TypeScript: Static types for JavaScript video event programming youtube.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 2
    Scaling the Everest of software security audio transcript formalmethods security microsoft.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 6
    Contracts For Getting More Programs Less Wrong video programming youtube.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  22. 3
    Using Fourier Transforms To Multiply Numbers - Interactive Examples math programming blog.robertelder.org
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 2
    Dart VM compilers programming mrale.ph
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 4
    Reverse Engineering Machines with the Yoneda Lemma compsci math blog.sigfpe.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  25. 2
    What Can AI Tell Us about the Human Mind? ai philosophy deconstructingyourself.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
<< Page 1 | Page 3 >>