Show HN: A Scarce Cryptoasset Rooted in Private ETH Destruction
worm.cx·17h·
Discuss: Hacker News
⚙️Operating System Design
Generative artwork using the Earth's natural radio and atmospheric noise
mattdesl.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·3d·
Discuss: Hacker News
🔠Type-Level Programming
How I do it
daniel.haxx.se·20h·
Discuss: Hacker News
🔄Reproducible Builds
Next Big Shift in Search: From Product to Infrastructure
lsvp.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Large Hadron Collider: When Quantum and AI Collide
perimeterinstitute.ca·20h·
Discuss: Hacker News
📦Unikernel Systems
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·3d·
Discuss: Hacker News
🛡️seL4
Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution
github.com·6d·
Discuss: Hacker News
🛡️seL4
Generating Proto-Personas through Prompt Engineering: A Case Study on Efficiency, Effectiveness and Empathy
arxiv.org·1h
🔄Reproducible Builds
MoSAiC: Multi-Modal Multi-Label Supervision-Aware Contrastive Learning for Remote Sensing
arxiv.org·1h
🔠Type-Level Programming
The Color Doesn't Matter
tristanpemble.com·5h·
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
Types are Transforming Python
spin.atomicobject.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: Quikfolioz – Vibe-Coded Portfolios, Crafted Fast for Devs on the Go
github.com·12h·
Discuss: Hacker News
🍎Apple
AGI Is Mathematically Impossible (3): Kolmogorov Complexity
news.ycombinator.com·20h·
Discuss: Hacker News
✓Automated Theorem Proving
Data Depth as a Risk
arxiv.org·1h
🔠Type-Level Programming
VideoConviction: A Multimodal Benchmark for Human Conviction and Stock Market Recommendations
arxiv.org·1h
🎮Verification Games
I need help.
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Barriers in Integrating Medical Visual Question Answering into Radiology Workflows: A Scoping Review and Clinicians' Insights
arxiv.org·1h
🐫Embedded OCaml