Continuous Access Evaluation Protocol for Real-Time Access Control
guptadeepak.com·4d·
Discuss: DEV, Hacker News
🖥️Self-hosted Infrastructure
Smooth Minimum for Signed Distance Fields (2013)
iquilezles.org·3d·
Discuss: Hacker News
🔠Type-Level Programming
How to extend Android battery time between charges
dedoimedo.com·3d·
Discuss: Hacker News
🔬Unikernels
Show HN: I built a CTO-as-a-Service ROI calculator
fractionalctoexperts.com·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Babbage – The Language of the Future
tlc-systems.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
A personal health large language model for sleep and fitness coaching
nature.com·3d·
Discuss: Hacker News
🎮Verification Games
Service Model (Book) System Design for Task Management
varunmehta.github.io·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Reading the Code Around Make_u32_from_two_u16()
cybersect.substack.com·5d·
Discuss: Substack
🐫Embedded OCaml
HomeKit Weekly: Is the Ecovacs Deebot X8 Pro Omni the best robot vacuum for HomeKit?
9to5mac.com·2d
💾Retro Computing
Inside Doximity’s 15-Year Ruby on Rails Monolith
onrails.buzzsprout.com·6d·
Discuss: Hacker News, r/programming
🧱Immutable Infrastructure
Voice, vision, pen: Oh dear. Windows boss says Microsoft is again reshaping OS
theregister.com·3d·
Discuss: Hacker News
🍎Apple
I've been building AI agents for a while now, and there's a fundamental problem nobody's talking about
reddit.com·4d·
Discuss: r/programming
🛡️seL4
Decentralising Freedom: Open Source for Sovereignty (froscon2025)
cdn.media.ccc.de·1d
📦Unikernel Systems
Reverse Physician-AI Relationship: Full-process Clinical Diagnosis Driven by a Large Language Model
arxiv.org·3d
✓Automated Theorem Proving
Show HN: CCCP – a programmable, context-aware compression protocol (early stage)
news.ycombinator.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
Finally all put together
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Show HN: Open-source market screener and backtester for algo traders
github.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Context Misleads LLMs: The Role of Context Filtering in Maintaining Safe Alignment of LLMs
arxiv.org·3d
🌐NetworkProtocols
SABER: Switchable and Balanced Training for Efficient LLM Reasoning
arxiv.org·3d
🎮Verification Games
Help with Networking
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab