All-around protection: ESR launches iPhone 17 cases, screen protectors, AirPods covers
9to5mac.com·2d
🍎Apple
Google co-founder Sergey Brin and ex-wife visited Epstein's `pedophile island' (2024)
nypost.com·19h·
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·22h·
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·23h·
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
🚀 Looking for Feedback on ClearWork: Real-World Process Mapping, Future-State Design & Agentic Workflows
clearwork.io·4d·
Discuss: DEV, Hacker News
👁️System Observability
UTF-8 – "The Most Elegant Hack" (2013)
hackaday.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
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·13h·
Discuss: r/homelab
💾Retro Computing
Zaku: Fast, open-source API client with fangs
github.com·1d·
Discuss: Hacker News
🍏Darwin
ADL-CLI – Generate enterprise-grade AI agents from a YAML spec
github.com·5d·
Discuss: Hacker News
⚙️PL Implementation