Feeds to Scour
SubscribedAll
Scoured 54 posts in 12.5 ms
Aether: High-performance, formally-verified storage engine written in Rust  🖥️Systems Programming
codeberg.org·2d·Hacker News
Ethereum Founder Vitalik Buterin Says AI Verification Could Help Secure Crypto Networks  ✅Formal Verification
decrypt.co·2d
New math benchmark reveals AI models confidently solve problems that have no solution  🧠Reasoning Models
the-decoder.com
·3d
How a Compiler Turns Your Code Into CPU Instructions  ⚙️Compilers
siliconopera.com·2d
Hitchhiker's Guide to Logical Verification (2023 Edition)  📐Theorem Proving
lean-forward.github.io·5d·Hacker News
Autonomous AI needs safeguards beyond model-level guardrails  🤖AI Agents
techmonitor.ai·2d
RT by @ylecun: EBM are so back!  📊LLM Evaluation
twitter.macworks.dev·5d
Futurelock: A subtle risk in async Rust  🦀Rust Async
news.ycombinator.com·4d·Hacker News
bitdevs-list/list-2026-may.md at main  💾Storage Engines
github.com·5d
Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement  ✅Formal Verification
arxiv.org·6d
Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models  🔨Program Synthesis
arxiv.org·6d
LeanBET: Formally-verified surface area calculations in Lean  📐Theorem Proving
arxiv.org·3d
Autonomous AI needs safeguards beyond model-level guardrails, study finds  🤖AI Agents
tech.yahoo.com·2d
Bridging Legal Interpretation and Formal Logic: Faithfulness, Assumption, and the Future of AI Legal Reasoning  📜Constitutional AI
arxiv.org·6d

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