Programmer Humor

34449 readers

104 users here now

Post funny things about programming here! (Or just rant about your favourite programming language.)

Rules:

Posts must be relevant to programming, programmers, or computer science.
No NSFW content.
Jokes must be in good taste. No hate speech, bigotry, etc.

founded 5 years ago

MODERATORS

AgreeableLandscape@lemmy.ml

cat_programmer@lemmy.ml

101

Tradeoffs (lemmy.ml)

submitted 3 weeks ago by yogthos@lemmy.ml to c/programmerhumor@lemmy.ml

10 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] yogthos@lemmy.ml 1 points 2 weeks ago (1 children)

I think what's really going to happen is that programming will focus on writing contracts that AI agents have to fulfill. You'd specify the behavior you want, memory constraints, runtime complexity, etc. And then the agent has to figure out how to produce code that meets the specification.

[–] barubary@infosec.exchange 1 points 2 weeks ago (1 children)

Isn't this COBOL or 4GL or something?

[–] yogthos@lemmy.ml 1 points 2 weeks ago

I'm thinking something more along the lines of Haskell or Idris type definitions. You can use that to specify the function signature, and that becomes the contract that the function has to fulfill.