Literate testing with pytest-bashdoctest helps keep your Bash examples up-to-date
danielnouri.org·2h
📝Shell Parsing
How OpenTelemetry Works: Tracing, Metrics and Logs on Kubernetes
thenewstack.io·2d
👁️Observatory Systems
7 reasons to use Bayesian inference!
statmodeling.stat.columbia.edu·1h·
Discuss: Hacker News
🧮Kolmogorov Bounds
Steve Jobs Signed 1988 NExt Inc. Memo Autograph Founder CEO
yourownmuseum.com·1d·
Discuss: Hacker News
🍎Apple Computing
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·1d
⛪Church Encoding
Programmer in Wonderland
binaryigor.com·1d·
Discuss: Hacker News
🔩Systems Programming
Att&Df: Update the Operating System's "Dead Drop"
zenodo.org·2d·
Discuss: Hacker News
🛡️eBPF Security
Haskell Weekly Issue 493
haskellweekly.news·2d·
Discuss: Hacker News
🧬Functional Programming
WebSockets vs. HTTP: Stop Choosing the Wrong Protocol
medium.com·2d·
Discuss: Hacker News
🌐WebSocket Framing
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
Understanding conflict resolution and avoidance in PostgreSQL: a complete guide
pgedge.com·19h·
Discuss: Hacker News, r/programming
🛡️Byzantine Fault Tolerance
N8n vs. Windmill vs. Temporal
blog.arcbjorn.com·1d·
Discuss: Hacker News
🌊Stream Processing
A Manifesto for the Programming Desperado
github.com·23h·
Discuss: Hacker News
💻Programming languages
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·16h·
Discuss: Hacker News
⬌Bidirectional Typing
Effective and Stealthy One-Shot Jailbreaks on Deployed Mobile Vision-Language Agents
arxiv.org·1d
🕵️Vector Smuggling
The A.I. Prompt That Could End the World
nytimes.com·1d·
Discuss: Hacker News
⚡Proof Automation
Memgoose – An In-Memory Mongoose Impersonator
github.com·5h·
Discuss: Hacker News
🔄Sync Engine
Hardening SSH with Touch-Verified Hardware Keys
ubicloud.com·2d·
Discuss: Hacker News
🔒Hardware Attestation
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·16h·
Discuss: Hacker News
🎯Performance Proofs
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org·1d·
Discuss: r/LLM
💻Local LLMs