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.
I’m still struggling with the part where we somehow union all of these narratives so different gods each create the earth and sun without contradiction.

Though I suppose internal consistency hasn’t been a problem in this field yet, so no need to start fussing about it now.
November 30, 2024 at 5:13 PM
It is precious to me
November 30, 2024 at 5:09 PM
Sounds like standard Elon UX 🥲
November 30, 2024 at 4:01 PM
Tbf that mansion is sick
August 29, 2023 at 1:30 AM
But it just dawned on me: I wore glasses until I got LASIK at 25, and I favored small rectangular frames. I think I was conditioned over ~15 years to basically have everything framed that way. 2/2
August 19, 2023 at 4:24 AM