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
On-Device AI for IoT Sensors: When Local Inference Finally Makes Sense
iotbusinessnews.comยท7h
๐Ÿ—บ๏ธRegion Inference
Flag this post
Ask HN: Feedback on my discrete substrate transport preprint?
news.ycombinator.comยท2dยท
Discuss: Hacker News
๐Ÿ”„Nanopass
Flag this post
Block propagation & miner revenue, resolving multi-party protocols - Optech #381
bitcoinops.orgยท2d
๐Ÿ“ฎMessage Queues
Flag this post
Structural insights into scaffold-guided assembly of the Pseudomonas phage D3 capsid
nature.comยท3h
๐Ÿ”—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
Automating Documentation Maintenance with Prodigy: A Real-World Case Study
entropicdrift.comยท1dยท
Discuss: r/programming
๐Ÿ“šSelf-Documenting Code
Flag this post
Olmo 3 is a fully open LLM
simonwillison.netยท17hยท
Discuss: Hacker News
๐Ÿ”ML Language
Flag this post
Process as Accountability Theater
medium.comยท15h
๐Ÿ’ฌREPL Design
Flag this post
Announcing Spikard v0.1.0: High-Performance Polyglot API Toolkit with Native TypeScript Bindings
reddit.comยท4hยท
Discuss: r/typescript
๐Ÿ”งAPI Design
Flag this post
Beyond the Hype: How to Use AI to Actually Increase Your Productivity as a Dev
docker.comยท2d
๐ŸŽญProgram Synthesis
Flag this post
Stream of Consciousness as a Scaffolding Skill
lesswrong.comยท14h
๐Ÿ’ฌInteractive REPLs
Flag this post
Show HN: Mamba2-Jax; Mamba2 implemented in pure Jax/Flax
github.comยท1dยท
Discuss: Hacker News
๐Ÿ—บ๏ธRegion Inference
Flag this post
Automated Quality Control Assessment of Fujifilm Photoensitive Polymer Films via Multi-Modal Data Fusion
dev.toยท3hยท
Discuss: DEV
โœจEffect Inference
Flag this post
The Loss of Control Playbook: Degrees, Dynamics, and Preparedness
arxiv.orgยท2d
๐Ÿ›ก๏ธSecurity Type Systems
Flag this post
Building an inline prompt engineer for LLMs.
reddit.comยท7hยท
Discuss: r/LLM
๐Ÿ’ฌREPL Design
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
dev.toยท22hยท
Discuss: DEV
๐ŸŽชPlayground Compilation
Flag this post
๐Ÿš€ Deep Dive: The Uniface 3GL Call-In API & C Integration
dev.toยท4hยท
Discuss: DEV
๐ŸŒ‰Cross-Platform FFI
Flag this post
Dipole Nature
lesswrong.comยท10h
โœจEffect Inference
Flag this post
From Prototype to Production: How to Engineer Reliable LLM Systems
dev.toยท20hยท
Discuss: DEV
๐Ÿ—๏ธLLVM
Flag this post