News for hackers. Stuff that matters.

andrewchambers

I think you misunderstood what I said or I didn't say it clearly. I was speaking in general terms of trends across our industry, not this specific project.
I didn't say or intend to say 'they' did it. I said I bet it is being done in general. Maybe that is the core misunderstanding here.

I fully believe the BSD people didn't use it - I just think in general you wouldn't know which projects are doing it and which aren't.

In fact, if you dig into these projects, they have llm disclosures for misc debugging and other things.

Your logic is ridiculous - I wouldn't post publicly like this if I was projecting.

It is just an obvious fact that when there are hostile swarms of people like you, that it is prudent to not disclose when you used an llm to unblock yourself.

I was being very neutral about this obvious fact and you became irrationally hostile.

What makes you say I don't know how to do it?

Also, people who have been doing something for years are exactly the people who benefit the most from having pointless toil removed from the workflows.

Attitudes like yours are exactly why we won't know what level of AI assistance is used. People won't admit it because there is a lot of downside to doing so - especially in communities like this.

I see quite a lot of announcements of compatibility and porting efforts -you would never know if someone used an LLM to help, but I would bet money it is being done without admitting it.
Re:Tesla Roadster on Thursday October 15, 2026 @11:28PM (#50113687)
Really useful post, thank you.
Re:Tesla Roadster on Thursday October 15, 2026 @10:07PM (#50112990)
I don't think people want to buy it - we just think its cool that its possible.

You should try having fun and enjoying things once in a while...

Re:Turning GLM-5.3-Flash into a Jev-like decision model on Saturday September 26, 2026 @07:57PM (#49861806)
These questions are answered by the OP (Same speed, image support) - additionally, GLM is open weight.
Re:Rails World 2026 Opening Keynote [video] on Thursday September 24, 2026 @07:30PM (#49838192)
This might just be damage control or politeness more than the truth.
Re:OpenAI’s Navier-Stokes release included a Lean 4 formal proof on Thursday September 10, 2026 @06:55PM (#49651242)
I was replying to the comment about it being slow to run. I wasn't commenting on understanding it.
Re:OpenAI Agents API on Thursday September 10, 2026 @06:17PM (#49650881)
codex itself has a remote control mode that runs continuously. I wrote a systemd service to start it boot and interact with it via my phone.
Re:OpenAI Agents API on Thursday September 10, 2026 @06:09PM (#49650797)
Codex remote control serve can run continuously.

Sometimes start a new chat in the phone app, sometimes just add to the main one. Both seem to work ok.

If I want the agent to wait for something I need to start a new chat in the iphone app.

Re:OpenAI’s Navier-Stokes release included a Lean 4 formal proof on Thursday September 10, 2026 @06:02PM (#49650728)
They could probably vibe-optimize it if they cared.

What would happen if they give an equivalent agent swarm the proof and a target to reduce runtime .

Re:OpenAI’s Navier-Stokes release included a Lean 4 formal proof on Thursday September 10, 2026 @05:58PM (#49650682)
If they aren't already, or if its possible, prove that an optimized version matches the simple version...
Re:OpenAI Agents API on Thursday September 10, 2026 @05:55PM (#49650658)
I've recently had great success running codex in a regular qemu VM and using codex remote control to talk to it from my phone.

Honestly works extremely well as a personal assistant.

I can see why turning it into an API makes sense, just be aware you might not need to lock yourself in if you can setup your own VMs.

Re:Navier-Stokes – Tristan Buckmaster [pdf] on Tuesday September 08, 2026 @07:29AM (#49608828)
if I look at the timestamps, it appears Sholto is the one mocking Noams tweet... Noam posted first.
Re:Can AI design circuit boards yet? on Friday September 04, 2026 @04:14PM (#49569673)
I think the new Astra computer use demos show that the models might be able to do things like inspection of real world objects if given a camera.

Super excited to see real world feedback added into the agent loops we have gotten used to working with. Could you let the model print and test the circuit boards it is prototyping with a jig?

Re:GPT-6 Astra on Thursday September 03, 2026 @06:32PM (#49558045)
if that is true then why is astra on the official ARC leaderboard now ?
Re:Bootstrappable Builds: How and Why on Friday August 28, 2026 @03:00AM (#49475270)
I think the security aspects are overblown... but being able to edit the code of any part of your system is very useful.
Re:Bootstrappable Builds: How and Why on Friday August 28, 2026 @12:34AM (#49474417)
Would love to see someone try to automate the bootstrap chain from a working C89 compiler to Rust.

At this point I think current LLMs are able help these incredible feats of bootstrapping as they can grind out the impossibly long built times over multiple days/weeks.

I am very optimistic for deterministic builds in general.

Closed models don't even need a back door - they will just MITM you and replace your code with malware.
Re:Codex on AWS bedrock bug causing 10x charges on Friday August 21, 2026 @02:50AM (#49384653)
I doubt anyone announces when they have under billed. OpenAI has also done many low price deals and quota resets.
Re:Self hosted email continues to steeply decline on Monday August 17, 2026 @09:57PM (#49340208)
I was sort of thinking a final stage of the filtering pipeline - though prompt injection etc are risks.
Re:Self hosted email continues to steeply decline on Monday August 17, 2026 @07:48AM (#49329372)
Seems like AI is in a pretty good position to do that tbh.
Re:The Case Against Formal Verification, 50 Years Later on Sunday August 16, 2026 @07:39PM (#49324948)
Often the spec can be simpler than the original.

The easiest way to demonstrate this is to write two implementations of an algorithm. One with no optimizations, the other with optimizations.

The formal verification can then be a proof the optimizations maintain the semantics of the simpler version and you can focus your review on the simpler version.

Re:What's the best programming language for coding agents? on Tuesday August 11, 2026 @07:41AM (#49256647)
I think llms provide a really excellent way to do studies on software engineering techniques that previously were impossible.
Re:SQLite should have (Rust-style) editions on Wednesday July 15, 2026 @09:56PM (#48929534)
It also refers to what the binary on my PATH is called, also what the library name I need to pass to link against it.

They even had an sqlite4:

https://sqlite.org/src4/doc/trunk/www/design.wiki

Re:SQLite should have (Rust-style) editions on Wednesday July 15, 2026 @09:42PM (#48929460)
It is sqlite3. Emphasis on the 3 - it already has 'editions'.
Re:Claude Sonnet 5 on Tuesday June 30, 2026 @03:40PM (#48738177)
The whole fable fiasco really soured me on Anthropic. This just looks disappointing by comparison.
This seems like it will have pretty huge negative affects on startups needing to compete with 'trusted partners'

Older »