ฯ€ Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

The Integral Guide to Well-Being
integralguide.comยท1dยท
Discuss: Hacker News
๐Ÿ”„Bootstrapping
Memory leaks: the forgotten side of web performance (2022)
nolanlawson.comยท3hยท
Discuss: Hacker News
๐Ÿ”—Weak References
State of the Art of AI Tools in Micro-Frontend Architectures โ€ข Luca Mezzalira โ€ข GOTO 2025
youtube.comยท1d
๐Ÿ’ฌSmalltalk VMs
What Happens Behind the Scenes When You Run Python Code
fusion-institute.comยท1dยท
Discuss: DEV
๐Ÿ”งError Recovery
FastAPI & PostgreSQL Sharding: A Step-by-Step Guide (Part 1) - Theory
realpython.comยท1dยท
Discuss: DEV
๐Ÿ”—Hash Functions
Souvenir
deprogrammaticaipsum.comยท1d
๐Ÿ”—Weak References
Algorithms For Black-Box, Physical-to-DRAM Address-Mapping Recovery (Georgia Tech, CNRS, Et Al.)
semiengineering.comยท1d
๐Ÿท๏ธMemory Tagging
Self-Hosted HDD Health Alerts using n8n and ntfy
noted.lolยท1d
โšกLive Programming
Why We Created Turso, a Rust-Based Rewrite of SQLite
thenewstack.ioยท1dยท
Discuss: Hacker News
๐Ÿ’พMinimal Databases
Why Microservices Are a Symptom, Not a Cure โ€“ and What the Future Looks Like
axx83.substack.comยท2dยท
Discuss: Substack, r/programming
๐ŸŒฑForth Kernels
MathArena Apex: Unconquered Final-Answer Problems
matharena.aiยท2dยท
Discuss: Hacker News
๐ŸงฉConstraint Solvers
compile times... C void* vs <T>(&mut T ..)
reddit.comยท1dยท
Discuss: r/rust
๐ŸŽชStaged Compilation
An Adaptive Responsible AI Governance Framework for Decentralized Organizations
arxiv.orgยท16h
๐Ÿ›๏ธElm Architecture
Harnessing LLM for Noise-Robust Cognitive Diagnosis in Web-Based Intelligent Education Systems
arxiv.orgยท16h
๐ŸŒฑMinimal ML
AWS CDK Unit Testing Guide: When and How to Use Different Test Types
dev.toยท9hยท
Discuss: DEV
๐ŸŽฒTest Generators
Vibe Coding Through Subscriptions, Payments, and PDF Nightmares
dev.toยท7hยท
Discuss: DEV
๐Ÿ›ก๏ธError Ergonomics
Understanding the KV Cache (feat. Self-Attention)
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„Subinterpreters
Building My Smart 2nd Brain, Part 3: API and UI Explained
dev.toยท2dยท
Discuss: DEV
๐Ÿ”„Coroutines
SliceMoE: Routing Embedding Slices Instead of Tokens for Fine-Grained and Balanced Transformer Scaling
arxiv.orgยท16h
๐Ÿ“‹JSON Parsing
How I'm using coding agents in September, 2025
blog.fsck.comยท2dยท
Discuss: Hacker News
๐Ÿ“šSelf-Documenting Code