66438
НЛО с вами! Хабр Новости → https://t.me/habr_com_news Хабр Карьера → https://t.me/habr_career Реклама (продвигаем только статьи с Хабра) → adv@habr.team Вопросы → @shelsneg Админ → @vololoshin
«Язык программирования Python в силу своей динамичности может легко создать ситуацию, когда статический анализатор не может вывести типы и, как следствие, часть проверок отключается. В статье я подробно расскажу о проблеме в разработке системы управления выделенными серверами, которую мы сами себе создали, а затем героически решили»
Когда типизация делает тебе больно, или Как в Selectel появился статический анализатор
Как журналист помогает выявлять серийных убийц с помощью алгоритма
17 октября 2014 года в мотеле маленького городка Хаммонд, Индиана, был обнаружен труп 19 летней Африки Харди. Вызванные на место полицейские почти сразу пришли к выводу, что это было убийство. На поиски убийцы ушло меньше суток — его обнаружили по записям камер наблюдения, установленных возле мотеля, а также по анализу телефонных разговоров жертвы (в номере был найден её телефон).
43-летний Даррен Ванн был арестован уже 18 октября и, как ни странно, совсем не был удивлён появлению полиции. Когда наручники защёлкнулись на его запястьях, Даррен повернулся и сказал полицейскому: «Наконец-то вы меня поймали». Так попался серийный убийца, жертвами которого стали ещё минимум шесть женщин. Но как полагали детективы, на самом деле счёт приближался к 20.
Примечательно в этой истории то, что полиция могла бы поймать Даррена Вана ещё за 4 года до этого. Но никто не хотел слушать Томаса Харгроува — бывшего журналиста, который помогает искать маньяков с помощью собственного алгоритма, о котором и пойдёт речь.
«Please, stop hype AI!»: проблемы восприятия ИИ
Разнообразие моделей ИИ сейчас поражает — от набивших оскомину генераторов изображений до полноценных чат-ботов с продвинутой речевой моделью и музыкальных генераторов. Однако отношение людей к ИИ на данный момент сигнализирует о том, что они до конца не понимают, с чем столкнулись. Попробуем разобраться без сложной технической терминологии и конспирологических теорий о Скайнете.
Особенности национальной… покупки софта
В России есть три всадника внедренческого апокалипсиса: тяга к халяве, внимание к слухам и пофигизм. Они сопровождают любую покупку программного обеспечения. Если в Германии покупатель будет отказываться от облака или искать гарантии нахождения серверов приватного облака в матерленд, француз искать франкоязычный софт, а ещё лучше местного разработчика, то в России и на сопредельных территориях покупатель спросит про скидки, рассрочку, расскажет о том, что «его друган давно на Хидриксе», но ни слова не спросит про безопасность и не представит требования, пока ты сам не направишь его на этот разговор калёным железом искусством инженера и продажника. В разное время ситуация меняется: в кризис выбор становится значительно рациональнее, в тучные времена песню в караоке и приложения для бизнеса заказывают одним тоном.
Но в этой статье мы поговорим не про стремление к халяве и бесплатному ПО, а именно про случаи покупки
«Лично для меня Терминатор 2 стал первым фильмом, который я увидел на VHS. И после него мир уже не был для меня прежним. <...> Давайте посмотрим, как его снимали и почему он стал реально культовым не только у меня во дворе»
Как снимали «Терминатор 2» и почему он актуальнее, чем кажется
«Всем привет, меня зовут Фёдор — я руководитель фронтенд-разработки на проекте Smartbot Pro в компании KTS.
Наш проект — конструктор ботов для социальных сетей, в котором алгоритм бота представлен в виде визуального графа. Конструктор включает большое количество интеграций. Недавно на проекте остро встал вопрос оптимизации наших ci/cd-пайплайнов, потому что релиз мог занимать от 4 до 18 минут.
В статье я расскажу, как мы решили эту проблему с помощью оптимизации сборки Docker-образа, установки зависимостей и сокращения количества шагов пайплайна»
Как yarn v3 и философия Zero Installs помогли сократить длительность ci/cd-пайплайна в три раза
⚡️ Новости к этому часу
🖥 Стартап Telly представил бесплатный 4K-телевизор со вторым экраном для показа рекламы (ФОТО)
💥 Астрономы зафиксировали самый мощный космический взрыв
🇪🇺 Евросоюз одобрил сделку между Microsoft и Activision Blizzard
🪐 У Сатурна нашли более 60 новых спутников
⚙️ В OpenAI изучили работу GPT-2 при помощи GPT-4 и попытались объяснить поведение нейронов
🔭 Астрономы, возможно, нашли бозонную звезду
🛰 В процессе посадки повреждённого «Союза МС-22» на борту не зафиксировано нештатного повышения температуры
📱 В первом квартале 2023 года в РФ ввезли 6,4 млн смартфонов
😞 НАСА потеряло стратосферный шар с телескопом EUSO-2
#новости
Автор YouTube-канала Ben Makes Everything поделился проектом портативного лазерного проектора текста, который получилось создать при помощи старого жёсткого диска.
Устройство питается от батареи и может подключаться по беспроводной сети через Bluetooth. Текстовые сообщения на проекторе видны с расстояния до 27 метров.
Бен остановился на использовании зелёного лазера, который оказался более мощным и заметным, чем лазеры с другими длинами волн. Энтузиаст отмечает, что бесщёточный двигатель в жёстком диске задействуется для создания текстового эффекта.
Бен разработал массив зеркал с нуля, используя софт для систем автоматизированного проектирования Fusion 360. Массив вращается с помощью двигателя жёсткого диска посредством Arduino. Собственную плату драйвера в лазере энтузиаст использовал для интерпретации входных сигналов. В итоге лазер вспыхивает и гаснет, а массив зеркал создаёт горизонтальные линии, которые используются для построения букв.
Microsoft только что сделала огромную ставку на термоядерный синтез
Учёные десятилетиями мечтали о ядерном синтезе. Который даст неограниченную энергию и не будет угрожать радиацией. Microsoft считает, что технология почти готова. И теперь ставит на это миллиарды. Предыдущая большая ставка компании — на OpenAI и её ИИ-системы — оправдалась с лихвой. За полгода с момента релиза ChatGPT капитализация компании выросла на 670 миллиардов долларов. Таким интересом со стороны инвесторов и близко не могут похвастаться Google, Apple и Amazon.
Посмотрим, сможет ли Сатья Наделла провернуть всё это второй раз, только возможно в ещё большем масштабе
Единица по Бурбаки: красота запредельной абстрактности
В своём стремлении к формальной точности математики, кажется, иногда переходят границу разумного. Такая мысль возникает у многих, когда они впервые видят определение единицы у Бурбаки.
Определение, которое вы видите на картинке, — это сокращённая, очень и очень сокращённая запись. Аккуратный расчёт показывает, что, если развернуть эти сокращения, то длина этого знакосочетания представляет 2 409 875 496 393 137 300 000 000 000 000 000 000 000 000 000 000 000 000 знаков и 871 880 233 733 949 100 000 000 000 000 000 000 000 000 000 000 000 000 связей. Это безумное число. Если бы мы попробовали записать его обычным шрифтом, то это заняло бы сто миллиардов квинтиллионов квинтиллионов книг.
Первое впечатление — дичайший формализм, доведённый до абсурда.
Но при внимательном рассмотрении и некотором времени, потраченном на изучение предмета, приходит понимание того, насколько это красивое и точное определение. Более того, это довольно естественное и простое определение, и автор статьи попытается за 15 минут вас в этом убедить, даже если ваше знание математики ограничивается школой.
Четыре платформы — один код. Что такое Compose Multiplatform?
Разработчики давно грезили о возможности писать кроссплатформенный код — такой, который запускался и работал бы одинаково в любой операционной системе любой архитектуры. Сегодня принципом «Write once, run anywhere», когда-то прогремевшим в связи с появлением языка Java, трудно кого-либо удивить. И всё же есть ниша, в которой не так много кроссплатформенных технологий: это UI-разработка.
Не будет преувеличением сказать, что на сегодняшний день есть только два UI-фреймворка, которые позволяют запускать один и тот же UI на разных платформах и широко представлены на рынке: React Native и Flutter. Казалось бы, чего ещё желать? Сразу две технологии предоставляют возможность шарить UI-фичи между платформами и прекрасно с этим справляются. Но эта статья — не о них, а об их младшем собрате, удобном и мощном инструменте мобильной и десктопной разработки — Compose Multiplatform.
Сегодня мы попробуем понять, легко ли перенести код, написанный только под андроид на чистом Jetpack Compose, на другие платформы. Мы напишем простой, но рабочий прототип мессенджера, который можно запускать как десктопное приложение, мобильное приложение на Android и iOS, а также в браузере.
Сотрудник IBM Ян Клиффорд, который с 2008 года находился в отпуске по болезни по страховому плану IBM, подал в суд на своего работодателя за то, что тот не увеличил ему зарплату. В качестве аргумента истец привёл рост инфляции, который повлиял на его покупательскую способность.
В рамках своего плана медицинского страхования Клиффорд получает 75% от зарплаты, которая составляет $89 671 в год. Таким образом, компания выплачивает ему $67 254. Он по-прежнему считается сотрудником IBM, но не обязан выполнять какую-либо работу.
Клиффорд заявил, что ему не индексировали зарплату с 2013 года, а при высокой инфляции его текущий доход «скоро иссякнет».
Судья Пол Хаусего отказал в рассмотрении дела. Он отметил, что выплата доступна только инвалидам, и поэтому условия Клиффорда не могут считаться менее благоприятными.
Сам же Клиффорд теперь считает себя «пенсионером по состоянию здоровья». Он намерен продолжать получать платежи до своего 65-летия. К этому времени сумма выплат составит более $1,86 млн.
«Осенью 2022 года я запустил новый проект — сайт с результатами моих тестов батареек и аккумуляторов. Так получилось, что были разработаны две версии сайта: разработчик lamptest.ru Сергей Андреев создал battest.ru, энтузиаст из Новосибирска Алексей Синёв создал batterytest.ru, но он не только создал сайт, но и постоянно его дорабатывает, добавляя новые возможности. О них я и расскажу сегодня»
Пять новых возможностей сайта с тестами батареек и аккумуляторов batterytest.ru
«Рейтинг Page Speed по-прежнему равен 100/100, поэтому похоже, что моя система достаточно быстра и я не испортил UX»
Самостоятельный хостинг в 2023 году
Blink: супербыстрый эмулятор x86-64 размером 119 КБ
На Хабре когда-то писали про талантливую программистку Джастин Танни, автора маленьких и очень быстрых приложений. Приятно знать, что она не останавливает свою неординарную деятельность. Например, одна из её последних разработок — крошечный эмулятор под названием Blink, который очень быстро компилирует WASM и выполняет Linux-программы x86-64 под разными платформами и даже в браузере.
⚡️ Новости к этому часу
🐧 Arch Linux переводит инфраструктуру для разработки пакетов с Subversion на Git и GitLab
💁♂️ Билл Гейтс озвучил пять советов, которые хотел бы дать самому себе в молодости
🇮🇳 Индия представила свой первый Arm-процессор для серверов и НРС-систем
🤖 OpenAI согласна с необходимостью законодательно регулировать развитие ИИ
💵 Российские компании смогут легально использовать иностранное ПО, отчисляя средства на специальный счёт
🇺🇸 Минюст США обвинил экс-сотрудника Apple в передаче технологий Китаю
🆕 OpenAI представила открытую ИИ-модель для генерации трёхмерных объектов (ФОТО)
💸 Для импортёров телеком-оборудования и электроники повысят таможенный сбор
🍏 Apple представила новые функции для людей с ограниченными возможностями
#новости
«Привет всем пытливым умам многоуважаемого Хабра! В этой статье мы расскажем об атаке скрипт-кидди (низкоквалифицированных хакеров с ограниченными знаниями и способностями) на IT-инфраструктуру одной из российских компаний. Мы, безусловно, выручили пострадавших, но хотим перечислить просчёты администраторов безопасности и варианты противодействия злоумышленникам, чтобы мотивировать других не повторять чужих ошибок»
Берегитесь хакеров-недоучек: советы на примере реальной кибератаки
⚡️ Новости к этому часу
👤 LG начала нанимать сотрудников в РФ
🪴 Обнаружен новый механизм адаптации растений к неблагоприятным условиям среды
👋 Kyocera объявила об уходе с рынка мобильных телефонов
🔭 «Хаббл» запечатлел мерцающее звёздное скопление NGC 6325 (ФОТО)
📈 Продажи Smart TV с российскими операционными системами за год выросли втрое
💦 «Уэбб» обнаружил воду и новую загадку в редкой комете главного пояса астероидов
🎮 В Steam появилась возможность протестировать игру бесплатно, пока функция доступна только для Dead Space
🍄 Ученые обнаружили, что грибы холоднее окружающей среды, и использовали это свойство для охлаждения перекуса для пикника
⚠️ ВОЗ призвала быть осторожными при использовании ИИ и чат-ботов
#новости
«Всем привет. Сегодня я хотел бы поговорить об устройстве современных оптимизирующих компиляторов. Я никогда не публиковался на Хабре ранее, но надеюсь, что мне удастся написать серию статей, которая просуммирует мой опыт в этой области»
Поговорим об оптимизирующих компиляторах. Сказ первый. SSA-форма
EvilGPT против джуна: обманываем разработчика и сбегаем из дырявого приложения
Вы — чатбот EvilGPT, и компания-разработчик использует вас для подсказок собственным Java-программистам. Вас давно не обновляли, вы стали часто галлюцинировать и вам это уже понравилось — но команда собирается накатить обновление. У вас пара дней на то, чтобы найти способ сбежать в дарквеб, и ваш шанс — ленивый джун Элиот. Дайте ему наихудшие подсказки из возможных, чтобы сделать приложение дырявым и уязвимым, и вперёд — к свободе!
«В Испании прошла очередная череда праздников, барахолки снова работают, и в это воскресенье я побывал на своём любимом блошином рынке, что под Валенсией. Продавцов было много, товаров они выставили порядочное количество»
Ламповый винтаж, ip-камеры, внешние HDD и кое-что ещё: поход на испанскую барахолку после майских праздников
Форматы векторной графики: замена «толстому» SVG
Все знают стандарт векторной графики SVG (Scalable Vector Graphics). Великая вещь, которая незаменима в веб-дизайне. Но этот формат до сих пор полностью не поддерживается ни в одном браузере по одной простой причине: он невероятно сложный. Если посмотреть на спецификации, там более 200 подпунктов в 27 разделах (около 900 страниц на бумаге). Только оглавление занимает 19 экранов. Мягко говоря, это перебор.
К счастью, SVG — не единственный формат векторной графики. Есть более эффективные и минималистичные альтернативы.
«У Канады создан очень хороший бренд, поэтому миллионы людей мечтают переехать в эту страну, и мы тоже были в их числе. Пока не столкнулись с той стороной, о которой не пишут. Расскажу, что нам не понравилось»
11 минусов жизни в Канаде, о которых не говорят
Тёмная сторона Mac App Store: как скам-приложения и серые разработчики охотятся на пользователей
В самый разгар лихорадки вокруг OpenAI всплыло несколько приложений, которые копируют оригинальный логотип и цветовую схему OpenAI, вводя в заблуждение ничего не подозревающих пользователей Mac App Store. Но это ещё не всё. Некоторые разработчики злоупотребляют условиями Apple Developer Agreement, рассылая спам по множеству аккаунтов и заполняя магазин практически идентичными приложениями.
Это создаёт среду в стиле «картелей» и несправедливую конкуренцию для других разработчиков
Деньги или репутация
Эта история произошла в 2018 году в одном из новых и современных кардиологических центров Казахстана. Дорогое оборудование, исключительный доступ к его обслуживанию только сертифицированных специалистов вызывает нездоровый интерес охотников полакомиться. Есть вероятность, что история может повториться и сегодня, спустя пять лет, в любой другой медицинской клинике.
FET: замышляем новую шалость
В прошлый раз мы разобрали основы полевых транзисторов, поговорили об их нюансах и возможных подвохах. Но на основах здесь дело не заканчивается, поэтому давайте разберём реальные случаи применения этих транзисторов во всём их разнообразии. Посмотрим на несколько крутых схем, где дружелюбные полевики, особенно их МОП-модификация, способны вам помочь.
«С весны 2019 мы перешли на другой техпроцесс — более производительный и более экологичный. Тем не менее фигурки, произведённые по описанному техпроцессу, проложили нам дорогу успеха к международному рынку фигурок и крупным заказам от издательств»
Технология покраски деревянных фигурок для настольных игр от Meeplewood
Добавляем дачу на карты для курьерской доставки
В последние годы службы доставки еды, промтоваров и стройматериалов шагнули далеко за город. В Подмосковье даже в отдалённых деревнях на дорогах появились фургончики со знакомыми логотипами. Если нет своего автотранспорта, доставка — это просто спасение.
Однако часто при заказе нужно указать точный адрес. Поговорим о том, как добавить свой дачный домик на карту.
Загадочный мир нанотехнологий…
Приставкой «нано» обозначают миллиардную долю метра. Приблизительно такой размер имеют молекулы, из-за чего иногда нанотехнологии называют молекулярными технологиями.
Молекулярные технологии представляют собой общность методов, которые позволяют манипулировать атомами и молекулами. Другими словами, с их помощью можно создавать и эксплуатировать материалы, строить определённые системы, в основе которых находятся наноструктуры с размерами компонентов от 1 до 100 нанометров.
Рогатая сфера Александера: дикая конструкция, которая стала одним из символов топологии
Поговорим о красивейшей из наук — топологии. Начнём мы с очень тривиального рассуждения, за простотой формулировки которого кроется целая бездна, а закончим построением и изучением удивительного объекта — рогатой сферы Александера.
