π Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

The Integral Guide to Well-Being
integralguide.com·21h·
Discuss: Hacker News
🔄Bootstrapping
C2|Q>: A Robust Framework for Bridging Classical and Quantum Software Development
arxiv.org·19h
🔬Nanopasses
Self-Extracting F3
buttondown.com·5h·
Discuss: Hacker News
📊Row Polymorphism
You Don't Argue Against Descartes, You Supersede Him Through Implementation
bitcoin-zero-down-2ea152.gitlab.io·9h·
Discuss: Hacker News
💫Effect Systems
My custom two realtime concurrency primitives
blog.inkreas.ing·2d·
Discuss: r/rust
🔗Concurrency Primitives
Four years, Five failures, One compiler
daymare.net·1d·
Discuss: Hacker News, r/programming
🌱Minimal Languages
How to approach low-level programming.
reddit.com·8h·
Discuss: r/embedded
⚙️Assembly
State of the Art of AI Tools in Micro-Frontend Architectures • Luca Mezzalira • GOTO 2025
youtube.com·11h
💬Smalltalk VMs
Farewell-to-Framework-Bloat-How-I-Rediscovered-Simplicity-Without-Sacrificing-Performance
dev.to·4h·
Discuss: DEV
📦Monorepos
Iterator Helpers For Lazy Computation in Javascript
reddit.com·2h·
Discuss: r/javascript
😴Lazy Evaluation
Ask HN: Systems Development Path
news.ycombinator.com·2d·
Discuss: Hacker News
🦀MIR Optimization
CAP Theorem
dev.to·3d·
Discuss: DEV
📋Task Queues
What Happens Behind the Scenes When You Run Python Code
fusion-institute.com·14h·
Discuss: DEV
🔧Error Recovery
FastAPI & PostgreSQL Sharding: A Step-by-Step Guide (Part 1) - Theory
realpython.com·14h·
Discuss: DEV
🔗Hash Functions
TikTok Mobile/Web Complete Reverse Engineering
github.com·4h·
Discuss: r/programming
🛡️Parser Security
Beyond Von Neumann: Toward a unified deterministic architecture
venturebeat.com·2d
🤝Cooperative Threading
Adventures on the AI Coding side of things
medium.com·15h·
Discuss: Hacker News
🎭Program Synthesis
Fun with HyperLogLog and SIMD
vaktibabat.github.io·2d·
Discuss: Hacker News, r/rust
🔢Bit Manipulation
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·1d·
Discuss: Hacker News
🔢Algebraic Datatypes
Deterministic AI: Why Reliability, Not Creativity, Is the Future of LLMs
davletd.medium.com·4h·
Discuss: Hacker News
🎭Program Synthesis