Viewing profile — ddanv

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 accep…

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 ... …

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 pas…

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!