Tg: habr.com

Как проверить идеи, архитектуру и алгоритмы без написания кода? Как сформулировать и проверить их свойства? Что такое model-checkers и model-finders? Требования и спецификации — пережиток прошлого? Говорим об инженерном подходе к разработке ПО: http://amp.gs/ObvP

Что разработчикам надо знать про бизнес. «Я хочу поделиться процессом того, как у нас устроено такое информирование в команде Туту.ру. Возможно, кому-то оно покажется ликбезом, а кому-то будет полезным. Ну или вы подскажете, как сделать лучше»: http://amp.gs/ObPO

Как Artifact стал самым крупным провалом Valve. За несколько последних месяцев единственная связанная с Artifact активность на Twitch заключалась в том, что пользователи решили стримить в разделе этой игры фильмы и порно: http://amp.gs/ObkL

SQL: решение задачи о рабочем времени. «В эфире опять Радио SQL! Сегодня у нас решение задачи, которую мы передавали в нашем предыдущем эфире и обещали разобрать в следующий раз. И вот этот следующий раз наступил»: http://amp.gs/Obxt

Вертикальное письмо в современном IT. Двунаправленным письмом в наше время никого не удивить. Оно поддерживается управляющими символами Уникода. Но горизонтальные письменности — не единственные существующие и применяемые для записи человеческой речи: http://amp.gs/Obl3

Как за секунду сделать идеально оформленный текст: макрос в Word для тех, кто много пишет. «Совсем недавно моя хорошая питерская приятельница поделилась совершенно замечательным макросом. Надеюсь, её повествование от первого лица будет для вас полезным»: http://amp.gs/ObYR

Введение в компиляторы, интерпретаторы и JIT'ы, мотивирующая история «Союза» и как Пенсионный фонд сливает персональные данные. Лучшие публикации последних пяти лет от 11 июля: http://amp.gs/ObT4 #хабрапятилетка

Обзор Deep Learning в Computer Vision. Часть вторая. Продолжаем постигать современную магию. Часть вторая не значит, что нужно сначала читать часть первую. Часть вторая значит, что теперь всё серьёзно — мы хотим понять всю мощь нейросетей в зрении: http://amp.gs/ObIe

Как в НИТУ «МИСиС» учат французов экологии и собирают бутылки. В ходе двухнедельной практики студенты участвуют в сборке функциональных машин, создании технологий и производстве продуктов для развития проекта: http://amp.gs/O6Qw

Как выбрать случайное число от 1 до 10. Представьте, что вам нужно сгенерировать равномерно распределённое случайное число от 1 до 10. Но без доступа к монетам, компьютерам или радиоактивному материалу. У вас есть только комната с людьми: http://amp.gs/O6oH

Децентрализованный интернет-провайдер Medium: три месяца спустя. Сейчас перед нами стоит чрезвычайно важная задача — чётко обозначить и отстоять свою позицию в отношении свободного Интернета: http://amp.gs/O6L9

Всё-таки запускаем Linux на RocketChip RISC-V. В этой части истории с портированием RISC-V RocketChip на китайскую плату с Cyclone IV мы всё-таки запустим Linux, а также научимся сами конфигурировать IP Core контроллера памяти и чуть подредактируем dts-описание аппаратуры: http://amp.gs/O6wa

Как потерять доступ в лайв-систему, просто пошарив исходный код. Мы не будем говорить про ошибки разработчиков, которые могут стать серьёзными дырами в лайв-системе. Всё гораздо проще — сам исходный код может содержать прямые инструкции и доступы: http://amp.gs/O6KM

«Казалось бы, всё под контролем, что может пойти не так? А прилетает откуда и не ждали: получаем блокировку в контекстной рекламе». «Билайн» показывает рекламу боту Google, бот недоволен: http://amp.gs/O6Jm

Главные IT-новости к этому часу. Разработчики игр призывают пиратить их игры, но не покупать ключи у посредников: http://amp.gs/O6iG Роскосмос показал беспилотный трактор: http://amp.gs/O6ix Сайт Jabber-клиента Conversations внесён в реестр организаторов распространения информации: http://amp.gs/O6iC Microsoft отключает поддержку встроенных в Windows ME и Windows XP онлайн-игр: http://amp.g ...

Последние изменения в IO-стеке Linux с точки зрения DBA. Илья Космодемьянский из Data Egret в докладе на HighLoad++ рассказал о взаимодействии IO и БД на примере PostgreSQL, а также показал, как с IO работают другие БД: http://amp.gs/O6An

Данные по-прежнему важнее. «Почти полвека умные люди снова и снова говорят: сначала сосредоточьтесь на данных. Но иногда кажется, что это самый умный совет, который все забывают. Приведу несколько реальных примеров»: http://amp.gs/O6RF

