Sydney (CS-SYD) writes technical posts on Haskell and Nix, plus software design topics like handling money, and self-management tips.
HN commenters cite its posts on how ad-hoc polymorphism erodes type safety, boolean blindness, and dealing with money in software.
Nice. Looks like it satisfies all the requirements detailed here [0]. Also, good discussion of the major difficulty dealing with money here [1].
[0] https://cs-syd.eu/posts/2022-08-22-how-to-deal-with-money-in-software
[1] https://www.reddit.com/r/java/comments/wmqv3q/standards_for_handling_monetary_values/ik2w72k/
I write https://cs-syd.eu
They're:
- Technical introductions to interediate/advanced topics (usually in Haskell)
- Self-management/productivity tricks
- Quote posts
I have uploaded about two hundred posts over 6 years and still upload every two weeks consistently.
I'm a bit torn on ad-hoc polymorphism. You can definitely do cool things with it. But, as others have pointed out, it does reduce type safety:
https://cs-syd.eu/posts/2023-08-25-ad-hoc-polymorphism-erodes-type-safety
Also known as ‘boolean blindness‘: e.g. https://cs-syd.eu/posts/2016-07-24-overcoming-boolean-blindness-evidence
https://cs-syd.eu/posts/2016-01-17-function-equality-in-haskell