software lobotomy

humanity is drying up

Home | Blog | Wiki | Reading | People | Movie | Gallery | Raw-Meat | Contact |

formal verification

tla+ primer
tla+ to fizzbe
metadata: beyong abstraction

This page was last modified: 2024-08-16 22:23

powered by soupault

creative commons by-sa