π Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

Feeds to Scour
SubscribedAll
Scoured 77889 posts in 1.19 s
CPU-less parallel execution of lambda calculus in digital logic
arxiv.org·1d
📏Linear Scanning
Preview
Report Post
Calculus Made Easy
calculusmadeeasy.org·16h
🏗️Calculus of Constructions
Preview
Report Post
CAP Theorem Explained: Beyond the "Pick Two" Myth
blog.ahmazin.dev·1h·
Discuss: Hacker News
📡Async Channels
Preview
Report Post
Real-Time Data Stream Processing in Go: Backpressure, Windowing, and Fault Tolerance Explained
dev.to·18h·
Discuss: DEV
📡Async Channels
Preview
Report Post
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·20h
🛡️Taint Analysis
Preview
Report Post
Setting Up A Cluster of Tiny PCs For Parallel Computing - A Note To Myself
kenkoonwong.com·12h·
Discuss: Hacker News
🔀SIMD Programming
Preview
Report Post
GNU C Language Manual
gnu.org·12h
🪄C Metaprogramming
Preview
Report Post
Patterns All the Way Down: A Generalization for Graph-Like Things
medium.com·15h·
Discuss: Hacker News
🪢Rope Data Structures
Preview
Report Post
Designing an Authentication System: A Dialogue in Four Scenes (1997)
web.mit.edu·54m·
Discuss: Hacker News
🛡️Capability Security
Preview
Report Post
Rust async combinators for elegant and secure concurrency
kerkour.com·1d·
Discuss: r/rust
🪆Embedded DSLs
Preview
Report Post
Designing Boring Software with Functional Programming
agentultra.com·1d
🪞Homoiconicity
Preview
Report Post
The Algebra of Speed: Mathematical Foundations of Computational Performance
ttsugriy.github.io·3d·
Discuss: Hacker News
🧠Memory Hierarchy
Preview
Report Post
Reduction for Structured Concurrent Programs
arxiv.org·1d
🔀Concurrency Models
Preview
Report Post
Simulating Pots with LTSpice
hackaday.com·5h
⚡Partial Evaluation
Preview
Report Post
On the way to step functions: the two worlds
blog.julik.nl·2d
🔄CPS Transforms
Preview
Report Post
Phase-space engineering and collective dynamics in memcomputing
link.aps.org·38m
🔗Memory Linearization
Preview
Report Post
ES6 Generators Deliver Go Style Concurrency
swannodette.github.io·1d
⚙️Async State Machines
Preview
Report Post
Scheme implementation as O’Reilly book via Claude Code
ezzeriesa.notion.site·1d·
Discuss: Hacker News
🔧Scheme Macros
Preview
Report Post
Binary Algorithms
exystence.net·1d
📡Binary Protocols
Preview
Report Post
SHADOW: Simultaneous Multi-Threading Architecture with Asymmetric Threads
danglingpointers.substack.com·1d·
Discuss: Substack
🤝Cooperative Threading
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help