Pure Rust cryptography is better than raw performance
kerkour.com·1d·
Discuss: Hacker News
🔬Static Analysis
OneLLM - Better open router?
onellm.dev·10h·
Discuss: r/programming
📦Unikernel Systems
Void, the Bluesky bot that remembers everyone
cameron.pfiffer.org·2h·
Discuss: Hacker News
🎮Verification Games
Scanning for Post-Quantum Cryptographic Support
anvilsecure.com·3d·
Discuss: Hacker News
📡Network Protocol Design
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·20h·
Discuss: r/programming
🔬Static Analysis
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
Open-Source Security Paradox: More Code, More Validation
onekey.so·2d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: Cactus – Ollama for Smartphones
news.ycombinator.com·23h·
Discuss: Hacker News
🐫OCaml
Show HN: Publish IPFS webapps which require user consent to update
github.com·2d·
Discuss: Hacker News
🔬Unikernels
Intermediaries in Network-Based Ecosystems
mydata.org·4h·
Discuss: Lobsters, Hacker News
🖥️Self-hosted Infrastructure
Clustered PostgreSQL
arch.dog·9h·
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·14h
🐫OCaml
Announcing FOKS, the Federated Open Key Service
blog.foks.pub·3d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
Speclinter MCP
github.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Nvidia Unveils Helix Parallelism: 32x Faster AI Inference
storagereview.com·33m·
Discuss: Hacker News
⚙️Operating System Design
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·14h
✓Automated Theorem Proving