TLA+, Model Checking, Coq, Theorem Proving, Specification Languages
Discoggin: an IF bot for Discord
blog.zarfhome.com·2d
Double Maths First Thing: Issue 2B
aperiodical.com·5d
Death toll rises to 27 in Pakistan building collapse as rescue ends
the-independent.com·18h
I spoke for my brother when he was too afraid to answer — now, he speaks in melodies, and I have learned to listen
theguardian.com·7h
VMware’s rivals ramp up their efforts to create alternative stacks
theregister.com·3h
In-Training Multicalibrated Survival Analysis for Healthcare via Constrained Optimization
arxiv.org·3d
J. C. R. Licklider & M. Mitchell Waldrop
deprogrammaticaipsum.com·6h
Loading...Loading more...