Feeds to Scour
SubscribedAll
Scoured 258040 posts in 2.92 s
the pile of books on my desk
lollar.bearblog.dev·2d
🤐Zipper Structures
Preview
Report Post
Mathematicians spent 2025 exploring the edge of mathematics
newscientist.com·1d
Mathematical DSLs
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.org·1d
🧮Theorem Provers
Preview
Report Post
Natural language processing for word sense disambiguation and information extraction
arxiv.org·16h·
Discuss: r/compsci
🧠Semantic Parsing
Preview
Report Post
Stanford CS 224N | Natural Language Processing with Deep Learning
web.stanford.edu·1d
🪜Recursive Descent
Preview
Report Post
Algebraic Topology 1: Homotopy Equivalence
youtube.com·9h
🔗Category Theory
Preview
Report Post
T3X.ORG nmhbasic/index
t3x.org·10h·
Discuss: Hacker News
💻Terminal Control
Preview
Report Post
Treating Functions as Vectors in Hilbert Space
hackaday.com·1d
λLambda Calculus
Preview
Report Post
Introducing the XLab AI Security Guide
lesswrong.com·7h
🛡️Security Type Systems
Preview
Report Post
TRUNAJOD: A text complexity library for text analysis built on spaCy — TRUNAJOD 0.1.1 documentation
trunajod20.readthedocs.io·9h
🔤Language Tokenizers
Preview
Report Post
California Hospital Safety, Saskatoon Lake Fishing, 2025 Microsoft Excel World Championships, More: Thursday Afternoon ResearchBuzz, December 25, 2025
researchbuzz.me·2d
📋JSON Parsing
Preview
Report Post
The Origins and Motivations of Univalent Foundations | Ideas
ias.edu·4h
🏗️Calculus of Constructions
Preview
Report Post
Everything Is a Number
francescocarlucci.com·1d·
Discuss: Hacker News
📏Linear Logic
Preview
Report Post
From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.io·1d
🎯Symbolic Execution
Preview
Report Post
How to use the SCAN function in Microsoft Excel to calculate running totals
howtogeek.com·9h
📝Editor Buffers
Preview
Report Post
Engaging Students in STEM Careers
southernminn.com
·14h
🌳Parser Visualization
Preview
Report Post
What I Learned Building a Storage Engine That Outperforms RocksDB
tidesdb.com·2h·
🔗Memory Linearization
Preview
Report Post
Undergraduate education in the age of large language models
thehindubusinessline.com·1d
🌱Minimal ML
Preview
Report Post
Human Processor Model
en.wikipedia.org·22h·
Discuss: Hacker News
🏰Capability Machines
Preview
Report Post