Самые частые грабли при использовании printf в программах под микроконтроллеры. «В данной статье я собрал свой собственный топ нюансов, которые возникают при использовании printf в программах под микроконтроллеры, сортированный по очевидности от самых очевидных к полностью неочевидным»: http://amp.gs/O6yL

Разрабатывайте плагины для продуктов JetBrains и продавайте их на JetBrains Marketplace. Теперь у авторов плагинов появится возможность уделять больше времени разработке — им не придётся придумывать свои решения по лицензированию и заниматься продажами: http://amp.gs/O6fw

SEO для «Яндекс.Поиск» всё? «Если до этого момента у меня проскакивали какие-то нехорошие подозрения про SEO-оптимизацию в «Яндекс», то сейчас картинка вроде бы сложилась и я окончательно дозрел, чтобы поделиться своими краткими наблюдениями»: http://amp.gs/O6l9

Как запустить растущий b2c-стартап после хакатона. «В данной статье не будет технических подробностей реализации приложения. В начале я расскажу нашу историю, а полезные советы, которые мы вывели для себя в ходе развития, приведены в конце»: http://amp.gs/O61V

Промышленный реверс-инжиниринг. «Однажды мне понадобилось скопировать довольно простое устройство. Компания-производитель перестала существовать, но по всей стране ещё был спрос на замену сломанных или отработавших свой ресурс девайсов»: http://amp.gs/O6IY

HTML — это и есть веб. Многие на вопрос о HTML отвечают: «Я сейчас всё делаю в React или Vue». Но на самом деле не имеет значения, что вы пишете только JavaScript. Если вы разрабатываете веб-сайты, то HTML — это самое главное для вас. Это и есть веб: http://amp.gs/Oc5y

Грязные уловки вендоров CRM: а вы бы купили автомобиль без колёс? «Мы за тотальный ликбез в сфере автоматизации и против вендорских сражений на публике. Поэтому берите на вооружение и будьте осторожны, а кого выбрать — решать только вам»: http://amp.gs/OcWu

Поколение Arduino: что изобретают современные школьники. Компания ПСБ совместно с Фондом содействия инновациям провели конференцию финалистов всероссийского конкурса «Шустрик» и выбрали шесть неплохих технических идей: http://amp.gs/OcwC

«Когда мы приходим на работу, то это не превращается в ежедневные сюрпризы, так почему же собеседование должно проходить в таком ключе?» Переосмысление процесса собеседований в дивизионе разработки Microsoft: http://amp.gs/OcK2

Гигабитный линк на три километра на лазерных модемах. «В статье описывается наш опыт построения беспроводного соединения на расстоянии три километра с помощью лазерных модемов Lantastica TZR без использования радио»: http://amp.gs/Ocim

Из риелтора в разработчика игр: «Операция: Андроид». «Меня зовут Тим, мне 30 лет, я риелтор и сейчас пытаюсь стать разработчиком игр, всё ещё не умея программировать. А как оно всё идет — я вам расскажу и покажу»: http://amp.gs/OcmU

Цена JavaScript в 2019 году. За последние несколько лет в том, что называют «ценой JavaScript», наблюдаются серьёзные положительные изменения благодаря повышению скорости парсинга и компиляции скриптов браузерами. Сейчас, в 2019 году, главными составляющими нагрузки на системы, создаваемой JavaScript, являются время загрузки скриптов и время их выполнения: http://amp.gs/Oczs

Vivaldi: на чём зарабатывает браузер. У браузера может быть несколько источников дохода. Кто-то использует данные пользователей для рекламного таргетирования, кто-то зарабатывает на продвижении партнёрского контента, кто-то живёт за счёт инвестиций: http://amp.gs/OcjM

Из волшебной математической функции — одно решение, чтобы править ими всеми. Три года назад Марина Вязовска из Швейцарского федерального технологического института в Лозанне поразила математиков, обнаружив самый плотный способ упаковки сфер одинакового размера в восьми- и 24-мерном пространствах. А теперь она с соавторами доказала нечто ещё более удивительное: http://amp.gs/OQQ6

Полуметалл теллурид вольфрама — швейцарский нож дня нанотехнологий. Сегодня мы познакомимся с исследованием, в котором ученые доказали, что теллурид вольфрама обладает естественной металличностью и сегнетоэлектричеством, оставаясь при этом полуметаллом: http://amp.gs/OQMm

Агроробот с ИИ научился аккуратно собирать с грядки созревший салат. Инженеры из Кембриджского университета создали рабочий прототип роботизированного сборщика урожая, способного самостоятельно распознавать готовые к срезанию неповреждённые кочаны салата: http://amp.gs/OQLz

