I'm Gary, a polyglot software engineer who's tinkered in everything from Ada to Zig with a keen interest in programming language theory. But my passion about software is highly practical:
the
unique superpower it provides
to empower people and solve business problems.
My primary professional interest is in large scale distributed systems and data, and my current
programming languages of choice are Go and Python, though I've
worked professionally in C#,
Java, and Ruby on Rails, and designed numerous websites—like this one!—in many, many different iterations of web frameworks of the years.
I think a lot about the future of the internet and the environment.
In Go, interfaces are implicitly implemented by types. The type checker verifies that a value has a type which correctly implements the interface at the places where the value is being used and not where its type is decl...