saagarjha

Implemented, sure. Conceived of? Probably a human was involved somewhere

The code comments are pretty clear tells

This very much sounds like databases do not, in fact, support indexing on more than one thing at once.

You can see that the blog post does not claim to solve the halting problem; instead, they pick a subset of behavior that is likely to be useful.

That is the goal of physics presumably

They're using Rocq

Agents can't really reliably prove things (at least not cheaply) hence the desire to chain together tools that can be checked.

Sounds like the problem here is that databases need to index on more than one thing at once

I don't think he is paid but you can look through his comment history and find that his opinions of Grok and its affiliated entities are definitely slanted.

Just use UUIDs as they were meant to be used, as a random identifier. Don't shove random other junk into it!

Apple does have that and generally you need to break it to do the kinds of things demonstrated here

I don't trust it, that's for sure

It was explicitly requested to not do that in the instructions.

I'm kind of confused why this has a website

macOS does this all the time

Hmm. Maybe small iPhone might be easier to revive than we thought!

Yeah, until your OS memory allocator evolves with your kernel in ways that are not exposed to third party applications which allows it to be more efficient/introspectable/debuggable

Sure, but someone needs to implement strdup.

*CVSS

> Is it useful? Not really.

So interestingly enough Anthropic has been using models of this kind for their alignment evaluations: https://alignment.anthropic.com/2026/reward-seeker/#:~:text=...

Sure, but this is a relevant reply in the context of this conversation.

All the better to see the rocks I guess

wat

I wonder who is paying you to read Upton Sinclair.

Suggesting that there are these things called computers that are now a lot simpler and reliable would be met with derision because it is a valueless comment

> Mission Control

> Mission Control

Turns out rewriting the entire thing was probably a bad idea

It's usually pointless. I attach very few sysdiagnoses to my bug reports.

Reverse engineering is not a magic wand you can wave on everything and expect something good to come out of it. You need to actually know what you are trying to get out of it.

Not that I would particularly like to live there but Singapore has fairly clean public restrooms. I suspect there is more to this than the ethnic makeup of the country.

You didn't even mention high trust society this time, I feel like you're slipping