Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

Feeds to Scour
SubscribedAll
Scoured 78353 posts in 478.6 ms
CPU-less parallel execution of lambda calculus in digital logic
arxiv.org·21h
📏Linear Scanning
Preview
Report Post
Calculus Made Easy
calculusmadeeasy.org·11h
🏗️Calculus of Constructions
Preview
Report Post
Real-Time Data Stream Processing in Go: Backpressure, Windowing, and Fault Tolerance Explained
dev.to·12h·
Discuss: DEV
📡Async Channels
Preview
Report Post
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·14h
🛡️Taint Analysis
Preview
Report Post
Setting Up A Cluster of Tiny PCs For Parallel Computing - A Note To Myself
kenkoonwong.com·7h·
Discuss: Hacker News
🔀SIMD Programming
Preview
Report Post
GNU C Language Manual
gnu.org·7h
🪄C Metaprogramming
Preview
Report Post
Patterns All the Way Down: A Generalization for Graph-Like Things
medium.com·10h·
Discuss: Hacker News
🪢Rope Data Structures
Preview
Report Post
Rust async combinators for elegant and secure concurrency
kerkour.com·20h·
Discuss: r/rust
🪆Embedded DSLs
Preview
Report Post
Designing Boring Software with Functional Programming
agentultra.com·23h
🪞Homoiconicity
Preview
Report Post
Reduction for Structured Concurrent Programs
arxiv.org·21h
🔀Concurrency Models
Preview
Report Post
The Algebra of Speed: Mathematical Foundations of Computational Performance
ttsugriy.github.io·3d·
Discuss: Hacker News
🧠Memory Hierarchy
Preview
Report Post
On the way to step functions: the two worlds
blog.julik.nl·2d
🔄CPS Transforms
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
prompt abiogenesis ;-)
lnebres.bearblog.dev·1h
🔬Nanopasses
Preview
Report Post
Building a Self-Healing Data Pipeline That Fixes Its Own Python Errors
towardsdatascience.com·12h
🔧Error Recovery
Preview
Report Post
On Learning Elixir
denvaar.dev·23h
🚂Error Propagation
Preview
Report Post
From logical reasoning to code in C and PHP
dev.to·15h·
Discuss: DEV
📋Datalog
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