Feeds to Scour
SubscribedAll
Scoured 387 posts in 35.1 ms
An Experiment in Formal Verification with Claude  🎯Performance Proofs
blog.succinct.xyz·10h
A shallow dive into formal verification  👑Isabelle
vitalik.eth.limo·2d·Hacker News, Hacker News
Verifiers and Generators: Epistemic Semantics for Intuitionistic Logic (Long Version)  🔲Proof Irrelevance
arxiv.org·3d
Show HN: Sentinel – browser agent using 3x+ fewer tokens (open benchmark)  ⚡Proof Automation
github.com·1d·Hacker News
Formal Verification Gates for AI Coding Loops  ⚡Proof Automation
reubenbrooks.dev·13h·Hacker News
Mathlib Initiative: Roadmap  ⚙️Proof Engineering
mathlib-initiative.org·5d·Hacker News
Using algebra and LLMs to verify a flight-plan bug fix in Lean  ⚔️Lean Tactics
jameshaydon.github.io·2d·Lobsters, Hacker News, r/programming
The Hidden Currency of AI  🎙️Whisper
are-you-burning-tokens.vercel.app·15h·Hacker News
Marathon's future includes duo queues, more PvE modes and better onboarding  🖥️Terminal Renaissance
engadget.com·5d
Eva v Goliath: the 20-year-old climate activist taking on Trump and the fossil fuel industry  🧊Arctic Storage
theguardian.com·16h
Show HN: Good Terminal Color Schemes Are Rare, So I Wrote a Generator  🔠Terminal Fonts
octalwave.com·1d·Hacker News
The Incompatibilities Between Generative AI and Art: Q&A with Ted Chiang  🏛Digital humanities
cdh.princeton.edu·1d·Hacker News
Sinsesgo: An autonomous daily briefing on Spanish media bias  📡RSS Readers
bertini36.github.io·5d·Hacker News
Theo Baker spent four years investigating Stanford. Before he leaves, here’s what he found.  🧮Theoretical Computer Science
techcrunch.com·1d
Programmable Phones  🔌Interface Evolution
tailrecursion.com·5d·Hacker News
distillation-labs/agentyc: Agentyc - lightweight MCP-first browser automation runtime  🎬WebCodecs
github.com·1d·Hacker News
LeanBET: Formally-verified surface area calculations in Lean  ⚔️Lean Tactics
arxiv.org·3d
kouhxp/cheap-im: CPU-only voice agent approximating Thinking Machines' Interaction Models demo  🎙️Whisper
github.com·3d·Hacker News
Eliminating reversals from cubical type theories  🔶Cubical Type Theory
arxiv.org·6d
Constructive higher sheaf models with applications to synthetic mathematics  🏗️Constructive Mathematics
arxiv.org·6d

No more posts from matmat's subscribed feeds.

Scour all 24650 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