Ouroboros Water Cooled PC
macpierce.com·3d·
Discuss: Hacker News
👁️System Observability
Ladybird Proves You Can Just Build a New Web Browser
lunduke.substack.com·23h·
Discuss: Substack
🔤DSLs
Why Mirroring Production in Dev Helps You Avoid Costly Mistakes
foojay.io·18h·
Discuss: r/programming
👁️System Observability
Scientists hit quantum computer error rate of 0.000015% — a world record achievement that could lead to smaller and faster machines
livescience.com·21h·
Discuss: Hacker News, Hacker News, r/technews
🔄Reproducible Builds
On "local" and "global" errors in mathematical papers, and how to detect them
terrytao.wordpress.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Running Serverless WASM Functions on the Edge with K3s and SpinKube
fermyon.com·4d·
Discuss: Hacker News
⎈Kubernetes
Age and Authenticated Encryption
words.filippo.io·2d·
Discuss: Hacker News
🌐NetworkProtocols
The Next Next Job, a framework for making big career decisions
andrewchen.com·1d·
Discuss: Hacker News
🧗Climbing Tech
1990–1994 Swedish financial crisis
en.wikipedia.org·12h·
Discuss: Hacker News
➡️Category Theory
Uncatchable Pet: security aspects of pet systems
petbrain.bearblog.dev·3d·
Discuss: Hacker News
💾Retro Computing
Some third-party Mac apps I use
lapcatsoftware.com·6d·
Discuss: Hacker News
🍎Apple
Powering a stack of HDDs using a separate PSU
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
SCANet: Split Coordinate Attention Network for Building Footprint Extraction
arxiv.org·4h
💻CS
ShrinkBox: Backdoor Attack on Object Detection to Disrupt Collision Avoidance in Machine Learning-based Advanced Driver Assistance Systems
arxiv.org·1d
🎮Verification Games
ASP-Assisted Symbolic Regression: Uncovering Hidden Physics in Fluid Mechanics
arxiv.org·4d
🏹Effect Systems
Fourier Spectral Methods for Block Copolymer Systems on Sphere
arxiv.org·1d
🐫OCaml
Integrating Activity Predictions in Knowledge Graphs
arxiv.org·4h
➡️Category Theory
The UK is slogging through an online age-gate apocalypse
theverge.com·14h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
100% AI-built WebDAV client streams 100 GB text, greps in seconds
github.com·5d·
Discuss: Hacker News
❄️Nixified Development
Show HN: O3 beats Sonnet 4 at coding (in our codebase, wrt our preferences)
news.ycombinator.com·3d·
Discuss: Hacker News
🔬Static Analysis