⏰ Timed Automata

Real-Time Systems, Clock Constraints, Uppaal, Model Checking, Temporal Properties

Intention > Automation
unworkableideas.com·9h·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
Know Your Assets, Know Your Normal: A Practical Guide to OT Baselining
emberot.com·14h·
Discuss: Hacker News
📊Runtime Verification
Flag this post
SQLite concurrency and why you should care about it
jellyfin.org·8h·
Discuss: Hacker News
🧩Separation Logic
Flag this post
Two Paths to Safety: How Go and Rust Made Opposite Bets
dev.to·1d·
Discuss: DEV
🏃Escape Analysis
Flag this post
Cursor 2.0 Brings Faster AI Coding and Multi-Agent Workflows
devops.com·1d
👁️System Observability
Flag this post
Beyond Brute Force: 4 Secrets to Smaller, Smarter, and Dramatically Cheaper AI
hackernoon.com·6h
⏱️Computational Complexity
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·1d
🔲Cellular Automata
Flag this post
**Adaptive Algorithmic Profiling & Resource Allocation via Dynamic Markov Chain Optimization**
dev.to·8h·
Discuss: DEV
🧠Automated Reasoning
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·1d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Ajla Tutorial
ajla-lang.cz·1d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
No Cap, This Memory Slaps: Breaking Through the OLTP Memory Wall
danglingpointers.substack.com·2d·
Discuss: Substack
🔀OCaml Multicore
Flag this post
Oops, My UUIDs Collided
alexsci.com·1d·
Discuss: Hacker News
🎯GADT
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·3d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Olsrt – OverLab Streams Runtime
news.ycombinator.com·1d·
Discuss: Hacker News
🌐Network Protocols
Flag this post
Predictive Analytics: Seeing the Future of Your Systems
dev.to·7h·
Discuss: DEV
👁️System Observability
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·1d
🧪Property-Based Testing
Flag this post
Automated Semantic Validation of Modular Software Architectures via Hyper-Graph Resonance
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Turing Machine Visualization (2016)
turingmachine.io·4d·
Discuss: Hacker News
🔢Computability Theory
Flag this post
Opportunistic Mutation in Roc
roc-lang.org·3d·
Discuss: Hacker News
🔧ppx
Flag this post
CAD-3D on the Atari ST
stonetools.ghost.io·1d·
Discuss: Hacker News
💾Retro Computing
Flag this post