Так нейронные сети понимают "теорию типов".Мы так привыкли к типам, что редко задаёмся вопросом, что же они такое на самом деле? А главное - почему возникла необходимость в их использовании? Этот поверхностный обзор сделан для того, чтобы продемонстрировать, как типы и другие связанные абстракции являются следствием из обобщения условий различных задач.В данной статье освещаются такие вопросы:почему на основе теории множеств зародилась концепция типов;какие основные понятия естественно…
Вот выходишь ты утром на работу, а на газоне перед домом окурки и прочие отходы жизнедеятельности. Бывает, что приходишь домой, а у тебя на балконе пепел или даже окурок. Как же хочется понять, кто это сделал! Я вот терпеть не могу таких людей. Моя история о том, как найти вредителей и, возможно, сделать свой дом немного чище и безопаснее. Мой дом - классический человейник, без преуменьшения, с тысячей чертей человек внутри. Вы не подумайте, я люблю свой дом. В какой-то степени я даже знаком …
Американские граждане испытывают особый пиитет к лотереям, нашедший отражение в массовой культуре. Только государственных "лохотронов" насчитывается 45 штук, а самые крупные из них - PowerBall и Megamillions - позволяют счастливчику сорвать джекпот, иногда превышающий 1,5 млрд долларов. Люди с нетерпением ждут очередных розыгрышей, формируя многомиллионные рейтинги телеканалам, транслирующим мероприятия в прямом эфире. Однако в 1969 году всё приняло не стандартный оборот: в прямом эфи…
Времена меняются, меняется it-индустрия. Крупные it-игроки ушли, с ними ушли стандарты, топовые специалисты и рабочие места. Соотношение вакансий и резюме удручает, всё выглядит как конкурс на бюджетные места в топовых вузах.На данный момент я являюсь тимлидом .Net с необходимостью набора в свою команду хороших специалистов на новый проект. За долгие несколько месяцев мне так и не удалось укомплектовать команду на новый проект, и это сподвигло меня на рассуждения о том, а всё ли мы правильно д…
Дисклеймер: азартные игры опасны для вашего кошелька и психического здоровья. Япония — одна из немногих стран, где по сей день в ходу азартные игровые автоматы. Очень многие популярные в прошлом франшизы аниме и игр находят своё последнее пристанище в завораживающих устройствах, украшенных невообразимым количеством мигающего, кричащего, крутящегося и двигающегося. Да что там говорить, даже знаменитый «Евангелион» сделал как бы не больше прибыли со слот-машин и пачинко-автоматов, чем с самог…
По данным аналитической компании Trend Focus, продажи ленточных накопителей в 2022-2023 гг. резко выросли. Так, в 2022 году отгрузка такого типа накопителей выросла сразу на 14%, в то время как продажи жестких дисков упали на 40% — и это включая корпоративные HDD высокой емкости. В 2023 году результаты подводить пока рано, но, опираясь на текущие показатели продаж, аналитики прогнозируют 13% рост по сравнению с 2022 годом. Удивляться не приходится — потребности гиперскейлеров, владельцев и…
В прошлой части мы оставили Кевина Митника на этапе его первой «ходки»: тогда ему удалось выйти по условно-досрочному, но полиция штата и федералы уже поняли, с кем имеют дело, и начали приглядывать за «Кондором». Митник взял это прозвище ещё будучи тинейджером — посмотрев шпионский триллер «Три дня Кондора», где аналитик ЦРУ с одноимённым позывным обнаружил себя целью охоты со стороны коллег. Несмотря на внимание со стороны «органов», Кевин Митник буквально не мог удержаться от взлома всего …
Когда я принял управление командой, её участники находились на 8-м месяце реализации 3-месячного проекта по перезапуску коммерческого сайта компании. Спустя два месяца ведения этой команды, я решил отказаться от всего достигнутого и начать сначала. Это история о том, почему я это сделал, как, и что в итоге получилось. Перезапуск нашего сайта преследовал одну цель: обеспечить быструю отрисовку на стороне сервера. В удачное время размер нашего JS-бандла составлял 168 МБ. На топовом MacBook Pr…
По состоянию на лето 2023, в военных комиссариатах разных регионов и даже районов требования к пакету документов отличаются, запись через Госуслуги может не работать, без личного присутствия заявителя могут вообще не разговаривать. Информация ниже не является полным гайдом по снятию с учета, это скорее рекомендации из практики, которые помогут грамотно подготовить пакет документов. Если вкратце, то рабочий кейс, это когда: имеется основание для снятия: уже живете зарубежом полгода, либо имеетс…