Formal Verification

Feeds to Scour
SubscribedAll
Scoured 49 posts in 7.2 ms

A Proof in Coq that Core Logic is not Paraconsistent

 🔍Jepsen  Content type: Academic
arxiv.org·

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

 🐛Fuzzing  Content type: Discussion
news.ycombinator.com··Hacker News

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

 🧪Antithesis
cointelegraph.com·

AWS Graviton5 available via M9g and M9gd instances

 🧪Antithesis
techzine.eu·

A New Post Quantum Cryptography Standard (Verification, etc. Included)

 📐Linearizability
zenodo.org··Hacker News

cryspen/hax: A Rust verification tool

 🐛Fuzzing  Content type: Code
github.com··Lobsters

The Theory of Mind Utility: Formal Specification of a Mentalizing Mechanism

 🌪️Chaos Engineering  Content type: Academic
arxiv.org·

When Claude changed, everything changed: Managing AI blast radius in production

 🌪️Chaos Engineering
venturebeat.com·

NOVA microhypervisor brings AMD DMA isolation to shared AI infrastructure

 🧪Antithesis
helpnetsecurity.com·

FOD#155: Continual Learning in LLMs: Why AI Models Need Sleep

 📐Linearizability
turingpost.com·

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

 🧪Antithesis  Content type: Blog
aws.amazon.com··Hacker News

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

 🧪Antithesis  Content type: Blog
amazon.science··Hacker News

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

 🐛Fuzzing  Content type: Discussion
news.ycombinator.com··Hacker News
Less-relevant results

Where the f*ck is the Excalidraw markup table?

 🐛Fuzzing  Content type: News  Content type: Blog
larkmatter.substack.com··Substack

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

 🧪Antithesis
siliconangle.com··Cited by 1 article

The Concerning, Unchecked Rise of E2E AI in Physical Applications

 🌪️Chaos Engineering  Content type: News
eetimes.com·

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

 💥Fault Injection  Content type: News
scroll.in·

Binary Search Variants: A Comprehensive Analysis

 📐Linearizability  Content type: Academic
arxiv.org·

2026-06-10, Wednesday

 📐Linearizability
hakon.gylterud.net·

Cooperative Capitalism Is the Last Coherent Economic Path Crypto Has Left

 🤝Consensus Algorithms
ethresear.ch·

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