Process Equivalence, Observational Equivalence, Concurrency, Behavioral Equivalence

Human friendly industrial device IDs
bec-systems.com·20h·
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
A Decade of AI Platform at Pinterest
medium.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Gain Control of Your Innovation With Low Code Technologies
devops.com·9h
🔧DevOps
Flag this post
Playing Around with ARM Assembly
blog.nobaralabs.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Flag this post
An appreciation post
reddit.com·5h·
Discuss: r/linux
❄️Nix
Flag this post
GIL and Race Condition in Python
dev.to·3d·
Discuss: DEV
Timed Automata
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
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·4d·
🔀OCaml Multicore
Flag this post
Writing an LLM from scratch, part 26 – evaluating the fine-tuned model
gilesthomas.com·2d·
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
Introducing Project Telos: Modeling, Measuring, and Intervening on Goal-directed Behavior in AI Systems
lesswrong.com·5d
🔄Finite State Machines
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·19h·
Discuss: DEV
🔧DevOps
Flag this post
My CI/CD bot fixed production while I slept until it didn’t
dev.to·19h·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
A Unified Model for Human Mobility Generation in Natural Disasters
arxiv.org·17h
🔲Cellular Automata
Flag this post