1. 2
    What Can You Put in a Refrigerator? programming prog21.dadgum.com
    hwayne avatar via hwayne 3 months ago | cached | no comments
  2. 27
    Raw Materials programming hillelwayne.com
    hwayne avatar authored by hwayne 3 months ago | cached | 5 comments
  3. 6
    State Machines and Alloy formalmethods aQute.biz
    hwayne avatar via hwayne 3 months ago | cached | no comments
  4. 7
    How Developers Use the Dynamic Features of Programming Languages: The Case of Smalltalk (2013) pdf plt users.dcc.uchile.cl
    hwayne avatar via hwayne 3 months ago | cached | 3 comments
  5. 1
    Kinect Hackers Are Changing the Future of Robotics (2011) hardware historical wired.com
    hwayne avatar via hwayne 3 months ago | cached | 2 comments
  6. 3
    Using J for Actuarial Applications (2016) apl archive.vector.org.uk
    hwayne avatar via hwayne 3 months ago | cached | no comments
  7. 12
    Taking on a Challenge in SPARK formalmethods blog.adacore.com
    hwayne avatar via hwayne 3 months ago | cached | 2 comments
  8. 3
    Yet Another Hierarchical State Machine (2004) c++ formalmethods accu.org
    hwayne avatar via hwayne 3 months ago | cached | no comments
  9. 28
    Are functional programs easier to verify than imperative programs? formalmethods plt semantic-domain.blogspot.com
    hwayne avatar via hwayne 4 months ago | cached | 4 comments
  10. 53
    The Great Theorem Prover Showdown formalmethods plt hillelwayne.com
    hwayne avatar authored by hwayne 4 months ago | cached | 19 comments
  11. 1
    The Essence of Reynolds (2014) pdf person plt cs.ucl.ac.uk
    hwayne avatar via hwayne 4 months ago | cached | no comments
  12. 2
    Teaching Data Science to High Schoolers education math mchow.com
    hwayne avatar via hwayne 4 months ago | cached | no comments
  13. 78
    Why Does "=" Mean Assignment? historical hillelwayne.com
    hwayne avatar authored by hwayne 4 months ago | cached | 12 comments
  14. 21
    Haskell Roguelike games haskell andrevdm.com
    hwayne avatar via hwayne 4 months ago | cached | no comments
  15. 23
    Just a Whole Bunch of Different Tests testing hillelwayne.com
    hwayne avatar authored by hwayne 4 months ago | cached | 7 comments
  16. 2
    What to do about duplicates in bug bounty programs? security plzdonthack.me
    hwayne avatar via hwayne 4 months ago | cached | no comments
  17. 4
    Introducing BDD (2006) historical testing dannorth.net
    hwayne avatar via hwayne 4 months ago | cached | no comments
  18. 23
    Tag Proposal: APL ☶ meta
    hwayne avatar authored by hwayne 5 months ago | 12 comments
  19. 6
    The Control Structure Diagram pdf design java jgrasp.org
    hwayne avatar via hwayne 5 months ago | cached | 2 comments
  20. 32
    Formally Specifying a Package Manager formalmethods hillelwayne.com
    hwayne avatar authored by hwayne 5 months ago | cached | 9 comments
  21. 8
    Akin's Laws of Spacecraft Design practices spacecraft.ssl.umd.edu
    hwayne avatar via hwayne 5 months ago | cached | no comments
  22. 13
    All Of The Things That You Can Do With Arrays apl historical programming tinyletter.com
    hwayne avatar via hwayne 5 months ago | cached | 5 comments
  23. 3
    Bidding on Security javascript security thedailywtf.com
    hwayne avatar via hwayne 5 months ago | cached | no comments
  24. 8
    Finding bugs in systems through formalization distributed formalmethods andy.hammerhartes.de
    hwayne avatar via hwayne 5 months ago | cached | no comments
  25. 3
    What does VR reveal about the 4th dimension? video math visualization albert-hwang.com
    hwayne avatar via hwayne 5 months ago | cached | 1 comment
<< Page 1 | Page 3 >>