Michael Mroz's Avatar

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.

20
Followers
23
Following
9
Posts
07.08.2023
Joined
Posts Following

Latest posts by Michael Mroz @mroz.io

Preview
Keyboard shortcut for "Search Tabs" This came through as a question on reddit with 87 net votes, showing a screenshot of Chrome's "Search Tabs" feature (in the tab strip). Β  People pointed out that you can search tab titles via the add...

Just tried to switch to firefox again.

Nope.

connect.mozilla.org/t5/ideas/key...

26.12.2024 04:30 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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.

30.11.2024 17:13 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

It is precious to me

30.11.2024 17:09 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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

30.11.2024 16:48 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Sounds like standard Elon UX πŸ₯²

30.11.2024 16:01 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Tbf that mansion is sick

29.08.2023 01:30 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Just getting into Strange Planet. First lighthearted sitcom I’ve enjoyed in quite a while. Pretty delighted.

24.08.2023 03:45 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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

19.08.2023 04:24 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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

19.08.2023 04:24 πŸ‘ 6 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0