H2, the Java SQL Database
h2database.com·4d·
Discuss: Hacker News
🏠HomeLab
Visualize Your Puppet Data in Grafana with the Observability Data Connector
puppet.com·4d·
Discuss: Hacker News
👁️System Observability
Self-hosted slippy maps, for novices (like me)
blog.apps.npr.org·6d·
Discuss: Hacker News
🧱Immutable Infrastructure
Robots eating other robots: The benefits of machine metabolism
arstechnica.com·2d·
Discuss: Hacker News
🤖Program Synthesis
War Games: MoD asks soldiers with 1337 skillz to compete in esports
theregister.com·15h·
Discuss: Hacker News
🎮Verification Games
Erase Your Darlings
grahamc.com·5d·
Discuss: Hacker News
❄️Nix
Why Reality Has a Well-Known Math Bias
linch.substack.com·2d·
Discuss: Substack
➡️Category Theory
Metasurfaces could be the next quantum information processors
phys.org·3d·
Discuss: Hacker News
🏹Effect Systems
Rabbit Teeth
kaiwenwang.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
The Hype is the Product
rys.io·2d·
Discuss: Hacker News
🍎Apple
Your name is still on it
sanitarium.se·5d·
Discuss: Hacker News
✓Automated Theorem Proving
We Tested AI Coding Assistants So You Don't Have To
moioapp.com·6d·
Discuss: Hacker News
🐫Embedded OCaml
Neovim plugin to prompt any model from Markdown files
github.com·2d·
Discuss: Hacker News
🍎XNU Internals
Hardware suggestion for a 10gb router
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Intel Puts The Process Horse Back In Front Of The Foundry Cart
nextplatform.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
Automatic Cough Analysis for Non-Small Cell Lung Cancer Detection
arxiv.org·1d
🔬Static Analysis
Covert Communications in MEC-Based Networked ISAC Systems Towards Low-Altitude Economy
arxiv.org·4d
📡Network Protocol Design
Ask HN: Built a new aggregated search engine for shopping
news.ycombinator.com·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Latent Representations of Intracardiac Electrograms for Atrial Fibrillation Driver Detection
arxiv.org·22h
💻CS
CNN-based Surface Temperature Forecasts with Ensemble Numerical Weather Prediction over Medium-range Forecast Periods
arxiv.org·1d
✓Automated Theorem Proving