· it
Brain.A turns 40 🥳 - A Bedtime Story
In January 1986, the Brain virus spread via floppy disks and became the first widely known IBM PC virus. Forty years later, its story still feels strangely fami...
-
- · software
All your OpenCodes belong to us
Article URL: https://johncodes.com/archive/2026/01-18-all-your-opencodes/ Comments URL: https://news.ycombinator.com/item?id=46674424 Points: 11 Comments: 0...
- · software
Xr0 verifier, guarantee the safety of C programs at compile time
Article URL: https://xr0.dev Comments URL: https://news.ycombinator.com/item?id=46479673 Points: 14 Comments: 2...
- · software
Ever wondered how Cheat Engine works?
Ever wondered how Cheat Engine works? !Cover image for Ever wondered how Cheat Engine works?https://media2.dev.to/dynamic/image/width=1000,height=420,fit=cover...
- · software
Blog: PyPI in 2025: A Year in Review
markdown PyPI 2025 Year‑in‑Review Tags - new featureshttps://blog.pypi.org/tags/tag:new-features - organizationshttps://blog.pypi.org/tags/tag:organizations - s...
- · software
The 30-Minute Security Audit: Onboarding a New Codebase
!Cover image for The 30-Minute Security Audit: Onboarding a New Codebasehttps://media2.dev.to/dynamic/image/width=1000,height=420,fit=cover,gravity=auto,format=...
- · it
We pwned X, Vercel, Cursor, and Discord through a supply-chain attack
markdown It's a wild world out there in tech these days, isn’t it? I mean, just when you think you’ve got your head around the latest and greatest development t...
- · software
La sécurité simplement : une approche haut-niveau
La sécurité, dans le monde de l'informatique, représente de nombreuses disciplines : infrastructure, réglementations, outillage, etc. Les termes techniques et o...
- · software
CodeQL 2.23.6 adds Swift 6.2.1 and new C# security queries
CodeQL is the static analysis engine behind GitHub code scanninghttps://docs.github.com/code-security/code-scanning/introduction-to-code-scanning/about-code-sca...
- · ai
[Paper] DUALGUAGE: Automated Joint Security-Functionality Benchmarking for Secure Code Generation
Large language models (LLMs) and autonomous coding agents are increasingly used to generate software across a wide range of domains. Yet a core requirement rema...