π Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

Digital Counter Using Arduino| EEPROM Counter
hackster.io·49m
⏲️Embedded GC
The non-problem of unsigned integers in Java
bitmath.blogspot.com·1d·
Discuss: Hacker News
📱Bytecode Design
Obelisk 0.25.4 and handling of WASM traps
obeli.sk·2d·
Discuss: Lobsters, Hacker News, r/rust
🛡️Error Handling
Why Reactive Programming Hasn't Taken Off in Python (and Why Signals)
bui.app·2d·
Discuss: Hacker News, r/programming
🌊Reactive Languages
What is the correct answer to 50÷5×2 + 10 = ?
mindyourdecisions.com·1d
📐Mathematical Computing
Mastering Zod Validation Mastering Data Validation and Error Handling in TypeScript with Zod
blog.codeminer42.com·18h
⚙️Configuration Parsing
My custom two realtime concurrency primitives
blog.inkreas.ing·3d·
Discuss: r/rust
🔗Concurrency Primitives
Introduction to Apache Airflow
dev.to·2d·
Discuss: DEV
📡Erlang BEAM
Building an Internal Developer Portal: Insights from the Journey So Far
medium.com·1d·
Discuss: Hacker News
🎮Language Ergonomics
I built a faster singleflight implementation for Go (zero allocations, ~4x faster than std)
reddit.com·1d·
Discuss: r/golang
💾Zero-Copy
Finite Time Analysis of Constrained Natural Critic-Actor Algorithm with Improved Sample Complexity
arxiv.org·1d
🎭Erlang OTP
SliceMoE: Routing Embedding Slices Instead of Tokens for Fine-Grained and Balanced Transformer Scaling
arxiv.org·1d
📋JSON Parsing
The fragility of "cultural tendencies" in LLMs
arxiv.org·9h
🌱Minimal Interpreters
StaMo: Unsupervised Learning of Generalizable Robot Motion from Compact State Representation
arxiv.org·1d
🌱Minimal ML
DiffuSpec: Unlocking Diffusion Language Models for Speculative Decoding
arxiv.org·2d
🚀Tokenizer Performance
Contrastive-SDE: Guiding Stochastic Differential Equations with Contrastive Learning for Unpaired Image-to-Image Translation
arxiv.org·1d
🔍ML Language
Your-Tests-Are-Slow-and-Brittle-Youre-Testing-the-Wrong-Thing
dev.to·1h·
Discuss: DEV
🧪Compiler Testing
Simple hash map in C, for learning purpose
reddit.com·2d·
Discuss: r/C_Programming
🏷️Symbol Interning
NEURODNAAI: Neural pipeline approaches for the advancing dna-based information storage as a sustainable digital medium using deep learning framework
arxiv.org·2d
📋JSON Parsing
Your-Projects-a-Mess-Its-Not-You-Its-Your-Frameworks-Fault
dev.to·4h·
Discuss: DEV
📦Monorepos