hillelwayne.com: 114 stories from 10 submitters

  1. 26
    A Perplexing Javascript Parsing Puzzle historical javascript hillelwayne.com
    hwayne avatar authored by hwayne 25 hours ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  2. 24
    The Hierarchy of Hazard Controls practices hillelwayne.com
    hwayne avatar authored by hwayne 8 days ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  3. 84
    Toolbox languages programming hillelwayne.com
    hwayne avatar authored by hwayne 8 months ago |
    Archive.org Archive.today Ghostarchive
    | 53 comments
  4. 19
    Composing TLA+ Specifications with State Machines formalmethods hillelwayne.com
    hwayne avatar authored by hwayne 8 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 22
    Software Friction practices hillelwayne.com
    hwayne avatar authored by hwayne 10 months ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  6. 18
    Don't let Alloy facts make your specs a fiction formalmethods hillelwayne.com
    hwayne avatar authored by hwayne 11 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 80
    The Hunt for the Missing Data Type 2 programming hillelwayne.com
    hwayne avatar authored by hwayne 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 28 comments
  8. 100
    Planner programming blows my mind plt hillelwayne.com
    hwayne avatar authored by hwayne 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 22 comments
  9. 57
    An RNG that runs in your brain math perl hillelwayne.com
    hwayne avatar authored by hwayne 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 18 comments
  10. 9
    The World and the Machine formalmethods hillelwayne.com
    hwayne avatar authored by hwayne 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 35
    A better explanation of the Liskov Substitution Principle education practices hillelwayne.com
    hwayne avatar authored by hwayne 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 26 comments
  12. 17
    Is Software Engineering Real Engineering? video culture practices hillelwayne.com
    hwayne avatar authored by hwayne 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  13. 18
    Learn AutoHotKey by stealing my scripts ☶ windows hillelwayne.com
    hwayne avatar authored by hwayne 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  14. 8
    My Problem With the Four-Document Model practices rant hillelwayne.com
    nogweii avatar via nogweii 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  15. 42
    Somehow AutoHotKey is kinda good now release windows hillelwayne.com
    hwayne avatar authored by hwayne 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 15 comments
  16. 9
    Breaking the limits of TLA+ model checking formalmethods hillelwayne.com
    hwayne avatar authored by hwayne 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  17. 16
    A Neovim Task Runner in 30 lines of Lua lua vim hillelwayne.com
    hwayne avatar authored by hwayne 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 21
    NP-Complete isn't (always) Hard compsci programming hillelwayne.com
    hwayne avatar authored by hwayne 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 18 comments
  19. 23
    Sources of Complexity: Constraints programming hillelwayne.com
    hwayne avatar authored by hwayne 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 10 comments
  20. 71
    Let's Prove Leftpad show formalmethods hillelwayne.com
    hwayne avatar authored by hwayne 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 25 comments
  21. 53
    Notes on Every Strangeloop 2022 Talk I Attended event hillelwayne.com
    hwayne avatar authored by hwayne 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 32 comments
  22. 19
    Safety and Liveness Properties formalmethods programming hillelwayne.com
    hwayne avatar authored by hwayne 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  23. 20
    Software Mimicry programming hillelwayne.com
    hwayne avatar authored by hwayne 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  24. 81
    Crimes with Python's Pattern Matching python hillelwayne.com
    hwayne avatar authored by hwayne 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 22 comments
  25. 67
    Announcing: Learn TLA+ 2 ☶ book show formalmethods hillelwayne.com
    hwayne avatar authored by hwayne 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 12 comments
Page 2 >>