Show HN: Date Calculator Measure What Matters
datecalculators.org·11h·
Discuss: Hacker News
🏹Effect Systems
I built an uptime monitoring tool in 3 weeks at 19
sitepuls.app·23h·
Discuss: Hacker News
👁️System Observability
The argument against the existence of a Theory of Everything
bigthink.com·13h·
Discuss: Hacker News
➡️Category Theory
btrfs on a Raspberry Pi
changelog.complete.org·5h·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
How to Avoid Knowledge Stagnation
marlonribunal.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Cowboy Coders and the Shift to Structure – How Teams Grow
codecube.net·7h·
Discuss: Hacker News
🤖Program Synthesis
Linus: "Can we please stop this automated idiocy?"
lore.kernel.org·2d·
Discuss: Hacker News
🔧Unikernel Development
Building a Multilingual Blog with FastHTML
simn.fr·1d·
Discuss: Hacker News
💎Refinement Types
Ten Years of D3D12
therealmjp.github.io·1d·
Discuss: Hacker News, Hacker News
💾Retro Computing
CoRe-GS: Coarse-to-Refined Gaussian Splatting with Semantic Object Focus
arxiv.org·1d
➡️Category Theory
Analysis of Voluntarily Reported Data Post Mesh Implantation for Detecting Public Emotion and Identifying Concern Reports
arxiv.org·1d
🩹Self-Healing Systems
Tyromancy (Telling the future using cheese)
en.wikipedia.org·1d·
Discuss: Hacker News
🧮Lambda Calculus
The Great Domestication: How Artificial Intelligence Is Remaking Consciousness
philosophermaker.substack.com·22h·
Discuss: Substack
📚Automata Learning
William James at CERN (1995)
bactra.org·3d·
Discuss: Hacker News
🏹Effect Systems
AI Browsers: A Needs Analysis
chamomile.ai·7h·
Discuss: Hacker News
✓Automated Theorem Proving
Teams Outlast Projects
frederickvanbrabant.com·1d·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
Show HN: @Agent for Gitlab
github.com·4h·
Discuss: Hacker News
🧱Immutable Infrastructure
New Open Source Agent Orchestration Framework for Agentic AI
github.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Topology-Aware Graph Reinforcement Learning for Dynamic Routing in Cloud Networks
arxiv.org·1d
📡Network Protocol Design
Putting It All Together: A Concrete Guide to Navigating Disagreements, and Reconnecting With Reality
lesswrong.com·1d
🛡️seL4