German biathlete Dahlmeier died in mountains of Pakistan
dw.com·5d·
Discuss: Hacker News
🏔️climbing
Show HN: LatentSync–Precise AI Video Lip Synchronization
latentsyncai.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Weekly Update 463
troyhunt.com·1d
🍎Apple
New insights into the reaction pathways of the first molecule in space
mpi-hd.mpg.de·17h·
Discuss: Hacker News
🤖Program Synthesis
International Business Ambush
henry.precheur.org·15h·
Discuss: Hacker News
✓Automated Theorem Proving
Jetson Thor – Advanced AI for Physical Robotics
nvidia.com·6d·
Discuss: Hacker News
🏠HomeLab
Program development in Limbo (the native lang of Inferno, Unix 3.0)
seh.dev·2d·
Discuss: Hacker News
📦Unikernel Systems
How to Dig for Music Without Spotify
pitchfork.com·3d·
Discuss: Hacker News
🍎Apple
What If Government Contracting Rewarded Innovation?
5iprojects.com·4d·
Discuss: Hacker News
🤖Program Synthesis
The Stuff That Matters
physiqonomics.com·3d·
Discuss: Hacker News
🏹Effect Systems
The New Scarce Programming Skill - Spec-Driven Development
youtu.be·5d·
Discuss: r/programming
🤖Program Synthesis
DeployFast: One-command Next.js deployments on AWS without cold starts
deployfast.cloud·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
FLORES: A Reconfigured Wheel-Legged Robot for Enhanced Steering and Adaptability
arxiv.org·4d
📦Unikernel Systems
The web isn't URL-shaped anymore
jonoalderson.com·4d·
Discuss: Hacker News
➡️Category Theory
What does it mean for AI to be sovereign–and does that come before AGI?
news.ycombinator.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: Fiblet- We replaced chaotic inbox into smart tabs
news.ycombinator.com·3d·
Discuss: Hacker News
📦Unikernel Systems
Prediction of Significant Creatinine Elevation in First ICU Stays with Vancomycin Use: A retrospective study through Catboost
arxiv.org·3d
✓Automated Theorem Proving
Need help to check NAS build components
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Launch HN: Gecko Security (YC F24) – AI That Finds Vulnerabilities in Code
news.ycombinator.com·3d·
Discuss: Hacker News
🛡️seL4
Countering the Forgetting of Novel Health Information with 'Social Boosting'
arxiv.org·3d
🎮Verification Games