1. 19
    Tackling Concurrency Bugs with TLA+ (Strange Loop) ☶ show video formalmethods youtube.com
    hwayne avatar authored by hwayne 11 months ago | cached | no comments
  2. 10
    The Coming Software Apocalypse culture formalmethods theatlantic.com
    hwayne avatar via hwayne 11 months ago | cached | 2 comments
  3. 22
    What would you do with a programming assistant? ☶ ask job
    hwayne avatar authored by hwayne 11 months ago | 20 comments
  4. 8
    Serverless is cheaper, not simpler programming web medium.com
    hwayne avatar via hwayne 11 months ago | cached | 2 comments
  5. 2
    Optimizing web servers for high throughput and low latency performance web blogs.dropbox.com
    hwayne avatar via hwayne 12 months ago | cached | no comments
  6. 18
    Supporting Hypothesis ☶ python testing stripe.com
    hwayne avatar via hwayne 1 year ago | cached | 1 comment
  7. 1
    Bootstrapping the Web with Scala Native (Part 1) performance scala spantree.net
    hwayne avatar via hwayne 1 year ago | cached | no comments
  8. 8
    Instructive and Persuasive Examples education hillelwayne.com
    hwayne avatar authored by hwayne 1 year ago | cached | 2 comments
  9. 27
    A history of branch prediction from 1500000 BC to 1995 hardware danluu.com
    hwayne avatar via hwayne 1 year ago | cached | no comments
  10. 9
    The Lesser Known Normal Forms of Database Design (2014) databases satire johnmyleswhite.com
    hwayne avatar via hwayne 1 year ago | cached | no comments
  11. -2
    The Big 5 CEOs, ranked by fight satire medium.com
    hwayne avatar authored by hwayne 1 year ago | cached | no comments
  12. 29
    How Do We Trust Our Science Code? science hillelwayne.com
    hwayne avatar authored by hwayne 1 year ago | cached | 23 comments
  13. 10
    Small Functions considered Harmful programming medium.com
    hwayne avatar via hwayne 1 year ago | cached | 8 comments
  14. 12
    Why does Sattolo's algorithm produce a permutation with exactly one cycle? compsci danluu.com
    hwayne avatar via hwayne 1 year ago | cached | 1 comment
  15. 17
    What happened to the "Surgical Team" Model from the Mythical Man Month? ☶ ask culture
    hwayne avatar authored by hwayne 1 year ago | 14 comments
  16. 6
    Hypothesis Testing with Oracle Functions python testing hillelwayne.com
    hwayne avatar authored by hwayne 1 year ago | cached | no comments
  17. 8
    Moving Beyond Types ☶ python testing hypothesis.works
    hwayne avatar via hwayne 1 year ago | cached | 5 comments
  18. 42
    What's the most interesting thing you've seen done with dynamic typing? ☶ ask programming
    hwayne avatar authored by hwayne 1 year ago | 55 comments
  19. 26
    How I Managed to Design the Most Successful Educational Computer Game of All Time games historical medium.com
    hwayne avatar via hwayne 1 year ago | cached | no comments
  20. 10
    What I Learned From Researching Coding Bootcamps culture education medium.com
    hwayne avatar via hwayne 1 year ago | cached | no comments
  21. 7
    An example of debugging Java with a model checker formalmethods java cs.unh.edu
    hwayne avatar via hwayne 1 year ago | cached | 1 comment
  22. 2
    The transition to multilingual programming with Python (2014) historical python developers.redhat.com
    hwayne avatar via hwayne 1 year ago | cached | no comments
  23. 10
    List of Articles about Programming Skepticism culture hillelwayne.com
    hwayne avatar authored by hwayne 1 year ago | cached | 4 comments
  24. 6
    Modeling Zero-Downtime Deployments with TLA+ devops formalmethods hillelwayne.com
    hwayne avatar authored by hwayne 1 year ago | cached | no comments
  25. 6
    When Random Numbers Are Too Random: Low Discrepancy Sequences c++ math visualization blog.demofox.org
    hwayne avatar via hwayne 1 year ago | cached | 4 comments
<< Page 5 | Page 7 >>