↔️ Bisimilarity

Process Equivalence, Observational Equivalence, Concurrency, Behavioral Equivalence

Human friendly industrial device IDs
bec-systems.com·10h·
Discuss: Hacker News
🛡️Privacy Engineering
Flag this post
Chicken Coop Tech Stack
excamera.substack.com·15h·
Discuss: Substack
🔧Microcontrollers
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·2d·
Discuss: Lobsters
🔍Formal Verification
Flag this post
CHERIoT 1.0 Released
cheriot.org·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Flag this post
Hybrid-Attention models are the future for SLMs
inference.net·1d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
GIL and Race Condition in Python
dev.to·3d·
Discuss: DEV
⏰Timed Automata
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·23h·
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·22h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Causal Graph Neural Networks for Healthcare
arxiv.org·6h
🔁Fixpoint Theory
Flag this post
The 2-hour upgrade: coder engineer
dev.to·6h·
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·21h·
Discuss: Hacker News
🔤Language Design
Flag this post
Leaving Open Philanthropy, going to Anthropic
lesswrong.com·1d
🔲Cellular Automata
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·3d·
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
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