A polyglot's guide to multiple-dispatch
eli.thegreenplace.net·3d·
Discuss: Hacker News
🏹Effect Systems
Human vs. JSON output formatting: avoid mixing concerns
blog.liw.fi·2d·
Discuss: Hacker News
🧩Parser Combinators
GSoC 2025 - Byte Type: Supporting Raw Data Copies in the LLVM IR
blog.llvm.org·2d·
Discuss: Lobsters, Hacker News, Hacker News
🐫Embedded OCaml
Billion-Line Days Demand Billion-Test Nights
momentic.ai·22h·
Discuss: Hacker News
🤖Program Synthesis
Show HN: Claude-Powered Survival Analysis with One-Click Models (Onco-Insight)
dataize.me·11h·
Discuss: Hacker News
👁️System Observability
The Little Book of Everything
github.com·2d·
Discuss: Hacker News
➡️Category Theory
Installing DarkPAN Perl Modules via Gitlab
domm.plix.at·2d·
Discuss: Hacker News
📦Unikernel Systems
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com·20h·
Discuss: Hacker News
✓Automated Theorem Proving
Mind the Gap: Evaluating Model- and Agentic-Level Vulnerabilities in LLMs with Action Graphs
arxiv.org·2d
🛡️seL4
Visual Studio 2026 Insiders is here! - Visual Studio Blog
devblogs.microsoft.com·20h·
Discuss: Hacker News, r/cpp
🔄Reproducible Builds
Rust's Enterprise Breakthrough Year
rust-trends.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Kleene's Recursion Theorem
en.wikipedia.org·3d·
Discuss: Hacker News
🧮Lambda Calculus
“GoLand Can Do That?” Ten Secret Superpowers You Might Not Know
blog.jetbrains.com·1d·
Discuss: Hacker News
📐Denotational Semantics
The OSS code that powers Claude and the maintainer they didn't hire
agenticweb.nearestnabors.com·12h·
Discuss: Hacker News
🔬Unikernels
A Short Introduction to Tor
spec.torproject.org·22h·
Discuss: Hacker News
🌐NetworkProtocols
60-Lesson Course Curriculum : Hands-on System Design with Java Spring Boot
javatsc.substack.com·3d·
Discuss: r/programming
🧱Immutable Infrastructure
Introducing Tier 1 Reachability: Precision CVE Triage for Enterprise Teams
socket.dev·18h·
Discuss: Hacker News
🛡️seL4
Building Privacy-First AI Agents on Ollama: Complete Guide
nativemind.app·1d·
Discuss: Hacker News
🐳Containerization
Reciprocate, a Sweet Solution for Making HTML Web Components Reactive
thathtml.blog·1d·
Discuss: Hacker News
📊Runtime Verification
Learning Rust in a corporate machine and dealing with antivirus false positives (os error 5)
reddit.com·1d·
Discuss: r/rust
❄️Nixified Development