Genome of the 1918 influenza virus reconstructed
unibas.ch·7h·
Discuss: Hacker News
🔄Reproducible Builds
Scientists are Learning to Rewrite the Code of Life
nytimes.com·3d·
Discuss: Hacker News
🤖Program Synthesis
Bourdain, My Camera, and Me (2021)
melaniedunea.com·6h·
Discuss: Hacker News
🍎Apple
A-Frame-mazing architecture overview
kenbonny.net·5d·
Discuss: r/programming
🧱Immutable Infrastructure
Linux 6.16 brings faster file systems, improved confidential memory, & more Rust
zdnet.com·5d·
Discuss: Hacker News, r/programming
🔬Unikernels
Ninety laptops, millions of dollars: US woman jailed over North Korea remote-work scam
theguardian.com·11h·
Discuss: Hacker News, r/news
🖥️Self-hosted Infrastructure
Orchestra Conductors are Prompt Engineers
blog.charliemeyer.co·3d·
Discuss: Hacker News
🎮Verification Games
The Trojan Horse Strategy: Institutional Bitcoin Accumulation as Network Capture
medium.com·8h·
Discuss: Hacker News
📡Network Protocol Design
How a $200 ThinkPad Became My 24/7 Proxmox Homelab (And Why I Love It)
koustubha.com·5d·
Discuss: r/homelab
🏠HomeLab
Microsoft build of Go 1.25 crypto back end changes
devblogs.microsoft.com·4d·
Discuss: Hacker News
📦Unikernel Systems
Pull Requests Are a Poor Fit For Agentic AI
bauer.codes·5d·
Discuss: Hacker News, Hacker News, r/programming
🔄Reproducible Builds
Why not? Developing ABox Abduction beyond Repairs
arxiv.org·4d
✓Automated Theorem Proving
Rebooting the switch broke my dns
reddit.com·14h·
Discuss: r/homelab
📡Network Protocol Design
Integration of Large Language Models within Cognitive Architectures for Autonomous Robots
arxiv.org·4d
✓Automated Theorem Proving
SpecTree: Composable Context Engineering for LLMs
fuzzycomputer.com·6d·
Discuss: Hacker News
🔍Formal Verification
DICOM De-Identification via Hybrid AI and Rule-Based Framework for Scalable, Uncertainty-Aware Redaction
arxiv.org·2d
✓Automated Theorem Proving
Applications Of Zero-Knowledge Proofs On Bitcoin
arxiv.org·4d
🌐NetworkProtocols
Prediction of Significant Creatinine Elevation in First ICU Stays with Vancomycin Use: A retrospective study through Catboost
arxiv.org·2d
✓Automated Theorem Proving
Safety Evaluation of Motion Plans Using Trajectory Predictors as Forward Reachable Set Estimators
arxiv.org·3d
🔄Finite State Machines
Predicting Maintenance Cessation of Open Source Software Repositories with An Integrated Feature Framework
arxiv.org·4d
🧱Immutable Infrastructure