🗄️ Database Internals - shanesveller · Scour

Query Optimization and Evaluation via Information Theory: A Tutorial 📉Predicate Pushdown

arxiv.org·1d

Perils of Parallelism: Transaction Fee Mechanisms under Execution Uncertainty ⏱️Timely Dataflow

eprint.iacr.org·6d

Untangling Tokio and Rayon in production: From 2s latency spikes to 94ms flat ⚡Tokio

posthog.com·1d·Lobsters

SQL-first code generator for PostgreSQL (Haskell, Rust, Java) 🎮Bevy

pgenie.io·6d·Lobsters

All of the String types 🔌LSP

lambdalemon.gay·1d·Lobsters, Hacker News

Borrow-checking surprises 🦀Rust

scattered-thoughts.net·2d·Lobsters

Rewrites.bio: 60x speedup in Genomics QC + AI rewrite guidelines for Science 🏗️Cranelift

rewrites.bio·6d·Lobsters, Hacker News

A real-world case of property-based verification 📋Lightweight Formal Methods

ochagavia.nl·4d·Lobsters, Hacker News, r/rust

Streaming Chain ⏱️Timely Dataflow

arxiv.org·20h

A tail-call interpreter in (nightly) Rust 🦀Rust

mattkeeter.com·3d·Lobsters, Hacker News, r/rust

Rust syntax, Go runtime 🦀Rust

lisette.run·5d·Lobsters, Hacker News, Hacker News, r/golang, r/rust

Semantic Trimming and Auxiliary Multi-step Prediction for Generative Recommendation 📉Predicate Pushdown

arxiv.org·20h

Batch Verification of Modified ECDSA Signatures ✍️Threshold Signatures

eprint.iacr.org·3d

SelRoute: Query-Type-Aware Routing for Long-Term Conversational Memory Retrieval 🔌LSP

arxiv.org·2d

Domain-Adapted Retrieval for In-Context Annotation of Pedagogical Dialogue Acts 🔮SNARKs

arxiv.org·2d

Too much of a good thing? Entrepreneurial orientation and the non-linear governance effects of SaaS platforms 🦋ATProto

arxiv.org·2d

Efficient Merkle-Tree Consistent Accumulator #️⃣BLAKE3

eprint.iacr.org·2d

Making Array-Based Translation Practical for Modern, High-Performance Buffer Management ⏭️Skip Lists

arxiv.org·6d

Detecting Complex Money Laundering Patterns with Incremental and Distributed Graph Modeling 🕸️Graph Algorithms

arxiv.org·5d

Transforming OPACs into Intelligent Discovery Systems: An AI-Powered, Knowledge Graph-Driven Smart OPAC for Digital Libraries 🕸️Oxigraph

arxiv.org·5d

Loading more...