Feeds to Scour
SubscribedAll
Scoured 26588 posts in 19.3 ms
On Reasoning-Centric LLM-based Automated Theorem Proving  🧮Theorem Proving
arxiv.org·3d
Why not use Lean?  🔬Lean
lawrencecpaulson.github.io·2d·Hacker News
Food for Agile Thought #541: GPT-5.5, Product Managers&Trouble, Product on Speed  🔄Language Evolution
age-of-product.com·1d·Hacker News
Lean Squad: Exploring Automated Software Verification with Near-Zero Human Labour  ⚔️Lean Tactics
dsyme.net·5d·Hacker News
AI and Teaching  🧭Content Discovery
eiexchange.com·2d·Hacker News
Signal Shot: verify the Signal protocol and its Rust implementation using Lean  ⚔️Lean Tactics
leodemoura.github.io·5d·Lobsters, Hacker News
Pentimenti  🧪Manuscript Chemistry
nybooks.com·2d
Mechanistic interpretability and lean  ⚔️Lean Tactics
alok.github.io·4d
LemmaScript: A Verification Toolchain for TypeScript via Dafny  ✅Format Verification
midspiral.com·3d·Lobsters, Hacker News
Verus is a tool for verifying the correctness of code written in Rust  🦀Rust Verification
verus-lang.github.io·5d·Hacker News
Verified Deep Learning with Lean 4  ⚔️Lean Tactics
brettkoonce.github.io·4d·Hacker News
The Brave New World  🗜️LZW Variants
steveblank.com·3d·Hacker News
I built an AI app with a tiny team. We scaled it to millions and sold it to MyFitnessPal in under 2 years  💾Persistence Strategies
businessinsider.com
·5d
From Fuzzy to Formal: Scaling Hospital Quality Improvement with AI  🧠Intelligence Compression
arxiv.org·2d
O'Reilly Auto Parts: Time To Lean In (NASDAQ:ORLY)  🔄RSS Infrastructure
seekingalpha.com
·3d
In Telluride, new regulations designed to help renters are instead driving many out of town  💻Local first
coloradosun.com·6d·Hacker News
Learning to Reason with Insight for Informal Theorem Proving  🧮Theorem Proving
arxiv.org·5d
Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs  🎯Performance Proofs
arxiv.org·3d
Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints  👑Isabelle
arxiv.org·5d
Formalizing Gr\"obner Basis Theory in Lean  🔬Lean
arxiv.org·4d

No more posts from matmat's subscribed feeds.

Scour all 24370 feedsLearn more about Feeds

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