📐 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·

Correct workflow for stage3 and stage 4 building, testing and debugging

🔧Compilers

ziggit.dev·

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

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

⚙️Systems Programming Blog

amazon.science··Hacker News

Researchers discover hidden chip threats and a way to stop them

🔍Reverse Engineering

techxplore.com·

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

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

Correct workflow for stage3 and stage 4 building, testing and debugging

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

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

Researchers discover hidden chip threats and a way to stop them

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