π Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

This one Excel symbol will change how you write formulas
makeuseof.com·13h
📇Symbol Tables
State of the Art of AI Tools in Micro-Frontend Architectures • Luca Mezzalira • GOTO 2025
youtube.com·12h
💬Smalltalk VMs
Self-Hosted HDD Health Alerts using n8n and ntfy
noted.lol·5h
⚡Live Programming
The foundation of "streams" in Node.js [NodeBook]
thenodebook.com·2d·
Discuss: r/node
⏱️Real-Time GC
A grand week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Higher-Level Design Patterns
qouteall.fun·3d·
Discuss: Hacker News
⚡Algebraic Effects
Does anything people ask "surprise" the LLMs?
preview.redd.it·1h·
Discuss: r/LLM
⚖️Inference Rules
Java-HTTP, a Simple, Fast HTTP Server with Virtual Threads
fusionauth.io·2h·
Discuss: Hacker News
🌍HTTP Servers
Understanding the KV Cache (feat. Self-Attention)
dev.to·16h·
Discuss: DEV
🔄Subinterpreters
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·15h
💬Smalltalk VMs
Souvenir
deprogrammaticaipsum.com·20h
🔗Weak References
Cactus Language • Semantics 1
inquiryintoinquiry.com·8h
📋Backus-Naur Form
SoK: Kicking CAN Down the Road. Systematizing CAN Security Knowledge
arxiv.org·20h
🛡️Security Type Systems
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·19h·
Discuss: DEV
🌳Pattern Match Compilation
MOCs & Atomic Notes: An 80/20 approach for those of us who aren't Luhmann?
reddit.com·20h·
Discuss: r/ObsidianMD
🏛️Elm Architecture
Algorithms For Black-Box, Physical-to-DRAM Address-Mapping Recovery (Georgia Tech, CNRS, Et Al.)
semiengineering.com·3h
🏷️Memory Tagging
Introduction to Python Module Two Part Four Data Types
dev.to·8h·
Discuss: DEV
🐍lisp
My Node.js app's performance hit a wall at scale. I wrote a breakdown of the concurrency patterns I used to fix it.
reddit.com·16h·
Discuss: r/node
📡Erlang BEAM
Optimizing Long-Form Clinical Text Generation with Claim-Based Rewards
arxiv.org·20h
💬Interactive REPLs