Feeds to Scour
SubscribedAll
Scoured 19465 posts in 259.2 ms
First Proof | Research-Level Math for AI Evaluation
1stproof.org·1d·
Discuss: Hacker News
🎯Performance Proofs
**Abstract:** This paper introduces Hyperdimensional Semantic Alignment for Ancient Text Restoration and Contextualization (HASATRC), a novel framework lever...
freederia.com·2d
📜Palimpsest Analysis
New 3D method maps Paleolithic engravings at submillimeter resolution
phys.org·17h
🦴Binary Paleography
Differential Logic • 1
inquiryintoinquiry.com·1d
📏Linear Logic
GPT-5.3-Codex
dev.to·21h·
Discuss: DEV
📜Manuscript Workflows
Note
hsu.cy·10h
🖋Typography
The Little Book of Linear Algebra
little-book-of.github.io·23h
📐Linear Algebra
List of Oldest Documents
en.wikipedia.org·1d·
Discuss: Hacker News
🗝️Paleocryptography
Evaluating Large Language Models on Solved and Unsolved Problems in Graph Theory: Implications for Computing Education
arxiv.org·1d
💻Programming languages
Before there were Four-Fours, there were four threes, and several others
pballew.blogspot.com·1d·
Discuss: Blogger
📊APL Heritage
How Associa transforms document classification with the GenAI IDP Accelerator and Amazon Bedrock
aws.amazon.com·1d
📋Document Analysis
Long-Sought Proof Tames Some of Math’s Unruliest Equations
quantamagazine.org·21h·
Discuss: Hacker News
⚔️Lean Theorem
News for January 2026
ptreview.sublinear.info·1d
📐Linear Algebra
Solving NYT Pips with DLX
github.com·7h·
Discuss: Hacker News
✅Format Verification
Build a Compiler in Five Projects
kmicinski.com·2h
🔨Compilers
Further Meditation on Taylor Series
alexkritchevsky.com·2d
⚔️Lean Theorem
The Written Word is Not Vanishing. It Is Being Reassigned
hackernoon.com·2d
📜Text Collation
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
The Library of Babel
library-of-babel-3d.netlify.app·1d·
Discuss: Hacker News
📜Manuscript Algebras
Pulling values from a graph without an LLM
leancrew.com·2d
📲Digitization

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