π Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

The Integral Guide to Well-Being
integralguide.com·1d·
Discuss: Hacker News
🔄Bootstrapping
What Happens Behind the Scenes When You Run Python Code
fusion-institute.com·1d·
Discuss: DEV
🔧Error Recovery
From Matmul to Meaning
evis.dev·11h·
Discuss: Hacker News
🧮Linear Algebra
FastAPI & PostgreSQL Sharding: A Step-by-Step Guide (Part 1) - Theory
realpython.com·1d·
Discuss: DEV
🔗Hash Functions
Souvenir
deprogrammaticaipsum.com·1d
🔗Weak References
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·18h
⚡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·22h
💾Minimal Databases
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·2d·
Discuss: Hacker News
🧩Constraint Solvers
Tunable DNA Nanowire Arrays for Adaptive Membrane Ion Channel Modulation via Electrostatic Steering
dev.to·7h·
Discuss: DEV
✨Effect Inference
Teaching with AI: A Systematic Review of Chatbots, Generative Tools, and Tutoring Systems in Programming Education
arxiv.org·9h
💬Interactive REPLs
Building Intelligent Research Agents with OpenAI's Agents Framework
dev.to·1d·
Discuss: DEV
🎭Program Synthesis
Predictive Modeling of Age-Related Aberrant DNA Methylation Patterns via Multi-Modal Integration
dev.to·4h·
Discuss: DEV
✨Effect Inference
Building a Command-Line Quiz Application in R
towardsdatascience.com·1d
💬Interactive REPLs
The Anti-Corruption Layer: Your Application's Bouncer Against Legacy Chaos
dev.to·9h·
Discuss: DEV
🔐Capability Calculus
Automated Spectral Deconvolution & Peak Profiling for Bioprocess Monitoring
dev.to·13h·
Discuss: DEV
✨Effect Inference
You Have Been LaTeXpOsEd: A Systematic Analysis of Information Leakage in Preprint Archives Using Large Language Models
arxiv.org·9h
📖Literate Programming
AWS CDK Unit Testing Guide: When and How to Use Different Test Types
dev.to·2h·
Discuss: DEV
🎲Test Generators
PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning
arxiv.org·1d
✅Type Checking