↔️ Bisimilarity

Process Equivalence, Observational Equivalence, Concurrency, Behavioral Equivalence

🧠 Soft Architecture (Part B): Emotional Timers and the Code of Care (Part 5 of the SaijinOS series)
dev.to·13h·
Discuss: DEV
🔲Cellular Automata
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·8h·
Discuss: Hacker News
👁️System Observability
Flag this post
Text rendering and effects using GPU-computed distances
blog.pkh.me·8h·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
Myths Programmers Believe about CPU Caches
software.rajivprab.com·2d·
Discuss: Hacker News
⚙️Operating System Design
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·1d·
Discuss: r/golang
🎯GADT
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·2d·
Discuss: Hacker News, r/programming
🔬Static Analysis
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.com·7h·
Discuss: Hacker News
📦Opam
Flag this post
The case against boolean logic
abuseofnotation.github.io·2d·
Discuss: Hacker News
❓Existential Types
Flag this post
Quantum-Resistant Federated Learning: Securing Distributed Model Training Against Post-Quantum Cryptography Threats
dev.to·16h·
Discuss: DEV
❓Existential Types
Flag this post
Durable execution workflow system based on Postgres
github.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Flag this post
How fast can an LLM go?
fergusfinn.com·2d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·1d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
DDD and the Simplicity Gospel
oluatte.com·3h·
Discuss: Hacker News, r/programming
🔤DSLs
Flag this post
Veo3 vs. Wan2.2 vs. Sora2: Zero-Shot Video Generation Comparison
nuefunnel.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Is 'human' a risky AGI target
nullsy.com·2h·
Discuss: Hacker News
📚Automata Learning
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·1d·
Discuss: Hacker News
🔁Fixed-Point Theory
Flag this post
Breaking Monoliths Taught Me How to Fix Data
blog.matterbeam.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Concurrency Step-by-Step: Conforming to Protocols
massicotte.org·6d·
Discuss: Hacker News
🎯GADT
Flag this post
Unlocking AI Speed: The Hidden Symmetries in Reinforcement Learning
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Flag this post
How to Data Engineer the ETLFunnel Way
dev.to·9h·
Discuss: DEV
📊Runtime Verification
Flag this post