π Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

A very short, very blunt, book note
logicmatters.net·1d
🔗Concatenative Theory
The Mechanism of Mineral Nucleation and Growth in a Mini-Ferritin
pubs.acs.org·1d·
Discuss: Hacker News
✨Effect Inference
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·1d·
Discuss: r/LocalLLaMA
💬Smalltalk VMs
Claude helped me built this insane weather application.
preview.redd.it·1d·
Discuss: r/ClaudeAI
🏠indieweb
The foundation of "streams" in Node.js [NodeBook]
thenodebook.com·3d·
Discuss: r/node
⏱️Real-Time GC
Simplify Your JavaScript Code with Logical Assignment Techniques
reddit.com·15h·
Discuss: r/javascript
🔧Nickel
Ask HN: Systems Development Path
news.ycombinator.com·3d·
Discuss: Hacker News
🦀MIR Optimization
Fast-Convergent Proximity Graphs for Approximate Nearest Neighbor Search
arxiv.org·6h
🌸Bloom Indexing
Beyond Transformers: Can MLPs Unlock the Potential of In-Context Learning?
dev.to·15h·
Discuss: DEV
🌱Minimal ML
Detecting Distillation Data from Reasoning Models
arxiv.org·1d
✅Type Checking
Finite Time Analysis of Constrained Natural Critic-Actor Algorithm with Improved Sample Complexity
arxiv.org·1d
🎭Erlang OTP
SliceMoE: Routing Embedding Slices Instead of Tokens for Fine-Grained and Balanced Transformer Scaling
arxiv.org·1d
📋JSON Parsing
The fragility of "cultural tendencies" in LLMs
arxiv.org·6h
🌱Minimal Interpreters
StaMo: Unsupervised Learning of Generalizable Robot Motion from Compact State Representation
arxiv.org·1d
🌱Minimal ML
DiffuSpec: Unlocking Diffusion Language Models for Speculative Decoding
arxiv.org·2d
🚀Tokenizer Performance
Contrastive-SDE: Guiding Stochastic Differential Equations with Contrastive Learning for Unpaired Image-to-Image Translation
arxiv.org·1d
🔍ML Language
Simple hash map in C, for learning purpose
reddit.com·1d·
Discuss: r/C_Programming
🏷️Symbol Interning
NEURODNAAI: Neural pipeline approaches for the advancing dna-based information storage as a sustainable digital medium using deep learning framework
arxiv.org·2d
📋JSON Parsing
Your-Projects-a-Mess-Its-Not-You-Its-Your-Frameworks-Fault
dev.to·1h·
Discuss: DEV
📦Monorepos