QUIC! Jump to User Space!
hackaday.com·13h
🌐Network Protocols
Experimenting with ACL2 and Claude Code
mikedodds.org·16h·
Discuss: Hacker News
👑Isabelle
Refactoring My Own Code: A Tale of Code Crumbles
dev.to·1d·
Discuss: DEV
🦀Rust Macros
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to·1d·
Discuss: DEV
🗄️Database Internals
A Story About Bypassing Air Canada's In-Flight Network Restrictions
ramsayleung.github.io·21h·
Discuss: Hacker News, r/programming
🌐DNS over QUIC
Programmer in Wonderland
binaryigor.com·1d·
Discuss: Hacker News
🔩Systems Programming
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·3d
🧮Compute Optimization
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.org·1d·
Discuss: Hacker News
🔗Constraint Handling
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·21h·
Discuss: r/golang
🦀Rust Borrowing
Data-Error Scaling Laws in Machine Learning on Combinatorial Mutation-prone Sets: Proteins and Small Molecules
arxiv.org·1d
🧮Kolmogorov Complexity
Generative Art
4rknova.com·1d·
Discuss: Hacker News
📐Mathematical Art
Regression to the Mean
blog.engora.com·14h·
Discuss: Hacker News
🎯Arithmetic Coding Theory
Why Low-Precision Transformer Training Fails: An Analysis on Flash Attention
huggingface.co·1d·
Discuss: Hacker News
📊Learned Metrics
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
1k LEDs Is No Limit
xayax.net·1d·
Discuss: Lobsters, Hacker News
⚡Homebrew CPUs
Automated Anomaly Detection in Time-Series Statistical Spreadsheets via Hyperdimensional Vector Similarity
dev.to·8h·
Discuss: DEV
🔤Character Classification
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·15h·
Discuss: Hacker News
🌐Protocol Synthesis
Printing Petscii Faster
retrogamecoders.com·6h·
Discuss: Hacker News
📺VT100