Every Public Facing Organisation Should Run a Provenance Service
djoker.dev·19h·
Discuss: Hacker News
🌐NetworkProtocols
Low- and Mid-Tier Mobile for the Real World (2025)
csswizardry.com·21h·
Discuss: Hacker News
🍎Apple
A free, open-source Arduino course
arduinomap.me·1d·
Discuss: Hacker News
🐫Embedded OCaml
GSlip – GNU SLIP (Symmetric LIst Processor) in C++
gnu.org·5d·
Discuss: Hacker News
🐫OCaml
We used AI to analyse three cities. It’s true: we now walk more quickly and socialise less | Carlo Ratti
theguardian.com·21h·
Discuss: Hacker News
🎮Verification Games
AlphaEarth Foundations: a universal embedding for Earth observation data
newsletter.caffeinatedengineer.dev·1d·
Discuss: Hacker News
🧗Climbing Tech
The Outcry over GPT-4o's Brief Death
eshumarneedi.com·18h·
Discuss: Hacker News
🔬Unikernels
Outpace Reality: A Novel Augmented-Walking Technique for Virtual Reality Games
arxiv.org·1d
🧗Climbing Tech
Show HN: An open-source,security first,local-first memory tool for AI assistants
news.ycombinator.com·5d·
Discuss: Hacker News
🛡️seL4
Generative AI for Cybersecurity of Energy Management Systems: Methods, Challenges, and Future Directions
arxiv.org·4d
📦Unikernel Systems
Learning Differentiable Reachability Maps for Optimization-based Humanoid Motion Generation
arxiv.org·1d
🔄Finite State Machines
The User-first Approach to AI Ethics: Preferences for Ethical Principles in AI Systems across Cultures and Contexts
arxiv.org·1d
🔠Type-Level Programming
Tactile Robotics: An Outlook
arxiv.org·1d
🧗Climbing Tech
An (m,k)-firm Elevation Policy to Increase the Robustness of Time-Driven Schedules in 5G Time-Sensitive Networks
arxiv.org·5d
📡Network Protocol Design
Dell poweredge issues with proxmox 9
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Linux Lands Fix For Early 6.17 Regression Causing 37~43% Performance Hit
phoronix.com·5d·
Discuss: Hacker News
🔬Unikernels
Can We Tell if ChatGPT is a Parasite? Studying Human-AI Symbiosis with Game Theory
arxiv.org·1d
🎮Verification Games
UK drafts AI to help Joe Public decipher its own baffling bureaucracy
theregister.com·21h·
Discuss: Hacker News
✓Automated Theorem Proving
Comparison of Generic Container Libraries for C
github.com·5d·
Discuss: Hacker News
⚙️PL Implementation
When Algorithms Mirror Minds: A Confirmation-Aware Social Dynamic Model of Echo Chamber and Homogenization Traps
arxiv.org·1d
🎮Verification Games