✅ Formal Verification - plumenator

Less-relevant results

Neon NTT - (Auto)formalised

✅Proof Assistants

eprint.iacr.org·

Proof System Timelines

🧮Lean Blog

klatz.co·

Programming Languages Software Award

💻Programming

sigplan.org·

Design Reliable, Scalable Distributed Systems

✅Proof Assistants

fizzbee.io·

AWS can now mathematically prove your VMs are isolated

✅Proof Assistants

thenewstack.io·

Introducing Soteria: A New Generation of Static Analysis for Rust

🛡️Memory Safety Blog

soteria-tools.com··Hacker News

Zcash Developers Weigh New Shielded Pool After Orchard Bug

✅Proof Assistants

cointelegraph.com·

bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test

λFunctional Programming Code

github.com··Hacker News

Ask HN: What has been the fate of code review?

💻Programming Discussion

news.ycombinator.com··Hacker News

DB Nerds – Try this out

🦀Rust

kesseldb.com··Hacker News

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

ΠDependent Types

lix.polytechnique.fr·

A Proof in Coq that Core Logic is not Paraconsistent

✅Proof Assistants Academic

arxiv.org·

Researchers discover hidden chip threats and a way to stop them

✅Proof Assistants

techxplore.com·

Security experts warn advanced AI is about to spark a hacking crisis for both crypto and banks

✅Proof Assistants News

coindesk.com·

Now available: Amazon EC2 M9g and M9gd instances powered by new AWS Graviton5 processors

✅Proof Assistants Blog

aws.amazon.com··Hacker News

Programming Languages Course Reboot, 2026

💻Programming Reference

docs.google.com··Lobsters, Hacker News

Amazon S3 Doesn't Hope Hardware Won't Fail. It Assumes It Already Has.

🔗Linear Types Video

youtube.com··DEV

"a game of court intrigue where AI simulates the various courtiers"

🌀Idris

substack.com··Substack

Abduction Prover in Isabelle/HOL

Subversion-Resistance for Free from Formal Verification

Neon NTT - (Auto)formalised

Proof System Timelines

Programming Languages Software Award

Design Reliable, Scalable Distributed Systems

AWS can now mathematically prove your VMs are isolated

Introducing Soteria: A New Generation of Static Analysis for Rust

Zcash Developers Weigh New Shielded Pool After Orchard Bug

bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test

Ask HN: What has been the fate of code review?

DB Nerds – Try this out

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

A Proof in Coq that Core Logic is not Paraconsistent

Researchers discover hidden chip threats and a way to stop them

Security experts warn advanced AI is about to spark a hacking crisis for both crypto and banks

Now available: Amazon EC2 M9g and M9gd instances powered by new AWS Graviton5 processors

Programming Languages Course Reboot, 2026

Amazon S3 Doesn't Hope Hardware Won't Fail. It Assumes It Already Has.

"a game of court intrigue where AI simulates the various courtiers"