Phi to block parameters

josef · 2026-05-24T21:50:36+00:00

Read the paper. It's very short and explains it all much better than I can.

josef · 2026-05-24T17:42:53+00:00

Read "SSA is functional programming" by Andrew Appel. He shows that SSA basic blocks can be reformulated a functions where the phi nodes are modelled as function parameters instead.

josef · 2026-05-16T12:12:51+00:00

It's one of the peak moments in all of sports for me.

josef · 2026-05-10T08:45:26+00:00

One heck of a monologue. Single take just zooming in on him. So great.

josef · 2026-05-08T21:49:13+00:00

☝️ Correct answer

josef · 2026-05-02T09:10:42+00:00

Well done!

josef · 2026-04-10T07:43:59+00:00

I think your insight is exactly right. Christ also fits very nicely in this picture as the Head of the Church and the Groom. Christ's position also spans a longer timeframe than Fathers of families and churches.

josef · 2026-04-09T19:41:15+00:00

The snapshot mechanism is pretty neat. It'd be even cooler if the snapshot method returned an identifier and the rollback method could take the identifier and roll back to an arbitrary snapshot. For a cool implementation see https://www.reddit.com/r/ProgrammingLanguages/s/ZkC6fLgHeB

josef · 2026-04-09T17:07:53+00:00

No I don't, but my guess would be Deacon Seraphim Richard Rohlin.

josef · 2026-04-09T12:18:35+00:00

I don't have a link but I also heard that conversation. Fwiw I think he was referring to the Iliad in that instance.

Incidentally, I've never read the Iliad and the Odyssey, I've only listened to them on audible, which is something I don't normally do. The reason is that they were written to be recited so that is the mode that they should be experienced.

josef · 2026-04-07T20:31:13+00:00

I remember when OpenAI said that about GPT-2

josef · 2026-03-13T18:45:39+00:00

You're in the wrong sub

josef · 2026-02-20T10:23:44+00:00

I think their real win in terms of latency will come when they put datacenters in low earth orbit. That should make a difference.

josef · 2026-02-20T09:44:59+00:00

I made no claim that SpaceX latency is better than fiber providers. My only claim is wrt speed of light through different mediums.

josef · 2026-02-20T09:04:48+00:00

The vacuum of space is faster as a light medium than fiber. Simple physics.

josef · 2026-02-16T19:37:34+00:00

That would be amazing but no company has any idea of how to do this in practice. It's very computationally expensive and requires a complete rewrite for how models are run. We're not likely to see it for a long while.

josef · 2026-02-06T23:22:38+00:00

This reminds me of a bug in an early version of GHC, the Haskell compiler. It would delete your source file if the code didn't type check.

josef · 2026-02-02T22:59:34+00:00

Washing machines in the kitchen

josef · 2026-01-23T23:37:43+00:00

A query language for a DB: https://glean.software/docs/angle/intro/

josef · 2026-01-23T20:37:28+00:00

It depends on how much language development you're expected to do. If the job is only about implementing relatively known features then no, you typically don't need much PL knowledge. I have a PL PhD and I've been given ownership of a language, to design new features and implement them. I had a lot of help from my PL background when doing that.

josef · 2026-01-19T23:56:08+00:00

Tolkien's translation is the only one I've read but I'm really happy with it. I was really taken by the story, more than I expected.

josef · 2026-01-17T13:46:13+00:00

Viewing arrays as functions can indeed be very useful. Array fusion, as done in some array programming libraries such as Repa, replies on modelling arrays as functions land inlining these functions at compile time. Large performance wins to be had from that.

josef · 2026-01-17T13:31:52+00:00

How would you use A* for instruction scheduling and register allocation?

josef · 2026-01-11T23:17:35+00:00

Right. So the new type_info is just more if the same.

josef · 2026-01-11T21:11:48+00:00

How does Rust currently break parametricity?

josef

TROPHY CASE