⏰ Timed Automata

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

Cycle-accurate 6502 emulator as coroutine in Rust
github.com·6h·
Discuss: Hacker News, r/programming, r/rust
🔀OCaml Multicore
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·23h
🧠Automated Reasoning
Flag this post
Speedrunning an RL Environment
sidb.in·10h·
Discuss: Hacker News
🎮Verification Games
Flag this post
🧠 Soft Architecture (Part B): Emotional Timers and the Code of Care (Part 5 of the SaijinOS series)
dev.to·8h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
crockford.com·6h·
Discuss: Hacker News
λFunctional Programming
Flag this post
A portable picokernel for async I/O
ryansepassi.com·18h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Context Engineering: The Foundation for Reliable AI Agents
thenewstack.io·1d
🔤Language Design
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·2d
λFunctional Programming
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·4h·
Discuss: Hacker News
👁️System Observability
Flag this post
The AI Capability Gap
blog.dwac.dev·8h·
Discuss: r/programming, r/webdev
👁️System Observability
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·1d·
Discuss: Lobsters, Hacker News
🔀OCaml Multicore
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·1d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Introducing Project Telos: Modeling, Measuring, and Intervening on Goal-directed Behavior in AI Systems
lesswrong.com·1d
🔄Finite State Machines
Flag this post
[Project] UnisonDB: A log-native KV database that treats replication as a first-class concern
reddit.com·2h·
Discuss: r/programming
🌐ActivityPub
Flag this post
Predictive Model-Based Design Validation via Dynamic Bayesian Network Fusion
dev.to·7h·
Discuss: DEV
🔍CBMC
Flag this post
Android development help needed, is this possible?
developer.android.com·1d·
Discuss: r/programming
🏠Home Manager Modules
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·7h·
Discuss: Substack
⚡Process Calculi
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·2d
🧮Z3 Solver
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·20h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Loro Protocol: a wire protocol designed for real-time CRDT sync
loro.dev·2h·
Discuss: Hacker News
🌐NetworkProtocols
Flag this post