Общение на окологентушные темы - Воскресенье, 3 марта 2019

Общение на окологентушные темы

gentoo@conference.gentoo.ru

Воскресенье, 3 марта 2019< ^ >

Pinkbyte установил(а) тему: Gentoo Linux || FAQ: http://www.gentoo.ru/faq || Вставки более 3 строк → app-text/wgetpaste || Логи: http://gentoo.ru/jabber/logs/ || Языками чешут в talks@conference.gentoo.ru || Фортунки http://fortunes.gentoo.ru || Фортунки, спасибо что живы!

Конфигурация комнаты

Участники комнаты

GMT+3
[09:41:31] Deda_Zych вышел(а) из комнаты
[10:38:55] Deda_Zych вошёл(а) в комнату
[10:41:40] Deda_Zych вышел(а) из комнаты
[10:42:31] Deda_Zych вошёл(а) в комнату
[10:50:04] evadim вошёл(а) в комнату
[10:57:36] rea вошёл(а) в комнату
[11:10:51] rea вышел(а) из комнаты
[11:15:07] rea вошёл(а) в комнату
[11:18:49] rea вышел(а) из комнаты: Replaced by new connection
[11:18:59] rea вошёл(а) в комнату
[11:50:50] rea вышел(а) из комнаты
[11:52:47] rea вошёл(а) в комнату
[12:10:14] rea вышел(а) из комнаты
[12:22:48] rea вошёл(а) в комнату
[12:27:40] Night Nord вошёл(а) в комнату
[12:42:59] rea вышел(а) из комнаты
[12:59:25] rea вошёл(а) в комнату
[13:14:53] rea вышел(а) из комнаты
[13:42:47] rea вошёл(а) в комнату
[13:50:35] rea вышел(а) из комнаты
[14:39:56] michael_ul вошёл(а) в комнату
[15:22:49] rea вошёл(а) в комнату
[15:23:48] nordwind вышел(а) из комнаты: Replaced by new connection
[15:23:58] nordwind вошёл(а) в комнату
[15:28:35] nehex вошёл(а) в комнату
[15:39:41] nehex вышел(а) из комнаты
[15:40:25] rea вышел(а) из комнаты
[15:41:28] nehex вошёл(а) в комнату
[15:52:46] rea вошёл(а) в комнату
[15:59:12] OKTAVIUS вошёл(а) в комнату
[16:07:02] nis вошёл(а) в комнату
[16:08:31] rea вышел(а) из комнаты
[16:12:32] rea вошёл(а) в комнату
[16:24:08] rea вышел(а) из комнаты
[16:42:26] rea вошёл(а) в комнату
[16:43:04] OKTAVIUS вышел(а) из комнаты
[16:44:05] nordwind вышел(а) из комнаты
[16:44:15] nordwind вошёл(а) в комнату
[16:48:26] <nis> ее
[16:52:35] rea вышел(а) из комнаты
[16:53:17] rea вошёл(а) в комнату
[16:59:06] rea вышел(а) из комнаты
[17:17:36] ASM вошёл(а) в комнату
[17:21:27] nordwind вышел(а) из комнаты
[17:21:37] nordwind вошёл(а) в комнату
[18:02:00] nordwind вышел(а) из комнаты
[18:02:10] nordwind вошёл(а) в комнату
[18:09:48] nehex вышел(а) из комнаты
[18:13:38] medvedko вошёл(а) в комнату
[18:40:55] nordwind вышел(а) из комнаты
[18:41:05] nordwind вошёл(а) в комнату
[18:43:21] 0xd34df00d вошёл(а) в комнату
[18:44:07] <0xd34df00d> Чят.
[18:44:13] <0xd34df00d> Я уже неделю пишу физзбазз и никак не могу написать.
[18:44:15] <0xd34df00d> Что делать?
[18:46:36] <0xd34df00d> https://github.com/0xd34df00d/fizzbuzz-i
[20:10:51] nordwind вышел(а) из комнаты
[20:11:01] nordwind вошёл(а) в комнату
[20:11:04] nehex вошёл(а) в комнату
[20:37:23] <Deda_Zych> 0xd34df00d: на языке ассемблера? или что это за заклинание?
[20:37:40] <Deda_Zych> да, я вижу, что это похоже на какой-то IL
[20:37:55] <Deda_Zych> не ассемблер
[20:46:12] <evadim> 0xd34df00d: а что это вообще?
[20:47:24] nordwind вышел(а) из комнаты
[20:47:34] nordwind вошёл(а) в комнату
[21:17:32] nis вышел(а) из комнаты
[21:17:42] nis вошёл(а) в комнату
[21:32:55] <0xd34df00d> Deda_Zych: зачем ассемблер.
[21:32:57] <0xd34df00d> Не IL вообще совсем.
[21:33:00] <0xd34df00d> evadim: это idris.
[21:33:33] <0xd34df00d> Это как https://github.com/EnterpriseQualityCoding/FizzBuzzEnterpriseEdition , только вместо угорания по паттернам там угорание по формальной верификации и зависимым типам.
[21:34:16] <Deda_Zych> <0xd34df00d> evadim: это idris.
Очередная кривая реализация Common Lisp?
[21:35:43] <0xd34df00d> Deda_Zych: лишп не нужен ведь, так что нет.
[21:39:49] <Deda_Zych> кому не нужен?
[21:53:07] <0xd34df00d> Просто не нужен.
[21:53:22] <0xd34df00d> Ерунда без типов же.
[21:53:39] nordwind вышел(а) из комнаты: Replaced by new connection
[21:53:49] nordwind вошёл(а) в комнату
[21:57:48] rea вошёл(а) в комнату
[22:09:13] nordwind вышел(а) из комнаты
[22:09:23] nordwind вошёл(а) в комнату
[22:10:58] rea вышел(а) из комнаты
[22:22:48] rea вошёл(а) в комнату
[22:36:28] rea вышел(а) из комнаты
[23:22:05] <Deda_Zych> 0xd34df00d: типы-типы, нафиг нужны они?
[23:26:48] <nis> а куда ты без них собрался в современных языках
[23:27:04] <nis> даже в математике они есть
[23:32:36] <0xd34df00d> Deda_Zych: чтобы точнее выражать и проверять семантику программ.
[23:36:11] nis вышел(а) из комнаты
[23:36:55] <Deda_Zych> следите за руками
[23:37:21] <0xd34df00d> Чё.
[23:43:42] <Deda_Zych> следите за тем, что пишете
[23:43:51] <Deda_Zych> или "пишите"
[23:43:55] <Deda_Zych> хм
[23:45:25] <0xd34df00d> Deda_Zych: зачем героически делать работу за компилятор?
[23:45:30] <0xd34df00d> Пусть комплюктер следит и проверяет.
[23:58:49] Night Nord вышел(а) из комнаты