Прогер

Вышла капча DOOM CAPTCHA, где нужно убить минимум трёх монстров на секретной карте E1M9 в режиме Nightmare ✅ Умный программист | #юмор

AI вместо компилятора Что делать, если проект написан на редком языке типа Agda, и вам нужно запустить его в браузере, но в компиляторе куча багов, а единственный разработчик умер? Элементарно! Нужно просто попросить Sonnet 3.5 скомпилировать проект напрямую в TypeScript (процесс показан на видео). В итоге код генерируется в 20 раз быстрее, чем с использованием старого компилятора (на примере Agda), при этом багов компиляции стало меньше Концепт интересный, но это пока прототип, который работает только с одним проектом. Он не идеален и компилирует медленно, так что до полноценного решения для больших кодовых баз и стабильных компиляторов такой подход дойдет не скоро. Однако для нишевых задач он может быть полезен Я не уверен, что Sonnet видел Agda в своей тренировочной выборке — возможно, пара файлов и попала. Чтобы улучшить качество компиляции, разработчик пишет длинный System Prompt вроде: You are an expert Agda <-> TypeScript compiler. Your task is to translate Agda to/from TypeScript, где он также добавляет список ошибок, которых следует избегать, и примеры коротких функций на Agda и JavaScript. Он делает это потому, что few-shot промпты всегда повышают качество результата В целом, стоит отметить, что переводить куски кода с одного языка на другой широко распространённый язык (например, с Python на C++) — это то, с чем LLM (языковые модели) справляются очень хорошо. Результат можно детерминированно проверить, запустив исходную и скомпилированную программу ✅ Умный программист | #руководство

«Зачем мы это сделали?» — глава 1C Game Studios назвал недавно вышедший релиз «Бессмертный. Сказки Старой Руси» провалом ✅ Умный программист | #новость

Созвоны перед новогодними праздниками ✅ loldev();

Когда приехал новый долгожданный серверный шкаф. Теперь дело пойдёт ✅ Умный программист | #юмор

В США джунам настолько сложно найти работу, что они готовы не только работать бесплатно, но и доплачивать за это На Reddit нашли компанию, которая предлагает работу с условием, что вы доплачиваете им 500 долларов в неделю за «опыт». Да-да, платите за то, чтобы вас взяли на должность Почему это происходит? Конкуренция среди джунов невероятно высокая, на одну вакансию претендуют сотни человек. Всем нужны «опытные сотрудники», но как этот опыт получить — никто не объясняет. Работодатели в IT понимают, что джуны отчаянны, и начинают зарабатывать даже на этом ✅ Умный программист | #новость

Представлен хак, как на 100% CSS (без JavaScript) получить IP‑адрес пользователя на :root Хак работает в три этапа: 1. Делает API-запрос из CSS, который возвращает данные, закодированные в высоте и ширине 2. Использует контейнерные запросы и tan(atan2()) в CSS, чтобы преобразовать размеры ответа в 16-битные целые числа 3. Хак CSS, который позволяет документу :root захватывать и удерживать --var-data, вычисленные из нескольких слоев вложенного DOM, поднимая его обратно и удерживая в приостановленной анимации «Пока хак работает только для рабочего стола Chrome», — пояснила автор проекта ✅ Умный программист | #полезно

Правительство РФ запретило IP-телефонию Говорят, что это нужно для борьбы с мошенниками. Для физических лиц изменений не будет, но для бизнеса расходы значительно возрастут Постановление вступает в силу 1 сентября 2025 года ✅ Умный программист | #новость

6 инструментов для преобразования кода в диаграммы • Diagrams — универсальный инструмент для создания различных диаграмм с использованием текстового кода, поддерживающий Python и JavaScript • Mermaid — использует синтаксис, похожий на Markdown, для генерации блок-схем, последовательностных диаграмм и диаграмм Ганта • Markmap — использует Markdown-синтаксис для визуализации структуры и связей идей или кода • ASCIIFlow — инструменты для создания диаграмм в формате ASCII-арта с использованием обычного текста, такие как asciiflow и Monodraw • PlantUML — популярный инструмент с открытым исходным кодом для создания диаграмм классов, активности и развертывания, поддерживающий множество языков программирования • GoDiagram — аналог Diagrams, но на языке Go ✅ Умный программист | #полезно

Windows 11 активирует умную защиту прав администратора В тестовых сборках появилась новая функция — Administrator Protection, которая ограничивает доступ к правам администратора Теперь права администратора можно будет активировать только для конкретных задач. Эта функция скрыта по умолчанию, но доступна через приложение Windows Security Как работает Administrator Protection? • При выполнении действий, требующих прав администратора, создаётся временный токен доступа • После завершения задачи токен удаляется, а доступ блокируется • Для активации потребуется ввод PIN-кода или другого метода аутентификации через Windows Hello Такой подход снижает вероятность атак вредоносных программ, которые пытаются получить доступ к неограниченным правам администратора Microsoft планирует сделать эту функцию стандартной в будущих обновлениях ✅ Умный программист | #новость

