Feeds to Scour
SubscribedAll
Scoured 254936 posts in 1.56 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ยท20hยท
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ยท14h
๐Ÿ”—Category Theory
Preview
Report Post
LLM & AI Agent Applications with LangChain and LangGraphโ€Šโ€”โ€ŠPart 1
pub.towardsai.netยท1h
๐ŸŒฑMinimal ML
Preview
Report Post
T3X.ORG nmhbasic/index
t3x.orgยท15hยท
Discuss: Hacker News
๐Ÿ’ปTerminal Control
Preview
Report Post
Introducing the XLab AI Security Guide
lesswrong.comยท12h
๐Ÿ›ก๏ธ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ยท14h
๐Ÿ”คLanguage Tokenizers
Preview
Report Post
Treating Functions as Vectors in Hilbert Space
hackaday.comยท2d
ฮปLambda Calculus
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
Everything Is a Number
francescocarlucci.comยท1dยท
Discuss: Hacker News
๐Ÿ“Linear Logic
Preview
Report Post
The Origins and Motivations of Univalent Foundations | Ideas
ias.eduยท9h
๐Ÿ—๏ธCalculus of Constructions
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ยท14h
๐Ÿ“Editor Buffers
Preview
Report Post
Engaging Students in STEM Careers
southernminn.com
ยท19h
๐ŸŒณParser Visualization
Preview
Report Post
Undergraduate education in the age of large language models
thehindubusinessline.comยท1d
๐ŸŒฑMinimal ML
Preview
Report Post
What I Learned Building a Storage Engine That Outperforms RocksDB
tidesdb.comยท7hยท
๐Ÿ”—Memory Linearization
Preview
Report Post