[14:19:49] <ada_ru> (I_vlxy_I) ...
[17:00:05] <ada_ru> (Eugene) [Переслано от Максим Резник]
Бложик про Аду/SPARK не от AdaCore: http://www.apemantus.co.uk/
не открывается сайт
[17:01:52] <ada_ru> (FROL256) надо в VPN
[17:02:01] <ada_ru> (FROL256) у меня тоже так просто не открывается
[17:02:44] <ada_ru> (Eugene) отвечает (Максим) на <тепло, солнце 😊>
то, что тепло — это понятно, там же покрышки повсюду горят, но откуда солнце? дым от покрышек должен застилать небо, не до солнца уже )))
[17:03:24] <ada_ru> (Максим) да, не открывается сайт и правда
[17:06:11] <ada_ru> (I_vlxy_I) отвечает (Eugene) на <то, что тепло — это …>
Не читайте советских газет.
[17:06:22] <ada_ru> (Eugene) я шария смарел )))
[18:05:43] <ada_ru> (I_vlxy_I) это кто такая?
[18:11:17] <ada_ru> (Eugene) https://www.youtube.com/channel/UCVPYbobPRzz0SjinWekjUBw
[18:11:38] <ada_ru> (Максим) это украинский блогер которого поечму-то смотрят россиянк
[18:12:03] <ada_ru> (Eugene) про Навального у него ролики весёлые были, жаль Навальный слился )))
[18:13:58] <ada_ru> (Eugene) отвечает (Максим) на <Да, но всё равно, сп…>
haskell language server тоже глючная хрень, так что всё норм )))
[18:14:48] <ada_ru> (Максим) Ну качальство настаивает, так что буду пилить и баги исправлять
[18:16:31] <ada_ru> (nordwnd) А был прекрасный русский блог. А я закладку потерял
[18:16:46] <ada_ru> (nordwnd) Никто не подскажет?
[18:16:58] <ada_ru> (Eugene) отвечает (Максим) на <Ну качальство настаи…>
ты что ли на адакор пашешь? о_О
[18:16:59] <ada_ru> (nordwnd) Может и автор тут?
[18:17:40] <ada_ru> (Максим) http://adacode.ru/ это?
[18:18:14] <ada_ru> (Eugene) отвечает (nordwnd) на <А был прекрасный рус…>
рекомендую: https://www.youtube.com/channel/UCzQ0mjgA028ALJi83Oi6pDg
[18:18:27] <ada_ru> (Максим) отвечает (Eugene) на <ты что ли на адакор …>
Ага. На пол ставки
[18:18:48] <ada_ru> (Eugene) отвечает (Максим) на <http://adacode.ru/ э…>
https://www.adacore.com/
[18:19:36] <ada_ru> (Максим) Это я про про "прекрасный русский блог"😕
[18:21:06] <ada_ru> (nordwnd) Да. Точно адакод
[18:21:26] <ada_ru> (Максим) автор что-то затих...
[18:28:45] <ada_ru> (t91x0) отвечает (Eugene) на <я шария смарел )))>
Он мастер выдумывать всякую брехню
[18:29:27] <ada_ru> (I_vlxy_I) Шарий живет в Париже?
[18:29:34] <ada_ru> (I_vlxy_I) если нет. то откуда у него какие-то там видео?
[18:30:51] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <Шарий живет в Париже…>
он живёт в европе, а там, знаешь ли, шенген, все дела... так что по парижу он часто бродит и на сотку снимает
[18:31:19] <ada_ru> (I_vlxy_I) хм. писали же что он украинский блоггер. нет?
[18:31:43] <ada_ru> (Eugene) ну да, он считает себя украинцем, хотя на украине он в розыске...
[18:33:28] <ada_ru> (I_vlxy_I) как показывает практика, обычно в новостях и в постах блоггеров сильно сгущают краски. про любое событие. в общем, один фиг не читайте советских газет. и любых не читайте.
[18:33:55] <ada_ru> (I_vlxy_I) лучше запрогать чего во имя бобра!
[18:34:13] <ada_ru> (Eugene) убей бобра, спаси дерево!!!
[18:34:23] <ada_ru> (Eugene) спасайте деревья, сжигайте книги!!!
[18:38:29] <ada_ru> (t91x0) отвечает (I_vlxy_I) на <лучше запрогать чего…>
Например, джаббер-гейт наконец-то починить.
[18:38:51] <ada_ru> (t91x0) Как так он падает постоянно?
[18:50:19] <ada_ru> (I_vlxy_I) тут сам джаббер падал так то
[18:50:23] <ada_ru> (I_vlxy_I) из за этого жаба сдохла например
[19:50:16] <ada_ru> (t91x0) Хорошо. В более широком смысле - что вообще значит "сервис упал"? Две основные ошибки, с которыми ничего нельзя поделать (или очень сложно) - это StackOverflow и OutOfMemory. А все остальные падения - что это вообще? Ну помер сервис из-за обращения к окрестностям null, так супервизор его всегда сможет перезапустить.
[19:55:34] <ada_ru> (I_vlxy_I) сеть например упала
[19:55:46] <ada_ru> (I_vlxy_I) пьяный тракторист перегрыз датацентр
[19:55:52] <ada_ru> (I_vlxy_I) или реально сервер упал
[19:55:54] <ada_ru> (I_vlxy_I) физически
[19:55:58] <ada_ru> (I_vlxy_I) со стойки
[20:34:14] <ada_ru> (nitrocerber) Хоть тут политоту не разводите плос -_-
[20:41:23] <ada_ru> (I_vlxy_I) отвечает (nitrocerber) на <Хоть тут политоту не…>
ну, политота политотой, но народу просто любопытно как там жизнь в Париже происходит. Сильно ли нарушено обычное течение жизни из за волнений.
[21:02:35] <ada_ru> (I_vlxy_I) https://ferrous-systems.com/images/rust-2019-editors.png
[21:02:49] <ada_ru> (I_vlxy_I) VSКотэ рулид!
[21:10:12] <ada_ru> (Eugene) вот кстати руст в эклипсе вполне неплохо смотрится, лучше чем в вскоде
[21:10:40] <ada_ru> (Eugene) правда я там несколько дней пытался запустить компилятор, наверное это останавливает и других )))
[21:12:09] <ada_ru> (Eugene) fn is_even(x: u64) -> bool {
if x == 0 { true } else { is_odd(x-1) }
}
fn is_odd(x: u64) -> bool {
if x == 0 { false } else { is_even(x-1) }
}
fn main() {
let x = 123456;
println!("{} is {}", x, (if is_even(x) {"even"} else {"odd"}));
}
thread 'main' has overflowed its stack
[21:16:24] <ada_ru> (I_vlxy_I) функциональщина нинужна
[21:17:08] <ada_ru> (Eugene) ничто кроме неё нинужно
[21:17:20] <ada_ru> (I_vlxy_I) нужно решать реальные бузинесс кейсы
[21:17:32] <ada_ru> (Eugene) их не бывает!
[21:17:42] <ada_ru> (I_vlxy_I) авионику там запилить для крылатой ракеты например...
[22:23:14] <ada_ru> (Oleg) А я вот силениум с питоном осваиваю
[22:23:20] <ada_ru> (Oleg) Бизнес кейс
[22:23:38] <ada_ru> (Oleg) Решаю :-)
[22:25:43] <ada_ru> (Oleg) Безопастность хочет повторять трафик с ПК в веб, и находить с какого сайта был загружен какой нибудь скрипт/картинка/прочееговно
[22:26:02] <ada_ru> (Oleg) Странные они - служба безпеки :-)
[22:26:29] <ada_ru> (Oleg) Но и аду не забываю
[22:26:42] <ada_ru> (Oleg) Готовлюсь начать проект
[22:47:19] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <авионику там запилит…>
вот как раз во всяких авиониках и ракетах надо на ФЯ писать софт, а иначе начнёшь синусы вычислять, а вместо этого запустишь ракету по фашингтону!
а патамушта нету гарантий чистоты функций во всяких там ваших адах-шмадах
[22:47:51] <ada_ru> (I_vlxy_I) отвечает (Eugene) на <вот как раз во всяки…>
Есть
[22:48:00] <ada_ru> (Eugene) где? о_О
[22:51:01] <ada_ru> (I_vlxy_I) дык функции же адские.
[22:51:06] <ada_ru> (I_vlxy_I) это ж вам не процедуры
[22:51:14] <ada_ru> (I_vlxy_I) плюс SPARK
[22:51:23] <ada_ru> (Eugene) и что там чистого? там нельзы сделать ввод-вывод что ли?
[22:51:33] <ada_ru> (I_vlxy_I) вроде нет
[22:51:48] <ada_ru> (Eugene) ну как же нельзя? нету такой семантики, что бы нельзя было
[22:51:50] <ada_ru> (I_vlxy_I) по крайней мере в спарке, если специально не разрешить
[22:57:22] <ada_ru> (Eugene) with Ada.Text_IO; use Ada.Text_IO;
procedure Hello is
function test(i: integer) return integer is
begin
Put_Line ("Hello, world!");
return i+1;
end test;
x: integer;
begin
x := test(1);
end Hello;
Hello, world!
вот голая ада
[22:57:25] <ada_ru> (Eugene) но не каролина, а язык
[23:00:28] <ada_ru> (Eugene) A procedure cannot be called in an expression in Ada, hence cannot appear in an annotation. But Ada allows functions that have side-effects, so the formal verification tool GNATprove checks specifically that SPARK 2014 functions cannot have side-effects. Take for example the following implementation of Is_Valid:
function Is_Valid (X : T) return Boolean is
Result : Boolean;
begin
... -- compute result here
Log := Result; -- store result in global variable
return Result;
end Is_Valid;
GNATprove issues the following error on this code:
p.ads:5:13: function with side-effects is not in SPARK
[23:01:02] <ada_ru> (coopht) отвечает (nitrocerber) на <Хоть тут политоту не…>
<прислал наклейку> 😕
[23:01:33] <ada_ru> (Eugene) <прислал наклейку> 😳
[23:03:50] <ada_ru> (I_vlxy_I) Дык вот. функци-анальщина нинужна. есть SPARK
[23:04:11] <ada_ru> (Eugene) да нету спарка! его никто не знает )))
[23:04:28] <ada_ru> (I_vlxy_I) типа Аду знают все? 🙂
[23:05:57] <ada_ru> (I_vlxy_I) кому надо, те знают
[23:07:48] <ada_ru> (coopht) одноклассники хороший индикатор ватанов
[23:08:07] <ada_ru> (coopht) упс. Ничо и не было
[23:08:21] <ada_ru> (Eugene) эх, не успел зскриншотить )))
[23:08:48] <ada_ru> (I_vlxy_I) "[23:07:48] <ada_ru> (coopht) одноклассники хороший индикатор ватанов"
[23:08:49] <ada_ru> (I_vlxy_I) ?
[23:09:08] <ada_ru> (Eugene) аха, жаба всё фиксирует )))
[23:09:09] <ada_ru> (coopht) блин
[23:09:13] <ada_ru> (I_vlxy_I) 😄
[23:09:21] <ada_ru> (I_vlxy_I) http://oberspace.dyndns.org/log/ada-ru@conference.jabber.ru/2018/12/17.html
[23:09:29] <ada_ru> (I_vlxy_I) ынжой!
[23:09:36] <ada_ru> (coopht) Надо сделать удаление сообщение и в джаббер конфе
[23:09:45] <ada_ru> (I_vlxy_I) дык не поможет же
[23:09:54] <ada_ru> (Eugene) в логе чата останется всё равно ))
[23:09:55] <ada_ru> (I_vlxy_I) это ж не сервак логгирует
[23:10:35] <ada_ru> (I_vlxy_I) вообще, по закону же надо логи хранить все!
[23:11:34] <ada_ru> (coopht) по какому?
[23:11:47] <ada_ru> (coopht) А где сервак жабы находится, кстати?
[23:11:50] <ada_ru> (I_vlxy_I) дык всяка разна яровая.
[23:12:03] <ada_ru> (Eugene) СОРМ всё фиксирует )))
[23:12:22] <ada_ru> (I_vlxy_I) отвечает (coopht) на <А где сервак жабы на…>
в амстердаме. на улице красных фонарей жаба работает
[23:12:28] <ada_ru> (I_vlxy_I) отвечает (Eugene) на <СОРМ всё фиксирует )…>
кстати, нет
[23:12:44] <ada_ru> (Eugene) кому надо — всё фиксирует!!!
[23:13:21] <ada_ru> (I_vlxy_I) ну, на самом деле не на той улице, но рядом
[23:13:33] <ada_ru> (coopht) ну так вообще просто, надо заюзать GDPR и все
[23:14:08] <ada_ru> (I_vlxy_I) дык переедет на другую площадку и всё!
[23:14:09] <ada_ru> (Eugene) LDPR?
[23:14:24] <ada_ru> (coopht) отвечает (I_vlxy_I) на <в амстердаме. на ули…>
Так закон то получается админы жабы нарушают, т.к. не хранят персональные данные пользователей в Россиюшке
[23:14:44] <ada_ru> (coopht) Непорядок
[23:14:49] <ada_ru> (coopht) надо в РКН написать
[23:14:58] <ada_ru> (I_vlxy_I) а в джаббере есть персональные данные? там же все под кликухами. нет реальных ФИО
[23:15:06] <ada_ru> (coopht) пароль
[23:15:17] <ada_ru> (I_vlxy_I) пароль какой?
[23:15:27] <ada_ru> (I_vlxy_I) кто и зачем жабе пароли сливает? 🙂
[23:15:58] <ada_ru> (Eugene) с францусского слово пароль означает слово! а в жаббере много разных слов )))
[23:17:29] <ada_ru> (coopht) я женат.
[23:17:39] <ada_ru> (coopht) Теперь у жабы есть данные о моем семейном положении
[23:17:55] <ada_ru> (coopht) согласно закону эти данные должны храниться в РФ
[23:18:12] <ada_ru> (I_vlxy_I) а ты кто такой? этого никто не знает. а если ты сейчас скажешь, что ты вася пупкин, то это всё равно ничего значить не будет
[23:19:05] <ada_ru> (coopht) ладно
[23:22:40] <ada_ru> (I_vlxy_I) "Bethesda грозит штраф в $20 миллионов за нарушение закона о защите данных
При регистрации на Bethesda.net, у пользователей нет возможности отключить показ их рекламы в сторонних сайтах.
Они пытаются продвигать продукты Zenimax. Это приводит к передаче ваших данных, вместе с указанным при регистрации ящиком электронной почты, сторонним сайтам, которые в свою очередь будут обрабатывать информацию как им пожелается. Соответствующая тема по этому поводу, на Redditуже кипит негодованием игроков.
Вы конечно можете отключить эту опцию, но только после регистрации, тогда как в Steamтакая реклама отключена по умолчанию.
В соответствии с GDPR (General Data Protection Regulation в рамках Европейского Союза), столь агрессивные методы рекламы должны быть отключены по умолчанию. За нарушение Общего регламента по защите данных ей грозит штраф до 20 миллионов евро или 4% годового оборота компании, что может серьезно сказаться на финансовых показателях. Реакции от Bethesda еще не поступало."
[23:22:41] <ada_ru> (I_vlxy_I) сурово!
[23:51:35] <ada_ru> (I_vlxy_I) "— Можно ли начать обучение С++, минуя Pascal и Basic?
Петр: Конкретно на C++ — можно, но не рекомендую. Я бы рекомендовал заменить C++ на Python. Pascal и уже тем более Basic точно не нужны."
[23:51:38] <ada_ru> (I_vlxy_I) https://habr.com/company/psb/blog/433434/