Всё про Алгоритмы и Структуры данных

О формальном доказательстве безопасной работы с памятью на основе «владения и заимствования» Некоторое время назад я попробовал найти формальное доказательство безопасной работы с памятью, которое реализовано в Rust, но так и не смог его найти. После чего у меня сложилось впечатление, что доказательство в формальном виде и вовсе отсутствует, а вся концепция безопасного управления памятью на основе "владения и заимствования" формально не доказана и держится только на честном слове. Я не являюсь специалистом по Rust, но после просьбы помочь разобраться этим вопросом, был переадресован искать эту очевидную информацию самостоятельно, так как "джентльменам верят на слово". Тогда как косвенным подтверждением моего предположения об отсутствии формального доказательства в общем виде, является тот факт, что отсутствует и полный список разрешающих и/или запрещающих проверок, которые реализованы в самом компиляторе языка. Я хочу рассказать про изыскания о формальном доказательстве безопасной работы с памятью на основе владения и заимствования (не зависимо от языка программирования или реализации компилятора), которое основано на собственных данных и рассуждениях. https://habr.com/ru/articles/889016/ Алгоритмы и Структуры данных

В канале Selectel Newsfeed новые бесплатные курсы! Наши бесплатные курсы для специалистов всех уровней помогут разобраться в темах быстро, структурно и последовательно. Вступайте в сообщество IT-специалистов в Telegram от Selectel и развивайте новые навыки📚 Смотреть #реклама 16+ О рекламодателе

Делаем Liquid Resize своими руками Вы наверное уже слышали о технологии масштабирования Liquid Resize, которая учитывает содержимое изображения. Если вам интересно как оно все работает и как можно реализовать все это самому, то читайте далее (осторожно, много рисунков). Статья выложена мной по просьбе моего друга, который не может поместить ее на хабр, поскольку не имеет аккаунта. https://habr.com/ru/articles/48518/ Алгоритмы и Структуры данных

В России можно посещать бесплатные IT-мероприятия хоть каждый день: как оффлайн, так и онлайн. Чтобы не пропустить полезные — сохраните канал @FreeItEvent. Анонсы вебинаров, хакатонов, конференций, мастер-классов и других событий в IT. Ивенты от гигантов индустрии и лучших специалистов по кодингу. Всё публикуют здесь.

Мечтают ли диффузионки о 3D-алайнменте, или что мы планируем рассказать на грядущей ICLR Не так давно мы получили приятную новость: нашу статью про семантическое выравнивание при генерации 3D‑моделей приняли на ICLR! В ней мы нашли способ, как построить выровненную генерацию 3D‑объектов, используя гайданс предобученной диффузионной модели, чтобы сделать редактирование или гибридизацию более надёжными. В этой статье хотелось бы кратко пересказать суть нашей работы. https://habr.com/ru/companies/airi/articles/888406/ Алгоритмы и Структуры данных

Начни свой путь в аналитике данных — бесплатно Попробуйте себя в роли аналитика данных, освоив сбор и анализ, стратегическое планирование и инструменты, необходимые в профессии. Этот курс идеально подходит для тех, кто хочет начать карьеру в IT и получить востребованные навыки на примерах реальных кейсов. Для создания курса Eduson Academy собрала лучших экспертов с опытом работы в ведущих компаниях, чтобы передать концентрат знаний в рамках трех дней. И это ещё не всё: зарегистрируйтесь сейчас и получите бонус — 70% скидку к обучающим программам.

Восстановление повреждённых файлов на основе CRC32 Нашел я недавно в закромах старый оптический диск (CD). Открыл его в проводнике и не могу зайти ни в одну папку. Протёр диск. Попробовал снова - та же оказия. Царапины на диске конечно есть, но не много и не сильные. Решил воспользоваться специальным софтом BadCopy. Половина мелких файлов восстановилась, половина нет. Большие файлы восстановились не полностью. В итоге в двух повреждённых архивах (повреждено 2% и 10%) я обнаружил один и тот же файл. При попытке его извлечь вылезала ошибка CRC. Но если в WinRAR при извлечении установить галочку "Keep broken files" (Не удалять файлы, извлечённые с ошибками), то извлекается как есть. Так как мой файл был дорог мне как воспоминание и был небольшим - всего 640 КБ, я решил заморочиться. Там же в WinRAR, кстати, можно узнать оригинальный размер файла и его CRC32. https://habr.com/ru/articles/685962/ Алгоритмы и Структуры данных

