π Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

Excel’s MAP function is genius
makeuseof.com·27m
📋Row Typing
Old-school functional and design specification reviews
smalldatum.blogspot.com·2h·
Discuss: Hacker News
🎮Language Ergonomics
From Matmul to Meaning
evis.dev·17h·
Discuss: Hacker News
🧮Linear Algebra
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·2d·
Discuss: Hacker News
🔢Algebraic Datatypes
A grand week
blog.mitrichev.ch·2d·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
FastAPI & PostgreSQL Sharding: A Step-by-Step Guide (Part 1) - Theory
realpython.com·1d·
Discuss: DEV
🔗Hash Functions
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·3d·
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, r/programming
🌱Forth Kernels
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·20h
✨Effect Inference
The Anti-Corruption Layer: Your Application's Bouncer Against Legacy Chaos
dev.to·16h·
Discuss: DEV
🔐Capability Calculus
Automated Spectral Deconvolution & Peak Profiling for Bioprocess Monitoring
dev.to·20h·
Discuss: DEV
✨Effect Inference
Introduction to Apache Airflow
dev.to·1d·
Discuss: DEV
📡Erlang BEAM
You Have Been LaTeXpOsEd: A Systematic Analysis of Information Leakage in Preprint Archives Using Large Language Models
arxiv.org·16h·
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·16h
🎭Erlang OTP
StaMo: Unsupervised Learning of Generalizable Robot Motion from Compact State Representation
arxiv.org·16h
🌱Minimal ML
AWS CDK Unit Testing Guide: When and How to Use Different Test Types
dev.to·8h·
Discuss: DEV
🎲Test Generators
Vibe Coding Through Subscriptions, Payments, and PDF Nightmares
dev.to·6h·
Discuss: DEV
🛡️Error Ergonomics