1. 11
    A Primer on Boolean Satisfiability compsci math homes.cs.washington.edu
    hwayne avatar via hwayne 7 months ago | cached | no comments
  2. 9
    Let's Prove Random Games are Winnable (with Formal Methods) formalmethods games hillelwayne.com
    hwayne avatar authored by hwayne 7 months ago | cached | 4 comments
  3. 22
    Coding in color design medium.com
    hwayne avatar via hwayne 7 months ago | cached | 8 comments
  4. 6
    What is a programming language? plt willcrichton.net
    hwayne avatar via hwayne 7 months ago | cached | 1 comment
  5. 3
    Verifying Bubble Sort in Whiley compsci formalmethods whiley.org
    hwayne avatar via hwayne 7 months ago | cached | 1 comment
  6. 11
    Why you should use modeling [with TLA+/PlusCal] formalmethods muratbuffalo.blogspot.com
    hwayne avatar via hwayne 7 months ago | cached | no comments
  7. 1
    Showcasing Mathematica One Character at a Time ☶ culture programming codegolf.stackexchange.com
    hwayne avatar via hwayne 7 months ago | cached | no comments
  8. 11
    Tell us why your language sucks (2008) ☶ haskell plt drmaciver.com
    hwayne avatar via hwayne 7 months ago | cached | 6 comments
  9. 2
    Agile Methods: The Good, the Hype and the Ugly ☶ video practices youtube.com
    hwayne avatar via hwayne 8 months ago | cached | no comments
  10. 69
    Awesome Cold Showers ☶ ask show culture github.com
    hwayne avatar authored by hwayne 8 months ago | cached | 34 comments
  11. 5
    Applying "Design by Contract" (1992) pdf formalmethods historical se.ethz.ch
    hwayne avatar via hwayne 8 months ago | cached | 1 comment
  12. 19
    Vim Macro Trickz vim hillelwayne.com
    hwayne avatar authored by hwayne 8 months ago | cached | no comments
  13. 55
    How I Got Paid $0 From the Uber Security Bug Bounty security medium.com
    hwayne avatar via hwayne 8 months ago | cached | 9 comments
  14. 4
    The story of our field, in a few short words [2011] ☶ historical rant bertrandmeyer.com
    hwayne avatar via hwayne 8 months ago | cached | no comments
  15. 12
    Solving the “Wolf, Sheep and Cabbage” problem using TLA+ and the TLC model checker formalmethods medium.com
    hwayne avatar via hwayne 8 months ago | cached | no comments
  16. 25
    A bogus study on code review practices visualization blog.wesleyac.com
    hwayne avatar via hwayne 8 months ago | cached | 4 comments
  17. 19
    Property Tests + Contracts = Integration Tests python testing hillelwayne.com
    hwayne avatar authored by hwayne 8 months ago | cached | 9 comments
  18. 6
    Is AlphaZero really a scientific breakthrough in AI? ai medium.com
    hwayne avatar via hwayne 8 months ago | cached | 1 comment
  19. 7
    A Practical Comparison of Alloy and Spin [2015] pdf formalmethods web2.research.att.com
    hwayne avatar via hwayne 8 months ago | cached | no comments
  20. 23
    What's the Right Tool for the Job? databases practices hillelwayne.com
    hwayne avatar authored by hwayne 8 months ago | cached | 4 comments
  21. 8
    Where Do Most Software Flaws Come From? pdf debugging practices users.ece.utexas.edu
    hwayne avatar via hwayne 9 months ago | cached | no comments
  22. 28
    I Don't Like Your Examples! (2000) culture archive.oreilly.com
    hwayne avatar via hwayne 9 months ago | cached | 6 comments
  23. 4
    Design as the art of abstraction formalmethods satyasm.github.io
    hwayne avatar via hwayne 9 months ago | cached | 1 comment
  24. 12
    How is a Class like a Microservice? devops programming hillelwayne.com
    hwayne avatar authored by hwayne 9 months ago | cached | 11 comments
  25. 6
    Underscores, Optimization & Arms Races historical web medium.com
    hwayne avatar via hwayne 9 months ago | cached | no comments
<< Page 3 | Page 5 >>