Как Яндекс запускает роботов-доставщиков в новых районах и городах Встретить робота‑доставщика на улицах Москвы — привычное дело. Ещё они развозят заказы в Иннополисе и Мурино, побывали на Красной Поляне и совсем недавно изучили один из районов Алматы. При этом запуск доставки роботом в новом районе или городе — это достаточно сложная процедура. Нужно определить локацию для запуска, записать и отрисовать карты, наладить инфраструктуру, протестировать все процессы, организовать поддержку для роботов. Но несмотря на такой большой объём работ, весь процесс весьма интересный. Именно о нём я и расскажу в этой статье. Под катом — история о том, как мы поставили робота «на колёса» в Казахстане, показывали ему город для записи данных и учили объезжать арыки. Но обо всём по порядку. https://habr.com/ru/companies/yandex/articles/887684/ Алгоритмы и Структуры данных

Повтор вебинара для тех, кто не успел ❗️ Сравниваем и разбираем работу DeepSeek на реальных примерах вместе с Кириллом Пшинником, СЕО университета Зерокодер. ⚡️Что вас ждет на вебинаре? — Сравним DeepSeek-R1 и QWEN 2.5-Max с ChatGPT – кто быстрее, точнее и эффективнее? — Покажем, как использовать DeepSeek без ограничений и блокировок; — Разберем, как можно зарабатывать на нейросетях и какие вакансии будут востребованы в 2025 году. Все участники получат готовые инструменты для работы с нейросетями. Эфир подойдет всем, кто хочет сэкономить время, монетизировать навыки и оставаться в тренде технологий 2025 года. Не упусти шанс — регистрируйся прямо сейчас! P.S: Это специальный повтор вебинара от экспертов по DeepSeek. Жми на ссылку и успевай зарегистрироваться! erid: 2W5zFHoYGYg ООО Зерокодер, ИНН 9715401631

Эпилог. Создание ботов для торговли криптовалютами и акциями (часть третья, заключительная) Предыдущий пост В этой статье не будет технических решений или алгоритмов, я хочу рассказать о своем опыте, который приобрел с момента опубликования предыдущего текста и перемещения меня в другую жизнь. https://habr.com/ru/articles/888320/ Алгоритмы и Структуры данных

Бесплатный мини-курс по Java — начните программировать уже сегодня Java-разработчики востребованы и зарабатывают от 80 000 ₽. Хотите проверить свои силы? На мини-курсе вы создадите три проекта, освоите основы языка и поймете, подходит ли вам этот путь. Без опыта в IT, бесплатно и с поддержкой эксперта. А еще получите доступ к материалам и скидку на обучение. К тому же, каждый, кто посмотрит 1-е занятие, получит доступ к изучению английского языка на платформе Skillbox на год. Количество мест ограничено! Успейте записаться. Реклама. Информация о рекламодателе по ссылкам в посте.

Связный список для задач LeetCode (Easy) Эта статья продолжает серию материалов про связный список для непрограммистов. В прошлой статье мы разобрали создание связного списка и методы итерации по нему. Теперь углубимся в практические аспекты работы с односвязными списками: https://habr.com/ru/articles/888242/ Алгоритмы и Структуры данных

Передовое решение от Neuro Staff Разрабатываем нейро-сотрудников на заказ! Под ключ! Кто такие нейро-сотрудники? Это боты на основе ChatGPT, дообученные на базе знаний вашей компании. Нейро-сотрудники: ✨ Работают 24/7 ✨ Скорость ответа от 16 секунд ✨ Выполняют задачу качественно и по вашим правилам Примеры нейро-сотрудников: нейро-консультант, нейро-куратор, нейро-техподдержка, нейро-ассистент, нейро-экзаменатор, нейро-контроль качества звонков, нейро-секретарь, нейро-копирайтер, нейро-трафиколог, нейро-контент мейкер, нейро-HR. Специализируемся только на искусственном интеллекте. Нам доверяют крупнейшие кампании, среди которых РЖД, Ростелеком, Совкомбанк, Самолёт, KIA и другие. Оставьте заявку на диагностику разработки нейро-сотрудника для вашей компании. Узнать больше #реклама neuro-staff.com О рекламодателе

Flutter Flame: ускоряем в 32 раза работу со столкновениями Как я уже писал ранее, на FPS в Flame в основном влияют операции, производимые на CPU. Если в вашей игре достаточно много взаимодействующих объектов, то одной из самых дорогих операций будет определение столкновений. Настолько дорогой, что на экране performance-метрики она закроет собой любые другие неоптимизированные участки. Сами авторы Flame отлично осознают, что их алгоритм – не идеальный, а просто «дающий достаточную производительность». Достаточна она, видимо, для случаев, когда у вас всего объектов 10, не более. Если же у вас что-то более сложное – тогда приятного чтения! https://habr.com/ru/articles/686180/ Алгоритмы и Структуры данных

