Formal Methods

Feeds to Scour
SubscribedAll
Scoured 54 posts in 9.1 ms

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

Β πŸ—οΈCompiler Design Β Content type: Academic
arxiv.orgΒ·

Subversion-Resistance for Free from Formal Verification

Β πŸ”„Stateful Fuzzing
lesswrong.comΒ·

Formal Verification in Spec-Driven Development β€” Enterprise Level

Β πŸ”Property Testing Β Content type: Blog
medium.com
Β·

coherentforge/CambiOS: Zero-trust, capability-based Rust microkernel targeting formal verification. Tri-arch (x86_64 / AArch64 / RISC-V). Sovereign and generative: no telemetry, user owns keys and data. Early-stage β€” see STATUS.md. Inspired by seL4, Hubris, and Redox.

Β πŸ—οΈCompiler Design Β Content type: Code
github.comΒ·Β·Hacker News

Neon NTT - (Auto)formalised

Β πŸ—οΈCompiler Design
eprint.iacr.orgΒ·

SagaMind: Formal Verification, Transactional Rollback, and Cognitive Memory for LLM Agents

Β πŸ”„Stateful Fuzzing Β Content type: Blog
kesablyanharut.medium.comΒ·

DB Nerds – Try this out

 🌐Distributed Systems
kesseldb.comΒ·Β·Hacker News

Dr. Renata Goncalves recognized with Outstanding Manuscript Award

Β πŸ—οΈCompiler Design Β Content type: Academic
hsph.harvard.eduΒ·

AWS can now mathematically prove your VMs are isolated

 🌐Distributed Systems
thenewstack.ioΒ·

Proof System Timelines

Β πŸ”Property Testing Β Content type: Blog
klatz.coΒ·

Zcash Developers Weigh New Shielded Pool After Orchard Bug

Β πŸ›AFL
cointelegraph.comΒ·

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

Β πŸ—οΈCompiler Design
ziggit.devΒ·

Programming Languages Software Award

Β πŸ—οΈCompiler Design
sigplan.orgΒ·

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

Β πŸ”„Stateful Fuzzing Β Content type: News
coindesk.comΒ·

Samuel Mimram β€” CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

Β πŸ—οΈCompiler Design
lix.polytechnique.frΒ·

AWS Graviton5 available via M9g and M9gd instances

Β πŸ”Property Testing
techzine.euΒ·

Issue 528

Β πŸ—οΈCompiler Design
haskellweekly.newsΒ·

Graviton5’s improved design increases speed and energy efficiency β€” beyond Moore’s law

Β πŸ”€Concurrency Β Content type: Blog
amazon.scienceΒ·Β·Hacker News

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

 🌐Distributed Systems  Content type: Video
youtube.comΒ·Β·DEV

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

Β πŸ›AFL Β Content type: Discussion

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