✅ Formal Methods - sobeston

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

🔀Concurrency Code

github.com··Hacker News

Programming Languages Software Award

⚙️Systems Programming

sigplan.org·

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

🩹Hot Patching Discussion

news.ycombinator.com··Hacker News

Zcash Developers Weigh New Shielded Pool After Orchard Bug

⚙️FPGA Trading

cointelegraph.com·

Quanta Books Releases The Proof in the Code

🔐Zero-Knowledge Proofs

simonsfoundation.org·

A Proof in Coq that Core Logic is not Paraconsistent

🔐Zero-Knowledge Proofs Academic

arxiv.org·

DB Nerds – Try this out

🔒Transactions

kesseldb.com··Hacker News

Researchers discover hidden chip threats and a way to stop them

🛡️KASAN

techxplore.com·

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

💾NVMe Blog

aws.amazon.com··Hacker News

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

⚙️FPGA Trading News

coindesk.com·

The Proof in the Code

🔐Zero-Knowledge Proofs

quantabooks.org·

AWS’ powerful Graviton5 CPU makes its debut in new M9g and M9gd cloud instances

⚡CPU Caches

siliconangle.com·

Abduction Prover in Isabelle/HOL

Subversion-Resistance for Free from Formal Verification

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

AWS can now mathematically prove your VMs are isolated

Proof System Timelines

Neon NTT - (Auto)formalised

Design Reliable, Scalable Distributed Systems

Lean Programming Language

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

Programming Languages Software Award

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

Zcash Developers Weigh New Shielded Pool After Orchard Bug

Quanta Books Releases The Proof in the Code

A Proof in Coq that Core Logic is not Paraconsistent

DB Nerds – Try this out

Researchers discover hidden chip threats and a way to stop them

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

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

The Proof in the Code

AWS’ powerful Graviton5 CPU makes its debut in new M9g and M9gd cloud instances