It's possible for that to happen but probably means either the function is too t... | Hacker News

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

		chadgpt3 2 days ago \| parent \| context \| favorite \| on: Formal methods and the future of programming It's possible for that to happen but probably means either the function is too trivial or you're missing some abstraction in the spec
		help

pydry 1 day ago [–]

It's also possible it's not the future of programming.

chadgpt3 1 day ago | [–]

It never was. It's useful but extremely slow.

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