В солнечный день 7 мая у меня сгорел ебальник. Я всегда приезжаю в Москву чтобы позагорать. А еще я обнаружил, что если наклонить голову в своих поляризационных очках — купленных за 549 рублей сами блядь знаете где — то можно менять цвет неба с обычного на темно-синий. Тот факт, что практически одним лишь усилием мысли я могу менять цвет целого неба, оставляя все остальные предметы без изменений, настолько поразил меня, что я не только ходил потом полдня раскачивая как еблан головой, но и захотел себе полярник на зеркалку. Кто-нибудь знает, где их модно брать?

И с определением половой принадлежности тоже засада: Есть у меня корефан, живет в Долине в штатах, пьет смузи в одном околомедицнском стартапе. Так-то они гоблины, но недавно 3 млн $ у инвесторов получили. И позвали меня проконсультировать по архитектуре. А так как это а) Долина, б) Штаты, в) медицинский стартап, то у них в БД есть справочник полов (112 штук) и справочник национальностей. Справочники они взяли из гос реестра. У полов и национальностей есть id - обычный int Все бы ничего Но 3 недели назад они наняли себе девочку. Вроде. Х...й знает какого она самоидентификационного пола Девочка неделю пошуршала и написала в hr письмо, что в конторе процветает расизм и сексизм, так как id=1 в справочнике полов - мужчина, а в национальностях - белый американец (есть у них такая градация) Hу, подняла бучу - дескать, как же так, ну йобанный же стыд! 2 дня в чате они обсуждали чо делать, решили вместо int сделать uuid4 и это будет хорошо Потом переиндексировали базу и довольные сели пить смузи дальше А я, когда градус ох...ения у меня спал, посмотрел в бд И метнул им в чатек бомбочку Пацаны, говорю я, как жеж так. Теперь, после индексации uuid4, первым в выдаче пола стоит какой-то там трансгендер 3й степени, а национальности - ты не поверишь - еврей Это ж чтож такое получается, говорю. Следуя вашей логике, теперь этот справочник: А) оскорбляет не трнсгендеров 3й степени и не евреев Б) способствует распространению антисемитизма ДВА ДНЯ в чате была тишина Потом мне позвонил их CEO с вопросом - чо делать-то Я предложил нахуй уволить девочку и hr и вернутся к индексам Сео мысль очень понравилась, они решили дать девочке задачу, завалить ее и нах...й выгнать

Есть вакансии — должны быть и резюме: http://avito.link/stats/salary_expectations_per_locations Цифры не особо расходятся. Те же 40к в Москве. Только распидорашеные нижние строчки не радуют нихуя.

С главным по биллингу в gett когда базарил спросил про баг с тамогочиком. Он мне все расписал, дескать, раньше запрос по токену не авторизировали. Спросил, когда это произошло — как раз через пару месяцев починили. Сейчас перечитал #SZ0SSC, а тот баг с яндекс.таксями был. Блядь.

Сегодня узнал, что Гельфанды-математики и Гельфанд-биоинформатик не просто так имеют общую фамилию, они родственники. И что ударение на 'а', все время сомневался. 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).

http://dump.bitcheese.net/files/cohyhek/flopmine.mp4 будни дс2