yarapavan

Recent Submissions

1. 1. ▲ You Don't Know Jack About Formal Verification (queue.acm.org) 2 points · 2 days ago · 0 comments
2. 2. ▲ Climbing the Generative AI Mountain: A "hitchhiker's guide" for product managers (queue.acm.org) 2 points · 9 days ago · 0 comments
3. 3. ▲ How to Be Good at AI Research (twitter.com) 2 points · 12 days ago · 0 comments
4. 4. ▲ Artificial Intelligence for Software Engineering: From Probable to Provable (cacm.acm.org) 3 points · 28 days ago · 0 comments
5. 5. ▲ Reviving Teletext for Ham Radio (spectrum.ieee.org) 72 points · 28 days ago · 45 comments
6. 6. ▲ Large Language Models in Software Security Analysis (cacm.acm.org) 3 points · 29 days ago · 0 comments
7. 7. ▲ Chatbots' Downward Spiral (cacm.acm.org) 6 points · 29 days ago · 0 comments
8. 8. ▲ Seven Ways to Avoid Losing Your Job to AI (thefp.com) 20 points · 1 month ago · 16 comments
9. 9. ▲ Practical Package Security: The Unofficial Guide (wiz.io) 2 points · 1 month ago · 0 comments
10. 10. ▲ The Origins of GPU Computing (cacm.acm.org) 1 point · 2 months ago · 0 comments