Feeds to Scour
SubscribedAll
Scoured 8052 posts in 89.4 ms
Designing and Comparing RPQ Semantics
arxiv.org·13h
⚙Operational Semantics
Generalized Decidability via Brouwer Trees
arxiv.org·1d
🔢Computability Theory
OK, what's the difference between coherence and representation theorems?
lesswrong.com·3d
🔢Philosophy of Mathematics
A Conceptual Framework for Exploration Hacking
lesswrong.com·1d
🐫OCaml
Show HN: A forced ranking exercise to stop priority inflation
cognu.app·3d·
Discuss: Hacker News
🕸️Graph Theory
C-- Home
cs.tufts.edu·3d·
Discuss: Lobsters
⚙️Compiler Design
The calculus tutorial just shipped!
minireference.com·1d·
Discuss: Hacker News
🔀Brzozowski Derivatives
Struggling Towards an Algebraic Theory of Music
reasonablypolymorphic.com·3d·
Discuss: Hacker News
➡️Category Theory
Mathematicians disagree on the essential structure of the complex numbers
infinitelymore.xyz·3d·
Discuss: Hacker News
🔢Philosophy of Mathematics
Architectural and Mathematical Foundations of Machine Learning: A Rigorous Synthesis of Theory, Geometry, and Implementation
chizkidd.github.io·2d·
Discuss: Hacker News
📐Linear Algebra
ArXiv Endorsement for Paper on Neuro-Symbolic Architecture for Financial Agents
news.ycombinator.com·2d·
Discuss: Hacker News
🔀Brzozowski Derivatives
The State of Agentic Graph RAG
localoptimumai.substack.com·3d·
Discuss: Substack
🧩Parser Combinators
Secret Criticism
medium.com·3d·
Discuss: Hacker News
🔬Static Analysis
Show HN: Japanese ma is the most underrated design system in front end
opale-ui-mugen.vercel.app·1d·
Discuss: Hacker News
📵Digital Minimalism
Show HN: Multi-attribute decision frameworks for tech purchases
news.ycombinator.com·3d·
Discuss: Hacker News
🧠Automated Reasoning
Large Language Models for Mortals book released
crimede-coder.com·3d·
Discuss: Hacker News
🎯Hindley-Milner
Expectation and Copysets
buttondown.com·3d·
Discuss: Hacker News, Hacker News
🔢Algebraic Data Types
How to Keep What You Built Together
claudepress.substack.com·3d·
Discuss: Substack
🔄Reproducible Builds
What Functional Programmers Get Wrong About Systems
iankduncan.com·3d·
Discuss: Lobsters, Hacker News, r/programming
💎Refinement Types
Show HN: Self-hosted MCP server for SQL, SSH, and FAISS indexing
github.com·3d·
Discuss: Hacker News
🐳Containerization

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