π Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·1d·
Discuss: r/programming
🧠Memory Models
Using Palm Jumeirah's Design to Visualize the Elliptic Curve Method
codingpirate.com·21h·
Discuss: Hacker News
🔢Algebraic Datatypes
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·14h
🚪Function Prologues
Cap'n Proto in WASM
mikel.xyz·12h·
Discuss: Hacker News
🔧WASI
µs Human-Readable IDs: A Performance Journey
dev.to·8h·
Discuss: DEV
📋JSON Parsing
Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·52m
⚡functional programming
Beating the L1 cache with value speculation (2021)
mazzo.li·5h·
Discuss: Lobsters
🔮Branch Predictors
Design Principle: Composable Services
sleepingpotato.com·8h·
Discuss: Hacker News
🔀Control Structures
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·17h
🎲Parser Fuzzing
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·5h·
Discuss: Hacker News
🗺️Region Inference
What can go wrong when using database transactions?
mariadbfordevelopers.com·28m·
Discuss: DEV
🧠Memory Models
<p>**Abstract:** This paper introduces a novel framework for formally verifying the collision avoidance behavior of autonomous drone swarms operating in complex...
freederia.com·45m
🎯Symbolic Execution
In calculus, going from a single variable to millions of variables is hard.
threadreaderapp.com·1d
🧮Combinator Calculus
ECS Implementation
reddit.com·1d·
Discuss: r/cpp
🤖Embedded Go
Is Odin Just a More Boring C?
dayvster.com·10h·
Discuss: Hacker News
🐹Go Internals
Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
🔗Concatenative Theory
The Compiler's Secret: How Coroutines Actually Work
dev.to·5h·
Discuss: DEV
🔄Coroutines
The Making of Digital Identity – The Birth of Digital Authentication
syntheticauth.ai·1d·
Discuss: Hacker News, r/programming
🛡️Capability Security
On This Day in Math - October 6
pballew.blogspot.com·16h·
Discuss: www.blogger.com
📐Mathematical Computing
Delimited Continuations in Lone Lisp
matheusmoreira.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🔮Lisp Interpreters