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
- 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
- Practical TLA+ Now Available https://www.hillelwayne.com/post/practical-tla/ 31 comments book , formalmethods , release , show
- 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
- Handwriting Programs in J https://www.hillelwayne.com/post/handwriting-j/ 7 comments apl , performance , programming
- 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
- 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