Formal Verification

Feeds to Scour
SubscribedAll
Scoured 58 posts in 6.6 ms

How AI is reshaping discovery in maths and physics

 ⚛️Physics  Content type: Academic
nature.com··Hacker News

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

 ⚙️Program Synthesis  Content type: Code
github.com··Hacker News

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

 ΠDependent Types
siliconangle.com·

Property-based testing | Liam DeVoe

 ✅Property Testing
tybug.dev··Hacker News

New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"

 ΠDependent Types  Content type: Discussion
news.ycombinator.com··Hacker News

The Orchard Bug and the Unfolding Cybersecurity Reckoning

 ΠDependent Types  Content type: News  Content type: Blog
bengoertzel.substack.com··Substack

TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics

 🎯Lean  Content type: Academic
arxiv.org·

Introducing Soteria: A New Generation of Static Analysis for Rust

 ⚙️Program Synthesis  Content type: Blog
soteria-tools.com··Hacker News

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

 ΠDependent Types
4sysops.com·

Zcash teams propose Ironwood pool to restore supply verification after Orchard flaw

 ΠDependent Types
cointelegraph.com·

View from Bangladesh: India forcing people across the border is becoming a test of ties

 ΠDependent Types  Content type: News
scroll.in·

Recent progress around Cohen-Lenstra heuristics (notes from a Bourbaki talk)

 🧩SMT Solvers  Content type: Blog
quomodocumque.wordpress.com·

Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection

 🧩SMT Solvers  Content type: Academic
arxiv.org·
Less-relevant results

Experts weigh in on Anthropic’s Fable 5, Mythos 5 releases

 ΠDependent Types
sdtimes.com·

ICYMI: May 2026 @AWS Security

 🌌Astrophysics  Content type: Blog
aws.amazon.com·

Introducing Jo — Secure Programming for the AI Era

 🔤Type Theory  Content type: Blog
jo-lang.org··Hacker News

One Language To Rule Them All

 🔤Type Theory  Content type: Blog
programmingsimplicity.substack.com··Substack

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

 🔗Parser Combinators  Content type: Academic
arxiv.org·

book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets

 λFunctional Programming  Content type: Code
github.com·

Beyond the Corporate Tunnel: Why WireGuard and DPNs Are Replacing the Centralised VPN

 🛡️Privacy  Content type: Blog
medium.com·

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help