1. 4
    On the Benefits of Families ... (Entry Families) programming blog.adacore.com
    jmiven avatar via jmiven 6 days ago | cached | 1 comment
  2. 75
    Running Lisp in Production lisp grammarly.com
    jmiven avatar via jmiven 9 days ago | cached | 43 comments
  3. 9
    What's in an Emacs Lambda (2017) emacs lisp nullprogram.com
    jmiven avatar via jmiven 10 days ago | cached | no comments
  4. 12
    NO! Programming as Other historical practices einarwh.wordpress.com
    jmiven avatar via jmiven 17 days ago | cached | 23 comments
  5. 4
    CUPID – the back story ☶ programming dannorth.net
    jmiven avatar via jmiven 1 month ago | cached | no comments
  6. 9
    Generalised signatures ml craigfe.io
    jmiven avatar via jmiven 1 month ago | cached | no comments
  7. 13
    The _intf trick ☶ ml craigfe.io
    jmiven avatar via jmiven 3 months ago | cached | 3 comments
  8. 5
    Lectures on Software: Distances, Invariants and Recursion compsci bertrandmeyer.com
    jmiven avatar via jmiven 5 months ago | cached | 1 comment
  9. 26
    Lomuto’s Comeback c++ d performance dlang.org
    jmiven avatar via jmiven 11 months ago | cached | 5 comments
  10. 18
    The Communicative Value of Using Git Well practices vcs jeremykun.com
    jmiven avatar via jmiven 1 year ago | cached | 5 comments
  11. 5
    Refactoring: This class is too large programming martinfowler.com
    jmiven avatar via jmiven 1 year ago | cached | no comments
  12. 22
    Death of a Craftsman practices einarwh.wordpress.com
    jmiven avatar via jmiven 1 year ago | cached | 5 comments
  13. 4
    Getting a program right, in nine episodes formalmethods bertrandmeyer.com
    jmiven avatar via jmiven 1 year ago | cached | no comments
  14. 67
    A Vacancy Has Been Detected practices kellysutton.com
    jmiven avatar via jmiven 1 year ago | cached | 6 comments
  15. 1
    Test Desiderata ☶ video testing youtube.com
    jmiven avatar via jmiven 1 year ago | cached | no comments
  16. 7
    Are my requirements complete? programming bertrandmeyer.com
    jmiven avatar via jmiven 1 year ago | cached | no comments
  17. 13
    Rash shell: From Reckless Interactions to Reliable Programs ☶ pdf lisp unix willghatch.net
    jmiven avatar via jmiven 1 year ago | cached | 8 comments
  18. 6
    The PDP-7 Where Unix Began hardware historical unix bsdimp.blogspot.com
    jmiven avatar via jmiven 1 year ago | cached | no comments
  19. 9
    Safe at Any Speed: Building a Performant, Safe, Maintainable Packet Processor ☶ video ml performance youtube.com
    jmiven avatar via jmiven 1 year ago | cached | 1 comment
  20. 6
    Loop invariants: analysis, classification, and examples (2012) ☶ pdf formalmethods se.ethz.ch
    jmiven avatar via jmiven 2 years ago | cached | no comments
  21. 18
    #include C headers in D code d atilanevesoncode.wordpress.com
    jmiven avatar via jmiven 3 years ago | cached | 11 comments