Show HN: Date Calculator Measure What Matters
datecalculators.org·22h·
Discuss: Hacker News
🏹Effect Systems
I built an uptime monitoring tool in 3 weeks at 19
sitepuls.app·1d·
Discuss: Hacker News
👁️System Observability
How did MVC get so F'ed up?
stlab.cc·3d·
Discuss: Hacker News
🏹Effect Systems
Quiet Influence: A Guide to Nemawashi in Engineering
hodgkins.io·10h·
Discuss: Hacker News, r/programming
🍏Darwin
The argument against the existence of a Theory of Everything
bigthink.com·1d·
Discuss: Hacker News
➡️Category Theory
Cowboy Coders and the Shift to Structure – How Teams Grow
codecube.net·18h·
Discuss: Hacker News
🤖Program Synthesis
Q-SafeML: Safety Assessment of Quantum Machine Learning via Quantum Distance Metrics
arxiv.org·2d
✅Model Checking
Breaking the AI-to-Production Bottleneck
docs.myop.dev·1d·
Discuss: Hacker News
📊Runtime Verification
Building a Multilingual Blog with FastHTML
simn.fr·2d·
Discuss: Hacker News
💎Refinement Types
Linus: "Can we please stop this automated idiocy?"
lore.kernel.org·2d·
Discuss: Hacker News
🔧Unikernel Development
Show HN: Kaset — Embed Coding Agents Directly in Your Web App
medium.com·21h·
Discuss: Hacker News
🧱Immutable Infrastructure
CoRe-GS: Coarse-to-Refined Gaussian Splatting with Semantic Object Focus
arxiv.org·2d
➡️Category Theory
Analysis of Voluntarily Reported Data Post Mesh Implantation for Detecting Public Emotion and Identifying Concern Reports
arxiv.org·2d
🩹Self-Healing Systems
Yes, AI Continues To Make Rapid Progress, Including Towards AGI
thezvi.substack.com·15h·
Discuss: Substack
🩹Self-Healing Systems
The Great Domestication: How Artificial Intelligence Is Remaking Consciousness
philosophermaker.substack.com·1d·
Discuss: Substack
📚Automata Learning
A quiet movement is forming: building for human agency – not just agents' sake
agentictech.substack.com·10h·
Discuss: Substack
🩹Self-Healing Systems
William James at CERN (1995)
bactra.org·4d·
Discuss: Hacker News
🏹Effect Systems
Show HN: I made a terminal UI to manage parallel async Claude Code/Codex agents
github.com·2d·
Discuss: Hacker News, r/compsci
🔄Reproducible Builds
AI Browsers: A Needs Analysis
chamomile.ai·18h·
Discuss: Hacker News
✓Automated Theorem Proving
From Modular to Utility-First tailwind migration
auslake.vercel.app·22h·
Discuss: r/programming
🔄Reproducible Builds