SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
🔤type system theory and implementation
Flag this post
UnisonDB — A Log-Native Database for Edge AI and Edge Computing
🗄databases and optimization
Flag this post
From 'Why the F@&k Do I Need This?' to 'Oh, That's Why' - My GAT Journey
🔤type system theory and implementation
Flag this post
I logged all the HTTP requests that hit my new web server
lenny.bearblog.dev·8h
Flag this post
Joy & Curiosity #61
registerspill.thorstenball.com·50m
Flag this post
American Wind Farms
🐘PostgreSQL
Flag this post
glacier-creative-git/knowledge-graph-traversal-semantic-rag-research: Completed research on semantic retrieval augmented generation through novel knowledge grap...
github.com·2h
Flag this post
A^2FM: An Adaptive Agent Foundation Model for Tool-Aware Hybrid Reasoning
🗄databases and optimization
Flag this post
Enhancing your .NET API with query language
🐘PostgreSQL
Flag this post
Book review: “Build a DeepSeek Model (From Scratch)”
🔤type system theory and implementation
Flag this post
Training-efficient density quantum machine learning
nature.com·1d
🗄databases and optimization
Flag this post
Weekly #45-2025: PHP Tricks, LLM Collaboration, SQL Speedups, and the Future of Web Payments
Flag this post
All You Need to Know About Chunking in Agentic RAG
pub.towardsai.net·1d
🗄databases and optimization
Flag this post
Harness the Power of Atlas Search and Vector Search with $RankFusion
🗄databases and optimization
Flag this post
Loading...Loading more...