Hacker News
- Software correctness is a lot like flossing (2020) https://www.hillelwayne.com/post/flossing/ 34 comments
- Are We Really Engineers? (2021) https://www.hillelwayne.com/post/are-we-really-engineers/ 389 comments
- Important Women in CS Who Aren't Grace Hopper (2018) https://hillelwayne.com/important-women-in-cs/ 18 comments
- How fast do I talk? https://www.hillelwayne.com/post/talk-fast/ 48 comments
- Performance Matters https://www.hillelwayne.com/post/performance-matters/ 136 comments
- Practical TLA+ https://www.hillelwayne.com/post/practical-tla/ 6 comments
- Why Does “=” Mean Assignment? https://www.hillelwayne.com/post/equals-as-assignment/ 354 comments
Lobsters
- The Hunt for the Missing Data Type https://www.hillelwayne.com/post/graph-types/ 28 comments programming
- Breaking the limits of TLA+ model checking https://www.hillelwayne.com/post/graphing-tla/ 4 comments formalmethods
- Announcing: Learn TLA+ https://www.hillelwayne.com/post/learntla/ 12 comments book , formalmethods , show
- Are We Really Engineers? https://www.hillelwayne.com/post/crossover-project/are-we-really-engineers/ 18 comments culture , practices
- Why do Interviewers Ask Linked List Questions? https://www.hillelwayne.com/post/linked-lists/ 34 comments historical , practices
- There's Always More History https://www.hillelwayne.com/post/always-more-history/ 27 comments historical , unix , vim
- The Frink is Good, the Unit is Evil https://www.hillelwayne.com/post/frink/ 25 comments programming , science
- The Hard Part of Learning a Language https://www.hillelwayne.com/post/learning-a-language/ 70 comments practices , rant
- Announcing: Alloydocs https://www.hillelwayne.com/post/alloydocs/ 17 comments formalmethods , show
- This is How Science Happens https://www.hillelwayne.com/post/this-is-how-science-happens/ 15 comments plt , science
- The Business Case for Formal Methods https://www.hillelwayne.com/post/business-case-formal-methods/ 17 comments formalmethods , practices
- Hypermodeling Hyperproperties https://www.hillelwayne.com/post/hyperproperties/ 2 comments formalmethods
- Finding Property Tests https://www.hillelwayne.com/post/contract-examples/ 7 comments testing
- Raw Materials https://www.hillelwayne.com/post/raw-materials/ 5 comments programming
- It's Hard to Reason About Systems https://www.hillelwayne.com/post/reasoning-about-systems/ 20 comments practices
- Important Women in CS Who Aren't Grace Hopper https://www.hillelwayne.com/post/important-women-in-cs/ 58 comments historical , person
- What's the Right Tool for the Job? https://www.hillelwayne.com/post/right-tool/ 4 comments databases , practices
- Why TDD Isn't Crap https://www.hillelwayne.com/post/why-tdd-isnt-crap/ 4 comments testing
- Unit Tests Aren't Tests https://www.hillelwayne.com/post/unit-tests-are-not-tests/ 5 comments programming , testing
- Uncle Bob and Silver Bullets https://www.hillelwayne.com/post/uncle-bob/ 35 comments formalmethods , rant , testing
- Instructive and Persuasive Examples https://www.hillelwayne.com/post/persuasive-examples/ 2 comments education
- NP-Complete isn't (always) hard https://www.hillelwayne.com/post/np-hard/ 5 comments programming
- The Hard Part of Learning a Language https://www.hillelwayne.com/post/learning-a-language/ 71 comments programming
- 10 Most(ly dead) Influential Programming Languages • Hillel Wayne https://www.hillelwayne.com/post/influential-dead-languages/ 178 comments programming
- This is How Science Happens https://www.hillelwayne.com/post/this-is-how-science-happens/ 22 comments programming
- The Business Case for Formal Methods https://www.hillelwayne.com/post/business-case-formal-methods/ 18 comments programming
- Alan Kay Did Not Invent Objects https://www.hillelwayne.com/post/alan-kay/ 40 comments programming
- It's Hard to Reason About Systems https://hillelwayne.com/post/reasoning-about-systems/ 5 comments programming
- Why Does "=" Mean Assignment? https://www.hillelwayne.com/post/equals-as-assignment/ 53 comments programming
- The Great Theorem Prover Showdown https://www.hillelwayne.com/post/theorem-prover-showdown/ 5 comments coq
- Let's Prove Random Games are Winnable (with Formal Methods) https://www.hillelwayne.com/post/alloy-randomizer/ 4 comments programming
- What's the Right Tool for the Job? https://www.hillelwayne.com/post/right-tool/ 9 comments programming
- Uncle Bob and Silver Bullets https://www.hillelwayne.com/post/uncle-bob/ 99 comments programming
Linking pages
- GitHub - hwayne/awesome-cold-showers: For when people get too hyped up about things https://github.com/hwayne/awesome-cold-showers 909 comments
- Was Javascript really made in 10 days? • Buttondown https://buttondown.email/hillelwayne/archive/did-brendan-eich-really-make-javascript-in-10-days/ 592 comments
- The technological case against Bitcoin and blockchain - lukeplant.me.uk https://lukeplant.me.uk/blog/posts/the-technological-case-against-bitcoin-and-blockchain/#what-problem-does-bitcoin-solve 520 comments
- If Inheritance is so bad, why does everyone use it? • Buttondown https://buttondown.email/hillelwayne/archive/if-inheritance-is-so-bad-why-does-everyone-use-it/ 472 comments
- Syntax highlighting is a waste of an information channel • Buttondown https://buttondown.email/hillelwayne/archive/syntax-highlighting-is-a-waste-of-an-information/ 324 comments
- A Pythonista's Review of Haskell > Ying Wang https://bytes.yingw787.com/posts/2020/01/30/a_review_of_haskell/ 160 comments
- Unusual basis types in programming languages • Buttondown https://buttondown.email/hillelwayne/archive/unusual-basis-types-in-programming-languages/ 92 comments
- Strings do too many things • Buttondown https://buttondown.email/hillelwayne/archive/strings-do-too-many-things/ 49 comments
- Why do regexes use `$` and `^` as line anchors? • Buttondown https://buttondown.email/hillelwayne/archive/why-do-regexes-use-and-as-line-anchors/ 49 comments
- Software Development and the False Promise of Science - Richard Marmorstein http://twitchard.github.io/posts/2019-10-13-software-development-and-the-false-promise-of-science.html 44 comments
- What makes concurrency so hard? • Buttondown https://buttondown.email/hillelwayne/archive/what-makes-concurrency-so-hard/ 39 comments
- GitHub has too many hidden features • Buttondown https://buttondown.email/hillelwayne/archive/github-has-too-many-hidden-features/ 32 comments
- Why all([]) is true, prod([]) is 1, etc • Buttondown https://buttondown.email/hillelwayne/archive/why-any-is-true-prod-is-1-etc/ 30 comments
- What Mob Programming is Bad At • Buttondown https://buttondown.email/hillelwayne/archive/what-mob-programming-is-bad-at/ 26 comments
- Formal Methods in Practice: Using TLA+ at eSpark Learning | by Hillel Wayne | eSpark Engineering Blog | Medium https://medium.com/espark-engineering-blog/formal-methods-in-practice-8f20d72bce4f 25 comments
- A review of _Accelerate: The Science of Lean Software and DevOps_ - Keunwoo Lee's Minimum Viable Homepage https://keunwoo.com/notes/accelerate-devops/ 19 comments
- GitHub - hwayne/lets-prove-leftpad: Proving leftpad correct in a dozen different ways https://github.com/hwayne/lets-prove-leftpad 16 comments
- Can we abstract control flow? | kilotau –– Gursimran Singh (@gnarmis) https://kilotau.com/2019/01/15/can-we-abstract-control-flow.html 14 comments
- Building A "Simple" Distributed System - Formal Verification — Jack Vanlightly https://jack-vanlightly.com/blog/2019/1/27/building-a-simple-distributed-system-formal-verification 12 comments
- building-software.md · GitHub https://gist.github.com/serras/caf3b7056f609c63a028f15c47a3ff4e 11 comments