Сидел себе щас, пейсал не торопясь маленький постик... да так, ничего важного, лытдыровое-выходное... на тему - как песдетс утомительно ходить с жыной по магазином никогда такого не было и вот опять не делайте таг как я!.. - и тут вдруг замечаю, что оно как-то всё виснет в ещё более ...
Зашел на досуге на сайт «Диссернета» и решил посмотреть свежие экспертизы трудов плагиаторов. И — о чудное открытие!
Евстюхина Надежда Александровна — российская тяжелоатлетка, заслуженный мастер спорта, трехкратная чемпионка мира
Целый кандидат педагогических наук с ...
http://lambda-the-ultimate.org/node/3858#comment-59775 - ссылка на комментарий одного из разработчиков seL4, формально верифицированного ядра, реализующего интерфейс L4.Там есть ссылка на разные работы по теме и, в частности, на исходники на Isabelle/HOL формального описания ...
Не так давно узнал, что стучать друг на друга в Интернете у нас готовы около 90 процентов молодежи и представительниц прекрасной половины человечества. Конечно, я и близко не подозреваю их в корыстных мыслишках – все для блага человечества. ...
Ну вот, чо, попробовала себя в новом качестве :) Звизда ютуба. Выступила на "Трибуне", темы: социально-экономическое положение в Германии, рабочее движение, коммунистическое движение, ну и немножко про мои книжки в конце. Сильно помидорами не кидайтесь :) Это все-таки первый раз. Да, ...