Powerful data visuzlization for Substack posts
automato.substack.com·19h·
Discuss: Substack
🏃Escape Analysis
Flag this post
Bug in Rust-Based UUtils Broke Ubuntu 25.10 Automatic Update Checks
news.slashdot.org·1d
❄️Nixified Development
Flag this post
CHERIoT 1.0 Released
cheriot.org·20h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Flag this post
Show HN: Structa – Design databases in plain English with AI
trystructa.com·4h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
The Toad Report #2
willmcgugan.github.io·1d·
Discuss: Hacker News
🌐ActivityPub
Flag this post
OpenAI Signs $38 Billion Cloud Deal With Amazon
slashdot.org·22h
🖥️Self-hosted Infrastructure
Flag this post
On Designing Low-Latency Systems for High-Traffic Environments
hackernoon.com·21h
🖥️Self-hosted Infrastructure
Flag this post
GitHub Automation Secrets Devs Won't Tell You
dev.to·18h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Building UnisonDB a DynamoDB-Inspired Database in Go with 100+ Edge Replication
reddit.com·2d·
Discuss: r/golang
🔄Reproducible Builds
Flag this post
New Install advice.
reddit.com·14h·
Discuss: r/homelab
🏠HomeLab
Flag this post
STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack
arxiv.org·8h
🧩Parser Combinators
Flag this post
Nginx Unit Development Ended
github.com·2d·
Discuss: Hacker News
📦Namespaces
Flag this post
Exploring AWS Amplify Gen 2: What We Learned About Its Speed and Scalability
dev.to·1d·
Discuss: DEV
🔧DevOps
Flag this post
🚀How I released Chrome Extensions (💪🧠Muscle Brain v4)
dev.to·13h·
Discuss: DEV
🌐ActivityPub
Flag this post
build system tradeoffs
jyn.dev·2d·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
The Software Development Journey
dev.to·7h·
Discuss: DEV
🔧DevOps
Flag this post
Gamma convergence for a phase-field cohesive energy
arxiv.org·8h
🔲Cellular Automata
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·8h
🔍Formal Verification
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·8h
✓Automated Theorem Proving
Flag this post
Observability Made Easy: How AI & OpenTelemetry Tame Tool Sprawl
dev.to·8h·
Discuss: DEV
👁️Observability
Flag this post