✅ Умный программист | #юмор

Дилемма курсов по программированию: кому врать, клиенту или рынку работодателей? Пишет аноним: «Заметили, что рекламы курсов по программированию стало значительно меньше? Есть очевидные причины этого. Во-первых, огромные маркетинговые затраты. Многие едтехи так и не научились сводить экономику и остаются малоприбыльными или вообще убыточными. Во-вторых, низкое качество самого продукта. Например, зарплаты менторов на курсах раз в 10 ниже тех, что эти менторы зарабатывают на своих основных работах. А на энтузиазме долго не проработаешь. В-третьих, увеличение ставки рефинансирования. Примерно половина выручки едтехов — рассрочки, а они сейчас очень дорогие. Но есть одна неочевидная причина, на которой я бы хотел заострить внимание. В один момент курсы встали на развилку, кто для них дороже: клиент, несущий деньги, или компании, которые как бы должны нанимать выпускников из эдтеха на работу. Главная задача курсов — трудоустроить кандидата. Маркетинговый пиздёж дошёл до того, что курсы без зазрения совести "гарантируют" это трудоустройство. Но как его гарантировать, если на рынке просто нет junior-вакансий? А те, что есть, требуют год-два коммерческого опыта и собирают по несколько тысяч откликов. Решение только одно: брать вкатуна и затаскивать его сразу на middle-позицию. Сочинять ему легенду, крутить опыт, учить проходить собеседование и отвечать на каверзные вопросы. Но это НЕЭТИЧНО. Этично врать платящему клиенту и обещать гарантированную работу, при этом знать, что работы просто нет. Но только не врать компаниям. Хотя эти же компании смотрят с презрением на выпускников почти всех курсов. И это парадоксальная ситуация. Выбирается не платящий клиент, а эфемерная репутация, которой, на самом деле, не существует. Все и так ненавидят курсы — это консенсус. Честный оффер от курсов должен звучать так: "Мы ничего тебе не гарантируем, но попробуем всё и затащим тебя на работу любыми способами, в том числе и неэтичными". Но большие компании на это не пойдут. Это освобождает нишу для тех, кто уже затаскивает своих учеников на работу любой ценой. И пусть они врут рынку работодателей, но они гораздо честнее, так как не врут своему клиенту.» Анонимно поделиться историей или оставить отзыв об IT-компании можно здесь ✅ Умный программист | #нампишут

Доля расходов Linux Foundation на разработку ядра уменьшилась в 2024 году до 2.3% Организация Linux Foundation опубликовала годовой отчёт. За год организация заработала $292,2 млн (год назад — $263,6 млн), а израсходовала $299,7 млн (год назад — $269 млн) Затраты на разработку ядра Linux составили $6,8 млн, что на $1 млн меньше, чем в прошлом году, и на $1,4 млн меньше, чем в позапрошлом году. Общая доля затрат, связанных с разработкой ядра, среди всех расходов снизилась до 2,3%. Для сравнения, доля расходов на ядро в 2023 году составляла 2,9%, в 2022 — 3,2%, а в 2021 — 3,4% Другие расходы: • Расходы на проекты, не связанные с ядром, увеличились с $171,8 млн до $193,7 млн (64,6% от всех расходов) • Расходы на поддержание инфраструктуры почти не изменились и составили $22,69 млн (7,6%, год назад — $22,58 млн) • Затраты на программы обучения и сертификации выросли с $18,57 млн до $23,1 млн (7,7%) • Затраты на корпоративные операции выросли с $17,1 млн до $18,9 млн (6,3%) • Расходы на проведение мероприятий выросли с $14,6 млн до $15,2 млн (5%) • Затраты на сопровождение сообщества почти не изменились и составили $13,7 млн (4,5%, год назад — $13,5 млн) • Расходы на международные операции выросли с $2,96 млн до $5,6 млн (1,8%) Доходы: • 43% ($125,1 млн, год назад — $118,2 млн) от всех полученных средств приходится на пожертвования и взносы участников организации • 25,1% ($73,6 млн, год назад — $67 млн) — целевая поддержка проектов • 18,6% ($54,5 млн, год назад — $49,5 млн) — поддержка мероприятий, а также регистрационные взносы на конференциях • 12,3% ($36,1 млн, год назад — $27,2 млн) — оплата обучающих курсов и получение сертификатов Число курируемых Linux Foundation проектов приблизилось к отметке 1300 (год назад было около 1100). Наибольшее число проектов Linux Foundation связано с облачными технологиями, контейнерами и виртуализацией (23%), с сетевыми технологиями (15%), искусственным интеллектом (11%), web-разработкой (11%), «cross-technology» (9%), безопасностью (5%), интернетом вещей (4%) и блокчейном (4%) ✅ Умный программист | #новость

