Andrew Chambers

Software Engineer

[Andrew Chambers @AndrewChamb]

@0x9212ce55 if you try this, you can see the agents often do find bugs in their own code.

Fully agree you need to actually understand/verify the spec.

[Andrew Chambers @AndrewChamb]

@varunsrin The agents just need a tool to provision a vm, and a remote exec tool.

[Andrew Chambers @AndrewChamb]

@NathanFlurry just use ssh.

[Andrew Chambers @AndrewChamb]

@GeoffreyHuntley they don't need shells - they can just write an executable or do syscalls directly in memory.

[Andrew Chambers @AndrewChamb]

@nateberkopec I think it would look something terraform, vms and ssh. The agents themselves can all run on a single machine, just the vms they are working on need ssh.

[Andrew Chambers @AndrewChamb]

@matteocollina The point of open source was never to reap a profit, it was to share the common code we all know we need and don't want to pay for.

[Andrew Chambers @AndrewChamb]

@hillelogram @bcherny Definitely needs a controlled experiment .

An alternative explanation might just be a fresh review with a newer model.

[Andrew Chambers @AndrewChamb]

@hillelogram @bcherny My experience is that even if its bad, it still seems to trigger deeper code review which still finds bugs.

[Andrew Chambers @AndrewChamb]

@bcherny Works great, with C code try verifast or frama-c too.

[Andrew Chambers @AndrewChamb]

@filpizlo I wonder if there are any emulators or vms or kernel configs that will let you stress test thread interleaving.

[Andrew Chambers @AndrewChamb]

@kenpdx71 @firesidealpha Its probably pretty fun to get to see all the new technology first and while making fuck loads of money. I would love to be there.

[Andrew Chambers @AndrewChamb]

@mitsuhiko @AuerSusan @lucasmeijer I added a view image tool that executes a script that outputs image data on stdout. This is often more efficient as you don’t need to write intermediate files.

[Andrew Chambers @AndrewChamb]

@tobi mcp sucks because it doesn't compose. That is about it.

CLI tools or python scripts with apis both let the model compose and transform the fetched data.

[Andrew Chambers @AndrewChamb]

@robherley 55 percent chance of being uncool.

[Andrew Chambers @AndrewChamb]

@Drachs1978 except it can take the best part of each human artifact and combine them.

[Andrew Chambers @AndrewChamb]

@filpizlo fantastic.

[Andrew Chambers @AndrewChamb]

@__tinygrad__ @finkd Muse being open is the only thing that would make me consider using it over chatgpt.

[Andrew Chambers @AndrewChamb]

@filpizlo @iScienceLuvr on the code front I feel like we will need to move more towards languages that support formal verification and start learning these tools.

[Andrew Chambers @AndrewChamb]

@owenthcarey you are supposed to just get on with your work? What were you expecting to do?

[Andrew Chambers @AndrewChamb]

@chooi_jeq Claude, travel back in time and stab baby hitler, no mistakes!