Oct. 14th, 2017
found something to read
Oct. 14th, 2017 11:51 amhttps://logic.rwth-aachen.de/~kaiser/weak_mso_composition.pdf
Weak monadic second-order logic (quantification over finite collections of domain objects) - "good for computing".
Weak monadic second-order logic (quantification over finite collections of domain objects) - "good for computing".
не виноватая я
Oct. 14th, 2017 02:37 pmВот такая юзерка
svet_ka сообщает урби эт орби, что работает на касперского 20 лет уже, и ничего такого нет, никакого шпионажа, просто западные СМИ (науськиваемые госдепом и израильской военщиной) развернули кампанию травли и шельмования невинных российских разведчиков разработчиков.
Забавно же.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
Забавно же.
crash-only software
Oct. 14th, 2017 09:41 pm https://en.wikipedia.org/wiki/Crash-only_software
Misleading name, it actually takes care of keeping all the data all the time in the status good for reboot.
(Did it many years ago, when our machine was expected to lose power several times a day, but resume all drilling processes, for months.)
Misleading name, it actually takes care of keeping all the data all the time in the status good for reboot.
(Did it many years ago, when our machine was expected to lose power several times a day, but resume all drilling processes, for months.)