Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
Building Resilient AI Agents on Serverless | Restate
restate.dev·1d·
Discuss: Hacker News, r/programming
🧱Immutable Infrastructure
A Retrospective Survey of 2024/2025 Open Source Supply Chain Compromises
words.filippo.io·16h·
Discuss: Lobsters, Hacker News
🔓Open Source Software
The Linus Method: How we simiplifed RFC reviews
devashish.me·15h·
Discuss: Hacker News
⚙️Proof Engineering
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to·1d·
Discuss: DEV
🗄️Database Internals
Unsure what to do as lab has grown
reddit.com·8h·
Discuss: r/homelab
🖥Home Lab Setup
SAT problems are kind of cool
blog.karanjanthe.me·2d·
Discuss: Hacker News
🧮SMT Solvers
Zelos Tech Manages Hundreds of Millions of Files for Autonomous Driving with JuiceFS
dev.to·1d·
Discuss: DEV
💾Proxmox Storage
Planning Out My First Home Server/Camera System
i.redd.it·3h·
Discuss: r/homelab
🏠HomeLab
Automated Fault Isolation & Healing in Linear Control Systems via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·1h·
Discuss: DEV
🛡️Error Boundaries
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
Every Line of Code Is a Philosophy in Disguise
dev.to·1d·
Discuss: DEV
⚖️Emulation Ethics
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·18h·
Discuss: Hacker News
🎯Performance Proofs
Building a Streaming Data Pipeline with Kafka and Spark: Real-Time Analytics Implementation Guide
dev.to·23h·
Discuss: DEV
🌊Apache Kafka
Let's Prove Leftpad
github.com·3d·
Discuss: Hacker News
📜Proof Carrying Code
IASC: Interactive Agentic System for ConLangs
arxiv.org·1d
🌳Context free grammars
I analyzed 70 Data Breaches. Three controls would have stopped 65% of them
securityblueprints.io·1d·
Discuss: Hacker News
🔐Capability Systems
Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org·1d
📐Compression Bounds
Item Patterns and Struct Await
noratrieb.dev·1d·
Discuss: Hacker News
🦀Rust Macros
Operable Software
ferd.ca·18h·
Discuss: Hacker News
👁️System Observability