We Have Made the Decision to Not Continue Paying for BBB Accreditation
mycherrytree.com·1h·
Discuss: Hacker News
📡Network Protocol Design
Reachy Mini from Hugging Face Makes Me Hopeful About My Kids' Future with AI
gutentag.world·1d·
Discuss: Hacker News
🔬Unikernels
Mineclonia – open-source Minecraft clone based on Luanti (formerly Minetest)
codeberg.org·1d·
Discuss: Hacker News
❄️Nixified Development
Show HN: McClane – Done-for-you lead drops from Facebook group conversations
mcclane.super.site·23h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Creating and Deploy an MCP Server with Smithery
thelinell.com·2d·
Discuss: Lobsters, Hacker News
🛡️seL4
The great misunderstanding of the DRY principle
pmatteo.com·2d·
Discuss: Hacker News
🎮Verification Games
The Ideological Gravity of FOSS
gizvault.com·2d·
Discuss: r/programming
🔬Unikernels
Top AI scientists warn: We're losing our only window into how AI thinks
qz.com·5h·
Discuss: Hacker News
✓Automated Theorem Proving
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🧪Property-Based Testing
Falsehoods programmers believe about email (2022)
beesbuzz.biz·1d·
Discuss: Hacker News
📡Network Protocol Design
Show HN: Smart Guardian – a privacy-first Chrome extension to protect kids
github.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
App/Web for finding friends and like-minded people, which works?
news.ycombinator.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
A Go library for building performant, type-safe AI agents that execute structured reasoning workflows.
github.com·1d·
Discuss: r/golang, r/programming
🔄Reproducible Builds
Show HN: From Zod schema to agent-ready MCP server – minimal, typed, deployable
github.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Push or Light: Nudging Standing to Break Prolonged Sitting
arxiv.org·2d
🏹Effect Systems
D3FL: Data Distribution and Detrending for Robust Federated Learning in Non-linear Time-series Data
arxiv.org·16h
➡️Category Theory
StellarF: A Lora-Adapter Integrated Large Model Framework for Stellar Flare Forecasting with Historical & Statistical Data
arxiv.org·16h
🐫OCaml
BENYO-S2ST-Corpus-1: A Bilingual English-to-Yoruba Direct Speech-to-Speech Translation Corpus
arxiv.org·1d
🐫OCaml
Network Rack Safety
reddit.com·1d·
Discuss: r/homelab
🧱Immutable Infrastructure
Valve gets pressured by payment processors with a new rule for game devs
gamingonlinux.com·3h·
Discuss: Hacker News
🎮Verification Games