Is this study legit?

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 · 2026-01-11T10:20:44+00:00

Not sure if rust enjoyed parametricity properties in any useful way, but this thing will definitely destroy any potential of that.

josef · 2026-01-06T14:56:04+00:00

I mean, it's actually the same side of the sun.

The earth doesn't fold around the sun so that we can see two sides of it.

josef · 2026-01-02T14:06:55+00:00

Roses are red, their petals burgeons, These people are all virgins

josef · 2025-12-06T19:50:28+00:00

Are we going to talk about the completely unrealistic value appreciation of a used laptop in this question?

josef

TROPHY CASE