Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

I use these 3 Excel formulas to organize my daily life
howtogeek.com·1d
🔀SSA Form
Flag this post
2013-09-09 Kitchen Progress
flutterby.net·4h
🔄Bootstrapping
Flag this post
Pinning is a kind of static borrow
nadrieril.github.io·2d·
Discuss: r/rust
🔒Rust Borrowing
Flag this post
The real cost of Compute
idiallo.com·8h
⏱️Real-Time GC
Flag this post
Ask HN: Feedback on my discrete substrate transport preprint?
news.ycombinator.com·2d·
Discuss: Hacker News
🔄Nanopass
Flag this post
SQLite Release 3.51.0
sqlite.org·8h·
Discuss: Hacker News
💾Minimal Databases
Flag this post
Structural insights into scaffold-guided assembly of the Pseudomonas phage D3 capsid
nature.com·5h
🔗Concatenative
Flag this post
Title: New Chapter Published: Minimization of Finite Automata — A deeper look into efficient automaton design
link.springer.com·5d·
Discuss: r/compsci
🎯Finite Automata
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·19h·
Discuss: Hacker News
🔍ML Language
Flag this post
Automating Documentation Maintenance with Prodigy: A Real-World Case Study
entropicdrift.com·1d·
Discuss: r/programming
📚Self-Documenting Code
Flag this post
Dipole Nature
lesswrong.com·11h
Effect Inference
Flag this post
The Boss Needs Help
jro.sg·1d
🛡️Parser Security
Flag this post
How to Build Your Own Claude Chat App on AWS Bedrock with AWS CDK (Beginner-Friendly Step-by-Step Guide)
dev.to·1h·
Discuss: DEV
🔄Incremental Parsers
Flag this post
Shell Scripting for DevOps (Week 2)
dev.to·12h·
Discuss: DEV
🐚Shell Languages
Flag this post
Why I Ditched Caffeine for JCacheX in My Spring Boot Microservices
dev.to·13h·
Discuss: DEV
🔗Weak References
Flag this post
Series Week 9/52 — Oracle Compliance for CTOs: RBI & IRDAI Expectations
dev.to·1d·
Discuss: DEV
🛡️Error Boundaries
Flag this post