Использование верилятора как средства быстрого моделирования RTL-проектов. В статье описываются установка и применение бесплатного программного обеспечения для моделирования схем цифровой логики на языке Verilog как альтернативы коммерческих продуктов: http://amp.gs/OQHC

Главные IT-новости к этому часу. В США психологи организуют платные занятия для профилактики смартфонной зависимости у детей: http://amp.gs/OQA7 Huawei хочет купить бизнес и технологии у ряда российских компаний: http://amp.gs/OQAv Сотовые операторы могут получить бесплатные частоты в обмен на покупку российского сетевого 5G-оборудования: http://amp.gs/OQAE VAIO представила ноутбук с огромн ...

Ещё один способ оптимизации Docker-образов для Java-приложений. «Как это часто бывает, не всё взлетело с первого раза, возникли нюансы с многомодульными проектами и попыткой гонять всё это на CI-системе, так что в статье вы найдёте решение этих проблем»: http://amp.gs/OQrc

«Выдающийся аналитик — ценный специалист; его стиль оптимизирован с точки зрения скорости. Но он не является статистиком, даже плохим, потому что он не делает окончательных заключений на основе фактов». О разнице между исследователем данных и статистиком: http://amp.gs/OQU6

Remote cache для iOS, feature toggles, тёмные темы и карьера разработчика. Этот пост — отчёт о том, как прошёл Avito iOS Meetup #7. Внутри вы найдёте видеозаписи, презентации спикеров, ссылки на фотоотчёт и отзывы участников встречи: http://amp.gs/OQ9x

«Мне надоело ковыряться в картах за рулём, пытаясь среди мелких значков и рекламы найти ближайшую заправку. Вместо этого хотелось бы просто ехать, посматривая на экран приложения». Попытка починить поиск по картам для водителей. Часть третья (финал): http://amp.gs/OQg6

Чистая архитектура решения и тесты без моков. «В этой статье я хочу рассказать об архитектуре своего проекта, который я рефакторил четыре раза на его старте, так как не был удовлетворён результатом. Расскажу о минусах популярных подходов и покажу свой»: http://amp.gs/OQyc

Как создавался дизайн «Яндекс.Авто». Идея сделать что-то для автопрома выросла не на пустом месте. Невозможно оставаться в стороне, когда в компании есть Навигатор, Музыка, Погода и многое другое; если совместить всё это — может родиться что-то полезное: http://amp.gs/OQ7h

Интеллектуальные CPaaS: новинки индустрии и что ей дали AI/ML. В июне в Амстердаме прошлая очередная APIDays — конференция для всех, кто так или иначе создаёт и пользуется различными API. Темой конференции стал «расцвет контекстуальных коммуникаций»: http://amp.gs/OQCj

Инструменты автоматизации процесса тестирования: мобильный тестировщик на стероидах. Некоторые из этих инструментов имеют возможности, выходящие за рамки мобильного тестирования и тестирования в целом, поэтому статья будет полезна не только тестировщикам: http://amp.gs/OQGD

Собеседование на программиста в Amazon, инструменты для разработчика Go и российские протезы пальцев, созданные с помощью 3D-печати. Лучшие публикации последних пяти лет от 10 июля: http://amp.gs/OQpQ #хабрапятилетка

«Сравнение качества внесённых данных в OSM с открытыми данными позволяют сделать дорожную сеть ещё лучше». Новости из мира OpenStreetMap №467: http://amp.gs/OQt3

Mozilla окончательно забанила шпионскую компанию DarkMatter. Эту компанию западные СМИ обвиняют в продаже услуг наблюдения и взлома репрессивным режимам на Ближнем Востоке и в прочих аморальных действиях: http://amp.gs/OQ1B

Битрикс для программиста и менеджера: любовь и ненависть. «Джумла вызывает смех. Вордпресс вызывает удивление. Битрикс вызывает ненависть. Почему? Я захотел ответить именно на этот вопрос, и ответ оказался неожиданным»: http://amp.gs/OQj3

Facebook как один из мировых лидеров в разработке технологий искусственного интеллекта нашёл прикладное применение для этих программ — фильтрация общения людей. Передовые инновации уже внедряют в Instagram: http://amp.gs/O56V

Модульные встраиваемые компьютеры серии UNO-1000/2000. Платформу легко использовать для любых специфических задач благодаря широкому выбору фирменных модулей расширения iDoor, позволяющих добавить нужные интерфейсы в устройство: http://amp.gs/O5M1

«Обработка алгоритма хэширования биткоинов на языке ассемблера на этом 15-битном компьютере 60-х годов была сложной задачей, но я заставил его работать». На компьютере программы «Аполлон» попробовали майнить биткоин — 10,3 секунды на хэш: http://amp.gs/O5WY