Formal Methods

✓ Formal Methods

Model Checking, Specification Languages, TLA+, Verification, Correctness

Feeds to Scour
SubscribedAll
Scoured 75 posts in 13.8 ms

BuildByNexora/Kron: Kron makes application time reliable: persistent timers, run history, retries, crash recovery, and an experimental OpenRaft server mode.

 📋Task Queues  Content type: Code
github.com··DEV, r/rust

VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents

 🔬Code Analysis  Content type: Academic
arxiv.org·

Extending LLVM's BOLT-based Binary Analyser to Validate Stack Variable Initialisation

 ⚙️Compiler Design  Content type: Blog
blog.quarkslab.com·

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

 🎭Program Synthesis
4sysops.com·

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

 🎭Program Synthesis
cointelegraph.com·

The Complexity of Asynchronous HyperLTL

 ⚡Automated Reasoning  Content type: Academic
arxiv.org·

"a game of court intrigue where AI simulates the various courtiers"

 🔬Code Analysis
substack.com··Substack

Syntax-driven Incremental Program Verification of Matching Logic Properties

 🔬Code Analysis  Content type: Academic
arxiv.org·

Introducing Jo — Secure Programming for the AI Era

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

The Windows IOCTL Census: A Corpus-Scale, Multi-Architecture Database of the Driver Control-Code Surface

 🔬Code Analysis  Content type: Academic
arxiv.org·

ICYMI: May 2026 @AWS Security

 ⚡Automated Reasoning  Content type: Blog
aws.amazon.com·

One Language To Rule Them All

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

Extraction and Search in Rocq: Theorems, Definitions and Their dependencies

 📖Formal Semantics  Content type: Academic
arxiv.org·

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

 🛡️Penetration Testing
sdtimes.com·

Comp.compilers: Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2026 (Sweden, June 2026)

 🔌Microcontrollers
compilers.iecc.com·

Chimera: Protocol-Aware Recovery for Confidential BFT Consensus

 🔄CRDT  Content type: Academic
arxiv.org·

Why The New York Times Is Wholly Responsible for Bari Weiss’s Rise

 🔬Code Analysis
newrepublic.com·

Reinforcing Temporal Answer Grounding in Instructional Video via Candidate-Aware Causal Reasoning

 💬Prompt Engineering  Content type: Academic
arxiv.org·

GCD: Garbled, Corrected, Demonstrandum -- Fixing and Proving Go's Extended GCD Implementation

 🎭Program Synthesis  Content type: Academic
arxiv.org·

How AI is reshaping discovery in maths and physics

 📖Formal Semantics  Content type: Academic
nature.com··Hacker News
Sign up or log in to see more results
Sign UpLogin

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