π Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

CDB and World Bank agree on actions to advance projects in SVG
searchlight.vc·1h
🌐Browser REPLs
Obelisk 0.25.4 and handling of WASM traps
obeli.sk·17h·
Discuss: Lobsters, Hacker News, r/rust
🛡️Error Handling
The non-problem of unsigned integers in Java
bitmath.blogspot.com·11h·
Discuss: Hacker News
📱Bytecode Design
The Mechanism of Mineral Nucleation and Growth in a Mini-Ferritin
pubs.acs.org·7h·
Discuss: Hacker News
✨Effect Inference
The Art of Abstraction — Polymorphic Memory Allocator
unboxthecat.medium.com·3h·
Discuss: r/cpp
🏗️Custom Allocators
A very short, very blunt, book note
logicmatters.net·12h
🔗Concatenative Theory
Origami Patterns Solve a Major Physics Riddle
quantamagazine.org·15h·
Discuss: Hacker News, Hacker News
🤐Zipper Structures
Building a Command-Line Quiz Application in R
towardsdatascience.com·1d
💬Interactive REPLs
Why Reactive Programming Hasn't Taken Off in Python (and Why Signals)
bui.app·1d·
Discuss: Hacker News, r/programming
🌊Reactive Languages
My custom two realtime concurrency primitives
blog.inkreas.ing·2d·
Discuss: r/rust
🔗Concurrency Primitives
Ask HN: Systems Development Path
news.ycombinator.com·2d·
Discuss: Hacker News
🦀MIR Optimization
"Intelligence" -> "Relentless, Creative Resourcefulness"
lesswrong.com·5h
🚂Error Propagation
The foundation of "streams" in Node.js [NodeBook]
thenodebook.com·2d·
Discuss: r/node
⏱️Real-Time GC
LLM-Guided Evolutionary Program Synthesis for Quasi-Monte Carlo Design
arxiv.org·2h
🎭Program Synthesis
The Future is Composable: Orchestrating Multiple APIs with FastServe MCP Servers
dev.to·1d·
Discuss: DEV
🌉Language Bridges
Database Transactions: Everything That Can Go Wrong When Using Them
hackernoon.com·9h
🚂Error Propagation
Explainable but Vulnerable: Adversarial Attacks on XAI Explanation in Cybersecurity Applications
arxiv.org·2h
🛡️Security Type Systems
🔁 Idempotency in System Design
dev.to·2d·
Discuss: DEV
📡Network Serialization
Keep It on a Leash: Controllable Pseudo-label Generation Towards Realistic Long-Tailed Semi-Supervised Learning
arxiv.org·2h
🔍ML Language
Simple hash map in C, for learning purpose
reddit.com·19h·
Discuss: r/C_Programming
🏷️Symbol Interning