Feeds to Scour
SubscribedAll
Scoured 76 posts in 127.3 ms
Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair 聽馃敚Tacit Programming
arxiv.org路1d
An Experiment in Formal Verification with Claude 聽馃敚Tacit Programming
blog.succinct.xyz路8h
Verifying Consensus Protocols from LLM-assisted TLA$^+$: A Case Study of Byzantine Reliable Broadcast 聽馃敚Tacit Programming
eprint.iacr.org路3d
Formal Verification Gates for AI Coding Loops 聽馃敘Array Languages
news.ycombinator.com路1h路Hacker News
Vitalik Buterin says AI 'formal verification' could actually make crypto much more secure 聽馃敚Tacit Programming
coindesk.com
路2d
Formal Verification Gates for AI Coding Loops 聽馃敘Array Languages
reubenbrooks.dev路11h路Hacker News
theory uplift differentially benefits safety & is underleveraged 聽馃敚Tacit Programming
lesswrong.com路5h
Portland PLV Group 聽馃敘Array Languages
plv.cs.pdx.edu路5d
How we used Quint to find over 10 bugs in SQLite while hardening Turso 聽馃敚Tacit Programming
turso.tech路1d路Lobsters, Hacker News
is the new math result neurosymbolic with Lean, harnesses etc or a pure LLM? 聽馃敚Tacit Programming
twitter.macworks.dev路5h
A shallow dive into formal verification 聽馃敚Tacit Programming
vitalik.eth.limo路2d路Hacker News, Hacker News
Kernl - Programming Language for LLMs 聽馃敘Array Languages
github.com路3d路r/ClaudeAI
Anthropic eases threat-sharing rules as Cloudflare details frontier AI cyber gains 聽馃敘Array Languages
metacurity.com路1d
An introduction to TLA+ and its use in parties (2023) 聽馃敘Array Languages
innoq.com路4d路Hacker News
Ethereum Founder Vitalik Buterin Says AI Verification Could Help Secure Crypto Networks 聽馃敚Tacit Programming
decrypt.co路2d
Introducing Dimster, a performance benchmarking tool for Apache Kafka 聽馃敚Tacit Programming
jack-vanlightly.com路12h
Vitalik Buterin says AI-assisted "formal verification" could help secure blockchain networks, smart contracts, and cryptographic systems against software flaws ... 聽馃敚Tacit Programming
techmeme.com路2d
Programmable Phones 聽馃敘Array Languages
tailrecursion.com路5d路Hacker News
The Memo - Special edition - First ASI indicators achieved (#4 & #5 mathematics) 聽馃敘Array Languages
lifearchitect.substack.com路5h路Substack
I ran the same complex prompts on ChatGPT, Claude, and Gemini 聽馃敘Array Languages
xda-developers.com路1d

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