shay_ker

if you want to try something like this, play MIRA: https://mira-wm.com

notably, rocket league is a closed loop, deterministic game, which is why kyutai labs chose it as a "base case" for world modeling.

it looks cool at first but really quickly you'll start to see the gaps

i'm actually curious if anyone has explored syntax highlighting with ML. doesn't have to be an LLM, but something that actually highlights what's interesting, or even strange, about a code snippet.

i assume this is largely about the cybersecurity blitz, to ensure hot-path code is secure?

How is this different from tool calls? Or rather, MCP?

I think pinning WebMCP to the browser was the wrong choice. To list or call tools, you have to have access to the browser environment. "Declarative" WebMCP allows you to read the HTML, but to call tools you still need the JS execution env.

This limits the utility of WebMCP to in-browser agents. In practice, what's the use case? Computer Use can work, but at that point you can circumvent WebMCP entirely.

IMO the better option would be to unify MCP with a standard protocol, like HTTP. Right now, you have to rely on the MCP registry for discovering MCP servers, but wouldn't it make more sense to have this natively in HTTP?

> I doubt I would have put in the same work if I had had an AI companion back then. They talk to you in ways you’re already comfortable with. They don’t push you outside your comfort zone. They are always available and never get mad at you. This gives them the potential to become highly addictive and to rob us of the lessons we learn from connecting with other people.

I've been waiting for a long, long time for us to figure out how AI makes us more social, not less. Outside of memes of course.

> I’m also worried about AI’s impact on education. Ironically, the same tool that will allow people to learn more than ever could also lead to many people learning less.

For teachers/admins who are on HN: what has worked in a past for a "new way to educate" students to actually be implemented by educators? Does it happen through conferences? Do some states take the lead and others follow? Does it follow from private schools into public schools?

I know AI labs are trying to include teachers here and there... but IME teachers are very "anti-AI", "anti-datacenter", etc. etc. In coastal cities, the unions will be entirely opposed. This seems less of a "can AI be useful for education" question and more around politics and messaging. But I'd love to learn more.

> In the United States, I’ve met families who, understandably, were overwhelmed by the process of applying for health insurance, student aid, or food assistance. Faced with a huge stack of complicated bureaucratic forms, many felt like giving up. AI can streamline things dramatically

I'd love to see anyone building Grokbot or ChatGPT Work talk about how they're thinking about this use case, specifically. It seems greatly important and tractable given how little government websites & forms change over time.

On the other end - yes, it will create massive vectors for abuse & fraud, since govt services are designed to have roadblocks to reduce usage. But fraud has always been possible, even without AI (so many recent examples to pull from).

IMO it's best to maximize social benefits to see where the tradeoffs really are. We won't know until we push on it!

How long have "large scale RAG systems" really existed in the first place? I'm always surprised at this, given how new all this really is, relatively speaking.

how does agents.md work for subagents and swarms? is it actually that useful?

I recall there was another YC startup that was working on Mac-specific ML optimizations for local inference (and perhaps fine-tuning).

I wonder if their work is related?

Hm is the intent to one day replace the CPU?

i've asked llms to write a presentation for me on a given topic. for whatever reason, that finds the hidden layer responsible for explaining things well.

outside the slop, i liked this post that was linked on innodb locking: https://jahfer.com/posts/innodb-locks/

how do any of these routing approaches handle kv cache misses? Devin Fusion is the only one that explicitly addresses this, though it does so by switching models during compaction (not sure this isn't still a cache miss though)

i'm surprised there isn't more commentary on the vulnerabilities themselves (mostly in apps developed on the jvm, e.g. artifactory)

Separately, JetBrains's revenue grew 25%: https://www.jetbrains.com/lp/annualreport-2026/

But back to OP, for this prompt:

> Set up a nightly cron job that executes the prompt: fetch upstream changes to the <software> and rebase all local changes on top of upstream. Check that the software works as intended and replace the current version.

Seems like nice syntax sugar to add a `/maintain-fork` command.

How do we know if these models weren’t trained on Turso’s rewrite of SQLite in Rust?

It seems both likely that they were and impossible to remove that code from pretraining. Doesn’t that make this just about LLM memorization of the training set? What am I missing?

How much do the labs post-train on the harness inputs & outputs? That's a critical piece to understand if a "generic" harness is at all possible

There's no free lunch. Housing costs are effectively carried by immigrants and transplants: https://www.aei.org/wp-content/uploads/2023/09/Setting-the-r...

In general, the Vienna model is very difficult to copy without being in extreme conditions: https://www.threads.com/@__smiz/post/Cxpz28CIkT6