Process Equivalence, Observational Equivalence, Concurrency, Behavioral Equivalence

Human friendly industrial device IDs
bec-systems.com·23h·
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
Using XDP for Egress Traffic
loopholelabs.io·8h·
📡Network Protocol Design
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
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
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
Thought-For-Food: Reasoning Chain Induced Food Visual Question Answering
arxiv.org·1d
📚Automata Learning
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·1d
📦OPAM
Flag this post
The older I get, the better my code becomes
dev.to·22h·
Discuss: DEV
🔧DevOps
Flag this post
My CI/CD bot fixed production while I slept until it didn’t
dev.to·22h·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
Tiny GenBI: Lightweight Agent for business analysis
github.com·2h·
Discuss: Hacker News
⚙️PL Implementation
Flag this post
A Unified Model for Human Mobility Generation in Natural Disasters
arxiv.org·20h
🔲Cellular Automata
Flag this post
The 2-hour upgrade: coder engineer
dev.to·19h·
Discuss: DEV
🔧DevOps
Flag this post
Why Multimodal AI Broke the Data Pipeline — And How Daft Is Beating Ray and Spark to Fix It
hackernoon.com·2d
👁️System Observability
Flag this post
Rethinking Vibe Coding: A Skeptic's Field Notes
dev.to·1h·
Discuss: DEV
🤖Program Synthesis
Flag this post