π Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

From Matmul to Meaning
evis.dev·13h·
Discuss: Hacker News
🧮Linear Algebra
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·1d·
Discuss: Hacker News
🔢Algebraic Datatypes
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·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
Sensitive, high-throughput, metabolic analysis by molecular sensors on the membrane surface of mother yeast cells
nature.com·16h
✨Effect Inference
Tunable DNA Nanowire Arrays for Adaptive Membrane Ion Channel Modulation via Electrostatic Steering
dev.to·10h·
Discuss: DEV
✨Effect Inference
I suck at mathematics. Does it impact my career?
reddit.com·1h·
Discuss: r/embedded
📝Register Allocation
Teaching with AI: A Systematic Review of Chatbots, Generative Tools, and Tutoring Systems in Programming Education
arxiv.org·12h
💬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·6h·
Discuss: DEV
✨Effect Inference
Building a Command-Line Quiz Application in R
towardsdatascience.com·2d
💬Interactive REPLs
The Anti-Corruption Layer: Your Application's Bouncer Against Legacy Chaos
dev.to·12h·
Discuss: DEV
🔐Capability Calculus
AWS CDK Unit Testing Guide: When and How to Use Different Test Types
dev.to·4h·
Discuss: DEV
🎲Test Generators
Automated Spectral Deconvolution & Peak Profiling for Bioprocess Monitoring
dev.to·16h·
Discuss: DEV
✨Effect Inference
You Have Been LaTeXpOsEd: A Systematic Analysis of Information Leakage in Preprint Archives Using Large Language Models
arxiv.org·12h
📖Literate Programming
Building My Smart 2nd Brain, Part 3: API and UI Explained
dev.to·2d·
Discuss: DEV
🔄Coroutines
PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning
arxiv.org·1d
✅Type Checking