Process Equivalence, Observational Equivalence, Concurrency, Behavioral Equivalence

Human friendly industrial device IDs
bec-systems.com·8h·
Discuss: Hacker News
🛡️Privacy Engineering
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·1d·
Discuss: Lobsters
🔍Formal Verification
Flag this post
Bus Factor 0
ericphanson.com·1d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
Context Engineering with Real-Time, Processed Data
confluent.io·7h·
Discuss: Hacker News
🔧Microservices
Flag this post
The Learning Loop and LLMs
martinfowler.com·19h·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
Playing Around with ARM Assembly
blog.nobaralabs.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
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
Observability Made Easy: How AI & OpenTelemetry Tame Tool Sprawl
dev.to·1d·
Discuss: DEV
👁️Observability
Flag this post
Visual Backdoor Attacks on MLLM Embodied Decision Making via Contrastive Trigger Learning
arxiv.org·2d
🎮Verification Games
Flag this post
Amelie 0.7.0 is out with support of User-Defined Functions
github.com·21h·
Discuss: Hacker News
λFunctional Programming
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·2d·
Discuss: Hacker News
🛡️seL4
Flag this post
Enhanced Block Copolymer Lithography via Adaptive Stochastic Gradient Descent and Dynamic Mask Optimization
dev.to·20h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Causal Graph Neural Networks for Healthcare
arxiv.org·4h
🔁Fixpoint Theory
Flag this post
The 2-hour upgrade: coder engineer
dev.to·4h·
Discuss: DEV
🔧DevOps
Flag this post
Deployable Vision-driven UAV River Navigation via Human-in-the-loop Preference Alignment
arxiv.org·1d
🤖Robotics
Flag this post
I Use AI
ben.stolovitz.com·19h·
Discuss: Hacker News
🔤Language Design
Flag this post