π Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

Write in C – Let it Be
wiki.tcl-lang.org·1d·
Discuss: Hacker News
🪄C Metaprogramming
Old-school functional and design specification reviews
smalldatum.blogspot.com·13m·
Discuss: Hacker News
🎮Language Ergonomics
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·1d·
Discuss: Hacker News
🔢Algebraic Datatypes
From Matmul to Meaning
evis.dev·15h·
Discuss: Hacker News
🧮Linear Algebra
A grand week
blog.mitrichev.ch·2d·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Java Annotated Monthly – October 2025
blog.jetbrains.com·1d
💬Smalltalk VMs
Domain-Driven Design: Turbocharge video processing
dev.to·5h·
Discuss: DEV
🎨Domain-Specific Languages
Characteristic Learning for Provable One Step Generation
arxiv.org·14h
🪜Recursive Descent
Structure-Preserving MHD-Driftkinetic Discretization for Wave-Particle Interactions
arxiv.org·14h
📡Async Channels
Long-Term Mapping of the Douro River Plume with Multi-Agent Reinforcement Learning
arxiv.org·14h
🎭Erlang OTP
Tunable DNA Nanowire Arrays for Adaptive Membrane Ion Channel Modulation via Electrostatic Steering
dev.to·12h·
Discuss: DEV
✨Effect Inference
I suck at mathematics. Does it impact my career?
reddit.com·3h·
Discuss: r/embedded
📝Register Allocation
Teaching with AI: A Systematic Review of Chatbots, Generative Tools, and Tutoring Systems in Programming Education
arxiv.org·14h
💬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·8h·
Discuss: DEV
✨Effect Inference
The Anti-Corruption Layer: Your Application's Bouncer Against Legacy Chaos
dev.to·13h·
Discuss: DEV
🔐Capability Calculus
Building a Command-Line Quiz Application in R
towardsdatascience.com·2d
💬Interactive REPLs
Automated Spectral Deconvolution & Peak Profiling for Bioprocess Monitoring
dev.to·17h·
Discuss: DEV
✨Effect Inference
Introduction to Apache Airflow
dev.to·1d·
Discuss: DEV
📡Erlang BEAM
AWS CDK Unit Testing Guide: When and How to Use Different Test Types
dev.to·6h·
Discuss: DEV
🎲Test Generators