📐 Formal Methods - gss123

🔨Build Systems Academic

arxiv.org·

Programming Languages Software Award

🧮Constraint Solvers

sigplan.org·

Proof System Timelines

🧮SMT Solvers Blog

klatz.co·

Zcash Developers Weigh New Shielded Pool After Orchard Bug

🧮Constraint Solvers

cointelegraph.com·

AWS can now mathematically prove your VMs are isolated

🧮Constraint Solvers

thenewstack.io·

A New Post Quantum Cryptography Standard (Verification, etc. Included)

🤝Paxos Consensus

zenodo.org··Hacker News

Neon NTT - (Auto)formalised

📐TLA+

eprint.iacr.org·

TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.

🧮Algorithms Code

github.com··Hacker News

Dr. Renata Goncalves recognized with Outstanding Manuscript Award

🔬Academic Search Academic

hsph.harvard.edu·

Graviton5’s improved design increases speed and energy efficiency — beyond Moore’s law

📊Benchmarking Blog

amazon.science··Hacker News

Human Judgment as a Specification

🧮Constraint Solvers Blog

blog.brownplt.org·

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

🧮Constraint Solvers News

coindesk.com·

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

🧮Constraint Solvers Discussion

news.ycombinator.com··Hacker News

Researchers discover hidden chip threats and a way to stop them

🧮Constraint Solvers

techxplore.com·

Issue 527

☕Java

haskellweekly.news·

The Orchard Bug and the Unfolding Cybersecurity Reckoning

🧮Constraint Solvers News Blog

bengoertzel.substack.com··Substack

A Proof in Coq that Core Logic is not Paraconsistent

🗳️Paxos Variants Academic

arxiv.org·

AI industry leaders urge Congress to regulate synthetic DNA to prevent bioweapons

🧮Constraint Solvers

4sysops.com·

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

Subversion-Resistance for Free from Formal Verification

Correct-by-Construction Design of Timed Systems in Event-B

Programming Languages Software Award

Proof System Timelines

Zcash Developers Weigh New Shielded Pool After Orchard Bug

AWS can now mathematically prove your VMs are isolated

A New Post Quantum Cryptography Standard (Verification, etc. Included)

Neon NTT - (Auto)formalised

TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.

Dr. Renata Goncalves recognized with Outstanding Manuscript Award

Graviton5’s improved design increases speed and energy efficiency — beyond Moore’s law

Human Judgment as a Specification

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

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

Researchers discover hidden chip threats and a way to stop them

Issue 527

The Orchard Bug and the Unfolding Cybersecurity Reckoning

A Proof in Coq that Core Logic is not Paraconsistent

AI industry leaders urge Congress to regulate synthetic DNA to prevent bioweapons