↔️ Bisimilarity

Process Equivalence, Observational Equivalence, Concurrency, Behavioral Equivalence

Human friendly industrial device IDs
bec-systems.com·18h·
Discuss: Hacker News
🛡️Privacy Engineering
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·2d·
Discuss: Lobsters
🔍Formal Verification
Flag this post
Gain Control of Your Innovation With Low Code Technologies
devops.com·6h
🔧DevOps
Flag this post
A Decade of AI Platform at Pinterest
medium.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Playing Around with ARM Assembly
blog.nobaralabs.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Flag this post
The Learning Loop and LLMs
martinfowler.com·1d·
Discuss: Hacker News, Hacker News
🏃Escape Analysis
Flag this post
GIL and Race Condition in Python
dev.to·3d·
Discuss: DEV
⏰Timed Automata
Flag this post
Position Paper: If Innovation in AI Systematically Violates Fundamental Rights, Is It Innovation at All?
arxiv.org·1d
🩹Self-Healing Systems
Flag this post
EgoMI: Learning Active Vision and Whole-Body Manipulation from Egocentric Human Demonstrations
arxiv.org·1d
🤖Robotics
Flag this post
I Use AI
ben.stolovitz.com·1d·
Discuss: Hacker News
🔤Language Design
Flag this post
Leaving Open Philanthropy, going to Anthropic
lesswrong.com·2d
🔲Cellular Automata
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming, r/rust
🔀OCaml Multicore
Flag this post
Writing an LLM from scratch, part 26 – evaluating the fine-tuned model
gilesthomas.com·1d·
Discuss: Hacker News
📚Automata Learning
Flag this post
How I Use AI to Build Frontend Apps: My Candid, Messy Process
dev.to·1d·
Discuss: DEV
🌐ActivityPub
Flag this post
Deployable Vision-driven UAV River Navigation via Human-in-the-loop Preference Alignment
arxiv.org·1d
🤖Robotics
Flag this post
My CI/CD bot fixed production while I slept until it didn’t
dev.to·17h·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·1d
📦OPAM
Flag this post
Thought-For-Food: Reasoning Chain Induced Food Visual Question Answering
arxiv.org·1d
📚Automata Learning
Flag this post
The older I get, the better my code becomes
dev.to·16h·
Discuss: DEV
🔧DevOps
Flag this post
A Unified Model for Human Mobility Generation in Natural Disasters
arxiv.org·14h
🔲Cellular Automata
Flag this post