A Short Introduction to Categorical Logic
youtube.com·2h
🔀Category Theory
Flag this post
Oracle has adopted BOOLEAN in 23ai and PostgreSQL had it forever
hexacluster.ai·15h·
Discuss: Hacker News
🧬PostgreSQL Forensics
Flag this post
dbt Labs Open Sources MetricFlow: An Independent Schema for Data Interoperability
thenewstack.io·16h
🏷️Metadata Standards
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🧪Binary Fuzzing
Flag this post
Is Your Data Valid? Why Bufstream Guarantees What Kafka Can't
vutr.substack.com·2d·
Discuss: Substack
🌊Streaming Systems
Flag this post
From VS Code to Helix
ergaster.org·17h·
Discuss: Lobsters, Hacker News, r/programming
🎯Gradual Typing
Flag this post
Type Club - Understanding typing through the lens of Fight Club
revelry.co·1d·
Discuss: r/programming
📜Binary Philology
Flag this post
AI Front End Generator Comparison: Claude Code vs. v0 vs. Lovable vs. Replit
hansreinl.de·15h·
Discuss: Hacker News
🔄Language Evolution
Flag this post
Infrastructure as Code
opentofu.org·17h·
Discuss: Hacker News
🧱Immutable Infrastructure
Flag this post
Vectorizing for Fun and Performance
ibm.com·13h·
Discuss: Hacker News
⚡SIMD Vectorization
Flag this post
Text2SQL is dead – long live text2SQL
exasol.com·1d·
Discuss: Hacker News
🚚Data Migration
Flag this post
Writing an LLM from scratch, part 25 – instruction fine-tuning
gilesthomas.com·9h·
Discuss: Hacker News
⚡Proof Automation
Flag this post
GHC: From Bug to Merge
neilmitchell.blogspot.com·8h·
Discuss: Hacker News
🔤Type Theory
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·15h·
Discuss: Substack
💻Programming languages
Flag this post
DeepSeek-OCR + LLama4 + RAG Just Revolutionized Agent OCR Forever
dev.to·22h·
Discuss: DEV
🤖Advanced OCR
Flag this post
Klog – a plain-text file format and a command line tool for time tracking
klog.jotaen.net·1d·
Discuss: Hacker News
⏱️Interval Archives
Flag this post
Inside a 34-Petabyte Migration: The True Cost of Moving a Digital Mountain
hackernoon.com·21h
🌐Edge Preservation
Flag this post
B+Tree Index Structures in InnoDB
blog.jcole.us·1d·
Discuss: Hacker News
🗃️Database Storage
Flag this post
Learning Regular Languages with RPNI Algorithm
rahul.gopinath.org·3d·
Discuss: Hacker News
📐Format Grammars
Flag this post
YAML Tutorial: A Complete Language Guide with Examples
spacelift.io·2d·
Discuss: Hacker News
📝Concrete Syntax
Flag this post