New Benchmark suite for analytical DBs using real-world SQL queries
github.com·2h·
Discuss: Hacker News
📝Database WAL
Graph Convolutional Branch and Bound
arxiv.org·1d
🧮Vector Embeddings
Binary Search in a 2D Matrix
mmhaskell.com·1d
📐Error Bounds
Machine Learning Fundamentals: decision trees project
dev.to·4h·
Discuss: DEV
🔗Topological Sorting
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·19h·
Discuss: Hacker News
🔍Type Inference
Valuable News – 2025/07/14
vermaden.wordpress.com·1d
🔌Operating system internals
Computer Architecture: A quantitative approach
ikerexxe.github.io·1d
🖥️Hardware Architecture
Embedding User-Defined Indexes in Apache Parquet Files
datafusion.apache.org·1d·
Discuss: Lobsters, Hacker News, r/programming
💾Database Formats
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·4h·
Discuss: Hacker News, r/programming
🔒Type Safety
It’s Not What You Pay, It’s How Fast You Play: A History of MEV
hackernoon.com·3h
🖥️Terminal Renaissance
Discussing Decision Trees: What Makes a Good Split?
machinelearningmastery.com·7h
🌳Huffman Trees
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·20h·
Discuss: Hacker News
🛡️Preservation Proofs
Show HN: OrioleDB Beta12 Features and Benchmarks
orioledb.com·7h·
Discuss: Hacker News
🗃️Database Storage
Row Polymorphic Programming
stranger.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
Song recommendations with pipes and filters
blog.ploeh.dk·1d
λLambda Formalization
Historical highlights?
logicmatters.net·8h
🔀Category Theory
Categorical Features: The Backbone of Search & Recs Engineering
shaped.ai·19h
🧠Learned Indexing
Billions of Edges per Second with Postgres
onesparse.com·47m·
Discuss: Hacker News
🗜️Graph Compression
From Equal Weights to Smart Weights: OTPO’s Approach to Better LLM Alignment
towardsdatascience.com·2h
🧮Kolmogorov Bounds
Students, here are 5 key things to know when learning how to train large language models
techradar.com·1h
💻Local LLMs