π Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

CDB and World Bank agree on actions to advance projects in SVG
searchlight.vc·10h
🌐Browser REPLs
The Mechanism of Mineral Nucleation and Growth in a Mini-Ferritin
pubs.acs.org·16h·
Discuss: Hacker News
✨Effect Inference
A very short, very blunt, book note
logicmatters.net·22h
🔗Concatenative Theory
Write in C – Let it Be
wiki.tcl-lang.org·21h·
Discuss: Hacker News
🪄C Metaprogramming
The Art of Abstraction — Polymorphic Memory Allocator
unboxthecat.medium.com·12h·
Discuss: r/cpp
🏗️Custom Allocators
From Matmul to Meaning
evis.dev·12h·
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·2d·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
[PoC] LatentRecall — an experiment in LLM memory that doesn’t store prompts, but computes them on the fly
zenodo.org·8h·
Discuss: r/LocalLLaMA
💬Smalltalk VMs
The foundation of "streams" in Node.js [NodeBook]
thenodebook.com·2d·
Discuss: r/node
⏱️Real-Time GC
Notes on "Homology, Genes and Evolutionary Innovation"
lesswrong.com·2h
🔗Category Theory
Learning to Capture Rocks using an Excavator: A Reinforcement Learning Approach with Guiding Reward Formulation
arxiv.org·11h
🚂Error Propagation
Building an Internal Developer Portal: Insights from the Journey So Far
medium.com·2h·
Discuss: Hacker News
🎮Language Ergonomics
Characteristic Learning for Provable One Step Generation
arxiv.org·11h
🪜Recursive Descent
Domain-Driven Design: Turbocharge video processing
dev.to·3h·
Discuss: DEV
🎨Domain-Specific Languages
Structure-Preserving MHD-Driftkinetic Discretization for Wave-Particle Interactions
arxiv.org·11h
📡Async Channels
Long-Term Mapping of the Douro River Plume with Multi-Agent Reinforcement Learning
arxiv.org·11h
🎭Erlang OTP
Tunable DNA Nanowire Arrays for Adaptive Membrane Ion Channel Modulation via Electrostatic Steering
dev.to·9h·
Discuss: DEV
✨Effect Inference
Teaching with AI: A Systematic Review of Chatbots, Generative Tools, and Tutoring Systems in Programming Education
arxiv.org·11h
💬Interactive REPLs
Predictive Modeling of Age-Related Aberrant DNA Methylation Patterns via Multi-Modal Integration
dev.to·5h·
Discuss: DEV
✨Effect Inference