Serverless WireGuard
proxylity.com·4d·
Discuss: Hacker News
🌐NetworkProtocols
Corp training benefit used for lab hw purchase?
picocluster.com·3d·
Discuss: r/homelab
🏠HomeLab
Apple machine learning privacy workshop talks released
appleinsider.com·4d·
Discuss: Hacker News
🍎Apple
Microsoft Patch Tuesday, August 2025 Edition
krebsonsecurity.com·4d·
Discuss: Hacker News
❄️Nixified Development
Futarchy’s fundamental flaw — the market — the blog post
dynomight.net·3d·
Discuss: Hacker News
✓Automated Theorem Proving
It's Not 10x. It's 36x – This Is What It Looks Like to Kill a $30k Meeting
cameronwestland.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Repair for Future (WHY2025)
cdn.media.ccc.de·6d
💾Retro Computing
Getting Started: Reading Bosch Sensor Data on the Badge with MicroPython (WHY2025)
cdn.media.ccc.de·5d
🐫Embedded OCaml
A Shank Angle-Based Control System Enables Soft Exoskeleton to Assist Human Non-Steady Locomotion
arxiv.org·3d
🧗Climbing Tech
Assessing Engineering Student Perceptions of Introductory CS Courses in an Indian Context
arxiv.org·5d
💻CS
California's wildfire moonshot: How new technology will defeat advancing flames
tech.yahoo.com·6d·
Discuss: Hacker News
🧗Climbing Tech
SharpXR: Structure-Aware Denoising for Pediatric Chest X-Rays
arxiv.org·4d
🔠Type-Level Programming
My Homelab (aka the upper half of my office closet)
i.redd.it·6d·
Discuss: r/homelab
🏠HomeLab
PLOT4AI 2.0: Open source Threat Modeling for Trustworthy AI (WHY2025)
cdn.media.ccc.de·6d
🛡️seL4
Reverse Engineering the Raspberry Pi Zero 2W
jeffgeerling.com·4d·
Discuss: Hacker News
💾Retro Computing
Ditching dedicated NAS software: How do you use Proxmox to manage storage?
reddit.com·5d·
Discuss: r/homelab
🔬Unikernels
Differentiable Cyclic Causal Discovery Under Unmeasured Confounders
arxiv.org·4d
🏹Effect Systems
Zero-Shot Cellular Trajectory Map Matching
arxiv.org·5d
💻CS
ClimateSOM: A Visual Analysis Workflow for Climate Ensemble Datasets
arxiv.org·5d
✓Automated Theorem Proving
Evaluating Large Language Models as Expert Annotators
arxiv.org·5d
✓Automated Theorem Proving