By default you are right. However you can use static analysis and tooling guardr... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		CuriouslyC 5 months ago \| parent \| context \| favorite \| on: Fil's Unbelievable Garbage Collector By default you are right. However you can use static analysis and tooling guardrails to reject certain classes of unsafe code automatically, and force the agent to go back to the drawing board. It might take a few tries and a tiny amount of massaging but I don't doubt it'd get there.

pizlonator 5 months ago [–]

If you could get there that way with Rust’s unsafe blocks then you could get there that way with C++

CuriouslyC 5 months ago | [–]

probably true. I think thing doing the heavy lifting is an adversarial loop on the generated code to red team it repeatedly before merge.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact