π Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

CDB and World Bank agree on actions to advance projects in SVG
searchlight.vc·2h
🌐Browser REPLs
The Mechanism of Mineral Nucleation and Growth in a Mini-Ferritin
pubs.acs.org·8h·
Discuss: Hacker News
✨Effect Inference
Origami Patterns Solve a Major Physics Riddle
quantamagazine.org·16h·
Discuss: Hacker News, Hacker News
🤐Zipper Structures
Write in C – Let it Be
wiki.tcl-lang.org·13h·
Discuss: Hacker News
🪄C Metaprogramming
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·1d·
Discuss: Hacker News
🔢Algebraic Datatypes
From Matmul to Meaning
evis.dev·4h·
Discuss: Hacker News
🧮Linear Algebra
A grand week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Java Annotated Monthly – October 2025
blog.jetbrains.com·22h
💬Smalltalk VMs
Building a Command-Line Quiz Application in R
towardsdatascience.com·1d
💬Interactive REPLs
The Closure Phenomenon: Functions That Remember
dev.to·3d·
Discuss: DEV
🔗Lexical Scoping
Learning to Predict Chaos: Curriculum-Driven Training for Robust Forecasting of Chaotic Dynamics
arxiv.org·3h
🌱Minimal ML
Fully discrete finite element methods for the stochastic Kuramoto-Sivashinsky equation with multiplicative noise
arxiv.org·3h
📡Async Channels
Optimizing Long-Form Clinical Text Generation with Claim-Based Rewards
arxiv.org·1d
💬Interactive REPLs
A Conformal Prediction-Based Chance-Constrained Programming Approach for 24/7 Carbon-Free Data Center Operation Scheduling
arxiv.org·3h
📋Task Queues
A Generic Vector Implementation in C using void*, func*
github.com·15h·
Discuss: r/C_Programming
🪄C Metaprogramming
# 10 Congruent and conjugate..History and Etymology of Math Terms
pballew.blogspot.com·1h·
Discuss: www.blogger.com
🔗Concatenative Theory
Closing the Loop: Coordinating Inventory and Recommendation via Deep Reinforcement Learning on Multiple Timescales
arxiv.org·3h
🔄Coroutines
SoC-DT: Standard-of-Care Aligned Digital Twins for Patient-Specific Tumor Dynamics
arxiv.org·3h
✨Effect Inference
Partial Information Decomposition via Normalizing Flows in Latent Gaussian Distributions
arxiv.org·3h
🌱Minimal ML
Introduction to Apache Airflow
dev.to·22h·
Discuss: DEV
📡Erlang BEAM