Сегодня узнал, что Гельфанды-математики и Гельфанд-биоинформатик не просто так имеют общую фамилию, они родственники. И что ударение на 'а', все время сомневался. https://ru.wikipedia.org/wiki/Гельфанд,_Михаил_Сергеевич https://ru.wikipedia.org/wiki/Гельфанд,_Сергей_Израилевич https://ru.wikipedia.org/wiki/Гельфанд,_Израиль_Моисеевич

>А сложность в том, что классический матан неконструктивен очень сильно, а первое пригодное для нормальной конструктивной теории определение вещественных чисел появилось всего-то четыре, что ли, года назад. Причём работает только в рамках HoTT, делать которую вычислительной научились всего год назад, и не самым элегантным образом (кубическая теория типов, причём её крайне нетривиальная разновидность). Ещё из общих соображений понятно, что там должен работать Propositional Resizing и Judgemental K для обыкновенных индуктивных типов (которые не "высшие"), однако никакого языка, который бы это прямо сейчас умел не существует. Короче это Cutting Edge исследований. >Про то, как работать с вещественными числами, в целом надо читать в https://homotopytypetheory.org/book/ и https://arxiv.org/abs/1610.05072, последнее — довольно новая статья, там более новые результаты и проявлена связь между полуразрешимыми предикатами на вещественных числах (соответствуют открытым множетсвам) и тьюринг-полнотой/частично-вычислимыми функциями (http://www.cs.nott.ac.uk/~psztxa/publ/fossacs17.pdf, http://www.cs.bham.ac.uk/~mhe/papers/partial-elements-and-recursion.pdf).

https://ru.wikipedia.org/wiki/Купер,_Ди_Би https://en.wikipedia.org/wiki/D._B._Cooper

https://vz.ru/columns/2017/4/28/868254.html Про текущие переселительные законы.

>знаешь как винокурову сложно читать! >постоянно постит то ебало свое, то сумки >надо научить нейросеть удалять селфачи из ленты

b> чо за вложиться? пеку купить? a> вырастить из личинки до мыслящего пиздюка b> еда + вода + подписка на нетфликс. не так уж и дорого

Если пустят в штаты, и я сначала порабствую недельку, потом захочу недельку путешествовать и жить у людей по couchsurfing, правильно понимаю, что меня на хуй послать с такими историями могут уже на границе? Надо какие-нибудь хостелы бронировать или отели, чтоб все нормально было? На неделю рабствования-то жилье точно будет, а дальше официально нет.

[23:53]<lexszero> > Therefore we are designing neural network architectures that learn from the millions of developers who combined have already written trillions of lines of code. > we want our systems to learn programming by emulating human developers надеюсь они сгорят в аду.

>На завтрак я сегодня хавал темную энергию, окутавшись в незримую материю вселенной и запивая молоком гравитационных волн, разлитых звездами, которых давно нет. Я перевариваю боль вселенной, я здесь живу веками, во тьме построенной из сгустков атомов, рожденных смертью света и созданных в агонии случайных встреч, а теперь я вынужден сидеть и смотреть на твое тупорылое хлебало

>Моей жизни больше ничто не угрожало. Даже в столице Сомали, городе Могадишо, я чувствовал себя спокойнее, чем в центре Москвы рядом с офисом фонда "Городские проекты" Ильи Варламова и Максима Каца.

[19:16]<ckorzhik> https://www.kinopoisk.ru/film/406209/ еще не смотрел [19:17]<ckorzhik> хуевая работа у парня [19:17]<komar_> > ведь у сержанта Монтгомери появились чувства к одной из солдатских вдов [19:17]<komar_> да нормально [19:17]<komar_> главное гондонов черных купить [19:17]<komar_> траурных