Feeds to Scour
SubscribedAll
Footnotes to a fortnight: ETCS, logic questions, late Beethoven
logicmatters.net·20h
λLambda Formalization
Preview
Report Post
Beyond Basic RAG: 3 Advanced Architectures I Built to Fix AI Retrieval
vibe.forem.com·1h·
Discuss: DEV
🌀Brotli Internals
Preview
Report Post
PSA: a category satisfying all but the smallness condition from Giraud’s theorem…
thehighergeometer.wordpress.com·2d
🔀Category Theory
Preview
Report Post
From design patterns to category theory (2017)
blog.ploeh.dk·3d·
Discuss: Hacker News
🔀Category Theory
Preview
Report Post
Formalization of Erdős problems
xenaproject.wordpress.com·1d
🎯Performance Proofs
Preview
Report Post
Weekly Bookmarks
inkdroid.org·6h
🌀Brotli Internals
Preview
Report Post
Refactoring and minimal examples
markjgsmith.com·18h
🔗Concatenative Programming
Preview
Report Post
Sandy Maguire: Struggling Towards an Algebraic Theory of Music
reasonablypolymorphic.com·2d
🎼Computational Musicology
Preview
Report Post
Fixed Points and Strike Mandates (2012)
pvk.ca·16h·
Discuss: Hacker News
🧮SMT Solvers
Preview
Report Post
Issue 501
haskellweekly.news·3d
🔗Functional Compilers
Preview
Report Post
How a Wedding Dress Turned Into a Python Project (And Why Love Compiles Perfectly)
dev.to·1d·
Discuss: DEV
💻Programming languages
Preview
Report Post
Cloudflare Outage: Rust Analysis
splinter.com.au·1d·
Discuss: Hacker News
🦀Embedded Rust
Preview
Report Post
LLMs Are Lexical Thijarians
vinayprabhu.substack.com·13h·
Discuss: Substack
🌀Brotli Dictionary
Preview
Report Post
How to Build an LLM-Powered Database Query Bot for Your Web App in 1 Day
semicolonandsons.com·9m·
Discuss: Hacker News
🗄️Database Internals
Preview
Report Post
Theory and AI Alignment
scottaaronson.blog·6h
🔲Cellular Automata
Preview
Report Post
Congratulations to three new doctorates!
11011110.github.io·3d
🎞️Tape Combinatorics
Preview
Report Post
Advent of Code 2025 in Lean 4 – Day 6
hamberg.no·1d
🧠Lisp Dialects
Preview
Report Post
Inside Shanya, a packer-as-a-service fueling modern attacks
news.sophos.com·8h
🏺ZIP Archaeology
Preview
Report Post
RAM Jam - why flocking together doesn’t mean you have to follow the herd.
dpconline.org·1d
🔄Archival Workflows
Preview
Report Post
Show HN: Memory System for Claude Code and Other CLIs
github.com·2d·
Discuss: Hacker News
🌳Incremental Parsing
Preview
Report Post