K
Kevin Mahoney
kevinmahoney.co.uk · Personal blog · on HN since 2014
Kevin Mahoney is a software developer writing about software design, type systems, testing, and database design, plus small projects like a synth language.
What HN saysHN commenters cite his Tests vs. Types article to argue that types replace whole classes of tests, serve as documentation, and limit LLM mistakes.
20HN people shared it
2linked it in comments
30stories submitted
774story points
5 months agolast shared
2014people per year2026
Most-shared posts
- 1My Principles for Building Software4 people · 7 points · first shared 2020 · discussion on HN
- 2An Immutable Blog Application in PostgreSQL4 people · 6 points · first shared 2016 · 1 comments on HN
- 3Applying “make invalid states unrepresentable”3 people · 381 points · first shared 2020 · 183 comments on HN
- 4Tests vs. Types3 people · 61 points · first shared 2016 · 75 comments on HN
- 5OCellator: Lisp-Like Synth Language3 people · 5 points · first shared 2020 · discussion on HN
- 6Consistency is Consistently Undervalued2 people · 221 points · first shared 2016 · 124 comments on HN
- 7Gut Driven Development2 people · 57 points · first shared 2017 · 28 comments on HN
- 8Show HN: Structural Editor Prototype2 people · 5 points · first shared 2014 · discussion on HN
- 9Log Orientated Architecture in PostgreSQL1 people · 12 points · first shared 2015 · 1 comments on HN
- 10Your Database as an API1 people · 7 points · first shared 2020 · discussion on HN
- 11Tools for Change1 people · 3 points · first shared 2019 · discussion on HN
- 12Structural Editor and Thoughts on PureScript1 people · 3 points · first shared 2015 · discussion on HN
- 13Microservices and Availability1 people · 2 points · first shared 2018 · discussion on HN
- 14Focustro: Development Notes for a Replicating React Application1 people · 1 points · first shared 2023 · discussion on HN
- 15Superagile1 people · 1 points · first shared 2016 · discussion on HN
What HN people wrote when they linked it
kpmah · 2016-04-01
Location: Belgium
Remote: Yes
Willing to relocate: Maybe Amsterdam next year
Technologies: Python, Ruby. Would love to work with something more functional.
CV: http://kevinmahoney.co.uk
Email: [email protected]
sn9 · 2026-06-04
Types replace entire classes of tests that coverage metrics wouldn't detect [0].
Types are also documentation!
They also decrease the degrees of freedom LLMs have to make mistakes [1].
[0] https://kevinmahoney.co.uk/articles/tests-vs-types/
[1] https://john.regehr.org/writing/zero_dof_programming.html