Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·12h
💎Information Crystallography
N8n vs. Windmill vs. Temporal
blog.arcbjorn.com·22h·
Discuss: Hacker News
🌊Stream Processing
CubicLog – A single-binary logging server with zero-config smart analytics
github.com·1d·
Discuss: Hacker News
📝Log Parsing
rule-router: I built a high-performance rule engine for NATS in Go
reddit.com·1d·
Discuss: r/golang
🌊Streaming Systems
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to·1d·
Discuss: DEV
🗄️Database Internals
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·8h·
Discuss: Hacker News
🎯Performance Proofs
The Library Method: Understanding @cache
dev.to·21h·
Discuss: DEV
⚡Cache Theory
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·8h·
Discuss: DEV
📊Multi-vector RAG
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
HiPRAG: Hierarchical Process Rewards for Efficient Agentic Retrieval Augmented Generation
arxiv.org·18h
⚡Proof Automation
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
AI Renaissance: Bridging the Gap Between Intuition and Logic
dev.to·12h·
Discuss: DEV
🤖Paleographic AI
Preference-aware routing for Claude Code 2.0
archgw.com·1d·
Discuss: Hacker News
🔗Topological Sorting
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·2h·
Discuss: DEV
⚡Incremental Computation
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·20h·
Discuss: Hacker News, r/programming
✅Format Verification
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·14h·
Discuss: Hacker News
✨Effect Handlers
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📈Linear programming
Fast-Convergent Proximity Graphs for Approximate Nearest Neighbor Search
arxiv.org·2d
📏Range Queries
IKNet: Interpretable Stock Price Prediction via Keyword-Guided Integration of News and Technical Indicators
arxiv.org·18h
🧠Learned Indexing