Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·22h·
Discuss: r/programming
🧠Memory Models
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·8h
🚪Function Prologues
Using Palm Jumeirah's Design to Visualize the Elliptic Curve Method
codingpirate.com·16h·
Discuss: Hacker News
🔢Algebraic Datatypes
Cap'n Proto in WASM
mikel.xyz·6h·
Discuss: Hacker News
🔧WASI
µs Human-Readable IDs: A Performance Journey
dev.to·2h·
Discuss: DEV
📋JSON Parsing
Design Principle: Composable Services
sleepingpotato.com·2h·
Discuss: Hacker News
🔀Control Structures
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·11h
🎲Parser Fuzzing
In calculus, going from a single variable to millions of variables is hard.
threadreaderapp.com·21h
🧮Combinator Calculus
ECS Implementation
reddit.com·1d·
Discuss: r/cpp
🤖Embedded Go
Is Odin Just a More Boring C?
dayvster.com·4h·
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·15m·
Discuss: DEV
🔄Coroutines
The Making of Digital Identity – The Birth of Digital Authentication
syntheticauth.ai·1d·
🛡️Capability Security
On This Day in Math - October 6
pballew.blogspot.com·10h·
📐Mathematical Computing
Delimited Continuations in Lone Lisp
matheusmoreira.com·3d·
🔮Lisp Interpreters
A PhD in Snapshots
rbharath.github.io·15h·
Discuss: Hacker News
🎯Finite Automata
Recurse Checkins
404wolf.com·14h
🔄Bootstrapping
CPU Cache-Friendly Data Structures in Go: 10x Speed with Same Algorithm
skoredin.pro·9h·
Discuss: Hacker News
Cache Optimization
How OpenAI Uses Kubernetes And Apache Kafka for GenAI
blog.bytebytego.com·20m
📡Erlang BEAM
Working pipe operator today in pure JavaScript
github.com·2d·
Discuss: Hacker News
🌪️V8 Pipeline