(1) personally very annoying. I have been using fable to try to collect cutting edge math in one area and work on a hopefully new result with lean verification.
(2) I am really tired of the AI community trying to threaten everyone with grey goo and finding out the hype doesn't land comfy with others. It's a freaking text generator, not god in a pocket.
This is good. I recently had to replace a generally working phone because the battery was dying and there was no cost effective & reliable means of replacing.
A proper gasket and screws needs to be the standard solution here.
It's my experience that opus 4, and then, particularly, 4.5, in Claude code, are head and shoulders above the competition.
I wrote an agentic coder years ago and it yielded trash. (Tried to make it do then what kiro does today).
The models are better. Now, caveat - I don't use anything but opus for coding - Sonnet doesn't do the trick. My experience with Codex and Gemini is that their top models are as good as Sonnet for coding...
I am experimenting at a very early stage with using Verus in Rust to generate proveably correct Rust. I let the AI bang on the proof and trust the proof assistant to confirm it.
There is another route with Lean where Rust generates the Lean and there is proof done there but I haven't chased that down fully.
I think formal verification is a big win in the LLM era.
I'm looking forward to when I can run a tolerably useful model locally. Next time I buy a desktop one of its core purposes will be to run models for 24/7 work.
a lot of AI assisted development goes into project management and system design.
I have been tolerably successful. However, I have almost 30 years of coding experience, and have the judgement on how big a component should be - when I push that myself _or_ with AI, things go hairy.
> 30 years ago, it was safe to go to vendor XY page and download his latest version and it was more or less waterproof.
You _are_ joking, right? I distinctly remember all sorts of dubious freewarez sites with slightly modified installers. 1997-2000 era. And anti-virus was a thing in MS-DOS even.
I am working on a little project in my offhours, and asked a non-hacker (but competent programmer) friend to take a run at exploiting it. Great success: my project was successfully exploited.
The industrialization of exploit generation is here IMO.
I am _much_ more interested in i. building cool software for other things and ii. understanding underlying underlying models than building "better claude code".
(2) I am really tired of the AI community trying to threaten everyone with grey goo and finding out the hype doesn't land comfy with others. It's a freaking text generator, not god in a pocket.