π Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

Trying Out C++26 Executors
mropert.github.io·15h·
Discuss: Lobsters, Hacker News
🔮Speculative Execution
Flag this post
When Noise Becomes Structure - The Hidden Mechanism Behind Resonance
scale.forem.com·27m·
Discuss: DEV
💫Effect Systems
Flag this post
Verifying and testing timeliness constraints of Haskell programs
well-typed.com·2d·
Discuss: Hacker News
⚡Interpreter Optimization
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.org·13h
🗂️Type Indexing
Flag this post
An overview of memory management in Go (2021)
medium.com·17h·
Discuss: Hacker News
📚Stack Data Structures
Flag this post
Connecting and ordering consent in a collective
1a-insec.net·1d
⚡Algebraic Effects
Flag this post
Go Memory Model Deep Dive: What Every Go Developer Must Know – Serge Skoredin
skoredin.pro·1d·
Discuss: Hacker News
🧠Memory Models
Flag this post
Evolution Strategies at the Hyperscale
eshyperscale.github.io·2d·
Discuss: Hacker News
💬Interactive REPLs
Flag this post
Set theory with types
lawrencecpaulson.github.io·2d·
Discuss: Hacker News, Hacker News
🎯Type Theory
Flag this post
✨ Silent-Civ Part 15 12-4Closing Reflections
future.forem.com·18h·
Discuss: DEV
🌙Lua
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
pseudorun.tech·17h·
Discuss: Hacker News
🌱Minimal Interpreters
Flag this post
Building a Durable Execution Engine With SQLite
morling.dev·2d·
Discuss: Lobsters, Hacker News, r/programming
🔍Execution Tracing
Flag this post
Industries Where Your C Code Saves Lives (And They're Hiring)
dev.to·6h·
Discuss: DEV
🔌Microcontrollers
Flag this post
Introducing Qeltrix: A Content-Derived, Parallel Streaming Obfuscation Container
dev.to·1h·
Discuss: DEV
🛡️Security Type Systems
Flag this post
Incorporating Self-Rewriting into Large Language Model Reasoning Reinforcement
arxiv.org·2d
🪜Recursive Descent
Flag this post
Refined Linear Approximations for ARX Ciphers and Their Application to ChaCha
eprint.iacr.org·2d
🔗Hash Functions
Flag this post
Claude Code-Sonnet 4.5 >>>>>>> Gemini 3.0 Pro - Antigravity
factory.ai·21h·
Discuss: r/ClaudeAI
📝Rope Editors
Flag this post
Show HN: Fluxion – Rust async stream composition supporting error propagation
github.com·5d·
Discuss: Hacker News
🔗Concurrency Primitives
Flag this post
LLM APIs are a Synchronization Problem
lucumr.pocoo.org·1d·
Discuss: Lobsters, Hacker News
📦Message Serialization
Flag this post
Ergo Framework Documentation - major overhaul. Looking for feedback
devel.docs.ergo.services·3d·
Discuss: r/golang
📡Erlang
Flag this post