Первое формально верифицированное ядро системы.

Первое формально верифицированное ядро системы.

Скажем твердное “Нет!” всяким этим вашим переполнениям буфера!

https://wiki.sel4.systems/FrequentlyAskedQuestions

https://wiki.sel4.systems/FrequentlyAskedQuestions

Каюсь, совсем пропал. И вроде, даже есть, что писать.

Каюсь, совсем пропал. И вроде, даже есть, что писать.

Сейчас надыбал на интересную “свистелку”, чтобы визуализировать эволюцию исходного кода проекта.

http://gource.io/

Вот пример:

https://www.youtube.com/watch?v=GQ_Lfkqqf00

https://www.youtube.com/watch?v=GQ_Lfkqqf00

Если здесь есть маководы то может быть им будет интересно как можно бюджетно поменять/проапгрейдить SSD.

Если здесь есть маководы то может быть им будет интересно как можно бюджетно поменять/проапгрейдить SSD. Спасибо большое Паше за предоставленный за символическую цену SSD.

https://geektimes.ru/post/284002/

https://geektimes.ru/post/284002/

Я нынче прозябаю на http://cci.drexel.edu/bigdata/bigdata2016/

Я нынче прозябаю на http://cci.drexel.edu/bigdata/bigdata2016/

Могу поделиться впечатлениями, когда оно завершится.

Лучше наболтать, но если народ попросит, сподоблюсь и в пись. форме.

http://cci.drexel.edu/bigdata/bigdata2016/