Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·1d
💎Information Crystallography
Three ways formally verified code can go wrong in practice
buttondown.com·1d
📜Proof Carrying Code
Lessons from building 15 iOS apps serving 1M daily users
gist.github.com·3d·
Discuss: Hacker News
🔌Interface Evolution
The Project That Made Me Choose C Again
hackernoon.com·2d
🔩Systems Programming
We May Have a Path to the Fundamental Theory of Physics (2020)
writings.stephenwolfram.com·18h·
Discuss: Hacker News
⏰Time Crystals
Relational Database Distillation: From Structured Tables to Condensed Graph Data
arxiv.org·2d
📊Graph Databases
We didn't rewrite our feed handler in Rust
databento.com·4d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News, r/cpp, r/rust
🦀Rust Borrowing
Picking an AI Code Reviewer
markmarkoh.com·1d·
Discuss: Hacker News
📏Code Metrics
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.org·2d·
Discuss: Hacker News
🔗Constraint Handling
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
Defeating Return Type Polymorphism
philipphagenlocher.de·3d·
Discuss: Hacker News
🧬Functional Programming
Should I have separate GitHub accounts for personal and professional projects?
dev.to·6h·
Discuss: DEV
🏠Personal Archives
`shimmy` Rust inference server uses bindings to a C library... and runs Python scripts in the shell
reddit.com·2d·
Discuss: r/rust
🦀Rust Macros
Programmer in Wonderland
binaryigor.com·2d·
Discuss: Hacker News
🔩Systems Programming
Data-Error Scaling Laws in Machine Learning on Combinatorial Mutation-prone Sets: Proteins and Small Molecules
arxiv.org·1d
🧮Kolmogorov Complexity
Multi-Core By Default
rfleury.com·1d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
LINQ and Learning to Be Declarative
nickstambaugh.dev·2d·
Discuss: Hacker News
🔗Concatenative Programming
We found a bug in Go's ARM64 compiler
blog.cloudflare.com·3d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
📜Proof Carrying Code
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to·2d·
Discuss: DEV
🗄️Database Internals
The Conveyor Belt Protocol: Understanding Iterators
dev.to·21h·
Discuss: DEV
🧬Functional Programming