Feeds to Scour
SubscribedAll
Scoured 23089 posts in 949.8 ms
On This Day in Math
pballew.blogspot.com·4d·
Discuss: Blogger
📜Manuscript Calculus
"The height of nonsense": Oracle co-founder Larry Ellison’s 1987 argument that not everything should be AI makes perfect sense in 2026
techradar.com
·3d
🕹Emulation Theory
AI in Web Development: Beyond Just Writing Code
dev.to·3d·
Discuss: DEV
🗣️Domain-Specific Languages
The Secret Life of Python: The Safety Net ('try' and 'except')
dev.to·5d·
Discuss: DEV
⚔️Lean Tactics
Characterizing, Evaluating, and Optimizing Complex Reasoning
arxiv.org·2d
🧠Computational Logic
VERIFY-RL: Verifiable Recursive Decomposition for Reinforcement Learning in Mathematical Reasoning
arxiv.org·2d
⚔️Lean Tactics
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·4d
📝Concrete Syntax
Oatmeal - Constraint propagation for fun
eli.li·4d·
Discuss: Lobsters, Hacker News
🧮Z3 Solver
Logic Puzzles: Why the Liar Is the Helpful One
blog.szczepan.org·5d·
Discuss: Hacker News
🔲Proof Irrelevance
Python’s Truthiness: A Code Smell Worth Sniffing
owl.billpg.com·5d·
Discuss: Hacker News
🧪Binary Fuzzing
Code only says what it does
brooker.co.za·4d·
Discuss: Hacker News
📜Proof Carrying Code
To Be Determined
anekstein.com·3d·
Discuss: Hacker News
🧮Z3 Solver
Show HN: Claude has a compiler, I have SlopScript
slopscript.netlify.app·3d·
Discuss: Hacker News
⚔️Lean Tactics
Circumstantial Complexity, LLMs and Large Scale Architecture
datagubbe.se·4d·
Discuss: Lobsters, Hacker News
⚙️Proof Engineering
Jokes on You AI: Turning the Tables
dev-log.me·3d·
Discuss: Hacker News
⚔️Lean Tactics
CSCI 49201 - Functional Programming in OCaml
a-nikolaev.github.io·6d·
Discuss: Hacker News
🧬Functional Programming
six thoughts on generating c
wingolog.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
AI Orchestrators Decision Table
gist.github.com·3d·
Discuss: Hacker News
⚡Proof Automation
These Mathematicians Are Trying to Educate A.I.
nytimes.com
·4d·
Discuss: Hacker News
🎯Performance Proofs
Prove_it – Force Claude to verify its work
github.com·3d·
Discuss: Hacker News
⚡Proof Automation

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