66437
НЛО с вами! Хабр Новости → https://t.me/habr_com_news Хабр Карьера → https://t.me/habr_career Реклама (продвигаем только статьи с Хабра) → adv@habr.team Вопросы → @shelsneg Админ → @vololoshin
Baldur и Thor снова в игре: путь к совершенному ПО
При написании высококачественного программного обеспечения не обойтись без этапа формальной верификации. Несмотря на то, что наша жизнь уже была в некоторой степени упрощена, благодаря таким помощникам доказательства, как Coq и Isabelle/HOL, обучающим модель предсказывать один шаг доказательства за раз, оптимизация формальной верификации ещё не была достигнута.
Новый метод автоматической генерации доказательств — модель Baldur. Данный метод основывается на использовании больших языковых моделей, возможности восстановления доказательства и исправления благодаря указанию ошибки и добавлению контекста.
Baldur превосходит все существующие подходы, он может самостоятельно полностью за раз доказывать 47,9% теорем, и даже этот результат — не предел.
Мечтают ли нейроовцы о генеративных трубах? Кратко о процедурной генерации контента в контексте игровой индустрии
Разберёмся, с чем едят процедурную генерацию контента и как она используется в игровой индустрии, а заодно немного окунёмся в историю PCG, рассмотрим популярные инструменты и обсудим самые перспективные алгоритмы.
Недавно на Хабре была опубликована статья «Разбираем самый маленький PNG в мире». Интересно, а какой самый маленький файл JPEG? В ответах на StackOverflow и Reddit можно встретить размеры 107, 119, 125, 134, 141, 160 байтов. Все они представляют серый прямоугольник 1 на 1. И кто прав? Все правы, просто такая разница объясняется различными режимами кодирования и степенью строгости соответствия стандарту.
Разбираем самый маленький JPEG в мире
Что будет, если переименовать суперпользователя? Экспериментируем, удивляемся и расстраиваемся…
В Интернете много желающих перебирать пароли к SSH, чтобы получить мощности вашего сервера безвозмездно. Как это можно предотвратить? Отключить вход по паролю? Лениво. Использовать нестандартный порт? Не поможет. Поставить fail2ban? Скучно. Переименовать root? Вот это хорошая идея!
На профильных площадках можно встретить вопрос о том, как переименовать суперпользователя, и теоретические ответы с предупреждением о потенциальной деструктивности этого действа. В этой статье обсудим, что может сломаться в теории и на практике.
Апнуть «чумадан»
Самодельщиков частенько обвиняют в том, что их самоделки представляет собой, по сути, «троллейбус из буханки хлеба», как в известном меме :-) То есть, можно было бы этого и не делать, но «как раз было время и зачем-то я это сделал».
Но есть самоделки, которые в корне отличаются от этого всего, и каждый раз, когда их вспоминаешь, говоришь себе «Как же хорошо, что когда-то я уделил этому своё время!», так как они крайне полезны и весьма применимы в жизни. Они могут быть не особо сложными, но польза от них весьма велика. И в этой статье будет рассказ как раз об одной из таких самоделок.
Плотный металл для электроники и не только: краткая история иридия
Иридий является самым устойчивым к коррозии металлом на Земле и одним из двух самых плотных (вместе с осмием). Например, он в два раза плотнее свинца. Чрезвычайно твёрдый иридий (в 6 раз твёрже платины) отличается высокой температурой плавления (2465°C) и одновременно с этим хрупкостью, что делает его крайне сложным в обработке. При этом он является хорошим проводником тепла и электричества.
Какие онлайн-курсы вы знаете? А каким из них доверяете?
Коротенький опрос, который поможет важному исследованию!
ИБ и ИТ, давайте жить дружно: вот как это возможно
Безопасность во многих компаниях стоит особняком. Вместо того чтобы беспокоиться о качестве вашего продукта, безопасники твердят о ГОСТах и ISO, о разных сертификациях и авторизационных протоколах — вещах важных, но вне фокуса основного архитектора. При этом их деятельность «подрывает» производительность, debugability, да вообще всё.
Однако есть способы сделать безопасность своим союзником на пути к качеству
Тут ребята из Хабр Карьеры интересуются, как вы ищете курсы. Ваши ответы будут использованы против вас помогут им сделать самый крутой образовательный маркетплейс.
Подсобите, что ли 👈
«Врачи в платной медицине часто получают за выручку с пациента. С точки зрения благополучия пациента это, мягко и очень корректно выражаясь, противоречит здравому смыслу.
Это неизбежный конфликт между тем, что нужно было помогать людям, и коммерческими целями клиники.
Моим главным желанием было разделить мир медицины и продаж так, чтобы мои врачи думали только о медицинском аспекте. И одна из самых важных вещей, которую мы сделали, — это фиксированная цена лечения до результата»
Как в клинике «Белая Радуга» переворачивают платную медицину
Направо пойдёшь — в бэкенд придёшь, налево — в мобилки…
Размышляете, куда податься, какое карьерное направление будет перспективнее? Дело ведь не только в используемых технологиях, но и в распространённых подходах и практиках. И объективное сравнение от того, кто видел разные сегменты лично, встретишь не часто.
В этой статье автор делится своими впечатлениями о том, чем отличается разработка бэкенда от мобилок на примере Android
«Похоже, многим не нравится объектно-ориентированное программирование. Первое, что приходит в голову, когда слышишь эту трёхбуквенную аббревиатуру — это пример с автомобилем, наследование, геттеры, сеттеры и ObjectFactoryFactorySingleton.
Мне это всегда казалось довольно странным. Мне не только нравится ООП, я ещё и считаю, что часто это лучший/наиболее очевидный способ моделирования задачи. И ниже я расскажу почему»
Люди не понимают ООП
Поживём — увидим. Изучение средней продолжительности жизни людей даёт надежду на долголетие
Ещё какие-то 200 лет назад среднестатистический человек в 35-38 лет уже считался едва ли не пожилым, в то время как сегодня в том же возрасте только начинают тревожиться по поводу здоровья и старости. На продолжительность жизни всегда влияли разные факторы: место проживания, образование, ЗОЖ или его отсутствие, пол и многое другое. Но как вид сейчас обычный человек живёт намного дольше, чем несколько столетий назад, и эта тенденция продолжает сохраняться и, более того, усиливаться.
Дэвид Атанс из испанского университета Алькала со своей командой опубликовал результаты исследования по продолжительности жизни современного человека. На основе большого объёма собранных данных учёные проанализировали ситуацию и попробовали спрогнозировать, что ждёт Homo Sapiens в будущем. Разные народности на протяжении своей истории сталкивались с глобальными проблемами, угрожающими жизни, — войнами, бедностью, катастрофами и болезнями. Разберёмся, как это повлияло на продолжительность жизненного цикла среднестатистического человека.
Два сапога — пара, а три — уже community: как алгоритмы на графах помогают собирать группы товаров
В этой статье мы обсудим кластеризацию на графах, задачу выделения сообществ, распад карате-клуба, self-supervised и unsupervised задачи — и как всё это связано с матчингом.
Почему Ceph не собирается в кластер: как не связанные коммиты привели к неожиданным проблемам
В этой статье мы разберём проблему с закрытием файловых дескрипторов при выполнении команды на создание пула в Ceph. Ребята из «Фланта» расскажут, как её обнаружили, что делали, чтобы определить причину её возникновения, и самое важное — почему это произошло и как решить проблему. Получился настоящий детектив.
WAAP: эволюция WAF
WAAP (Web Application and API Protection) является брандмауэром веб-приложений следующего поколения WAF (Web Application Firewall). Термин впервые начал использовать Gartner для описания защиты современных, постоянно меняющихся web-сервисов. Так как в мире CI/CD, динамики и API first компаний, функций традиционного WAF уже недостаточно.
WAAP — это совокупность методов и технологий, которые используются для защиты веб-приложений и сервисов от атак и уязвимостей. WAAP включает в себя технологии, такие как WAF-NG, сканер уязвимостей, автоматическое обнаружение и блокирование атак 0-дня, выявление аномалий с помощью технологий Machine Learning и смарт-капчи.
Парадоксы, решение которых может изменить наш взгляд на Вселенную
Революции в науке часто происходят в процессе исследования, казалось бы, неразрешимых парадоксов. Фокусировка на них и, в конечном итоге, нахождение решения — это именно то, что привело нас ко многим важным прорывам.
Любопытно будет перечислить те из парадоксов, которые связаны с современными представлениями о космологии. Вполне возможно, их решение приведёт к прорыву и выработке представлений о строении Вселенной следующего поколения.
#хабраархив
«Листая ленту Ютуба, я наткнулся на видео, которое рассказывало про ChromeOS, систему-браузер для слабых ноутбуков. И тогда я загорелся идеей купить себе такое устройство. Меня привлекала идея полной синхронизации и бесшовности, как у Apple, но в рамках моей любимой системы»
ChromeOS: почему автор отказал своей мечте
«Привет, Хабр! Меня зовут Пётр Гусаров, я Java‑программист в CDEK. В этой статье расскажу про не очень распространённый фреймворк MyBatis.
Почему MyBatis? Потому что мы в CDEK используем его в большинстве проектов, и в деле он весьма неплохо себя показал. Немного сложен и непривычен на этапе входа, но все эти минусы перекрываются его гибкостью»
MyBatis «на минималках»
Исследование: самые горячие технобренды России
Вот уже много лет hh.ru держит руку на пульсе рынка и следит за развитием узнаваемости технических брендов крупнейших игроков. В новом исследовании ребята опросили 1083 респондента, чтобы разобраться, где хотят работать IT-специалисты сегодня, как ищут работу и по каким критериям представители разных технических областей выбирают работодателя мечты. Обратимся к результатам.
На помойку? Никак нет! Пишем нативные приложения для дешёвых китайских телефонов
Если сейчас приехать в пункт приема металлолома, то можно обнаружить просто огромные кучи различных телефонов и прочих электронных «отходов», которые стоят под открытым небом и ждут, когда придёт их черёд окончательного разложения. Однако при ближайшем рассмотрении выясняется, что многие девайсы оказываются полностью рабочими даже после недельного лежания под палящим солнцем и проливными дождями, а сдали их в чермет по причинам «не нужен, надоел, купил новый» и т. п. Это неправильно, ведь даже в простые кнопочные звонилки имеется возможность вдохнуть новую жизнь, если знать один интересный, но малоизвестный факт: для них можно писать нативные приложения на C и использовать железо телефона в своих целях. А это, на минуточку, как минимум: дисплей с подсветкой, вибромотор, динамик, клавиатура и GSM-радиомодуль с возможностью выхода в сеть.
Сегодня мы с вами узнаем, на каких аппаратных платформах работают китайские телефоны, какие существуют программные платформы и где взять для них SDK, а в практической части мы напишем 2D-игру с нуля, которая будет работать на многих китайских кнопочниках
7 причин некачественного кода в Unity-проектах
Хорошего, годного кода в проектах на Unity мало. Поддержка унаследованных Unity-проектов представляет обычно немалые сложности, а разработка часто сталкивается с неестественными трудностями.
Почему так? Казалось бы, Unity — это просто, да и толковых программистов вроде хватает. Или всё не так очевидно?
Пробуем выделить семь причин низкого качества кода в Unity-разработке
«Я работал в крупных технологических компаниях, стартапах, консалтинговых фирмах и даже в правительстве. Всё это разные среды с одним ключевым сходством: качество кода низкое, особенно в последнее время.
Не поймите меня неправильно, есть участки хорошего кода. Отдельные примеры настоящей заботы и мастерства. Но, по большому счёту, то, что я вижу сейчас, — это люди, пытающиеся как можно быстрее выпустить продукт, не обращая внимания на бремя сопровождения через 1, 2, 5, 10 лет.
Так что же происходит? Я не знаю точно, но вот мои основные теории»
Где-то в дороге мы забыли о мастерстве программирования
«Привет, Хабр! Я Иван, занимаюсь информационной безопасностью в Selectel. Недавно прошёл CTF-турнир KnightCTF 2024, который организовали cybersecurity-энтузиасты из Бангладеша. В течение одного дня участники со всего мира решали более 40 задач из разных категорий. Спойлер: это оказалось не так уж и сложно. Делюсь, как решил некоторые из них»
«In the World of Hackers, Be a Knight»: решаем задачи с CTF-турнира
⚡ Новости к этому часу
📈 За 2023 год в России на 55% выросли продажи роботов-собак, а роботов-помощников — на 41%
📞 «МегаФон» повысил цены на связь для некоторых абонентов, так как они от этого не отказались
🎮 Disney за $1,5 млрд купит долю в Epic Games
🙅🏻 Российские банки выступили против оборотных штрафов до 500 млн рублей за утечки данных
📵 В Австралии приняли в первом чтении закон о праве работника игнорировать рабочие звонки и сообщения в нерабочее время
🧪 Биологи научились регулировать кислотность клеток человека при помощи света
🌐 SpaceX планирует использовать беспилотные баржи в качестве морских интернет-станций для Starlink
🌐 Генеральный директор Mozilla покинула свой пост (ФОТО)
📱 Google переименовала чат-бот Bard в Gemini и открыла подписку на Gemini Ultra 1.0
📦 Состоялся публичный выпуск VirtualBox KVM
🔭 «Уэбб» раскрыл неожиданный поворот в истории формирования чёрных дыр и галактик
🧊 Учёные разобрались, из-за чего 700 млн лет назад Земля превратилась в гигантский снежок
#новости
Дни генеративных ИИ сочтены? Инструмент для «отравления» датасетов добился неожиданной популярности
Бесплатный инструмент Nightshade, созданный исследователями из Чикагского университета, скачали 250 тысяч раз за первые пять дней его существования. Программа предназначена для цифровых художников, которые не хотят допустить использования своих изображений генеративными ИИ. Похоже, если инструмент будет настолько успешен, разработка следующих моделей может быть сильно усложнена.
Подборка вакансий в странах за рубежом.
Разработчик C++ в Bell Integrator. Ереван, Уральск, Бишкек. Можно удаленно. 400 000 — 450 000 ₽.
Customer support specialist в Gaijin. Ереван, Тбилиси, Батуми. Можно удаленно. До 1300 €.
JavaScript developer в Brightdata. Тель-Авив. Можно удаленно. 5500 — 6500 $.
QA Tester (Manual) в Conjointly. Бангкок, Ханой. Можно удаленно. 1000 — 2000 $.
WordPress developer в //stablecode. Вена. Можно удаленно. От 250 000 ₽.
Больше вакансий
#foreign_countries
⚡ Новости к этому часу
👮♂️ Исследователя, который помог Apple в поиске уязвимости Wi-Fi, арестовали за мошенничество
🛡 Открытый проект SafeDiscShim помогает обойти DRM в классических играх на ПК с Windows
🥺 Warner Music Group уволит 600 сотрудников и закроет подразделение подкастов Interval Presents
❌ Yandex N.V. запретили в течение пяти лет создавать аналогичные «Яндексу» сервисы
🆓 Студенты получат бесплатный ИИ-инструмент для подготовки к TOEFL
🥽 VisionOS beta 1.1 обеспечивает управление корпоративными гарнитурами Vision Pro
🖨 Fplus запустила в России собственное производство принтеров
❤️ Топ-менеджеры «Яндекса» станут крупнейшими совладельцами компании после реструктуризации
💻 Apple выпустила версии приложений Apple Music и Apple TV для Windows 10/11
🫡 Ушёл из жизни основатель Autodesk Джон Уокер (ФОТО)
#новости
📣 Напоминаем, что уже в этот понедельник, 12 февраля, стартует неделя полезного контента и вакансий от компаний-победителей рейтинга Хабр Карьеры.
Вы познакомитесь с разными (но одинаково классными) компаниями — от известных гигантов до небольших звёздочек. Всю неделю они будут честно рассказывать о том, как у них работается, и делиться горящими вакансиями.
🖱 Также вас ждут:
→ публичное собеседование и разбор резюме в прямом эфире с опытным эйчаром;
→ подборки полезных материалов от крутых спецов из компаний;
→ Q&A-сессия с эйчарами и другими специалистами в конце недели;
→ розыгрыш классного мерча от Хабр Карьеры.
💬 Чтобы принять участие в движухе, нужно просто перейти в тг-канал и следить за обновлениями.
Лазерный DIY, или Как с помощью дешёвого гравёра делать качественные платы
В этой статье автор делится историей о том, как спонтанная покупка на местном маркетплейсе упростила процесс изготовления прототипов печатных плат в домашних условиях, сэкономив время и при этом повысив качество.
