π Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

What Happens Behind the Scenes When You Run Python Code
fusion-institute.com·23h·
Discuss: DEV
🔧Error Recovery
From Matmul to Meaning
evis.dev·6h·
Discuss: Hacker News
🧮Linear Algebra
FastAPI & PostgreSQL Sharding: A Step-by-Step Guide (Part 1) - Theory
realpython.com·23h·
Discuss: DEV
🔗Hash Functions
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·2d·
Discuss: Hacker News
🪜Recursive Descent
Java Annotated Monthly – October 2025
blog.jetbrains.com·1d
💬Smalltalk VMs
Why Microservices Are a Symptom, Not a Cure – and What the Future Looks Like
axx83.substack.com·2d·
Discuss: Substack
🌱Forth Kernels
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·2d·
Discuss: Hacker News
🧩Constraint Solvers
A Generic Vector Implementation in C using void*, func*
github.com·17h·
Discuss: r/C_Programming
🪄C Metaprogramming
# 10 Congruent and conjugate..History and Etymology of Math Terms
pballew.blogspot.com·3h·
Discuss: www.blogger.com
🔗Concatenative Theory
Closing the Loop: Coordinating Inventory and Recommendation via Deep Reinforcement Learning on Multiple Timescales
arxiv.org·5h
🔄Coroutines
SoC-DT: Standard-of-Care Aligned Digital Twins for Patient-Specific Tumor Dynamics
arxiv.org·5h
✨Effect Inference
Partial Information Decomposition via Normalizing Flows in Latent Gaussian Distributions
arxiv.org·5h
🌱Minimal ML
Introduction to Apache Airflow
dev.to·1d·
Discuss: DEV
📡Erlang BEAM
Safe and Compliant Cross-Market Trade Execution via Constrained RL and Zero-Knowledge Audits
arxiv.org·5h
📮Message Queues
A Trustworthy Industrial Fault Diagnosis Architecture Integrating Probabilistic Models and Large Language Models
arxiv.org·5h
🚂Error Propagation
Learning to Capture Rocks using an Excavator: A Reinforcement Learning Approach with Guiding Reward Formulation
arxiv.org·5h
🚂Error Propagation
Characteristic Learning for Provable One Step Generation
arxiv.org·5h
🪜Recursive Descent
Structure-Preserving MHD-Driftkinetic Discretization for Wave-Particle Interactions
arxiv.org·5h
📡Async Channels
Long-Term Mapping of the Douro River Plume with Multi-Agent Reinforcement Learning
arxiv.org·5h
🎭Erlang OTP
Tunable DNA Nanowire Arrays for Adaptive Membrane Ion Channel Modulation via Electrostatic Steering
dev.to·3h·
Discuss: DEV
✨Effect Inference