Google co-founder Sergey Brin and ex-wife visited Epstein's `pedophile island' (2024)
nypost.com·21h·
Discuss: Hacker News
🍎Apple
Speculation grows on Satoshi Nakamoto's return as quantum threatens Bitcoin
icoholder.com·1d·
Discuss: Hacker News
🧠Automated Reasoning
Write Better with Vale
pragprog.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
How to Boost Your Productivity While Managing Multiple Projects
freeter.io·1d·
Discuss: Hacker News
🔧Unikernel Development
Fluid vacuum yields exact solutions to Pioneer anomaly and Mercury's perihelion
cdnsciencepub.com·3d·
Discuss: Hacker News
🔧Unikernel Development
The Quest to Find the Longest-Running Simple Computer Program
wired.com·1d·
Discuss: Hacker News, Hacker News
🎮Verification Games
The Supply Chain Is the New Watering Hole
material.security·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The Engine to No Engine Journey
md.jtmn.dev·5d·
Discuss: Hacker News
🐫Embedded OCaml
On the Bear Blog license change
grizzlygazette.bearblog.dev·2d·
Discuss: Hacker News
🔬Unikernels
UTF-8 – "The Most Elegant Hack" (2013)
hackaday.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
All-around protection: ESR launches iPhone 17 cases, screen protectors, AirPods covers
9to5mac.com·2d
🍎Apple
Sui fobbed off my disclosure that nearly 40% of their validators are exposed
news.ycombinator.com·5d·
Discuss: Hacker News
📦Unikernel Systems
Show HN: I Built Davia–A New Way to Create Interactive Documents with Code
news.ycombinator.com·3d·
Discuss: r/davia_ai
🐳Containerization
Strategies for Improving Communication Efficiency in Distributed and Federated Learning: Compression, Local Training, and Personalization
arxiv.org·4d
🧩Parser Combinators
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·6d·
Discuss: Hacker News
🔧Unikernel Development
Personal AI Integrated with WhatsApp and Telegram
news.ycombinator.com·3d·
Discuss: Hacker News
🍎Apple
SWE-Mirror: Scaling Issue-Resolving Datasets by Mirroring Issues Across Repositories
arxiv.org·4d
📦Unikernel Systems
Using old parts to make a homelab/server, ideas & thoughts needed!
reddit.com·15h·
Discuss: r/homelab
💾Retro Computing
Zaku: Fast, open-source API client with fangs
github.com·2d·
Discuss: Hacker News
🍏Darwin
ADL-CLI – Generate enterprise-grade AI agents from a YAML spec
github.com·5d·
Discuss: Hacker News
⚙️PL Implementation