Blogs / Personal blogs

Sandy Maguire

reasonablypolymorphic.com

Popular posts
7
Total points
1,721
HN comments
1,714
Rank
#1,027 personal

Visit reasonablypolymorphic.com → RSS feedOn Hacker News Nov 2016 – May 2025

Software Engineering 5Programming Languages 3Web & Frontend 1Systems & Performance 1Math & Algorithms 1Life, Learning & Writing 1

1

Elm is Wrong

A few weeks ago, on a whim my friend and I decided to hackathon our way through an app to help us learn how to play guitar . In a stroke of inspiration, we decided to learn something new, and do the project in the Elm programming language , about which I had heard many good things.

2

Arguing against using protobuffers

I’ve spent a good deal of my professional life arguing against using protobuffers. They’re clearly written by amateurs, unbelievably ad-hoc, mired in gotchas, tricky to compile, and solve a problem that nobody but Google really has. If these problems of protobuffers remained quarantined in serialization abstractions…

3

Why Is the Web So Monotonous? Google

Does it ever feel like the internet is getting worse? That’s been my impression for the last decade. The internet feels now like it consists of ten big sites, plus fifty auxiliary sites that come up whenever you search for something outside of the everyday ten. It feels like it’s harder to find amateur opinions on…

5

Towards Tactic Metaprogramming in Haskell

Isn’t it weird that we treat source code as text? That is, we have this extremely well-structured and strongly-typed object — the abstract syntax tree — that exists conceptually in our minds, and in actuality inside of our compiler, but for some reason we pretend it’s just a pile of bytes and edit it byte-by-byte…

6

Implement with types, not your brain (2019)

When asked about the virtues of Haskell’s strong type system, most people will say the best part is that it lets you refactor with a zen-like tranquility, or that it stops your program from crashing at runtime. I mean, those are both great. But my favorite part is that having a strong type system means I don’t need to…