π Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·17h·
Discuss: r/programming
🧠Memory Models
Using Palm Jumeirah's Design to Visualize the Elliptic Curve Method
codingpirate.com·11h·
Discuss: Hacker News
🔢Algebraic Datatypes
Cap'n Proto in WASM
mikel.xyz·1h·
Discuss: Hacker News
🔧WASI
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·6h
🎲Parser Fuzzing
Automated Microfluidic Device Characterization via Iterative Bayesian Optimization and Digital Twin Validation
dev.to·13h·
Discuss: DEV
🔬Nanopasses
ECS Implementation
reddit.com·1d·
Discuss: r/cpp
🤖Embedded Go
In calculus, going from a single variable to millions of variables is hard.
threadreaderapp.com·16h
🧮Combinator Calculus
Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
🔗Concatenative Theory
Delimited Continuations in Lone Lisp
matheusmoreira.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🔮Lisp Interpreters
The Making of Digital Identity – The Birth of Digital Authentication
syntheticauth.ai·19h·
Discuss: Hacker News
🛡️Capability Security
On This Day in Math - October 6
pballew.blogspot.com·5h·
Discuss: www.blogger.com
📐Mathematical Computing
Highly concurrent in-memory counter in GoLang
engineering.grab.com·10h
🧠Memory Models
A PhD in Snapshots
rbharath.github.io·10h·
Discuss: Hacker News
🎯Finite Automata
The math Module in Python: 6 Common Calculations You Can Make
howtogeek.com·18h
📐Mathematical Computing
Multi Client TCP Chat with Tkinter
dev.to·1d·
Discuss: DEV
🌍Minimal HTTP
Recurse Checkins
404wolf.com·9h
🔄Bootstrapping
Working pipe operator today in pure JavaScript
github.com·2d·
Discuss: Hacker News
🌪️V8 Pipeline
Property-based testing of batch-invariant operations
mmaaz.ca·11h·
Discuss: Hacker News
🎲Property Testing
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·6h
📱Bytecode Design
Reflections on Designing a Search Autocomplete System
torontostudygroup.github.io·1d·
Discuss: DEV
🌿Trie Structures