News for hackers. Stuff that matters.

A comment on GPT is all you need for the back end. Parent comment

Re:GPT is all you need for the back end by Existenceblinks on Tuesday January 24, 2023 @08:21PM (#34513095)
Is it: https://www.commitstrip.com/en/2016/08/25/a-very-comprehensi...?
[ Parent | on HN ]
Re:GPT is all you need for the back end by auggierose on Tuesday January 24, 2023 @08:36PM (#34513225)
Hehehe. Well, the important ingredient missing from this comic strip is proof. You can see proof as code, if you like, but the important thing here is that you can trust the proof generated by an AI without having to look yourself at it.

Most people don't understand proof, but if you don't understand proof in 10 years, you will be out of a job as a programmer.

[ Parent | on HN ]
Re:GPT is all you need for the back end by Existenceblinks on Tuesday January 24, 2023 @09:04PM (#34513454)
> if you don't understand proof in 10 years, you will be out of a job as a programmer.

No, that's not gonna happen. Can you write a proof of an order for you go to go a fresh market to buy ingredient of a menu I want to cook? "Hey, go buy ingredients for my noodle menu whose result is my taste"

[ Parent | on HN ]
Re:GPT is all you need for the back end by auggierose on Wednesday January 25, 2023 @02:08AM (#34515313)
What? You are going to hire a programmer to do that for you?
[ Parent | on HN ]