π Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

How OpenAI Uses Kubernetes And Apache Kafka for GenAI
blog.bytebytego.com·3h
📡Erlang BEAM
Automated Microfluidic Device Characterization via Iterative Bayesian Optimization and Digital Twin Validation
dev.to·21h·
Discuss: DEV
🔬Nanopasses
Working pipe operator today in pure JavaScript
github.com·2d·
Discuss: Hacker News
🌪️V8 Pipeline
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·14h
📱Bytecode Design
Property-based testing of batch-invariant operations
mmaaz.ca·20h·
Discuss: Hacker News
🎲Property Testing
You Don't Argue Against Descartes, You Supersede Him Through Implementation
bitcoin-zero-down-2ea152.gitlab.io·4h·
Discuss: Hacker News
💫Effect Systems
Highly concurrent in-memory counter in GoLang
engineering.grab.com·18h
🧠Memory Models
The math Module in Python: 6 Common Calculations You Can Make
howtogeek.com·1d
📐Mathematical Computing
Fitting It All in Your Head
systemsapproach.org·11h
🌍Minimal HTTP
Gabriele Bartolini: CNPG Recipe 22 - Leveraging the New Supply Chain and Image Catalogs
gabrielebartolini.it·8h
🗑️Stack Scanning GC
This Week in Bitcoin Development (Oct 2025, Week 1)
stacker.news·4h
🔢Binary Formats
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.com·9h·
Discuss: Hacker News
🧮Theorem Provers
Reflections on Designing a Search Autocomplete System
torontostudygroup.github.io·1d·
Discuss: DEV
🌿Trie Structures
Obelisk 0.25.4 and handling of WASM traps
obeli.sk·5h·
Discuss: Lobsters, Hacker News, r/rust
🛡️Error Handling
Multi Client TCP Chat with Tkinter
dev.to·1d·
Discuss: DEV
🌍Minimal HTTP
Write in C – Let it Be
wiki.tcl-lang.org·1h·
Discuss: Hacker News
🪄C Metaprogramming
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·12h
🌳Tree Shaking
A case for learning GPU programming with a compute-first mindset – Maister's Gr
themaister.net·7h·
Discuss: Lobsters, Hacker News, r/programming
🔗Language Toolchains
Week 12— Async API Calls: fetch, Axios, and Promises
infosecwriteups.com·11h
🛡️Error Handling
The Power of Three: Ternary Logic, Triolectics, and Three Sided Football
sothismedias.com·8h·
Discuss: Hacker News
⚖️Inference Rules