Show HN: Codecaster – simple and professional screencast for developers on macOS
7co.cc·17h·
Discuss: Hacker News
🍎Apple
Grace Hopper: Who Made Programming Possible For Everyone, Everywhere
karthikwritestech.com·1d·
Discuss: r/programming
🔤DSLs
Show HN: Free AI Tools for Image Editing and Design (2025)
cognitiaai.blogspot.com·18h·
Discuss: Hacker News
✓Automated Theorem Proving
Folly: IOBuf and Zero-Copy Networking
uvdn7.github.io·4d·
Discuss: Hacker News
📦Unikernel Systems
The Bytebot Core – From Linux Container to Agent Control Surface
bytebot.ai·5d·
Discuss: Hacker News
💾Retro Computing
Apple Intelligence Foundation Language Models Tech Report 2025
machinelearning.apple.com·1d·
Discuss: Hacker News
🍎Apple
Testing Tracing Locally with OpenTelemetry
blog.apartment304.com·3d·
Discuss: Hacker News
👁️System Observability
When Your Team Gets Bigger – How Teams Grow
codecube.net·1d·
Discuss: Hacker News
🔄Reproducible Builds
Underwriting Superintelligence
underwriting-superintelligence.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Using data version control to build better AI factories
lakefs.io·3d·
Discuss: Hacker News
🔄Reproducible Builds
Zero-cost statics in C++
cofault.com·4d·
Discuss: Hacker News, Hacker News
🐫Embedded OCaml
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·2d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
P250Q-M80 M.2 NVMe SSD supports one-click data destruction by software or hardware (smoke involved)
cnx-software.com·18h·
Discuss: Hacker News
💾Retro Computing
Data-Driven Meta-Analysis and Public-Dataset Evaluation for Sensor-Based Gait Age Estimation
arxiv.org·1d
🔬Unikernels
SIEVE: Effective Filtered Vector Search with Collection of Indexes
arxiv.org·1d
➡️Category Theory
Which mini PC as mini Server (ProDesk 600 G2/Optiplex 3040/Chromebox G3)
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Best motherboard and GPU recommendations for Jellyfin and Proxmox
reddit.com·2d·
Discuss: r/homelab
💾Retro Computing
Since I have to move twice this month, I threw together a temporary condensed setup that I'm very happy with
i.redd.it·12h·
Discuss: r/homelab
🏠HomeLab
Spectral Bellman Method: Unifying Representation and Exploration in RL
arxiv.org·4h
🏹Effect Systems
My Participation in the METR AI Productivity Study
domenic.me·2d·
Discuss: Hacker News
👁️System Observability