Feeds to Scour
SubscribedAll
Scoured 9339 posts in 433.9 ms
Test-Time Compute Games
arxiv.org·4d
🧪Property-Based Testing
Preview
Report Post
Formally Verifying PBS Kids with Lean4
shadaj.me·1d·
Discuss: Hacker News
🧠Automated Reasoning
Preview
Report Post
Proof-RM: A Scalable and Generalizable Reward Model for Math Proof
arxiv.org·20h
✓Automated Theorem Proving
Preview
Report Post
Introduction to Algorithms and Machine Learning from Sorting to Strategic Agents
justinmath.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Preview
Report Post
Gym-Like Environment for LM Truth-Seeking
lesswrong.com·6d
✓Automated Theorem Proving
Preview
Report Post
Formal Verification of Safety Constraints in Autonomous Reinforcement Learning Agents
dev.to·6d·
Discuss: DEV
✅Model Checking
Preview
Report Post
The Heartbeat of Tetris 🟥🟥🟥🟥: What a 1x1 Pixel Taught Me About Concurrency
qianarthurwang.substack.com·7h·
Discuss: r/programming
🔲Cellular Automata
Preview
Report Post
Advancing AI benchmarking with Game Arena
blog.google·2d·
Discuss: Hacker News
📚Automata Learning
Preview
Report Post
michaelwhitford/ouroboros: An AI vibe-coding game
github.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Preview
Report Post
Verifying coding AIs for LLM powered software
aunhumano.com·4h·
Discuss: Hacker News
🔍Formal Verification
Preview
Report Post
Reasoning About Things Without Choosing Them
cognitivelayer.substack.com·6d·
Discuss: Substack
🔢Philosophy of Mathematics
Preview
Report Post
New AI Quiz Generator
learvo.com·6h·
Discuss: Hacker News
📚Automata Learning
Preview
Report Post
LLMs versus the Halting Problem: Revisiting Program Termination Prediction
orensultan.com·1d·
Discuss: Hacker News
🔍CBMC
Preview
Report Post
Learn Lean (A Language for Mathematical Proofs) from a Programmer's Perspective
dataisland.org·4d·
Discuss: Hacker News
🔗Curry-Howard
Preview
Report Post
A suite of interactive tools for board games and parties
funbox.space·11h·
Discuss: Hacker News
🌐ActivityPub
Preview
Report Post
Title: Show HN: SymDerive – A functional, stateless symbolic math library
news.ycombinator.com·2d·
Discuss: Hacker News
📝Nix Language
Preview
Report Post
The longest possible chess game, and bounds on the number of possible chess games
wismuth.com·1d·
Discuss: Hacker News
🧩SAT Solvers
Preview
Report Post
Taming the Flat AST: Ergonomics in the Age of Zero Allocations
modern-c.blogspot.com·5h·
Discuss: Lobsters, r/golang
🐫Embedded OCaml
Preview
Report Post
How to explain Generative AI in the classroom
dalelane.co.uk·6d·
Discuss: Hacker News
📚Automata Learning
Preview
Report Post
AI Agents in Data Science Competitions: Lessons from the Leaderboard
drivendata.co·2d·
Discuss: Hacker News
🧠Automated Reasoning
Preview
Report Post

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
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