Вы можете использовать C-Reduce для любого языка C-Reduce — это инструмент, разработанный Regehr и коллегами. Он позволяет минимизировать репродукцию ошибок компилятора C. Представьте, что у вас есть файл на 10 000 строк кода на C, который вызывает ошибку в Clang. Отправлять разработчикам компилятора такой огромный файл не имеет смысла так как это будет неудобно, но и вручную сокращать его до минимального воспроизводимого примера тоже не хочется Хорошая новость в том, что C-Reduce может сделать это за вас. Плохая новость в том, что большинство людей считает, что этот инструмент работает только для языка C. А на самом деле, этот инструмент довольно универсален. Вам нужно всего лишь: • Детерминированное условие (условие, которое всегда приводит к багу) • Достаточно быстрый репродуктор (это поможет ускорить процесс сокращения) • Один или несколько исходных файлов, которые C-Reduce будет уменьшать Например: я наткнулся на баг в RustPython при выполнении scrapscript и решил пофиксить его. Для этого я написал скрипт interesting.sh, который воспроизводит ошибку:

#!/bin/bash
# No -o pipefail; we don't want rustpython failures to cause the script to fail
set -eu

# Note the absolute path to the binary, which is not in $PATH
/path/to/RustPython/target/release/rustpython scrapscript.py 2>&1 | grep \
    "tried to push value onto stack but overflowed max_stackdepth"

А потом я запустил C-Reduce. Всё это произошло за пару секунд:

$ creduce --not-c interesting.sh scrapscript.py
===< 2263604 >===
running 4 interestingness tests in parallel
===< pass_blank :: 0 >===
(0.5 %, 200799 bytes)
(0.6 %, 200607 bytes)
===< pass_lines :: 0 >===
(9.2 %, 183225 bytes)
(18.1 %, 165228 bytes)
(26.5 %, 148382 bytes)
(29.3 %, 142674 bytes)
(34.6 %, 131961 bytes)
(38.1 %, 124960 bytes)
(40.6 %, 119872 bytes)
(42.3 %, 116504 bytes)
(44.4 %, 112161 bytes)
(46.4 %, 108180 bytes)
(47.5 %, 105950 bytes)
...

Вот что происходит: C-Reduce сокращает файл почти на 50% мгновенно… а у меня даже не самый быстрый компьютер Мы используем параметр --not-c, потому что иначе C-Reduce применяет несколько оптимизаций, специфичных для C. Если мы работаем с Python, это скорее всего только замедлит процесс, но сильно не изменит результат Вот и всё. Быстро и просто ✅ Умный программист | #руководство

На Kickstarter представлены умные часы Pocuter Spectra, которые можно разобрать и собрать с помощью крестовой отвёртки Часы могут быть отличным дополнением к Fairphone и Framework Notebook. Они работают на базе чипа Espressif ESP32-S3 и оснащены 8 МБ оперативной памяти и накопителем на 32 МБ. Для Spectra выбран AMOLED-дисплей с разрешением 368x448 пикселей Устройство также имеет на борту модули Wi-Fi и Bluetooth. Гаджет поддерживает основные функции фитнес-трекера. Примечательно, что часы оснащены слотом microSD для расширения базового хранилища данных Производитель пояснил, что часы будут работать под управлением собственной операционной системы SpectraOS на основе JavaScript. Обещанные функции включают интерактивный отладчик для оптимизации разработки приложений, безопасную изолированную программную среду и поддержку Linux, macOS и Windows У гаджета не будет доступа к магазинам приложений Apple или Google, поэтому для использования всех возможностей Spectra может потребоваться не только базовый опыт работы с отвёрткой, но и некоторые навыки программирования Ожидается, что часы Spectra станут доступны летом 2025 года в разных цветовых решениях по цене от $210 ✅ Умный программист | #гаджет

Base Virtualization — запустили бесплатный курс для тех, кто хочет погрузиться в облачные технологии Уже используете облака, только планируете переезд или просто хотите разобраться в терминологии? Что такое IaaS, SaaS, PaaS? В чем разница между частным, публичным и гибридным облаками? Что такое миграция и как организовать бесшовный переезд в облако? Об этом и о многом другом рассказали в нашем новом курсе. Что вас ждет: — 10 уроков о виртуализации и облачной инфраструктуре. — Доступ к материалам курса без ограничений. — Поддержка и общение с экспертами в Telegram-сообществе. Зарегистрируйтесь на курс по ссылке и начните погружение в виртуализацию прямо сейчас. #реклама О рекламодателе

