π Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

Digital Counter Using Arduino| EEPROM Counter
hackster.io·2h
⏲️Embedded GC
SHIELDs Up!
hackster.io·2h
🏰Capability Machines
Mastering Zod Validation Mastering Data Validation and Error Handling in TypeScript with Zod
blog.codeminer42.com·20h
⚙️Configuration Parsing
Claude helped me built this insane weather application.
preview.redd.it·1d·
Discuss: r/ClaudeAI
🏠indieweb
My custom two realtime concurrency primitives
blog.inkreas.ing·3d·
Discuss: r/rust
🔗Concurrency Primitives
Simplify Your JavaScript Code with Logical Assignment Techniques
reddit.com·19h·
Discuss: r/javascript
🔧Nickel
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
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·3h·
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·6h·
Discuss: DEV
📦Monorepos
Token Hidden Reward: Steering Exploration-Exploitation in Group Relative Deep Reinforcement Learning
arxiv.org·1d
🪜Recursive Descent
Creating Python Libraries & Reusable Modules
dev.to·8h·
Discuss: DEV
🎭Racket Modules
Harnessing LLM for Noise-Robust Cognitive Diagnosis in Web-Based Intelligent Education Systems
arxiv.org·1d
🌱Minimal ML
MADS: Multi-Agent Dialogue Simulation for Diverse Persuasion Data Generation
arxiv.org·11h
🎲Parser Fuzzing
What finally worked for me: 7 steps to ship without rewrites
reddit.com·8h·
Discuss: r/ClaudeAI
🎭Program Synthesis
Quantum capacity amplification via privacy
arxiv.org·1d
📡Async Channels
Self-Reflective Generation at Test Time
arxiv.org·2d
✨Gleam