Michael Mroz

Logical systems, abstraction and type theory enthusiast | engineering @mercury

[Michael Mroz @mjvmroz]

@eigenrobot The shit I’ve been on for the last forever is frustration with people insisting on flattening every complex space to a single dimension.

And I have indeed complained about it being the root of many other issues I see.

I guess I’m part of the problem.

[Michael Mroz @mjvmroz]

@pwnies Foreign asset detected

[Lee (Greater) @shortmagsmle]

Accidentally re-inventing “thinking” from first principles

[Michael Mroz @mjvmroz]

@jdegoes Bit of column a, bit of column b

[Michael Mroz @mjvmroz]

@kerckhove_ts Australian children are well acquainted with this issue

[Jacob Miller @pwnies]

I'm loving the UFO files release mainly because it's an incredible source of design resources. Here's some of the things I made with it:

Link to the style in thread if you want to use it.

[Michael Mroz @mjvmroz]

@Hamzeml @henribonamy Having worked a fair bit in both and biasing toward Haskell myself… I think that’s a good move lol

[Michael Mroz @mjvmroz]

@kerckhove_ts Garbage in, garbage out

[Michael Mroz @mjvmroz]

@RokoMijic @Cryptomnomiconz @nic_carter Same deal for ADHD drugs etc.

I use a sublingual alternative to allergy shots, which the FDA hasn’t approved yet.

The backdoor is to go to one of several “telehealth” companies: they bill you heavily for video call check ins, and THOSE are insurance eligible.

Yay incentives.

[Brooks Otterlake @i_zzzzzz]

CEO of Y Combinator getting Claude psychosis and adding 78 thousand lines of code to his blog website is one of the funniest things I've seen

[Michael Mroz @mjvmroz]

I’d say this is incredible but it’s basically par for the course at this point.

I’m not looking forward to the recession, but it will solve some problems.

[Garry Tan @garrytan]

I’m trying to teach software engineers that their sacred cow of “LOC is bad” is probably wrong in agentic engineering

You won’t believe that in another 5 years

[Michael Mroz @mjvmroz]

@ClearThinkinAi @AndrewCurran_ The state gambling its economic hegemony on this venture, which happens to also control the dilution of the currency which these returns are measured in.

All very above board, don't worry.

[Michael Mroz @mjvmroz]

@jdegoes Let’s hope the PhD hopefuls don’t see this. I still want true dependent types in GHC.

[Michael Mroz @mjvmroz]

@kerckhove_ts 15

[Michael Mroz @mjvmroz]

@caballerobrah @SouthVarangian Your kid is in great hands

[Michael Mroz @mjvmroz]

It is a strange time.

I spend eight hours engaged in a dialectic with GHC on matters of essence and objective truth.

I spend eight hours inundated with distressing signal on the state of the world as conveyed by principal stakeholders.

I spend eight hours recovering.

Repeat.

[Scott Alexander @slatestarcodex]

The three kinds of stock market day so far this month:

- Donald Trump spins the Wheel O' Tariffs and replaces 5% tariff on Belarussian wheat with 22.4% tariff on Pakistani jet engines. All stocks lose 2d6 dollars.

- Substack newsletter publishes story about DoorDash doing badly. DoorDash down 862%, global financial system teeters on the brink.

- NVIDIA announces earnings of one hundred trillion dollars, beating expectations by 1,000x. Jensen Huang named new king of Earth, with his stockholders to form the new permanent ruling class. NVDA down 3% on the news.

[Michael Mroz @mjvmroz]

33% price increase to cover uhhh… AI renaming.

Meanwhile, 1Password is increasingly just a passkey container. Might be time to bail.

[Michael Mroz @mjvmroz]

@rfleury no great loss

[Michael Mroz @mjvmroz]

This is excellent.

https://t.co/49KCIZ6edM

[Michael Mroz @mjvmroz]

Not ideal, but very on brand

https://t.co/ybZCDwKYwc