📐 Formal Methods - troywonderwoo

Less-relevant results

AWS can now mathematically prove your VMs are isolated

⚙️Systems Programming

thenewstack.io·

Proof System Timelines

🗣️Programming Languages Blog

klatz.co·

Zcash Developers Weigh New Shielded Pool After Orchard Bug

🦀Rust

cointelegraph.com·

Programming Languages Software Award

🔧Compilers

sigplan.org·

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

🔧Compilers Code

github.com··Hacker News

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

💻Software Engineering Discussion

news.ycombinator.com··Hacker News

DB Nerds – Try this out

🦀Rust

kesseldb.com··Hacker News

Researchers discover hidden chip threats and a way to stop them

🔍Reverse Engineering

techxplore.com·

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

⚙️Systems Programming Blog

amazon.science··Hacker News

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

🔐Cybersecurity News

coindesk.com·

TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics

🤖LLMs Academic

arxiv.org·

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

🗣️Programming Languages

lix.polytechnique.fr·

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

🏗️Infrastructure Blog

aws.amazon.com··Hacker News

Human Judgment as a Specification

🤨AI Criticism Blog

blog.brownplt.org·

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

🏗️Infrastructure Video

youtube.com··DEV

Amazon partnership establishes Cornell AI security initiative

🤨AI Criticism News Academic

news.cornell.edu·

Programming Languages Course Reboot, 2026

🗣️Programming Languages Reference

docs.google.com··Lobsters, Hacker News

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

🤨AI Criticism

4sysops.com·

Subversion-Resistance for Free from Formal Verification

Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation

AWS can now mathematically prove your VMs are isolated

Proof System Timelines

Zcash Developers Weigh New Shielded Pool After Orchard Bug

Programming Languages Software Award

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

Researchers discover hidden chip threats and a way to stop them

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

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

TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics

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

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

Human Judgment as a Specification

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

Amazon partnership establishes Cornell AI security initiative

Programming Languages Course Reboot, 2026

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