AT&T will listen to your phone calls and block spammers with a new AI-powered tool
neowin.net·2d·
Discuss: Hacker News
✓Automated Theorem Proving
80k-year-old arrowheads in Uzbekistan may be the oldest
archaeologymag.com·2d·
Discuss: Hacker News
🍎Apple
$41M Crypto Hack
harrydonnelly.substack.com·3d·
Discuss: Substack
🛡️seL4
How Buyers Build Their Shortlist – and Why It's So Hard to Break In
learning.propelgrowth.com·1d·
Discuss: Hacker News
🛡️seL4
Smoke-dried bodies the oldest-known evidence of deliberate human mummification
abc.net.au·1d·
Discuss: Hacker News
💾Retro Computing
Jointly is a Typeface Designed for CNC Joinery
hackaday.com·2d
🐫Embedded OCaml
This Microsoft Entra ID Vulnerability Could Have Caused a Digital Catastrophe
wired.com·10h·
Discuss: Hacker News, r/technews
🖥Self-Hosting
Building multi-agent tools for engineering
newstoretech.substack.com·6d·
Discuss: Substack
👁️System Observability
The Anatomy of an AI Agent
allen.hutchison.org·5d·
Discuss: Hacker News
🩹Self-Healing Systems
Proxmox-GitOps: IaC Container Automation for Proxmox (Single-Click Docker to PVE via Recursive GitOps Pipeline)
reddit.com·5d·
Discuss: r/homelab
🐳Containerization
‘I have to do it’: Why one of the world’s most brilliant AI scientists left the US for China
theguardian.com·2d·
Discuss: Hacker News, r/China, r/Longreads, r/longform
🎮Verification Games
Minecraft server for memory-restrictive embedded systems (ESP32)
github.com·6d·
Discuss: Hacker News
🛡️seL4
Show HN: Nano Banana AdKit – Generate AI ads and product photos in one click
aiomnigen.com·3d·
Discuss: Hacker News
🍎Apple
Why Event-Driven Systems are Hard?
newsletter.scalablethread.com·4d·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
Learning Reverse Proxy on Hard Mode
reddit.com·1d·
Discuss: r/homelab
📡Network Protocol Design
Hosting a Website on a Disposable Vape
hackaday.com·3d·
Discuss: Hacker News
🐳Containerization
Converting a disposable vape into a web server
cnx-software.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Explaining the Reputational Risks of AI-Mediated Communication: Messages Labeled as AI-Assisted Are Viewed as Less Diagnostic of the Sender's Moral Character
arxiv.org·6d
✓Automated Theorem Proving
“Mirror life” and the recurring nightmare of scientific apocalypse
bigthink.com·3d·
Discuss: Hacker News
🍏Darwin
The move from Blue Systems to TechPaladin
akselmo.dev·2d·
Discuss: Hacker News
⎈Kubernetes