search
Lasm
Trends
- 1Lasm 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.
- 2Hackers Hijack French Blood Plasma Freezers, Alter Temperatures●Hackers Hijacked French Blood Plasma Freezers, Changing Temperature Settings From −30°C to 110°C https:// cybersecurityn
Hackers allegedly gained access to freezers storing blood plasma at a French facility, remotely changing temperature settings from −30°C to 110°C. The attack reportedly targeted internet-connected refrigeration equipment, raising alarms about the vulnerability of critical medical infrastructure. Commenters flagged it as a potentially dangerous act of sabotage, with some linking it to Russian hacking groups, though attribution remains unconfirmed.
Repos
- Millillion/lasm Lean for JavaScript and WebAssembly runtimes