CS-SYD
cs-syd.eu · Personal blog · on HN since 2016
Sydney (CS-SYD) writes technical posts on Haskell and Nix, plus software design topics like handling money, and self-management tips.
What HN saysHN commenters cite its posts on how ad-hoc polymorphism erodes type safety, boolean blindness, and dealing with money in software.
16HN people shared it
5linked it in comments
39stories submitted
112story points
5 months agolast shared
2016people per year2026
Most-shared posts
- 1Ad-hoc polymorphism erodes type-safety4 people · 4 points · first shared 2023 · discussion on HN
- 2How to Deal with Money in Software3 people · 9 points · first shared 2022 · discussion on HN
- 3JSON Vulnerability in Haskell's Aeson Library2 people · 7 points · first shared 2021 · discussion on HN
- 4Reducing the number of slot machines1 people · 23 points · first shared 2016 · 2 comments on HN
- 5CS-SYD: Be careful recruiters, you're being selected too1 people · 15 points · first shared 2016 · 3 comments on HN
- 6A functor is not a box1 people · 5 points · first shared 2016 · discussion on HN
- 7CS Syd – Overcoming Boolean Blindness with Evidence1 people · 3 points · first shared 2016 · discussion on HN
- 8Type safe Polyvariadic functions in Haskell1 people · 3 points · first shared 2016 · discussion on HN
- 9Getting your Haskell executable statically linked with Nix1 people · 3 points · first shared 2024 · discussion on HN
- 10CS SYD – Getting your Haskell executable statically linked with Nix1 people · 3 points · first shared 2024 · discussion on HN
- 11CS Syd – How to Get the String Out of the IO String in Haskell1 people · 3 points · first shared 2024 · discussion on HN
- 12Safer paths, part 2 – Stop, Reconsider, Contribute1 people · 2 points · first shared 2016 · discussion on HN
- 13Numbers, explained for people who don't like maths:1 people · 2 points · first shared 2016 · discussion on HN
- 14Cs Syd – How I wrote a proof of concept in five hours and launched in a week1 people · 2 points · first shared 2019 · discussion on HN
- 15How to Deal with Money in Software1 people · 2 points · first shared 2020 · discussion on HN
What HN people wrote when they linked it
Norfair · 2020-04-07
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.
bradrn · 2026-05-11
Also known as ‘boolean blindness‘: e.g. https://cs-syd.eu/posts/2016-07-24-overcoming-boolean-blindness-eviden…
ngruhn · 2026-01-14
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-saf…
donjigweed · 2024-10-08
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_m…