Show HN: A Scarce Cryptoasset Rooted in Private ETH Destruction
worm.cx·1d·
Discuss: Hacker News
⚙️Operating System Design
Run Automated E2E Tests with Stormkit and Browserless Before Hitting Production
stormkit.io·2h·
Discuss: Hacker News
🧱Immutable Infrastructure
Generative artwork using the Earth's natural radio and atmospheric noise
mattdesl.com·1d·
Discuss: Hacker News
🤖Program Synthesis
homelab start and upgrade route
preview.redd.it·3h·
Discuss: r/homelab
🏠HomeLab
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·3d·
Discuss: Hacker News
🔠Type-Level Programming
How I do it
daniel.haxx.se·1d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: GrokVocab – I Built a Vocabulary App Without Flashcards or Memorization
grokvocab.com·1d·
Discuss: Hacker News
🎮Verification Games
Next Big Shift in Search: From Product to Infrastructure
lsvp.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
The Right Approach to Authorization in RAG
osohq.com·4d·
Discuss: Hacker News
🛡️seL4
Large Hadron Collider: When Quantum and AI Collide
perimeterinstitute.ca·1d·
Discuss: Hacker News
📦Unikernel Systems
MoSAiC: Multi-Modal Multi-Label Supervision-Aware Contrastive Learning for Remote Sensing
arxiv.org·10h
🔠Type-Level Programming
The Color Doesn't Matter
tristanpemble.com·14h·
Discuss: Hacker News
🏹Effect Systems
A Mental Model for C++ Coroutine
uvdn7.github.io·2d·
Discuss: Hacker News
🏹Effect Systems
Data-Star.dev – v1 and Beyond
data-star.dev·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
Show HN: Decision-layer – your refund logic doesn't belong in Slack
github.com·4h·
Discuss: Hacker News
🧪Property-Based Testing
AI slows down open source developers. Peter Naur can teach us why
johnwhiles.com·19m·
Discuss: Hacker News
👁️System Observability
Types are Transforming Python
spin.atomicobject.com·5d·
Discuss: Hacker News
🐫Embedded OCaml
AGI Is Mathematically Impossible (3): Kolmogorov Complexity
news.ycombinator.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Data Depth as a Risk
arxiv.org·10h
🔠Type-Level Programming
VideoConviction: A Multimodal Benchmark for Human Conviction and Stock Market Recommendations
arxiv.org·10h
🎮Verification Games