type safety was always a guardrail for the human not the machine.

humans aren’t reading code, so no need for it, ai can write everything in ASM & C, keep everything fast and economical.

JoshTriplett 4 days ago | parent | next [-]

> humans aren’t reading code, so no need for it, ai can write everything in ASM & C, keep everything fast and economical.

This is a great plan; I would encourage everyone using AI to follow this strategy. The resulting smoking craters will have many job opportunities for human-written code that works.

▲

yjftsjthsd-h 4 days ago | parent | prev | next [-]

Surely AI also needs guardrails?

	▲	Rexxar 4 days ago \| parent [-]
		AI needs heavy fortifications, moats and watchtowers around it.

▲

justaboutanyone 4 days ago | parent | prev | next [-]

People are still going to read the PR regardless of how it was created.

▲

oofbey 4 days ago | parent [-]

In some environments this is a hard requirement, and will be hard to break. Places where the code is know to have big impact / blast radius and can’t be wrong.

In other environments (most startups founded in the last six months) no human is ever reading any of the code. It’s kinda terrifying but I think it’s where we are going. And here I would argue having strict compilers is way more important.

	▲	tormeh 4 days ago \| parent [-]
		That's fascinating and insane. Rust will help, but I can't see that working well. In my experience LLMs (even Claude) need quite a bit of handholding.

▲

sunshowers 4 days ago | parent | prev [-]