TiXL – Free and Open Source Motion Graphics
tixl.app·3d·
Discuss: Hacker News
🎮Verification Games
Best practices for creating and editing OpenDocument Format (ODF) files
blog.documentfoundation.org·16h·
Discuss: Hacker News
🔄Reproducible Builds
Gateway-Based Positioning
blog.golioth.io·4d·
Discuss: Hacker News, Hacker News
🖥️Self-hosted Infrastructure
Tractor Beams Today
expmag.com·1d·
Discuss: Hacker News
📦Unikernel Systems
‘I had her right in front of me. And now she’s gone’: how one mother lost her daughter to mental illness
theguardian.com·2d·
Discuss: Hacker News, r/Longreads
🛡️seL4
Making of SARE: How I Designed a File Format for Encrypted Data
zola.ink·4d·
Discuss: Hacker News
🌐NetworkProtocols
Doomprompting Is the New Doomscrolling
workingtheorys.com·1d·
Discuss: Lobsters, Hacker News
🎮Verification Games
Show HN: A Python CEL implementation (written in Rust)
news.ycombinator.com·3d·
Discuss: Hacker News
⚙️PL Implementation
EU sets out to lure US scientists amid Trump funding cuts
thetimes.com·16h·
Discuss: Hacker News
📡Network Protocol Design
Ex-Google Exec Says "The Idea That AI Will Create New Jobs Is 100% Crap"
windowscentral.com·12h·
Discuss: Hacker News
🍎Apple
MCP vs SDK: Two Paths to LLM-Powered Extensibility
osada.blog·2d·
Discuss: Hacker News, r/programming
🔤DSLs
Repoless – DevOps platform for Ruby Devs who hate overpaying for hosting
news.ycombinator.com·2d·
Discuss: Hacker News
⎈Kubernetes
Wearable Music2Emotion : Assessing Emotions Induced by AI-Generated Music through Portable EEG-fNIRS Fusion
arxiv.org·3d
🍎Apple
Pulling my hair out- Consumer or Enterprise Network Adapter
reddit.com·2d·
Discuss: r/homelab
📦Unikernel Systems
NAS which can be expanded one disk at a time?
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Apple releases iOS 26 beta 6 for iPhone
9to5mac.com·7h
🍎Apple
Apple folds on one change to its new Camera app in latest iOS 26 beta
9to5mac.com·7h
🍎Apple
Consent for Hackers, Negotiating consent based on the HTTP protocol (WHY2025)
cdn.media.ccc.de·2d
🌐NetworkProtocols
Understanding and Mitigating Errors of LLM-Generated RTL Code
arxiv.org·3d
🔍Formal Verification
How and Why: Taming Flow Matching for Unsupervised Anomaly Detection and Localization
arxiv.org·3d
➡️Category Theory