search
software verification
Trends
- 1Backdoor found in Claude Code extension on Cursor Marketplace●Backdoor in Claude Code for VS Code extension on the Cursor Marketplace
A security researcher reports that the Claude Code VS Code extension listed on the Cursor Marketplace was compromised and contained a backdoor, putting developers who installed it at risk. The finding is drawing attention across the developer and security community, with discussion focused on how supply-chain attacks can slip through third-party extension marketplaces and what verification steps users should take.
- 2Lasm brings formally verified web apps in Lean to JavaScript runtimes▼Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge
A developer has released Lasm, an open-source project that lets programmers write formally verified web applications in the Lean theorem prover and run them on Node.js, serverless platforms and edge runtimes. The project, hosted on GitHub, aims to bring mathematical proofs of correctness to ordinary web development, and it is drawing attention among programmers interested in verified software.
- 3Developer unveils formally verified web engine on Hacker News●Show HN: A malleable and formally verified Web engine
A developer has presented a new web engine described as both malleable and formally verified, meaning its correctness is backed by mathematical proof. The project invites community feedback on how a provably correct, adaptable browser engine core could change how web software is built and trusted.