andrewchambers

5 ms·

1.
by andrewchambers 6d ago
I was replying to the comment about it being slow to run. I wasn't commenting on understanding it.
2.
by andrewchambers 6d ago
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.
3.
by andrewchambers 6d ago
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.
4.
by andrewchambers 6d ago
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 .
5.
by andrewchambers 6d ago
If they aren't already, or if its possible, prove that an optimized version matches the simple version...
6.
by andrewchambers 6d ago
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, jus
7.
by andrewchambers 8d ago
if I look at the timestamps, it appears Sholto is the one mocking Noams tweet... Noam posted first.
8.
by andrewchambers 12d ago
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 wor
9.
by andrewchambers 13d ago
if that is true then why is astra on the official ARC leaderboard now ?
10.
by andrewchambers 20d ago
I think the security aspects are overblown... but being able to edit the code of any part of your system is very useful.
11.
by andrewchambers 20d ago
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 time
12.
by andrewchambers 24d ago
Closed models don't even need a back door - they will just MITM you and replace your code with malware.
13.
by andrewchambers 27d ago
I doubt anyone announces when they have under billed. OpenAI has also done many low price deals and quota resets.
14.
by andrewchambers 1mo ago
I was sort of thinking a final stage of the filtering pipeline - though prompt injection etc are risks.
15.
by andrewchambers 1mo ago
Seems like AI is in a pretty good position to do that tbh.
16.
by andrewchambers 1mo ago
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 o
17.
by andrewchambers 1mo ago
I think llms provide a really excellent way to do studies on software engineering techniques that previously were impossible.
18.
by andrewchambers 2mo ago
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
19.
by andrewchambers 2mo ago
It is sqlite3. Emphasis on the 3 - it already has 'editions'.
20.
by andrewchambers 3mo ago
The whole fable fiasco really soured me on Anthropic. This just looks disappointing by comparison.
21.
by andrewchambers 3mo ago
This seems like it will have pretty huge negative affects on startups needing to compete with 'trusted partners'
22.
by andrewchambers 3mo ago
Small businesses can easily buy them.
23.
by andrewchambers 3mo ago
I think they meant keep a low profile from the government, not customers. Anthropic is doing the opposite by loudly asking for regulation.
24.
by andrewchambers 3mo ago
deepseek v4 pro is great and open weight.
25.
by andrewchambers 3mo ago
So this is what 'alignment' looks like to them.
26.
by andrewchambers 3mo ago
This is not the same as source available - you can fork it, the license didn't change.
27.
by andrewchambers 4mo ago
I think we need a wiki and/or stack overflow equivalent for agents and humans to collaborate. Grokipedia seems like the main site that is kind of exploring the concept - though I hope better more powerful ones emerge.
28.
by andrewchambers 6mo ago
Isn't the obvious solution to not accept drive by changes?
29.
by andrewchambers 7mo ago
Thats basically what this guy did. He vibe coded a chat interface.
30.
by andrewchambers 7mo ago
Yeah - people are hungry for it. They tolerate the kind of crappy docs and difficulties.

More ›