TLA+, Model Checking, Coq, Theorem Proving, Specification Languages
My Debian Activities in June 2025
blog.alteholz.eu·1d
Sleepovers used to be relatively low-stress. Then, my kids entered high school.
businessinsider.com·19m
A Domain-specific Language and Architecture for Detecting Process Activities from Sensor Streams in IoT
arxiv.org·6d
Learning to context switch
thomasrigby.com·3d
Massive MIMO over Correlated Fading Channels: Multi-Cell MMSE Processing, Pilot Assignment and Power Control
arxiv.org·6h
Medical Data Pecking: A Context-Aware Approach for Automated Quality Evaluation of Structured Medical Data
arxiv.org·4d
Misaligned from Within: Large Language Models Reproduce Our Double-Loop Learning Blindness
arxiv.org·4d
Loading...Loading more...