✅ Formal Verification - gip · Scour

Abduction Prover in Isabelle/HOL

⚙️Programming Academic

Proof System Timelines

🔐Zero-Knowledge Proofs Blog

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

⚙️Programming

lix.polytechnique.fr·

Subversion-Resistance for Free from Formal Verification

🔒Hardware Security

lesswrong.com·

Programming Languages Software Award

⚙️Programming

AWS can now mathematically prove your VMs are isolated

🧮Homomorphic Encryption

thenewstack.io·

Design Reliable, Scalable Distributed Systems

🔄Protocol Design

Neon NTT - (Auto)formalised

🔐Zero-Knowledge Proofs

eprint.iacr.org·

Zcash Developers Weigh New Shielded Pool After Orchard Bug

🔒Hardware Security

cointelegraph.com·

Lean Programming Language

⚙️Programming

lean-lang.org·

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

🛡️AI Safety Discussion

news.ycombinator.com··Hacker News

Van Cleef & Arpels’ High Jewelry Draws on Age-old Fascination for Ancient Egypt

🏥Medical Privacy News

·

DB Nerds – Try this out

🔒Hardware Security

kesseldb.com··Hacker News

Quanta Books Releases The Proof in the Code

🔐Zero-Knowledge Proofs

simonsfoundation.org·

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

🔗Crypto News

Researchers discover hidden chip threats and a way to stop them

🔒Hardware Security

techxplore.com·

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

🔒Hardware Security Blog

aws.amazon.com·

A Proof in Coq that Core Logic is not Paraconsistent

🔐Zero-Knowledge Proofs Academic

Programming Languages Course Reboot, 2026

⚙️Programming Reference

docs.google.com··Lobsters, Hacker News

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

substack.com··Substack

Log in to enable infinite scrolling