⚡️ Разыгрываем сразу 3 новеньких iPhone 16! Отличный вариант получить свежайшие гаджеты просто за то, что читаете нас! Для участия нужно: 1. Быть подписанным на Тачки и Точка, The Экономист и Доллар по тридцать. 2. Нажать «Участвую!» под этим постом. Итоги подведём 12 марта в 18:00 случайным образом при помощи бота. Девайсы за свой счёт застрахуем и отправим победителям в любую точку мира. Всем удачи!

Симуляция воды над рельефом Если вам неинтересно долгое скучное введение, то переходите сразу к разделу о методике виртуальных труб. Но меня это немного расстроит. Я одержим генерацией рельефа, играми на основе сеток, симуляциями и тому подобным. И часто во всём этом присутствует вода, или, по крайней мере, её присутствие кажется естественным. Допустим, вы генерируете карту для стратегической игры, но не хотите, чтобы границы карты были заполнены непроходимой пустотой (как в олдскульных RTS). Разве не будет здорово, если граница будет заполнена водой, как на этой карте из одного моего заброшенного проекта? https://habr.com/ru/articles/886386/ Алгоритмы и Структуры данных

Генерация псевдослучайных чисел в программировании. И как у меня псевдо-получилось их сгенерировать В первую очередь я хочу очертить суть данной статьи. Тут я не буду разбирать полностью тему о генерации случайных чисел самим компьютером, за исключением одного термина для понимания разницы между Генерацией истинно случайных чисел(ГСЧ) и генерацией псевдослучайных чисел (ГПСЧ). Тут мы больше поговорим об алгоритмах которые используют языки программирования для генерации случайных чисел, и о том, почему они не случайны и не могут быть таковыми. Эта статья предназначена для тех программистов, которые минимум уже освоили функцию генерирующую случайные числа в своем языке, и хотят понять глубже эту тему. Я считаю эта тема одна из самых важных и в какой то степени сложной. Случайные числа очень полезны в различного рода алгоритмах, и понимание того, как они работают, возможно в будущем помогут вам сделать, что-то невероятное или просто полезное. А в конце я покажу свою псевдо-удачную попытку изобрести свой генератор псевдослучайных чисел. https://habr.com/ru/articles/686190/ Алгоритмы и Структуры данных

Хотите получить синюю галочку в Инстаграм? Притворитесь музыкантом, обманув Google Получить желанную синюю галочку Instagram довольно непросто, и предполагается, что любой, кто её носит, является тем, за кого себя выдаёт. Помимо предложения влияния, владельцы проверенных учётных записей могут получить доступ к новым функциям до того, как они станут доступны для широкой публики. Артисты, «светские львицы», модели, бизнесмены и всевозможные охотники за хайпом полагаются на Instagram, чтобы выставлять напоказ свой образ жизни, получать доход и создавать личный бренд. Они рассматривают синюю галочку как один из немногих доступных вариантов, которые могут помочь им пустить пыль в глаза своих подписчиков. Другие жаждут этого значка как символа статуса. Немудрено, что ради этого они готовы воспользоваться услугами мошенников, которые могут достать для них желаемый значок. Результатом является стабильный приток состоятельных клиентов, готовых платить достаточно большую сумму за подтверждение. https://habr.com/ru/articles/686164/ Алгоритмы и Структуры данных

‼️ Про запуск токена TRUMP было известно за день до выхода! Кто внимательно следил за каналом ИКСЫ на SOLAN`e - те покупали токен по 0.2$ и продали по 50-60$. Чтобы из 100$ сделать 50.000$ не нужно быть гением - достаточно держать в подписках ИКСЫ на SOLAN`e и следовать рекомендациям. Там рассказывают кейсы, как с 100$ колотят состояние, а не просирают все. Если хотите разбираться в мире крипты, вам сюда: https://t.me/+sT9efpsFs7MzODNi

ИИ-самоучка демонстрирует сходство с тем, как работает мозг Теперь некоторые вычислительные нейробиологи начали изучать нейронные сети, которые были обучены с небольшим количеством данных, помеченных человеком, или без них. Эти алгоритмы «обучения с самоконтролем» оказались чрезвычайно успешными в моделировании человеческого языка и, в последнее время, в распознавании изображений. В недавней работе вычислительные модели зрительной и слуховой систем млекопитающих, построенные с использованием моделей обучения с самоконтролем, показали более близкое соответствие функциям мозга, чем их аналоги с контролируемым обучением. Некоторым нейробиологам кажется, что искусственные сети начинают раскрывать некоторые из реальных приёмов, которые использует наш мозг в обучении. https://habr.com/ru/companies/first/articles/686348/ Алгоритмы и Структуры данных