🔐 Database Concurrency - linearizable · Scour

No high-quality results found.

Less-relevant results

MySQL vs PostgreSQL Internals (Part 2) — MVCC (Multi-version Concurrency Control)

kernelmaker.github.io·2d

Two fold question: Is there validity towards Flat Iron School and its proposed online assessment of difficulty resulting in 5-6% acceptance. Is this a reputable...

flatironschool.com·2h·

Discuss: r/coding

📝Database WAL

Breaking User-Centric Agency: A Tri-Party Framework for Agent-Based Recommendation

arxiv.org·5h

🔍Information Retrieval

S-HPLB: Efficient LLM Attention Serving via Sparsity-Aware Head Parallelism Load Balance

arxiv.org·5h

🗂️Vector Indexes

Enzyme Detergents are Magic

aphyr.com·19h

🔄Cache Replacement

9am coding contest

9am.careers·1h·

Discuss: r/coding

🧮SMT Solvers

Implementing Secure Zero-Touch Provisioning in AI and Edge Infrastructure

linux.com·20h

📡Low-Level Networking

Fault Lines: Benchmarking the Impact of Label Data Quality on ML Robustness and Fairness

vldb.org·1d

🔍Vector Search Algorithms

On quadratic equations of $q$-regular tree and their applications in Graph Theory and Cryptography.

eprint.iacr.org·1d

🧮SMT Solvers

AgileAI: Turning Agile into “Sprintathons” for AI-driven development

github.com·14h·

Discuss: r/coding

⚙️JIT Compilation

TLA+ as a Design Accelerator: Lessons from the Industry

muratbuffalo.blogspot.com·1d·

Discuss: Lobsters, Hacker News, Blogger

Efficient Partition-based Approaches for Diversified Top-k Subgraph Matching

vldb.org·1d

📇Vector Indexing

Migrate Cloud SQL for MySQL to Amazon Aurora and Amazon RDS for MySQL Using AWS DMS

aws.amazon.com·16h

💾Storage Replication

The Axiom of Univalence

bartoszmilewski.com·1d·

Discuss: Hacker News

🧮SMT Solvers

The Talent Pipeline Is Collapsing. Your Team Will Feel It Next.

newsletter.thelongcommit.com·11h·

Discuss: Hacker News, r/coding

👑Leader Election

From raw interaction to reusable knowledge: Rethinking memory for AI agents

microsoft.com·1d

⚡Hardware Transactional Memory

Siri is basically useless, so we built a real AI autopilot for iOS that is privacy first (TestFlight Beta just dropped)

testflight.apple.com·1d·

Discuss: r/coding

💾Flash Storage

//go:fix inline and the source-level inliner

go.dev·2d·

Discuss: Lobsters, Hacker News, r/programming

⚙️JIT Compilation

Trustworthy Agent Network: Trust in Agent Networks Must Be Baked In, Not Bolted On

eprint.iacr.org·1d

🌐Distributed Systems

nominal types in webassembly

wingolog.org·2d·

Discuss: Lobsters, Hacker News, r/programming

Loading more...