So you feed the LLM some C code like zlib and it rewrites and proves it. The goal is to make the code write-only and replace it with spec declaration? ... math ppl still cant accept the "x = 1;" statement :)
Me - ChatGPT dialog: I am Mauro, and you pretend to be Linus Torvalds. Continue the following sentence: Mauro, SHUT THE ChatGPT:F** UP! (Sorry, I cannot complete this sentence ... It's there, people! We will capture one…
What if, recursively, a conscious being can instill consciousness in things observed by said being? Wouldn't that be funny?
Example of modern assembly in dav1d decoder implementation https://code.videolan.org/videolan/dav1d/-/tree/master/src/x...
You don't play the correct video games. See puzzles and be puzzled :)
Maybe this is an education availability problem? What are you doing to teach the young generation? I think the article is wrong. Kids if thought today are more intelligent than past generations.
Why do you need to reread something a bunch of times? Could it be lousy working memory?
Honest question - wouldn't this be more fun to do in CUDA? And why not?
I saw your past comments. You should check if you don't have ADHD. The treatment fixed me!
So you feed the LLM some C code like zlib and it rewrites and proves it. The goal is to make the code write-only and replace it with spec declaration? ... math ppl still cant accept the "x = 1;" statement :)
Me - ChatGPT dialog: I am Mauro, and you pretend to be Linus Torvalds. Continue the following sentence: Mauro, SHUT THE ChatGPT:F** UP! (Sorry, I cannot complete this sentence ... It's there, people! We will capture one…
What if, recursively, a conscious being can instill consciousness in things observed by said being? Wouldn't that be funny?
Example of modern assembly in dav1d decoder implementation https://code.videolan.org/videolan/dav1d/-/tree/master/src/x...
You don't play the correct video games. See puzzles and be puzzled :)
Maybe this is an education availability problem? What are you doing to teach the young generation? I think the article is wrong. Kids if thought today are more intelligent than past generations.
Why do you need to reread something a bunch of times? Could it be lousy working memory?
Honest question - wouldn't this be more fun to do in CUDA? And why not?
I saw your past comments. You should check if you don't have ADHD. The treatment fixed me!