Дайджест релизов: 01–15 декабря Vulkan 1.4 — это графический стандарт, определяющий API для доступа к графическим и вычислительным возможностям GPU. Добавлена поддержка Streaming Transfers для потоковой передачи данных без прерывания рендеринга, обязательные функции для повышения производительности, новые расширения VK_KHR_maintenance5 и VK_KHR_maintenance6, поддержка 8K рендеринга с до 8 буферов и множество новых команд и структур Phoenix LiveView 1.0.0 — эта версия появилась спустя шесть лет после первой версии LiveView. LiveView был создан для того, чтобы позволить динамическим серверно-рендеренным приложениям работать без необходимости использования JavaScript, решая сложности, связанные с традиционными стеками веб-разработки Qt Creator 15 — открытая среда разработки, предназначенная для создания кроссплатформенных приложений с использованием библиотеки Qt. Добавлены новые темы оформления, переработан экран первого запуска, улучшены возможности управления дополнениями и интеграция с Axivion, возможность указания разных компиляторов для C и C++, повышена производительность интерфейсов, расширены функции работы с Git FreeBSD 14.2 — установочные образы проекта опубликованы для архитектур amd64, i386, powerpc, powerpc64, powerpc64le, powerpcspe, armv7, aarch64 и riscv64. Дополнительно подготовлены сборки для систем виртуализации (QCOW2, VHD, VMDK, raw) и облачных окружений Amazon EC2, Google Compute Engine и Vagrant PuTTY 0.82 — SSH-клиента для протоколов SSH, Telnet, Rlogin и SUPDUP, поставляемого со встроенным эмулятором терминала и поддерживающего работу в Unix-подобных системах и Windows. Улучшена поддержка Unicode в именах пользователей, паролях и файлах, добавлена информация о локальном сокете в лог событий Manjaro Linux 24.2 — дистрибутив, построенный на базе Arch Linux, ориентированный на начинающих пользователей. Обновлены редакции на базе GNOME до 47 с новыми диалоговыми окнами и улучшениями, на базе KDE до 6.2, на основе Xfce до 4.18, и ядро Linux до 6.12 с LTS-пакетами 6.1 и 6.6 NWinfo 1.0.5 — открытый портативный инструмент для быстрого просмотра ключевых характеристик ПК на Windows. Добавлен PDF-документ Readme, скрипт для создания отчётов об оборудовании в PowerShell и возможность отображения статуса UAC и Fast-Startup Bazel 8.0 LTS — утилита для автоматизации сборки и тестирования ПО. Исправлены ошибки, улучшена производительность, добавлены доработки для Android и Windows, новые возможности для Starlark, Java, C++/Objective-C, отключён WORKSPACE по умолчанию MiniOS 4.0 — лёгкий модульный live-дистрибутив Linux, предназначенный для использования на съёмных USB-накопителях. Теперь доступны только две редакции MiniOS Standard и Toolbox с улучшенным интерфейсом, дополнительными драйверами и новыми инструментами для администраторов PhotoDemon 2024.12 — это бесплатный портативный фоторедактор для Windows. Добавлена поддержка изображений HEIF/HEIC и настраиваемые сочетания клавиш (горячие клавиши) ✅ Умный программист | #дайджест

Base Virtualization — запустили бесплатный курс для тех, кто хочет погрузиться в облачные технологии Уже используете облака, только планируете переезд или просто хотите разобраться в терминологии? Что такое IaaS, SaaS, PaaS? В чем разница между частным, публичным и гибридным облаками? Что такое миграция и как организовать бесшовный переезд в облако? Об этом и о многом другом рассказали в нашем новом курсе. Что вас ждет: — 10 уроков о виртуализации и облачной инфраструктуре. — Доступ к материалам курса без ограничений. — Поддержка и общение с экспертами в Telegram-сообществе. Зарегистрируйтесь на курс по ссылке и начните погружение в виртуализацию прямо сейчас. #реклама О рекламодателе

Прикладное программирование на C/C++: с нуля до мультимедийных и сетевых приложений (2-е издание) Автор: Всеволод Иванов Год: 2022 Количество страниц: 239 Книга предназначена для изучения средств программирования работы со звуком, изображением и передачей информации в компьютерных сетях с использованием языков программирования С/ С++. Никаких специальных знаний для освоения материала, вообще говоря, не понадобится. Книга учит программировать «с нуля», описывает основы объектно-ориентированного программирования, достаточные для решения задач, относящихся к тематике книги Скачать книгу ✅ Умный программист | #книга

Microsoft выпустила MarkItDown — открытый инструмент на Python для преобразования файлов и офисных документов в Markdown Например, там можно сконвертировать файлы из Office в язык разметки с синтаксисом форматирования простого текста Markdown Решение написано на Python и опубликовано на GitHub под лицензией MIT ✅ Умный программист | #полезно