Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

Top 2027 recruit Bruce Branch III reclassifies to 2026, reshaping early NBA Draft race
nytimes.com·14h
🔄Copy Propagation
Flag this post
Mathematics of Consensus — Accidental Lecture
tigerbeetle.com·1d
🔶Lattice Theory
Flag this post
Playing with cryptography
voboda.bearblog.dev·1d
🔗Hash Functions
Flag this post
OSS Friday Update
noteflakes.com·1d·
📡Erlang BEAM
Flag this post
Uncertainty Architecture: A Modern Approach to Designing LLM Applications
pub.towardsai.net·23h
🎮Language Ergonomics
Flag this post
Thankful for Memory Managed Languages
mooreds.com·19h·
Discuss: Hacker News
🔗Concatenative Languages
Flag this post
The Original OTP: Inside the Only Encryption Proven to Be Unbreakable
hackernoon.com·1d
🔗Hash Functions
Flag this post
Math And Programming - Perfectly Matched
i-programmer.info·1d
📖Literate Programming
Flag this post
Recursive Satellite Trajectory Optimization for Collision Avoidance via Hybrid Symbolic-Numeric Simulation
dev.to·3h·
Discuss: DEV
Partial Evaluation
Flag this post
A New Bridge Links the Strange Math of Infinity to Computer Science
quantamagazine.org·1d·
♾️Codata Types
Flag this post
Axelang - A Systems Programming Language with Concurrency as a First-Class feature
axelang.org·1d·
Discuss: DEV
🔧Error Recovery
Flag this post
Rethinking C++: Architecture, Concepts, and Responsibility
blogs.embarcadero.com·3d·
Discuss: Hacker News
🔬Nanopasses
Flag this post
Built an "Operating System" for AI agents that actually survives when shit breaks (offline-first, self-healing)
reddit.com·19h·
Discuss: r/ClaudeAI
🛡️Capability VMs
Flag this post
Uniface Session Services: The Unsung Heroes of Business Logic 🦸‍♂️💻
dev.to·3h·
Discuss: DEV
🤝Session Protocols
Flag this post
FAWK: LLMs can write a language interpreter
martin.janiczek.cz·2d·
🐪OCaml
Flag this post
The Hidden Tax You Are Paying Every Day: A Dev's Journey into Ops Automation
dev.to·7h·
Discuss: DEV
🔄Go Scheduler
Flag this post
When to Use (and Avoid) `collect()` in Rust 1.91.1
dev.to·1h·
Discuss: DEV
🔗Borrowing Extensions
Flag this post
I built a task system that survives Claude sessions and works across any AI tool - entirely made with Claude Code
taskr.one·1d·
Discuss: r/ClaudeAI
💬Interactive REPLs
Flag this post
eBPF and Go in Production: Network Monitoring and Security
skoredin.pro·1d·
Discuss: Hacker News
📡Protocol Parsers
Flag this post
Bytecode Compilers and Interpreters (2019)
bernsteinbear.com·4d·
Discuss: Hacker News
🔮Lisp Interpreters
Flag this post