Viewing profile — mike_hearn

They made only four seasons and then that's it, and it's based on books, so they knew from the start how the story will end.

That's what I said. If you're willing to implicitly rely on webmail provider's identity/auth systems then you can simplify - but that's not much different to just adding a Sign in …

Offtopic for the actual post, but if you don't know the author and like sci-fi mysteries his Silo story is great. I haven't read the books because I'm enjoying theorizing but the A…

I worked on the Google account system for a few years. I'd say it's a lot of work to beat it. Not necessarily "hard" for a team with the right skills, but certainly a lot of sweat,…

It's not that weird. Building a modern accounts system is a lot of work and people don't like creating new accounts. So it's the path of least resistance for developers and users.

Not only that, but nobody really cares about whether truth vectors can work correctly under carefully constructed paradox edge cases. Well, maybe mathematicians do, but nobody else…

It's not that light on the details. I read the paper and they train several different models in parallel over a few different domains and then they distill from their own models to…

They have certainly trained in some secret call/response pairs that would uniquely identify Kimi serving.

I've done some. Unfortunately it's private research I don't own and it probably won't be directly released, but over the past couple of years I developed a kind of distributed JVM …

I think Windows is capable of resetting the GPU and its driver without a hard reboot, actually. At least in theory.

Sure. Oracle APEX is popular. You never hear about it on HN because the target user base for low code stuff doesn't overlap with the HN set much, but it's huge. https://blogs.oracl…

This is the fantasy that has always driven proof systems research. Nobody is going to run software that has never been tested. Would ride a rollercoaster that had never actually be…

What tools are you using? I've found that Codex will happily tell me there's nothing more to do after a few rounds of /review and fix (or sometimes, it picks up on low value points…

Cryptography has always been largely driven by industrial mathematicians. Elliptic curve cryptography spent years requiring commercial licenses because it was made practical by Cer…

I think this tactic is standard, no? Nvidia has demoed robots being trained using video generation models, and Waymo has been doing that for a while too. https://waymo.com/blog/202…

Sorry, by "their CC is untrusted" I meant it's not clear how much it's been attacked in the wild, not that there's consensus it's bad or anything.

I've thought of that but it wouldn't be easier. 1. Running modern models requires a whole rack of extremely loud equipment that can easily consume 130kw. That's not a load you can …

The whole thing does assume Starship works, so at that point satellites could be launched much faster. I assume Starmind would use Tesla designed chips, which removes Nvidia's marg…

You can just use ordinary radiators. Do the calculations, cooling isn't the problem it's made out to be.

The whole problem is difficulty getting grid connections on Earth. If you can just hook up to the grid then why not just use it for everything. I don't have any motives, what are y…

I wasn't sure what this was a reference to. Grok says it's about a case in Kansas in 2016, but: - They tried to sabotage rain sensors - The insurer was the federal government - The…

I didn't take any position on the morality of it, just pointing out that the data they're training on isn't all taken from the rest of the world.

On Earth it has to be fossil fuels. With solar you can't do it. I haven't done the calculations myself so, full disclosure, AI work ahead. But I asked GPT 5.6 how big a solar and b…

Not at all. At this point, a large amount of the work is in reinforcement learning where they are effectively generating their own data.

What increasing excess deaths? https://substackcdn.com/image/fetch/$s_!e9hg!,w_1456,c_limit...