• The Best Refactoring You've Never Heard Of https://www.pathsensitive.com/2019/07/the-best-refactoring-youve-never-heard.html 0 comments 5/4/2025
• Book Review: "Tidy First?" By Kent Beck https://www.pathsensitive.com/2024/04/book-review-tidy-first.html 53 comments 1/4/2024
• Should you split that file? https://www.pathsensitive.com/2023/12/should-you-split-that-file.html 96 comments 1/12/2023
• Puzzles to convince you you don't understand dependence https://www.pathsensitive.com/2022/09/bet-you-cant-solve-these-9-dependency.html 13 comments 30/9/2022
• Solving the Dog-Bunny Puzzle with Program Verification Technology https://www.pathsensitive.com/2022/09/solving-dog-bunny-puzzle-with-program.html 3 comments 21/9/2022
• Abstraction: Not what you think it is https://www.pathsensitive.com/2022/03/abstraction-not-what-you-think-it-is.html 127 comments 29/3/2022
• Developer tools can be magic but instead collect dust http://www.pathsensitive.com/2021/03/developer-tools-can-be-magic-instead.html 355 comments 28/3/2021
• Elements of Programmnig http://www.pathsensitive.com/2020/09/book-review-elements-of-programmnig.html 9 comments 30/9/2020
• Defunctionalize the Continuation http://www.pathsensitive.com/2019/07/the-best-refactoring-youve-never-heard.html 31 comments 15/7/2019
• Book Review: A Philosophy of Software Design http://www.pathsensitive.com/2018/10/book-review-philosophy-of-software.html 51 comments 29/10/2018
• My favorite principle for code quality http://www.pathsensitive.com/2018/02/making-bugs-impossible-illustrating.html 110 comments 22/5/2018
• The Practice is not the Performance: Why project-based learning fails http://www.pathsensitive.com/2018/02/the-practice-is-not-performance-why.html 128 comments 24/2/2018
• Why code that never goes wrong can still be wrong http://www.pathsensitive.com/2018/01/the-three-levels-of-software-why-code.html 55 comments 17/1/2018
• The Design of Software is a Thing Apart http://www.pathsensitive.com/2018/01/the-design-of-software-is-thing-apart.html 117 comments 16/1/2018

• The Best Refactoring You've Never Heard Of https://www.pathsensitive.com/2019/07/the-best-refactoring-youve-never-heard.html 3 comments 4/4/2025 programming
• Should you split that file? https://www.pathsensitive.com/2023/12/should-you-split-that-file.html 7 comments 1/12/2023 programming
• The 11 Aspects of Good Code https://www.pathsensitive.com/2023/07/the-11-aspects-of-good-code.html 6 comments 18/7/2023 philosophy , programming
• 'Modules Matter' Most for the Masses https://www.pathsensitive.com/2023/03/modules-matter-most-for-masses.html 23 comments 31/3/2023 ml , plt , programming
• 9 puzzles to convince you you don't understand dependence https://www.pathsensitive.com/2022/09/bet-you-cant-solve-these-9-dependency.html 18 comments 30/9/2022 plt , programming
• Solving the Dog-Bunny Puzzle with Program Verification Technology https://www.pathsensitive.com/2022/09/solving-dog-bunny-puzzle-with-program.html 2 comments 21/9/2022 compsci , formalmethods , programming
• Demystifying Dependence, Part 1: The Nine Dependency Puzzles https://www.pathsensitive.com/2022/08/demystifying-dependence-part-1-nine.html 3 comments 17/8/2022 plt , programming
• Abstraction: Not What You Think It Is https://www.pathsensitive.com/2022/03/abstraction-not-what-you-think-it-is.html 26 comments 28/3/2022 plt , programming
• Developer tools can be magic. Instead, they collect dust http://www.pathsensitive.com/2021/03/developer-tools-can-be-magic-instead.html 36 comments 28/3/2021 plt , programming
• Why Programmers Should(n't) Learn Theory http://www.pathsensitive.com/2021/03/why-programmers-shouldnt-learn-theory.html 5 comments 15/3/2021 formalmethods , plt
• Book Review: Elements of Programming http://www.pathsensitive.com/2020/09/book-review-elements-of-programmnig.html 7 comments 30/9/2020 book , c++ , programming
• The Best Refactoring You've Never Heard Of http://www.pathsensitive.com/2019/07/the-best-refactoring-youve-never-heard.html 13 comments 15/7/2019 plt , programming
• Why project-based learning fails http://www.pathsensitive.com/2018/02/the-practice-is-not-performance-why.html 8 comments 10/7/2019 programming
• Book Review: Practical TLA+ http://www.pathsensitive.com/2019/05/book-review-practical-tla.html 14 comments 17/5/2019 book , formalmethods
• Strange Loop 2018: You are a Program Synthesizer (video + transcript) http://www.pathsensitive.com/2018/12/my-strange-loop-talk-you-are-program.html 11 comments 9/12/2018 design , formalmethods , plt , programming
• Book Review: A Philosophy of Software Design http://www.pathsensitive.com/2018/10/book-review-philosophy-of-software.html 5 comments 29/10/2018 book , plt , programming
• The Benjamin Franklin Method of Reading Programming Books http://www.pathsensitive.com/2018/01/the-benjamin-franklin-method-of-reading.html 13 comments 22/1/2018 programming
• The Three Levels of Software: Why code that never goes wrong can still be wrong http://www.pathsensitive.com/2018/01/the-three-levels-of-software-why-code.html 23 comments 16/1/2018 formalmethods , programming

• The Best Refactoring You've Never Heard Of https://www.pathsensitive.com/2019/07/the-best-refactoring-youve-never-heard.html 1 comment 4/4/2025 programming
• Modularity - the most missing PL feature https://www.pathsensitive.com/2023/03/modules-matter-most-for-masses.html 43 comments 31/3/2023 programminglanguages
• Book Review: The Senior Mindset https://www.pathsensitive.com/2022/12/book-review-senior-mindset.html 2 comments 8/12/2022 programming
• Demystifying Dependence, Part 1: The Nine Dependency Puzzles https://www.pathsensitive.com/2022/08/demystifying-dependence-part-1-nine.html 6 comments 17/8/2022 programming
• Developer tools can be magic. Instead, they collect dust. http://www.pathsensitive.com/2021/03/developer-tools-can-be-magic-instead.html 17 comments 30/3/2021 programming
• Making Bugs Impossible: Illustrating the Embedded Design Principle http://www.pathsensitive.com/2018/02/making-bugs-impossible-illustrating.html 3 comments 14/2/2018 programming
• The Benjamin Franklin Method of Reading Programming Books http://www.pathsensitive.com/2018/01/the-benjamin-franklin-method-of-reading.html 11 comments 22/1/2018 programming
• The Three Levels of Software: Why code that never goes wrong can still be wrong http://www.pathsensitive.com/2018/01/the-three-levels-of-software-why-code.html 25 comments 8/1/2018 programming