It is 1939 and you want to use public-key cryptography
shkspr.mobi·11h·
Discuss: Hacker News, shkspr.mobi
🛡️seL4
Web Awesome, the First All-in-One WebComponents,CSS Framework, Is Finally Here
thathtml.blog·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Let It Snow
arraythinking.wordpress.com·2d·
Discuss: Hacker News
📦Unikernel Systems
Void, the Bluesky bot that remembers everyone
cameron.pfiffer.org·2d·
Discuss: Hacker News
🎮Verification Games
Being a Script
raphaelbastide.com·3d·
Discuss: Hacker News
🛡️seL4
Next Big Shift in Search: From Product to Infrastructure
lsvp.com·2d·
Discuss: Hacker News
🐫OCaml
Book Review: The Laws of Trading
astralcodexten.com·2h·
Discuss: Hacker News
🎮Verification Games
Notes on Astro
boda.sh·22h·
Discuss: Hacker News
🧱Immutable Infrastructure
Talking Postgres with Shireesh Thota, Microsoft CVP
talkingpostgres.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Weltschmerz
en.wikipedia.org·21h·
Discuss: Hacker News
🔬Unikernels
The Next Wave
dumindu.github.io·3d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Reading Neuromancer for the first time in 2025
mbh4h.substack.com·14h·
Discuss: Substack
💾Retro Computing
Does Learning Mathematical Problem-Solving Generalize to Broader Reasoning?
arxiv.org·5d
🎮Verification Games
Bridging the Plausibility-Validity Gap by Fine-Tuning a Reasoning-Enhanced LLM for Chemical Synthesis and Discovery
arxiv.org·2d
✓Automated Theorem Proving
Inheritance and Polymorphism in Plain C
coz.is·5d·
Discuss: Hacker News, r/C_Programming, r/programming
🔬Static Analysis
Centralized Copy-Paste: Enhanced Data Augmentation Strategy for Wildland Fire Semantic Segmentation
arxiv.org·3d
🔠Type-Level Programming
Multilayer GNN for Predictive Maintenance and Clustering in Power Grids
arxiv.org·2d
👁️System Observability
Agentic-R1: Distilled Dual-Strategy Reasoning
arxiv.org·4d
✓Automated Theorem Proving
Subgraph Counting under Edge Local Differential Privacy Based on Noisy Adjacency Matrix
arxiv.org·3d
💻CS
Havoc – Heap Allocated Value Object Containers
github.com·6d·
Discuss: Hacker News
🛡️seL4