π Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

CDB and World Bank agree on actions to advance projects in SVG
searchlight.vc·8h
🌐Browser REPLs
The Mechanism of Mineral Nucleation and Growth in a Mini-Ferritin
pubs.acs.org·14h·
Discuss: Hacker News
✨Effect Inference
Origami Patterns Solve a Major Physics Riddle
quantamagazine.org·22h·
Discuss: Hacker News, Hacker News
🤐Zipper Structures
Write in C – Let it Be
wiki.tcl-lang.org·19h·
Discuss: Hacker News
🪄C Metaprogramming
From Matmul to Meaning
evis.dev·10h·
Discuss: Hacker News
🧮Linear Algebra
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·1d·
Discuss: Hacker News
🔢Algebraic Datatypes
A grand week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Java Annotated Monthly – October 2025
blog.jetbrains.com·1d
💬Smalltalk VMs
Building a Command-Line Quiz Application in R
towardsdatascience.com·1d
💬Interactive REPLs
Notes on "Homology, Genes and Evolutionary Innovation"
lesswrong.com·23m
🔗Category Theory
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·9h
📮Message Queues
A Trustworthy Industrial Fault Diagnosis Architecture Integrating Probabilistic Models and Large Language Models
arxiv.org·9h
🚂Error Propagation
Learning to Capture Rocks using an Excavator: A Reinforcement Learning Approach with Guiding Reward Formulation
arxiv.org·9h
🚂Error Propagation
Domain-Driven Design: Turbocharge video processing
dev.to·51m·
Discuss: DEV
🎨Domain-Specific Languages
Characteristic Learning for Provable One Step Generation
arxiv.org·9h
🪜Recursive Descent
Structure-Preserving MHD-Driftkinetic Discretization for Wave-Particle Interactions
arxiv.org·9h
📡Async Channels
Long-Term Mapping of the Douro River Plume with Multi-Agent Reinforcement Learning
arxiv.org·9h
🎭Erlang OTP
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