π 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
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·11h
🚪Function Prologues
Using Palm Jumeirah's Design to Visualize the Elliptic Curve Method
codingpirate.com·19h·
Discuss: Hacker News
🔢Algebraic Datatypes
Cap'n Proto in WASM
mikel.xyz·9h·
Discuss: Hacker News
🔧WASI
µs Human-Readable IDs: A Performance Journey
dev.to·5h·
Discuss: DEV
📋JSON Parsing
Beating the L1 cache with value speculation (2021)
mazzo.li·3h·
Discuss: Lobsters
🔮Branch Predictors
Design Principle: Composable Services
sleepingpotato.com·5h·
Discuss: Hacker News
🔀Control Structures
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·14h
🎲Parser Fuzzing
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·3h·
Discuss: Hacker News
🗺️Region Inference
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·7h·
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·3h·
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·13h·
Discuss: www.blogger.com
📐Mathematical Computing
Delimited Continuations in Lone Lisp
matheusmoreira.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🔮Lisp Interpreters
A PhD in Snapshots
rbharath.github.io·18h·
Discuss: Hacker News
🎯Finite Automata
What happened to Longcat models? Why are there no quants available?
huggingface.co·58m·
Discuss: r/LocalLLaMA
✨Gleam
Recurse Checkins
404wolf.com·17h
🔄Bootstrapping