Feeds to Scour
SubscribedAll
Scoured 9498 posts in 158.9 ms
Automata on Graph Alphabets
arxiv.org·16h
🔀Brzozowski Derivatives
Building a Regex Engine with a team of parallel Claudes
lesswrong.com·20h
🧩Parser Combinators
Bringing a jewel-encrusted warhammer to a knife fight
reorchestrate.com·16m·
Discuss: Hacker News
🛡️seL4
Part 1 - AI Chat Evaluation of the Formal Language in He Xin's PEPC System
news.ycombinator.com·5h·
Discuss: Hacker News
🧠Automated Reasoning
FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
arxiv.org·16h
🎯GADT
punctilio: the best text prettifier
lesswrong.com·16h
🔤Typography
C-- Home
cs.tufts.edu·1d·
Discuss: Lobsters
⚙️Compiler Design
The inverted index pattern
jamesg.blog·7h·
Discuss: Hacker News
🕸️Graph Theory
Building Reliable AI Applications: A Validation Strategy
dev.to·3d·
Discuss: DEV
🔀Brzozowski Derivatives
[TUHS] bare m4 (was BTL summmer employees)
tuhs.org·4h·
Discuss: Lobsters
🐫Embedded OCaml
Proving What's Possible
buttondown.com·2h
🔍Formal Verification
Architecture of SQLite
sqlite.org·8h·
Discuss: Hacker News
🔢Algebraic Data Types
Struggling Towards an Algebraic Theory of Music
reasonablypolymorphic.com·1d·
Discuss: Hacker News
➡️Category Theory
The middle ground between canonical models and data mesh
frederickvanbrabant.com·1d·
Discuss: r/programming
🔢Algebraic Data Types
miniKanren.org
minikanren.org·2d·
Discuss: Lobsters
📦Module Systems
A practical systems engineering guide: Architecting AI-ready infrastructure for the agentic era
thenewstack.io·1d
🌐Network Protocols
Building a semantic search engine in ±250 lines of Python
bart.degoe.de·1d·
Discuss: Hacker News
🔁Fixed-Point Theory
Databases should contain their own Metadata
floedb.ai·5h·
Discuss: Hacker News
🎯GADT
Show HN: Latent-k – Persistent dependency map to reduce AI coding token usage
latentk.org·7h·
Discuss: Hacker News
📦OPAM
aeromomo/claw-compactor: 🦞 Claw Compactor — The 98% Crusher. Cut your AI agent token spend in half with 5 layered compression techniques.
github.com·2h·
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