Newest stories submitted by davidk01.

  1. 0
    How to Design Classes (Draft) book java programming ccs.neu.edu
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  2. 13
    Concepts, Techniques, and Models of Computer Programming book info.ucl.ac.be
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  3. 6
    The Mercury logic programming system programming github.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  4. 3
    Nurtch: Executable Runbook for Teams devops python nurtch.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  5. 21
    Cloud Management with Prolog (Cont.) devops programming cloudbootup.com
    davidk01 avatar authored by davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  6. 3
    Teaching machines to reason about what they see ai news.mit.edu
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  7. 5
    Are you successful yet? culture lisp libranet.de
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  8. 4
    Partial Evaluation and Automatic Program Generation book compilers programming itu.dk
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 8
    What do Formal Methods actually Guarantee? formalmethods medium.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  10. 31
    Cloud Management with Prolog devops programming dev.to
    davidk01 avatar authored by davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  11. 19
    Database The Prolog Way programming i-programmer.info
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 11 comments
  12. 13
    What, Why, and How of Formal Methods formalmethods cloudbootup.com
    davidk01 avatar authored by davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  13. 27
    The resource leak bug of our civilization philosophy practices viznut.fi
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  14. 6
    Embedded Elixir with Nerves video elixir erlang youtube.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 6
    Clifford Algebras math gist.github.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  16. 3
    Validating a Coordination Protocol with Alloy formalmethods programming cloudbootup.com
    davidk01 avatar authored by davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 10
    Writing type parametric functions in Go (2013) go programming blog.burntsushi.net
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  18. 11
    Formal Methods Meetup (SF / Bay Area) ☶ ask event formalmethods meetu.ps
    davidk01 avatar authored by davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 11 comments
  19. 4
    Coordinating with Appendable Data Structures distributed programming cloudbootup.com
    davidk01 avatar authored by davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  20. 2
    Neural Networks seem to follow a puzzlingly simple strategy to classify images ai medium.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 7
    Modelling Rolling Deployments in Alloy and TypeScript formalmethods programming cloudbootup.com
    davidk01 avatar authored by davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  22. 2
    Testing Distributed Systems w/ Deterministic Simulation video distributed programming testing youtube.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 1
    On the General Architecture of the Peer Web culture historical programming ar.al
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 11
    Dont learn a programming language, solve a problem instead practices programming medium.com
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 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
Page 2 >>