Show HN: A pragmatic SQLite schema for application-level caching
gist.github.com·18h·
Discuss: Hacker News
🧱Immutable Infrastructure
Flag this post
The Case Against PGVector
alex-jacobs.com·20h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Bus Factor 0
ericphanson.com·7h·
Discuss: Hacker News
🔬Static Analysis
Flag this post
The Noise and the Signal
russmiles.substack.com·3h·
Discuss: Substack
🔲Cellular Automata
Flag this post
Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·20h
🔧DevOps
Flag this post
How We Saved 70% of CPU and 60% of Memory in Refinery’s Go Code, No Rust Required.
honeycomb.io·4d·
Discuss: Hacker News, r/programming
💬Mach Messages
Flag this post
I Built a One File Edge Probe to Tell Me When Time Is Lying
physical-ai.ghost.io·19h·
Discuss: Hacker News
📊Runtime Verification
Flag this post
What does the ideal information environment look like?
defenderofthebasic.substack.com·15h·
Discuss: Substack
🔲Cellular Automata
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.com·2d·
Discuss: Hacker News
📦Opam
Flag this post
Defeating KASLR by Doing Nothing at All
googleprojectzero.blogspot.com·14h·
Discuss: googleprojectzero.blogspot.com, Lobsters, Hacker News
🔧Unikernel Development
Flag this post
Do Math Reasoning LLMs Help Predict the Impact of Public Transit Events?
arxiv.org·4h
✓Automated Theorem Proving
Flag this post
Computation as a Game
arxiv.org·4h
⏱️Computational Complexity
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·1d·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Show HN: Calque, Snapshot Testing in Elixir
github.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Flag this post
LangChain vs LangGraph: A Beginner’s Guide to Building Smarter AI Workflows
hackernoon.com·17h
📚Automata Learning
Flag this post
Product Designer's workflow for prototyping with Cursor
hvpandya.com·1d·
Discuss: Hacker News
🔤Language Design
Flag this post
Why AI Needs Human Oversight for Architecture: A Real Refactoring Story
dev.to·1d·
Discuss: DEV
🤖Program Synthesis
Flag this post
⚠️ Most Developers Are Using AI Wrong — Here’s How to Fix It
dev.to·12h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
STRIDER: Navigation via Instruction-Aligned Structural Decision Space Optimization
arxiv.org·4h
🔲Cellular Automata
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.org·4h
🔍CBMC
Flag this post