derdi

6 ms·

1.
by derdi 12d ago
People keep saying this "everyone can switch" thing, but it's not my experience at $VeryBigCorp. We don't have an Anthropic contract at all. Is this different in other places? The bigger and more bureaucratic an org is,
2.
by derdi 1mo ago
But then what does it mean when the FT writes that that "revenue" number already accounts for the 15 billion losses? That the FT doesn't use these terms correctly either, and we can't really know what its reporting means
3.
by derdi 1mo ago
You're right that the outcome may be similar, in that trivial contributions are discouraged. But the reasoning to getting there is completely different. Sqlite's copyright.html talks about copyright, not about maintainer overload.
4.
by derdi 1mo ago
Many people want "contributed to <well-known project>" on their CV.
5.
by derdi 1mo ago
The text you quoted is purely about copyright/licensing, not about the maintainers' sanity. The more relevant quote is: "In order to keep SQLite completely free and unencumbered by copyright, the project does not accept patch
6.
by derdi 1mo ago
This is from a vaguely interested outsider, I hope an expert chimes in. My understanding is that in choreographic programming, the protocol/choreography is considered an explicit "thing". That explicit thing is explicitly def
7.
by derdi 1mo ago
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 edges , as in, the references from one operati
8.
by derdi 1mo ago
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 corresponding stack machine code might b
9.
by derdi 1mo ago
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 you meant to post t
10.
by derdi 1mo ago
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 with a soup of leaf nodes, but how is tha
11.
by derdi 1mo ago
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 indeed fair for the parent article to say that &quo
12.
by derdi 1mo ago
I flagged this. I don't think we need to doxx people here, it's enough that the featured article does so.
13.
by derdi 1mo ago
"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 better at the top). But please, do a p
14.
by derdi 1mo ago
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 and posting. There is some copyright discussion o
15.
by derdi 1mo ago
Nobody mentioned copyrights or stealing in this thread.
16.
by derdi 1mo ago
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?
17.
by derdi 1mo ago
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 humans some of the time. That's an ex
18.
by derdi 1mo ago
What should one check for?
19.
by derdi 1mo ago
Not sure what this is a parody of, but it's hilarious, thank you. Keep it up!
20.
by derdi 1mo ago
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-...
21.
by derdi 1mo ago
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 successfully self-enforced the OpenJDK policy. Or do
22.
by derdi 1mo ago
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 want to see an example of choreographic programm
23.
by derdi 1mo ago
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?
24.
by derdi 1mo ago
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(). Noisier than returning a bool, but
25.
by derdi 1mo ago
Got it, fair enough, thanks!
26.
by derdi 1mo ago
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 please). Is there a way to build anything on the grou
27.
by derdi 1mo ago
> 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 "writing code", or however one wo
28.
by derdi 1mo ago
What kind of robots are we talking about? What will robots do for me five years from today?
29.
by derdi 1mo ago
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_term would feel familiar to anyone who’d
30.
by derdi 2mo ago
How about hosting a read-only demo instance somewhere, so people can explore what this actually looks and feels like? Could be slop-filled, or even be your actual project's data (which I assume might be public enough, given that you ar

More ›