Fun with Gzip Bombs and Email Clients
grepular.com·5h·
Discuss: Hacker News
📡Network Protocol Design
A break from tech: a writing piece about Ghost Towns
helenaeverley.substack.com·18h·
Discuss: Substack
🧱Immutable Infrastructure
The AIs Don't Agree
accelerateordie.com·5h·
Discuss: Hacker News
🍎XNU Internals
The Latest GPT-5 Leaks and Teasers
bgr.com·1d·
Discuss: Hacker News
🎮Verification Games
We've got to stop sending files to each other
shkspr.mobi·5d·
Discuss: Lobsters, Hacker News, shkspr.mobi
🍎Apple
MCK: Open-Source MongoDB Operator
github.com·3h·
Discuss: Hacker News
⎈Kubernetes
Intuitionistic monotone modal logic via translation
arxiv.org·1d
➡️Category Theory
Designing an Open Source Multimeter: the HydraMeter
hackaday.com·2d
💾Retro Computing
Coordinate Heart System: A Geometric Framework for Emotion Representation
arxiv.org·20h
🐫OCaml
SymbOS Is a Funhouse mirror look at a future that never was
hackaday.com·3d
💾Retro Computing
Glitches in Decision Tree Ensemble Models
arxiv.org·20h
🔠Type-Level Programming
Time-RA: Towards Time Series Reasoning for Anomaly with LLM Feedback
arxiv.org·20h
✓Automated Theorem Proving
SOI Matters: Analyzing Multi-Setting Training Dynamics in Pretrained Language Models via Subsets of Interest
arxiv.org·20h
➡️Category Theory
Chapter 11 Students' interaction with and appreciation of automated informative tutoring feedback
arxiv.org·20h
✓Automated Theorem Proving
CXR-TFT: Multi-Modal Temporal Fusion Transformer for Predicting Chest X-ray Trajectories
arxiv.org·20h
🐫OCaml
Home server setup living in a university dorm
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Ask HN: Managing engineers? Talk to me for a piece I'm writing
news.ycombinator.com·15h·
Discuss: Hacker News
👁️System Observability
Looking for Workstation Server Advice
reddit.com·10h·
Discuss: r/homelab
🏠HomeLab
watchOS 26 beta 4 now available for Apple Watch
9to5mac.com·7h
🍎Apple
2025 One-Hertz Challenge: It’s Hexadecimal Unix Time
hackaday.com·1d
🍎XNU Internals