⏰ Timed Automata

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

Nimony v0.2 – early preview of Nim 3.0's compiler
nim-lang.github.io·1h·
Discuss: Hacker News
📦Opam
Flag this post
Loro Protocol: a wire protocol designed for real-time CRDT sync
loro.dev·1d·
Discuss: Hacker News
🌐NetworkProtocols
Flag this post
State of Terminal Emulators in 2025: The Errant Champions
jeffquast.com·1d·
Discuss: Hacker News
🔧Darwin Internals
Flag this post
Myths Programmers Believe about CPU Caches
software.rajivprab.com·3d·
Discuss: Hacker News
⚙️Operating System Design
Flag this post
Show HN: Claude Code disrupted programming. Bringing that power to office worker
blog.gbase.ai·1h·
Discuss: Hacker News
🔧DevOps
Flag this post
After the Last Git Commit
gist.github.com·16h·
Discuss: Hacker News
🔧DevOps
Flag this post
Mini-Pc Recommendations for Proxmox Homeserver
reddit.com·4h·
Discuss: r/homelab
🖥Self-Hosting
Flag this post
ClipTagger-12B VLM: Frame Captioning Tutorial
dev.to·20h·
Discuss: DEV
🔀OCaml Multicore
Flag this post
How I Use Every Claude Code Feature
blog.sshh.io·1d·
Discuss: Lobsters, Hacker News
💻CLI Tools
Flag this post
Adaptive Control for a Physics-Informed Model of a Thermal Energy Distribution System: Qualitative Analysis
arxiv.org·7h
🩹Self-Healing Systems
Flag this post
Migration Made Easy: Transitioning from Traditional AI Libraries to Low-Code Solutions in Q4 2025
dev.to·1d·
Discuss: DEV
🧱Immutable Infrastructure
Flag this post
From product to system network challenges in system of systems lifecycle management
arxiv.org·7h
🧱Immutable Infrastructure
Flag this post
Creating AI Agents with Mastra and Typescript
dev.to·1d·
Discuss: DEV
⏳LTL
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·6h·
Discuss: DEV
🎯Complexity Classes
Flag this post
ParallelBench: Understanding the Trade-offs of Parallel Decoding in DiffusionLLMs
dev.to·17h·
Discuss: DEV
🔀OCaml Multicore
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·3d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.to·19h·
Discuss: DEV
🕸️Graph Theory
Flag this post
Identifying the Periodicity of Information in Natural Language
arxiv.org·7h
📚Automata Learning
Flag this post
Enhanced Plasma Etching Parameter Optimization via Bayesian Reinforcement Learning for TSV Bottom Polymer Residue Removal
dev.to·3h·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
Introducing Realm9: Solving Enterprise Environment Chaos with AI
dev.to·13h·
Discuss: DEV
🔧DevOps
Flag this post