Michael Mroz
banner
mroz.io
Michael Mroz
@mroz.io
Ostensibly a software engineer specializing in correctness-critical systems, but I think of myself more as a logician and translator. Writer of Haskell. Into abstraction and extensibility. Cat and type theory enthusiast. Recreational skier and photog.
When I first saw news outlets like ABC News (Australian public broadcaster) disable comments on all news articles shared on Instagram, I thought “this is probably a good thing”

Increasingly I see partisan opinion pieces shared from that account, and have far more complicated thoughts on the matter
November 30, 2024 at 4:48 PM
Just getting into Strange Planet. First lighthearted sitcom I’ve enjoyed in quite a while. Pretty delighted.
August 24, 2023 at 3:45 AM
I was reflecting recently on why I feel such a strong affinity for a 90mm focal length. I recently got back into rangefinder cameras, and even with all that incentive to go way shorter, I can't let it go.

I know I used a long-ish macro a lot growing up, so I thought that might be it. 1/2
August 19, 2023 at 4:24 AM