π Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

The Integral Guide to Well-Being
integralguide.com·2d·
Discuss: Hacker News
🔄Bootstrapping
Show HN: Convert between Mermaid, draw.io, and Excalidraw diagrams
diagram-bridge-project-new.vercel.app·8h·
Discuss: Hacker News
💬REPL Design
Zero Standing Privilege: Marginal Improvement on the Wrong Paradigm
gluufederation.medium.com·6h·
Discuss: Hacker News
🛡️Capability Security
Memory leaks: the forgotten side of web performance (2022)
nolanlawson.com·10h·
Discuss: Hacker News
🔗Weak References
What Happens Behind the Scenes When You Run Python Code
fusion-institute.com·1d·
Discuss: DEV
🔧Error Recovery
Souvenir
deprogrammaticaipsum.com·2d
🔗Weak References
Algorithms For Black-Box, Physical-to-DRAM Address-Mapping Recovery (Georgia Tech, CNRS, Et Al.)
semiengineering.com·1d
🏷️Memory Tagging
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·3d·
Discuss: Hacker News
🪜Recursive Descent
Self-Hosted HDD Health Alerts using n8n and ntfy
noted.lol·1d
⚡Live Programming
Working for a Vendor with David Gee
blog.ipspace.net·20h
📚Self-Documenting Code
Why We Created Turso, a Rust-Based Rewrite of SQLite
thenewstack.io·1d·
Discuss: Hacker News
💾Minimal Databases
Why Microservices Are a Symptom, Not a Cure – and What the Future Looks Like
axx83.substack.com·3d·
Discuss: Substack, r/programming
🌱Forth Kernels
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·2d·
Discuss: Hacker News
🧩Constraint Solvers
How I'm using coding agents in September, 2025
blog.fsck.com·3d·
Discuss: Hacker News
📚Self-Documenting Code
Beyond Transformers: Can MLPs Unlock the Potential of In-Context Learning?
dev.to·7h·
Discuss: DEV
🌱Minimal ML
Engineering Nirvana: When Valves Speak the Language of Code
dev.to·2d·
Discuss: DEV
🎭Program Synthesis
Self-Reflective Generation at Test Time
arxiv.org·1d
✨Gleam
DiffuSpec: Unlocking Diffusion Language Models for Speculative Decoding
arxiv.org·1d
🚀Tokenizer Performance
Detecting Distillation Data from Reasoning Models
arxiv.org·23h
✅Type Checking
Contrastive-SDE: Guiding Stochastic Differential Equations with Contrastive Learning for Unpaired Image-to-Image Translation
arxiv.org·23h
🔍ML Language