I wrote something about abstract interpretation -- a way of analyzing programs without executing them -- and using coq!
Green modular, part 5: Behind the scenes https://northcoastsynthesis.com/news/green-modular-part-5-behind-the-scenes/
more JortJams + TSan stuff Show more
shitposting as lifestyle. #nobot if anything actually reads that
This is a small ship in the fediverse.
The name is borrowed from the mass-produced Macross-class ships in the Macross universe; SDFN-01 Hayase was the first of the line. The ships were designed to scout emigration routes ahead of the Megaroad colonization ship.
More information can be found at the Macross Compendium.