✓ Automated Theorem Proving - tiferrei · Scour

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

🔗Curry-Howard

lix.polytechnique.fr·

A Proof in Coq that Core Logic is not Paraconsistent

🧠Automated Reasoning Academic

Zcash Developers Weigh New Shielded Pool After Orchard Bug

🌐NetworkProtocols

cointelegraph.com·

Lean Programming Language

🎮Verification Games

lean-lang.org·

Proof System Timelines

🔗Curry-Howard Blog

Subversion-Resistance for Free from Formal Verification

🌐NetworkProtocols

lesswrong.com·

Programming Languages Software Award

🧠Automated Reasoning

Less-relevant results

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

🔐Cybersecurity News

Quanta Books Releases The Proof in the Code

🎮Verification Games

simonsfoundation.org·

The Proof in the Code

🎮Verification Games

quantabooks.org·

AWS can now mathematically prove your VMs are isolated

thenewstack.io·

Dr. Renata Goncalves recognized with Outstanding Manuscript Award

⚙Operational Semantics Academic

hsph.harvard.edu·

Issue 527

λFunctional Programming

haskellweekly.news·

Neon NTT - (Auto)formalised

eprint.iacr.org·

Introducing Soteria: A New Generation of Static Analysis for Rust

🔬Static Analysis Blog

soteria-tools.com··Hacker News

Interspecies quorum sensing signals modulate multicellular organization and enhance contact-dependent antagonism in Vibrio cholerae

📄ICFP Academic

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

🔬Static Analysis Discussion

news.ycombinator.com··Hacker News

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

🌐NetworkProtocols

TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics

🧮Lean4 Academic

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

🌐NetworkProtocols Blog

amazon.science··Hacker News

Log in to enable infinite scrolling