My 2025 Home Server Build
pcpartpicker.com·21h·
Discuss: r/homelab
🏠HomeLab
Show HN: legacy-use – add REST APIs to legacy software with computer-use
legacy-use.com·58m·
Discuss: Hacker News
💾Retro Computing
Easy dynamic dispatch using GLIBC Hardware Capabilities
kvr.at·1d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
A guide on reading PostgreSQL query plans
prateekcodes.dev·5h·
Discuss: Hacker News
👁️System Observability
Rails API Throttling: Handling Multiple Endpoints with Different Limits
prateekcodes.dev·3d·
Discuss: Hacker News
🌐NetworkProtocols
Diffusion Elites: surprisingly good, simple and embarrassingly parallel
blog.christianperone.com·4d·
Discuss: Lobsters, Hacker News, r/programming
🔬Unikernels
Moonshot AI’s Kimi K2 outperforms GPT-4 in key benchmarks — and it’s free
venturebeat.com·2d·
Discuss: Hacker News
🔬Unikernels
Hilbert spaces, Ricci traces: the singularity we should attend to
news.ycombinator.com·2d·
Discuss: Hacker News
🏹Effect Systems
Plasma proteomics links brain and immune system aging with healthspan
nature.com·16h·
Discuss: Hacker News
🧪Property-Based Testing
Emotion Detection in Older Adults Using Physiological Signals from Wearable Sensors
arxiv.org·3h
🏹Effect Systems
Reinforcement Learning with Action Chunking
arxiv.org·3d
🎮Verification Games
I created a new training dataset for stale SOTA LLMs
news.ycombinator.com·1d·
Discuss: Hacker News
❄️Nixified Development
Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution
github.com·6d·
Discuss: Hacker News
🐫OCaml
On the Semantics of Large Language Models
arxiv.org·5d
✓Automated Theorem Proving
On the Effect of Uncertainty on Layer-wise Inference Dynamics
arxiv.org·4d
🔠Type-Level Programming
A Versatile Dataset of Mouse and Eye Movements on Search Engine Results Pages
arxiv.org·3h
🏹Effect Systems
Identifiability in Causal Abstractions: A Hierarchy of Criteria
arxiv.org·5d
🏹Effect Systems
Playing Snake with Digital Microfluidics
hackaday.com·1d
🎮Verification Games
PGD-based optimization of 3D bobsleigh track centerlines from 2D centerlines for simulation applications
arxiv.org·3h
🧗Climbing Tech
A Comprehensively Adaptive Architectural Optimization-Ingrained Quantum Neural Network Model for Cloud Workloads Prediction
arxiv.org·3h
🖥️Self-hosted Infrastructure