Pure Rust cryptography is better than raw performance
kerkour.com·1d·
Discuss: Hacker News
🔬Static Analysis
OneLLM - Better open router?
onellm.dev·12h·
Discuss: r/programming
📦Unikernel Systems
Void, the Bluesky bot that remembers everyone
cameron.pfiffer.org·3h·
Discuss: Hacker News
🎮Verification Games
Wormhole (protocol)
en.wikipedia.org·3d·
Discuss: Hacker News
📡Network Protocol Design
So Microsoft Deleted Some of Our Packages from Nuget.org Without Notice
aaronstannard.com·1h·
Discuss: Hacker News
❄️Nixified Development
KSAT
corrode.dev·1d·
Discuss: Hacker News
⎈Kubernetes
Scanning for Post-Quantum Cryptographic Support
anvilsecure.com·3d·
Discuss: Hacker News
📡Network Protocol Design
Show HN: Discord-oidc-proxy: Convert Discord to an OIDC provider
github.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
A 2-categorical approach to the semantics of dependent type theory with computation axioms
arxiv.org·16h
➡️Category Theory
Open-Source Security Paradox: More Code, More Validation
onekey.so·2d·
Discuss: Hacker News
🔄Reproducible Builds
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·16h
🔍Formal Verification
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
Building Seamless User Journeys: Your Guide to React Onboarding with OnboardJS
onboardjs.com·1d·
Discuss: Hacker News
🔄Finite State Machines
Show HN: Cactus – Ollama for Smartphones
news.ycombinator.com·1d·
Discuss: Hacker News
🐫OCaml
Clustered PostgreSQL
arch.dog·10h·
Discuss: Lobsters, Hacker News
🏠HomeLab
Reliable Distributed Applications
docs.temporal.io·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Reverse proxy deep dive
medium.com·3d·
Discuss: Hacker News, r/programming
📡Network Protocol Design
Modular Automation Core in Go Inspired by Apache/nginx Architecture
reddit.com·1d·
Discuss: r/programming
📦Unikernel Systems
When Large Language Models Meet Law: Dual-Lens Taxonomy, Technical Advances, and Ethical Governance
arxiv.org·16h
🐫OCaml
Announcing FOKS, the Federated Open Key Service
blog.foks.pub·3d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems