Viewing profile — derdi

Got it, thank you! I had read your "remove any occurrence of the expression type in the tree-walking AST" as removing nodes from the AST, but in some sense it's about removing edge…

Fair! Though I still don't know what you mean by "removing" nodes from the tree-walking interpreter's AST. Assume we have an AST like: (Add (LoadConst 1) (LoadVar x)) The correspon…

I was wondering what this was in reference to; it's not in reference to TFA here. It's a quote from https://bytecode.news/posts/2026/08/because-it-s-not-fun-eno... , so presumably …

Hmm, what's a stack machine AST? I can't follow your description of the transform, what does "remove" mean here? I can remove all of the internal nodes of a tree, which leaves me w…

Given that GCC was first released in 1987, that would mean that tail call optimization, including of indirect calls, has been around for more than half of GCC's lifetime. So it's i…

I flagged this. I don't think we need to doxx people here, it's enough that the featured article does so.

"AI-generated copy that says a lot and commits to nothing." Haha. Seriously, it's nice that Kimi did the investigation, and it's good that that's disclosed at the end (would be bet…

Haha, excellent downvote, thanks. I stand corrected, one other person mentioned the word "copyright" in the time between me searching the discussion for that term, and then writing…

Nobody mentioned copyrights or stealing in this thread.

Nice, but what is the motivation for this? That the syntax is perceived to be nicer than SMT-LIB format? Or that Lean can get involved? Differential testing? Just for fun?

The Turing test has been passed. The Turing test had already been passed in 2002. The Turing test isn't about some machine fooling all humans all the time. It's about fooling some …

What should one check for?

Not sure what this is a parody of, but it's hilarious, thank you. Keep it up!

What do you mean, "No"? Letting an LLM loose on Postgres is exactly what happened here: https://malisper.me/pgrust-rebuilding-postgres-in-rust-with-...

The "blocking" happens on the side of the AI users. You like using AI. You are aware of this policy. Will you submit an AI-generated pull request to OpenJDK? No? Voilà, you have su…

Why would they? The only thing the readme says about RESEARCH.md is "if you want to contribute to the language please read RESEARCH.md". The OP doesn't want to contribute, they wan…

You're presumably using an LLM to drive the compiler, and your LLM should be just as capable of reading the compiler's error message and fixing the problem. So why double the work?…

It's not, and the article's attempt at putting lipstick on this pig is nonsensical: > StringView has no operator bool, so a successful match reads as !scanner.accept('=').isEmpty()…

Got it, fair enough, thanks!

Cute game! Very CPU-hungry (in Firefox on Linux), maybe you can get it a bit more optimized. There are some annoying AI-isms ("the X is the goal not the Y"-- just tell me the X ple…

> Before, coding is only 14% therefore, small slice. But also, no, because they write: > “coding” (not including bug fixing, testing, etc.) What if bug fixing includes "coding", or…

What kind of robots are we talking about? What will robots do for me five years from today?

There was this submission two months ago: https://news.ycombinator.com/item?id=48365904 . Basically they have a TUI frontend for the same thing. And the blog post says: "Bonsai_ter…