[12:17:55] <yeo> народ жалуется, что заходит в конфу эту и не может говорить :(
[12:37:02] <yeo> strnmn, привет! :)
[12:38:00] <strnmn> yeo: привет! Забыл выйти из конфы, а тут такое!
[12:38:15] <yeo> :)
[13:21:45] <subjrs> сделал новых посетителей с правом голоса
[13:22:09] <yeo> спасибо
[15:21:26] <vasil.s.d> Всем привет!
[15:21:39] <yeo> привет! :)
[15:22:16] <vasil.s.d> Наконец-то могу говорить :)
А то заходил, и мог только молчать :)
[15:23:07] <yeo> да, subjrs поправил настройки прав в конференции
[15:23:30] <yeo> теперь нас будут спамить!
[15:23:45] <subjrs> капча есть)
[15:23:58] <vasil.s.d> Да, там же капча, вроде бы.
[15:24:57] <vasil.s.d> А есть кто-нибудь в русскоязычном сегменте, кто занимается Адой и формальными методами?
[15:31:49] <yeo> я не встречал.
[15:32:31] <yeo> я слышал о гипервизоре на SPARK и прошивке для коптера
[15:35:08] <yeo> спасибо за указания опечатки в переводе. я собираюсь сесть и прочесть, вычухать косяки перевода, но все никак не сяду
[15:35:51] <yeo> есть кстати перевод "Ada 2005 Rationale" на русский
[15:36:36] <yeo> а еще я переводил презентацию Шомберга про Аду 2012
[15:36:45] <yeo> на ютубе есть
[15:38:08] <vasil.s.d> Да, я уже посмотрел презентацию :)
Спасибо за большую работу!

[15:40:13] <vasil.s.d> По поводу прошивки коптера на SPARK - я смотрел код и читал статью в блоге. А вот насчёт гипервизора пока не видел, попробую поискать.
[15:43:14] <vasil.s.d> Вобще, SPARK и gnatprove дают очень лёгкий выход на уровень формальной верификации свойств программ, которого до этого не было в промышленности, и при определённом навыке, на мой взгляд, можно огромную часть кода писать на SPARK.
[15:49:03] <vasil.s.d> Сейчас пытаюсь научиться использовать b-method (на базе инструментов atelier-b и Pro-B) и SPARK + Gnatprove.
Очень жаль, что у нас практически никто этим не интересуется.
[15:58:36] <vasil.s.d> Да и вобще, жаль, что Ada так непопулярна в ex-СССР. Очень сильно недооценена.
Сам я с языком Ada познакомился всего полгода-год назад и очень сильно пожалел, что не интересовался этим языком раньше (стаж, как программиста, лет 15, наверное, и в отношении Ады был стереотип, что это старый и почти мёртвый язык).
Хорошо, что есть энтузиасты, которые пытаются популяризовать язык и экосистему языка в русскоязычном сегменте инета.
[16:02:21] <vasil.s.d> Кстати, насчёт перевода "Ada 2005 Rationale" - на ada-ru.org ссылка на перевод нерабочая.
[17:26:01] <strnmn> Я тут тихонько посижу, хорошо? Мешать не буду :)
[19:06:28] <yeo> где-то у меня есть локальная копия перевода "Ada 2005 Rationale", постараюсь выложить
[19:08:49] <yeo> гипервизор называется Muen http://muen.codelabs.ch/
[19:09:48] <yeo> он выделяет по отдельному ядру под виртуалку
[20:25:45] <landgraf> он там не только ядра выделяет а все "под виртуалку"
[20:25:49] <landgraf> что не очень удобно
[22:20:03] <vgodunko> Что происходит? У меня каждое сообщение 10 раз дублируется. Это что бы я лучше запоминал?
[22:58:12] <landgraf> проблема на вашей стороне =)