Generalized Consensus: Recap
multigres.comยท2d
๐ณ๏ธRaft Consensus
Flag this post
Optimizing filtered vector queries from tens of seconds to single-digit milliseconds in PostgreSQL
clarvo.aiยท15h
๐งฎVector Databases
Flag this post
We built a collaboration platform on Claude Code. Here's what we learned.
๐คAutomation
Flag this post
Inside Pinecone: Slab Architecture
๐Columnar Storage
Flag this post
The state of SIMD in Rust in 2025
๐SIMD Programming
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.orgยท19h
๐งฎSMT Solvers
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.orgยท19h
๐ฌPrompt Engineering
Flag this post
LazyLLM, Easiest and laziest way for building multi-agent LLMs applications
๐ฌPrompt Engineering
Flag this post
The 2-hour upgrade: coder engineer
๐งDevOps
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.orgยท1d
๐ณMergeable Trees
Flag this post
Rodrigo Girรฃo Serrรฃo: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.comยท1d
ฮปFunctional Programming
Flag this post
Tetris: An SLA-aware Application Placement Strategy in the Edge-Cloud Continuum
arxiv.orgยท1d
๐Edge Computing
Flag this post
Reinforcement Learning: How Machines Learn to Make Smart Choices Like You Do
๐ฏReinforcement Learning
Flag this post
Automated REST API Anomaly Detection via Graph Neural Network-Driven Causal Inference
๐ฑEdge AI
Flag this post
The Unseen Architecture of Python: Mastering Environments, Typing, and Memory
๐Python
Flag this post
Redundancy Maximization as a Principle of Associative Memory Learning
arxiv.orgยท19h
๐Dynamic Programming
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.orgยท1d
๐Graph Algorithms
Flag this post
Loading...Loading more...