Process Equivalence, Observational Equivalence, Concurrency, Behavioral Equivalence

The Axiom of Predictive Coherence
isaacbound.substack.com·1d·
Discuss: Substack
📵Digital Minimalism
Flag this post
Reviving a MacBook Air with Fedora Silverblue
taoofmac.com·1d·
Discuss: Hacker News
📺Vintage Apple
Flag this post
Technocalvinism
blog.cosmos-institute.org·1d·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
Don't Blindly Use useTransition Everywhere
charpeni.com·22h·
🏃Escape Analysis
Flag this post
A beginner's guide to the Flux-Kontext-Fast model by Prunaai on Replicate
dev.to·1d·
Discuss: DEV
🔀OCaml Multicore
Flag this post
Predictive Freight Network Resilience via Hybrid Simulation and Stochastic Optimization
dev.to·4h·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
Sub-exponential Growth in Online Word Usage: A Piecewise Power-Law Model
arxiv.org·8h
🕸️Graph Theory
Flag this post
Development Musical Chairs
dev.to·15h·
Discuss: DEV
💾Retro Computing
Flag this post
Analytical modelling of a stop-less modular bus service with an application to charging strategies comparison
arxiv.org·8h
🤖Robotics
Flag this post
Nonlinear Instabilities in Computer Network Dynamics
arxiv.org·2d
📡Network Protocol Design
Flag this post
Automated Material Mixing Optimization for Large-Scale 3D Printed Concrete Structures via Bayesian Reinforcement Learning
dev.to·1d·
Discuss: DEV
🤖Robotics
Flag this post
My AI Agent Team - 7 AI Tools For Getting Things Done
dev.to·19h·
Discuss: DEV
🧩Parser Combinators
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.org·3d
🛡️seL4
Flag this post
Modulation of temporal decision-making in a deep reinforcement learning agent under the dual-task paradigm
arxiv.org·3d
Timed Automata
Flag this post
Beyond Chat: a Framework for LLMs as Human-Centered Support Systems
arxiv.org·8h
🔤Language Design
Flag this post
From vibe coding to context engineering: 2025 in software development
technologyreview.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Flag this post
Auditing M-LLMs for Privacy Risks: A Synthetic Benchmark and Evaluation Framework
arxiv.org·1d
🛡️Privacy Engineering
Flag this post
CaRF: Enhancing Multi-View Consistency in Referring 3D Gaussian Splatting Segmentation
arxiv.org·8h
🔲Cellular Automata
Flag this post
GPTF-8: A tokenizer-based character encoding
lesswrong.com·5h
🔤Kleene Algebra
Flag this post