P Verified
b-hilprecht.github.io·2h·
Discuss: Lobsters, Hacker News
🤝Distributed Consensus
Back-end Design Patterns in Rails Eliminate Bloated Code!
blog.codeminer42.com·3h
📦CBOR Extensions
Project-connex Decompositions and Tractability of Aggregate Group-by Conjunctive Queries
arxiv.org·1d
🎯Performance Proofs
Monads as Graphs (2019)
neilmitchell.blogspot.com·1h·
Discuss: Lobsters, Hacker News
🧬Functional Programming
Bazel and action (non-) determinism
blogsystem5.substack.com·1d·
Discuss: Substack
🔄Reproducible Builds
LSM trees in postgres
notes.billmill.org·1d
🌲B-tree Variants
The borrowchecker is what I like the least about Rust
viralinstruction.com·2d
🦀Rust Borrowing
Python Fundamentals: classes
dev.to·7h·
Discuss: DEV
💧Liquid Types
We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It
github.com·10h·
Discuss: Hacker News
🌳Context free grammars
Designing for the different stages of a system's life
exploring-better-ways.bellroy.com·11h·
Discuss: Hacker News
💾Persistence Strategies
Vibecoding a High Performance System
andrewkchan.dev·3h·
Discuss: Hacker News
👁️System Observability
[Project] Distributed file system - implementing file deletion
reddit.com·1d·
Discuss: r/golang
🗄️File Systems
A reckless introduction to Hindley-Milner type inference
reasonableapproximation.net·1d·
Discuss: Lobsters, r/programming
🔤Type Theory
Song recommendations with C# Reactive Extensions
blog.ploeh.dk·1d
🌊Streaming Systems
From Minecraft to Markets: Java Hiding in Plain Sight
freebsdfoundation.org·1h
🎮Switch Archaeology
Safe Cell field projection in Rust (2020)
abubalay.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Why Startups Are Betting Everything on Apache DataFusion
thenewstack.io·1h
🌊Apache Kafka
Dependency thoughts
macwright.com·2d
🔗Dependency Resolution
I Don't Like Imports
kevincox.ca·1d
🦀Rust Macros
XSLT: A Precision Tool for the Future of Structured Transformation
xml.com·1d·
Discuss: Hacker News
📋Document Grammar