1. 13
    Z notation formalmethods formalmethods.wikia.com
    zdsmith avatar via zdsmith 4 days ago | cached | 7 comments
  2. 17
    A Practical Theory Of Programming pdf book compsci programming cs.toronto.edu
    zdsmith avatar via zdsmith 26 days ago | cached | 4 comments
  3. 11
    To Kill a Centrifuge pdf security langner.com
    zdsmith avatar via zdsmith 3 months ago | cached | no comments
  4. 10
    Languages well-suited for remote working ☶ ask plt
    zdsmith avatar authored by zdsmith 3 months ago | 10 comments
  5. 1
    Acts as Conference 2009 The Grand Unified Theory by Jim Weirich video programming youtube.com
    zdsmith avatar via zdsmith 6 months ago | cached | no comments
  6. 2
    lambdapad - Static site generator using Erlang. Yes, Erlang. erlang web github.com
    zdsmith avatar via zdsmith 6 months ago | cached | no comments
  7. 63
    Digital Minimalism for the Working Hacker browsers linux programming blog.zdsmith.com
    zdsmith avatar authored by zdsmith 7 months ago | cached | 21 comments
  8. 14
    Guy Debord’s Game Of War ☶ games cabinetmagazine.org
    zdsmith avatar via zdsmith 7 months ago | cached | no comments
  9. 6
    Parsing with derivatives - Elegant matching of regular languages in clojure compsci programming blog.klipse.tech
    zdsmith avatar via zdsmith 8 months ago | cached | 2 comments
  10. 4
    Nim: A New Option for Optimizing Inner Loops (PyGotham 2017) video programming python pyvideo.org
    zdsmith avatar authored by zdsmith 10 months ago | cached | no comments
  11. 9
    Pointer free programming and the future of Nim c++ programming nim-lang.org
    zdsmith avatar via zdsmith 10 months ago | cached | 2 comments
  12. 11
    Making ReelValley, a web game written in Nim games programming web yglukhov.github.io
    zdsmith avatar via zdsmith 11 months ago | cached | no comments
  13. 29
    "It's fun to program in Crystal, but is it scalable?" ☶ programming github.com
    zdsmith avatar via zdsmith 12 months ago | cached | 16 comments
  14. 7
    HORG satire horg.com
    zdsmith avatar via zdsmith 1 year ago | cached | 1 comment
  15. 3
    Unit Testing in Nim programming testing blog.zdsmith.com
    zdsmith avatar authored by zdsmith 1 year ago | cached | no comments
  16. 14
    Compile-Time Sort in Nim compilers programming blog.zdsmith.com
    zdsmith avatar authored by zdsmith 1 year ago | cached | 5 comments
  17. 0
    Geniuses Wanted: NASA Challenges Coders to Speed Up Its Supercomputer fortran historical nytimes.com
    zdsmith avatar via zdsmith 1 year ago | cached | no comments
  18. 2
    Nim For Python Programmers programming python blog.zdsmith.com
    zdsmith avatar authored by zdsmith 1 year ago | cached | no comments
  19. 78
    The Dark Path, or, What if I Don't Want to Quit My Job? programming blog.zdsmith.com
    zdsmith avatar authored by zdsmith 1 year ago | cached | 14 comments