π Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

The Integral Guide to Well-Being
integralguide.com·1d·
Discuss: Hacker News
🔄Bootstrapping
Memory leaks: the forgotten side of web performance (2022)
nolanlawson.com·1h·
Discuss: Hacker News
🔗Weak References
What Happens Behind the Scenes When You Run Python Code
fusion-institute.com·1d·
Discuss: DEV
🔧Error Recovery
FastAPI & PostgreSQL Sharding: A Step-by-Step Guide (Part 1) - Theory
realpython.com·1d·
Discuss: DEV
🔗Hash Functions
Souvenir
deprogrammaticaipsum.com·1d
🔗Weak References
Algorithms For Black-Box, Physical-to-DRAM Address-Mapping Recovery (Georgia Tech, CNRS, Et Al.)
semiengineering.com·21h
🏷️Memory Tagging
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·2d·
Discuss: Hacker News
🪜Recursive Descent
Self-Hosted HDD Health Alerts using n8n and ntfy
noted.lol·23h
⚡Live Programming
Java Annotated Monthly – October 2025
blog.jetbrains.com·1d
💬Smalltalk VMs
Why We Created Turso, a Rust-Based Rewrite of SQLite
thenewstack.io·1d
💾Minimal Databases
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·2d·
Discuss: Hacker News
🧩Constraint Solvers
Sensitive, high-throughput, metabolic analysis by molecular sensors on the membrane surface of mother yeast cells
nature.com·18h
✨Effect Inference
You Have Been LaTeXpOsEd: A Systematic Analysis of Information Leakage in Preprint Archives Using Large Language Models
arxiv.org·14h·
Discuss: Hacker News
📖Literate Programming
PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning
arxiv.org·1d
✅Type Checking
Finite Time Analysis of Constrained Natural Critic-Actor Algorithm with Improved Sample Complexity
arxiv.org·14h
🎭Erlang OTP
Building My Smart 2nd Brain, Part 3: API and UI Explained
dev.to·2d·
Discuss: DEV
🔄Coroutines
StaMo: Unsupervised Learning of Generalizable Robot Motion from Compact State Representation
arxiv.org·14h
🌱Minimal ML
I built a faster singleflight implementation for Go (zero allocations, ~4x faster than std)
reddit.com·1d·
Discuss: r/golang
💾Zero-Copy
AI-Driven Predictive Maintenance of Compression Testing Machines via Multi-Modal Data Fusion & Semantic Parsing
dev.to·1d·
Discuss: DEV
🪜Recursive Descent
An Adaptive Responsible AI Governance Framework for Decentralized Organizations
arxiv.org·14h
🏛️Elm Architecture