🌲 CedarDB - hello · Scour

CPU-less parallel execution of lambda calculus in digital logic

arxiv.org·1d

🔓Lock-Free Programming

Making an LSP for great good

thunderseethe.dev·1d·

Discuss: Lobsters, Hacker News

A Quest to Find the Fastest Search Stack

dev.to·19h·

Discuss: DEV

🗄️Database Internals

Prisma 7: Rust-Free Architecture and Performance Gains

infoq.com·2d·

Discuss: Hacker News

DevBench: A Realistic, Developer-Informed Benchmark for Code Generation Models

arxiv.org·1d

📊Profile-Guided Optimization

Hornet UTXO(1): A custom, constant-time, highly parallel UTXO database

delvingbitcoin.org·3d

🌳Merkle Trees

Qdrant - Vector Database

qdrant.tech·1d

Streamlining CUB with a Single-Call API

developer.nvidia.com·12h

Taking the axe to AI

newelectronics.co.uk·22h

TigerBeetle vs PostgreSQL Performance: Benchmark Setup, Local Tests

softwaremill.com·1d

🐅TigerBeetle Protocol

SHADOW: Simultaneous Multi-Threading Architecture with Asymmetric Threads

danglingpointers.substack.com·1d·

Discuss: Substack

🧵Lightweight Threads

Production-Ready ML Projects: Why Structure Matters More Than Your Model

pub.towardsai.net

·5h

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·21h

🦀Rust Macros

ClickPy at 2 Trillion rows: Scaling ingestion and fixing the past

clickhouse.com·22h

📊Vectorized Query Execution

**Abstract:** This research proposes a novel system, the Recursive Proof Verification Engine (RPVE), that dramatically accelerates the verification of theore...

freederia.com·2d

🧮SMT Solvers

Randomization in Typst

idraluna-archives.bearblog.dev·14h

🎲Deterministic Simulation

Graph-based refactor analysis for Go projects , Arbor v1.4

reddit.com·1d·

Discuss: r/golang

Template Interpreters

zackoverflow.dev·2d

🎯Escape Analysis

Show HN: BackBuild – A framework for sequencing complex software delivery

arcaned.co·21h·

Discuss: Hacker News

🏗️Cranelift

The Evolution of Redis: From Cache to AI-Database (V1.0 to 8.4)

percona.com·20h

🐉DragonflyDB

Loading more...