Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Retire the Abstractions

hazyresearch.stanford.edu

Post reply on HN
Print view View original

61–67 of 67 posts

Re: Retire the Abstractions

#61

Post by raddan »

StilesCrisis wrote: post #31
raddan wrote: post #15

Earlier quoted context omitted.

Just yesterday, for fun, I asked Codex to generate an “online e-commerce site” in ARM assembly. To its credit, it did actually generate a program that served up a webpage over a socket, but it really did not do what I asked. The program still pulled in a large number of shared libraries (something I’ve never really thought to try in assembly). And… it was not actually a functioning e-commerce site. Iterating on that…

Enjoy setting thousands of dollars on fire for fun!

As long as they’re not my dollars, fine with me.

Re: Retire the Abstractions

#62

Post by xiaoyu2006 »

bloaf wrote: post #29

I feel like this is the exact opposite of the conclusion I've been coming to. In an age where anyone can vibe code stuff at the drop of a hat, I want the ability to assert guarantees/contracts at a high level, and then let AI work out the details. I want to force AI to work within the confines of an abstraction, not independently of it.

formal verification? maybe theorem prover or hoare logic can come into play here.

Re: Retire the Abstractions

#63

Post by 9dev »

winter_blue wrote: post #41
bloaf wrote: post #29

I feel like this is the exact opposite of the conclusion I've been coming to. In an age where anyone can vibe code stuff at the drop of a hat, I want the ability to assert guarantees/contracts at a high level, and then let AI work out the details. I want to force AI to work within the confines of an abstraction, not independently of it.

> I want to force AI to work within the confines of an abstraction, not independently of it. Yes, this is the way. We need programming languages that make this easier.

Just a few more months, and the industry will consider OOP the next big thing again. Interfaces as contracts between modules? Obviously superior!

Re: Retire the Abstractions

#64

Post by StilesCrisis »

raddan wrote: post #61
StilesCrisis wrote: post #31

Earlier quoted context omitted.

Enjoy setting thousands of dollars on fire for fun!

As long as they’re not my dollars, fine with me.

Your work lets you burn infinite tokens on hobby projects? That's wild. My work has no token limits per se, but we definitely aren't supposed to spend tokens on side projects.

Re: Retire the Abstractions

#66

Post by bwfan123 »

JSR_FDED wrote: post #16

“First, an abstraction isn't just a way to manage cognitive load; it's a shared surface where application, reuse, and review attach.” That is some seriously convoluted writing.

"The question is whether letting it sit higher is a difference in degree or in kind, and we don't think it's in kind"

I was scratching my head reading it. The cognitive load was high with cryptic sentences like the above. AI-slop or not, there is no excuse for dense prose particularly if it is intended for a human reader.

Post reply on HN