Show HN: Root Managed Services
rootmanagedservices.com·1h·
Discuss: Hacker News
🖥Self-Hosting
Prototype Pollution in Python (2023)
blog.abdulrah33m.com·14h·
Discuss: Hacker News
➡️Category Theory
Practical CI-friendly Performance Tests
solidean.com·2d·
Discuss: Lobsters, r/cpp
👁️System Observability
Belzebub.ai: AI Deception Platform
beelzebub.ai·1d·
Discuss: Hacker News
🖥Self-Hosting
What Happened to Google's A2A?
blog.fka.dev·21h·
Discuss: Hacker News
🐳Containerization
What I've been working on: Two AI SaaS on specific Niches
mirak004-refactorbiz.hf.space·2d·
Discuss: Hacker News
🔤DSLs
Visualising Topology Inspired Computing Algorithms
antifold.com·2d·
Discuss: Hacker News
🧩Separation Logic
Show HN: DbSandboxer – Fast Isolated Postgres DBs for Spring Boot Tests
github.com·11h·
Discuss: Hacker News
📊Runtime Verification
Working in Groups
internet.place·1d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
Writing Code Is Easy. Reading It Isn't
idiallo.com·3d·
Discuss: Hacker News, r/programming
🔬Static Analysis
Monitoring Claude Code with OpenTelemetry
signoz.io·1d·
Discuss: Hacker News
👁️System Observability
The Case for Cowboy Coding
bevel.work·2d·
Discuss: Hacker News
💎Refinement Types
Walking around the app
vickiboykis.com·3d·
Discuss: Hacker News
📊Runtime Verification
Narrative-Guided Reinforcement Learning: A Platform for Studying Language Model Influence on Decision Making
arxiv.org·1d
📚Automata Learning
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·12h·
Discuss: r/davia_ai
🐳Containerization
Dispelling Myths of Open Source Complexity With Apache Iceberg
thenewstack.io·12h
🖥️Self-hosted Infrastructure
The canonical agent architecture: A while loop with tools
braintrust.dev·4d·
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
Students' Perception of LLM Use in Requirements Engineering Education: An Empirical Study Across Two Universities
arxiv.org·3d
⚙Operational Semantics