Actions
Forum Thread Details
  • Replies 18 replies
  • Subscribers 471 subscribers
  • Views 395 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

  • I agree, there is no way you can trust outside software without extensive review and verification.

    I come from an environment where trust has to be earned.

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

Reply
  • 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.

Children
No Data