π Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

A very short, very blunt, book note
logicmatters.net·1d
🔗Concatenative Theory
The Art of Abstraction — Polymorphic Memory Allocator
unboxthecat.medium.com·1d·
Discuss: r/cpp
🏗️Custom Allocators
[PoC] LatentRecall — an experiment in LLM memory that doesn’t store prompts, but computes them on the fly
zenodo.org·22h·
Discuss: r/LocalLLaMA
💬Smalltalk VMs
Claude helped me built this insane weather application.
preview.redd.it·20h·
Discuss: r/ClaudeAI
🏠indieweb
My custom two realtime concurrency primitives
blog.inkreas.ing·3d·
Discuss: r/rust
🔗Concurrency Primitives
Simplify Your JavaScript Code with Logical Assignment Techniques
reddit.com·10h·
Discuss: r/javascript
🔧Nickel
Ask HN: Systems Development Path
news.ycombinator.com·3d·
Discuss: Hacker News
🦀MIR Optimization
Building an Internal Developer Portal: Insights from the Journey So Far
medium.com·17h·
Discuss: Hacker News
🎮Language Ergonomics
Introduction to Apache Airflow
dev.to·1d·
Discuss: DEV
📡Erlang BEAM
Vibe Coding Through Subscriptions, Payments, and PDF Nightmares
dev.to·16h·
Discuss: DEV
🛡️Error Ergonomics
I built a faster singleflight implementation for Go (zero allocations, ~4x faster than std)
reddit.com·1d·
Discuss: r/golang
💾Zero-Copy
Building My Smart 2nd Brain, Part 3: API and UI Explained
dev.to·2d·
Discuss: DEV
🔄Coroutines
AI-Driven Predictive Maintenance of Compression Testing Machines via Multi-Modal Data Fusion & Semantic Parsing
dev.to·1d·
Discuss: DEV
🪜Recursive Descent
Revisiting Long-context Modeling from Context Denoising Perspective
arxiv.org·2h
📊LR Parsing
A Generic Vector Implementation in C using void*, func*
github.com·1d·
Discuss: r/C_Programming
🪄C Metaprogramming
Efficient Probabilistic Planning with Maximum-Coverage Distributionally Robust Backward Reachable Trees
arxiv.org·1d
🔄Loop Optimization
Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.org·2d
🧩Constraint Solvers
Understanding the KV Cache (feat. Self-Attention)
dev.to·1d·
Discuss: DEV
🔄Subinterpreters
Binary: The Language That Runs the World (and Your Wi-Fi)
dev.to·3d·
Discuss: DEV
📡Binary Protocols
Dynamically Optimized Fluxome Modeling for Enhanced PKM2-Targeted Cancer Therapeutics
dev.to·1d·
Discuss: DEV
✨Effect Inference