Damus
Open in Damus
David Chisnall (*Now with 50% more sarcasm!*) · 19w
I accidentally read LinkedIn again and lots of people are talking about the flow of writing code with an LLM and then using a feedback loop with formal verification to reject incorrect implementations...
 Anders Stenberg profile picture
Anders Stenberg @Anders Stenberg
@nprofile1q... I haven't fully thought this through so maybe I'm wrong, but I feel like a _full_ correct specification of how a program should work has to be on par in complexity with "just" writing the program?
1
David Chisnall (*Now with 50% more sarcasm!*) · 19w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqfk5dthpdczmvj47534dgvcx4n6eax2xlggdrram6yt8wym23wrtqn4g4l4 Often a bit simpler. The specification of a sorting algorithm, for example, may just be a post condition that, for all indexes n and n+1, the value at n+1 is greater than or equal to t...