↔️ Bisimilarity

Process Equivalence, Observational Equivalence, Concurrency, Behavioral Equivalence

Replication: from bug reproduction to replicating everything (a mental model)
read.perspectiveship.com·14h·
Discuss: r/programming
🔲Cellular Automata
Flag this post
At the end you use Git bisect
kevin3010.github.io·10h·
Discuss: Hacker News
👁️System Observability
Flag this post
A/B Testing Could Lead LLMs to Retain Users Instead of Helping Them
newsletter.danielpaleka.com·8h·
Discuss: Hacker News
🧪Property-Based Testing
Flag this post
[Project] UnisonDB: A log-native KV database that treats replication as a first-class concern
reddit.com·1d·
Discuss: r/programming
🌐ActivityPub
Flag this post
I ****Ing Hate Science
buttondown.com·3h·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
Flag this post
ViSurf: Visual Supervised-and-Reinforcement Fine-Tuning for LargeVision-and-Language Models
dev.to·1d·
Discuss: DEV
📚Automata Learning
Flag this post
How to get the GOT address from a PLT stub using GDB
rafaelbeirigo.github.io·11h·
Discuss: Hacker News
⚙️PL Implementation
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·2d
🧠Automated Reasoning
Flag this post
The Cargo Cult in the Machine: Why LLMs Are the Ultimate Imitators
steviee.medium.com·15h·
Discuss: Hacker News
📚Automata Learning
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·1d·
Discuss: Hacker News
👁️System Observability
Flag this post
ParallelMind Engine: First AI System with Parallel Logical Reasoning (202+ problems/sec)
github.com·18h·
Discuss: r/programming
🔀OCaml Multicore
Flag this post
Myths Programmers Believe about CPU Caches
software.rajivprab.com·3d·
Discuss: Hacker News
⚙️Operating System Design
Flag this post
I built a Rust-based evolution SIM where creatures eat their children
daymare.net·19h·
Discuss: Hacker News, r/rust
🔲Cellular Automata
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.to·10h·
Discuss: DEV
🕸️Graph Theory
Flag this post
DDD and the Simplicity Gospel
oluatte.com·1d·
Discuss: Hacker News, r/programming
🔤DSLs
Flag this post
Hybrid Neuro-Symbolic Reasoning for Adaptive Robotics Control in Dynamic Environments
dev.to·19h·
Discuss: DEV
🤖Robotics
Flag this post
Durable execution workflow system based on Postgres
github.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Flag this post
ClipTagger-12B VLM: Frame Captioning Tutorial
dev.to·11h·
Discuss: DEV
🔀OCaml Multicore
Flag this post
Vibecoding my way to a crit on GitHub
furbreeze.github.io·17h·
Discuss: Hacker News
🔧DevOps
Flag this post
Product Designer's workflow for prototyping with Cursor
hvpandya.com·11h·
Discuss: Hacker News
🔤Language Design
Flag this post