π Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

Property-based testing of batch-invariant operations
mmaaz.ca·16h·
Discuss: Hacker News
🎲Property Testing
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·11h
📱Bytecode Design
You Don't Argue Against Descartes, You Supersede Him Through Implementation
bitcoin-zero-down-2ea152.gitlab.io·1h·
Discuss: Hacker News
💫Effect Systems
This Week in Bitcoin Development (Oct 2025, Week 1)
stacker.news·56m
🔢Binary Formats
The math Module in Python: 6 Common Calculations You Can Make
howtogeek.com·23h
📐Mathematical Computing
Gabriele Bartolini: CNPG Recipe 22 - Leveraging the New Supply Chain and Image Catalogs
gabrielebartolini.it·5h
🗑️Stack Scanning GC
Fitting It All in Your Head
systemsapproach.org·8h
🌍Minimal HTTP
Beyond the Single-Writer Limitation with Turso's Concurrent Writes
turso.tech·15h·
Discuss: Hacker News
🧠Memory Models
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.com·5h·
Discuss: Hacker News
🧮Theorem Provers
The Integral Guide to Well-Being
integralguide.com·12h·
Discuss: Hacker News
🔄Bootstrapping
Highly concurrent in-memory counter in GoLang
engineering.grab.com·15h
🧠Memory Models
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·2h·
Discuss: Lobsters, Hacker News
🛡️Error Handling
Multi Client TCP Chat with Tkinter
dev.to·1d·
Discuss: DEV
🌍Minimal HTTP
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·9h
🌳Tree Shaking
A case for learning GPU programming with a compute-first mindset – Maister's Gr
themaister.net·3h·
Discuss: Lobsters, Hacker News, r/programming
🔗Language Toolchains
Week 12— Async API Calls: fetch, Axios, and Promises
infosecwriteups.com·8h
🛡️Error Handling
The Power of Three: Ternary Logic, Triolectics, and Three Sided Football
sothismedias.com·5h·
Discuss: Hacker News
⚖️Inference Rules
Beyond Von Neumann: Toward a unified deterministic architecture
venturebeat.com·1d
🤝Cooperative Threading
Embracing the parallel coding agent lifestyle
simonw.substack.com·14h·
Discuss: Substack
⚡Live Coding