Show HN: Root Managed Services
rootmanagedservices.com·14h·
Discuss: Hacker News
🖥Self-Hosting
Nyquist–Shannon Sampling Theorem
en.wikipedia.org·4h·
Discuss: Hacker News
🧮Lambda Calculus
Prototype Pollution in Python (2023)
blog.abdulrah33m.com·1d·
Discuss: Hacker News
➡️Category Theory
Belzebub.ai: AI Deception Platform
beelzebub.ai·2d·
Discuss: Hacker News
🖥Self-Hosting
Visualising Topology Inspired Computing Algorithms
antifold.com·2d·
Discuss: Hacker News
🧩Separation Logic
Monitoring Claude Code with OpenTelemetry
signoz.io·2d·
Discuss: Hacker News
👁️System Observability
Writing Code Is Easy. Reading It Isn't
idiallo.com·4d·
🔬Static Analysis
Walking around the app
vickiboykis.com·3d·
Discuss: Hacker News
📊Runtime Verification
Minimal Data, Maximum Clarity: A Heuristic for Explaining Optimization
arxiv.org·1d
🤖Program Synthesis
Show HN: I Built Davia–A New Way to Create Interactive Documents with Code
news.ycombinator.com·1d·
Discuss: r/davia_ai
🐳Containerization
The canonical agent architecture: A while loop with tools
braintrust.dev·5d·
Discuss: Hacker News
Operational Semantics
Why Todays Identity and Access Management Can't Survive the AI Age
identityfusion.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Building Privacy-First AI Agents on Ollama: Complete Guide
nativemind.app·3d·
Discuss: Hacker News
🐳Containerization
Dissecting Batching Effects in GPT Inference
le.qun.ch·20h·
Discuss: Hacker News
📚Automata Learning
MasconCube: Fast and Accurate Gravity Modeling with an Explicit Representation
arxiv.org·1d
🐫OCaml
Show HN: SARE, a Hybrid Quantum-Safe Encryption System Implemented in Rust
github.com·1d·
Discuss: Hacker News
📦Unikernel Systems
How To Work With Local AI in the Zed IDE
thenewstack.io·2d
📦Unikernel Systems
Just Enough Automation
bevel.work·2d·
Discuss: Hacker News
🤖Program Synthesis