Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

Show HN: Convert between Mermaid, draw.io, and Excalidraw diagrams
diagram-bridge-project-new.vercel.app·3h·
Discuss: Hacker News
💬REPL Design
Zero Standing Privilege: Marginal Improvement on the Wrong Paradigm
gluufederation.medium.com·1h·
Discuss: Hacker News
🛡️Capability Security
Memory leaks: the forgotten side of web performance (2022)
nolanlawson.com·5h·
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
FastAPI & PostgreSQL Sharding: A Step-by-Step Guide (Part 1) - Theory
realpython.com·1d·
Discuss: DEV
🔗Hash Functions
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·3d·
🌱Forth Kernels
compile times... C void* vs <T>(&mut T ..)
reddit.com·1d·
Discuss: r/rust
🎪Staged Compilation
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·18h
📋JSON Parsing
Dynamically Optimized Fluxome Modeling for Enhanced PKM2-Targeted Cancer Therapeutics
dev.to·21h·
Discuss: DEV
Effect Inference
How I'm using coding agents in September, 2025
blog.fsck.com·2d·
Discuss: Hacker News
📚Self-Documenting Code
Binary: The Language That Runs the World (and Your Wi-Fi)
dev.to·2d·
Discuss: DEV
📡Binary Protocols
Your-Error-Handling-is-a-Mess-and-Its-Costing-You-💸
dev.to·4h·
Discuss: DEV
🚂Error Propagation
Beyond-env-A-Grown-Ups-Guide-to-Application-Configuration
dev.to·2h·
Discuss: DEV
Configuration Validation
Engineering Nirvana: When Valves Speak the Language of Code
dev.to·1d·
Discuss: DEV
🎭Program Synthesis
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·2d·
Discuss: DEV
🧮Theorem Provers