Actions
Forum Thread Details
  • Replies 18 replies
  • Subscribers 471 subscribers
  • Views 394 views
  • Users 0 members are here
Related

Is fancy code completion really worth it ?

michaelkellett

Of credible AI horror stories I think this is about as bad as it gets !

https://www.tomshardware.com/tech-industry/cyber-security/researchers-uncover-critical-ai-ide-flaws-exposing-developers-to-data-theft-and-rce

I'm sticking with the "legacy" Keil IDE for C coding on ARM - it may be a little slower but at least I'm fairly sure that nothing gets into my code that I didn't put there !

MK

Parents Reply Children
  • in reply to DAB

    I find it useful for discovering API names without digging through a 500-page datasheet every five minutes. That said, I've seen it lead people down some weird paths when they rely on it too much. Great for syntax, maybe not so great for actual logic in mission-critical code.

  • in reply to DAB

    There is one way AI can earn way more trust than humans (your local ones or third party somebody) - AI is great at writing proofs. If you generate a certified code with AI, it outperforms humans already. Writing proofs is way too tedious for humans, but AI have infinite patience. I generated fully formally proven SystemVerilog modules with AI, fully certified code in SPARK and Coq. And I only ever use local models for this.