π Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

OEM technology – callas’s best kept secret
pdfa.org·9h
🎮Language Ergonomics
Nonlinearly Self-Interacting Extended Bodies Move as Test Bodies in Effective External Fields
journals.aps.org·5h
💫Effect Systems
My time at Oracle: functional and design specification reviews
smalldatum.blogspot.com·8h·
Discuss: smalldatum.blogspot.com
🎮Language Ergonomics
Introducing OpenZL: An Open Source Format-Aware Compression Framework
engineering.fb.com·12h·
Discuss: Lobsters, Hacker News, r/programming
📦Compression Algorithms
The Inverse Matrix problem
talesfrom.dev·1d
🚂Error Propagation
PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning
arxiv.org·1d
✅Type Checking
🔁 Idempotency in System Design
dev.to·1d·
Discuss: DEV
📡Network Serialization
Simple hash map in C, for learning purpose
reddit.com·17h·
Discuss: r/C_Programming
🏷️Symbol Interning
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·1d·
Discuss: Hacker News
🧩Constraint Solvers
The Closure Phenomenon: Functions That Remember
dev.to·3d·
Discuss: DEV
🔗Lexical Scoping
An Illustrated Introduction to Linear Algebra
ducktyped.org·15h·
Discuss: Hacker News
🧮Linear Algebra
A Generic Vector Implementation in C using void*, func*
github.com·12h·
Discuss: r/C_Programming
🪄C Metaprogramming
VisitHGNN: Heterogeneous Graph Neural Networks for Modeling Point-of-Interest Visit Patterns
arxiv.org·1d
📈Earley Parsing
compile times... C void* vs <T>(&mut T ..)
reddit.com·14h·
Discuss: r/rust
🎪Staged Compilation
Introduction to Apache Airflow
dev.to·20h·
Discuss: DEV
📡Erlang BEAM
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·2d·
Discuss: Hacker News
🔍ML Language
AI Under the Hood Part I: Understanding the Machine
kennethwolters.com·3d·
Discuss: Hacker News
🖥️Lisp Machines
Are Linked Lists necessary?
dev.to·12h·
Discuss: DEV
🤐Zipper Structures
Building Intelligent Research Agents with OpenAI's Agents Framework
dev.to·18h·
Discuss: DEV
🎭Program Synthesis
NEURODNAAI: Neural pipeline approaches for the advancing dna-based information storage as a sustainable digital medium using deep learning framework
arxiv.org·1d
📋JSON Parsing