Kurgan-Telecom Ru | Информационные технологии

Не final едины: StableValue в Java 25.

Stable Values - новая возможность, которая появится в Java 25 — следующем LTS-релизе, намеченном на сентябрь.

мне нужно написать скрипт авторега аккаунтов для одного популярного сервиса. для регистрации аккаунтов нужна электронная почта.

ранее я уже использовал для таких задач python-библиотеку tempmail, но она перестала работать.

Что действительно делает программу великой? Скорость работы, поражающая воображение? Лаконичность и изящество кода, восхищающие коллег? Или, быть может, Архитектура, обещающая вечную гибкость? Тысячи лет все эти империи рушились перед лицом коварной Ошибки. Пришло время провозгласить манифест иной истины: высшая ценность программы — её Достоверность, и цель разработки — доказать, что программа безупречно воплощает замысел своего создателя. В данной статье мы рассмотрим инструменты и методы, которые превращают намерение программиста в неопровержимую теорему. Через формальную верификацию тривиального, но коварного ФиззБазза средствами Idris 2 мы покажем, как строить программы, чья правильность не вера, но математический факт. Зависимые типы — наш меч. Добро пожаловать в мир, где код не просто работает — он доказан.

Вы достаточно умны, чтобы сформулировать задачу, способную, как вам кажется, изменить мир. Лучший инструмент — топовые LLM: они помогают формализовать проблему, выбрать подходы, нагенерировать гипотезы, проверить их и собрать итог. И вот у вас — внутренне логичная, красивая, последовательная… и абсолютно неверная конструкция: компиляция известных фактов, галлюцинаций модели и ваших скрытых ожиданий. Проверить это на практике нельзя, поставить чистый эксперимент — тоже, и внезапно всё это начинает выглядеть как бред.

Что произошло по дороге?

KDE Linux - это свободная и бесплатная операционная система, ориентированная на пользователя, разрабатываемая командой KDE с целью включить лучшее из того, что предлагает проект KDE, используя самые современные технологии.

Созданная с акцентом на безопасность, поддерживаемость, функциональность и современность, KDE Linux станет лучшим выбором для домашнего использования, рабочих станций в предприятиях, государственных организаций, предустановки на компьютерах, которые можно купить, и многого другого.

KDE Linux - это идея сообщества KDE о «референсной реализации» операционной системы с Plasma и приложениями KDE.

( читать дальше... )

 kde, kde linux, linux

Источник изображения

Некоммерческая организация Apache Software Foundation, предоставляющая нейтральную и не зависящую от отдельных производителей площадку для разработки около 400 открытых продуктов, представила новый логотип, сменила дизайн сайта apache.org и объявила о переходе к использованию бренда ASF вместо полного наименования «Apache Software Foundation». На новом логотипе вместо пера, используемого как символ проектов Apache с 1997 года, изображён дубовый лист.

Название юридического лица Apache Software Foundation не изменилось и по-прежнему используется там, где это требуется по закону, например, в официальных документах, в футере сайта и при упоминании авторских прав. В остальных случаях, включая документацию и ссылки, для визуальной идентичности теперь будет использоваться акроним ASF. Проекты фонда, имеющие слово Apache в своих названиях (например, Apache HTTP Server), продолжат использование существующих имён.

Причиной прекращения использования былой символики стало недовольство организации Natives in Tech, отстаивающей интересы коренных народов. Данная организация считает неприемлемым использование индейской символики в логотипе Apache Software Foundation, и расценивает это как манипуляцию культурными ценностями национальных меньшинств, искажающую представление об индейцах и основанную на стереотипах. Кроме смены логотипа борцы за права индейцев также требовали переименовать организацию и прекратить использование слова Apache, но сообщество отказалось переименовывать организацию из-за больших затрат и юридических сложностей.

 apache, apache foundation, opensource

Коллектив российских ученых предоставил новые результаты в области термодинамических расчетов состава ионов в условиях холодной и горячей (нормальной) плазмы, широко используемых в атомной спектрометрии для определения элементного и изотопного состава анализируемых проб. Физикам удалось добиться значительного прогресса в понимании образования и поведения первичных фоновых ионов, их роли в поведении плазмы. Работы опубликованы в Journal of Analytical Chemistry. 

В новых статьях российских ученых опубликованы результаты исследования на основе многокомпонентной квазиравновесной термодинамической модели. В них авторы анализируют термохимические процессы, происходящие в индуктивно связанной плазме, и детали формирования фоновых ионов, которые традиционно вызывают значительные спектральные помехи в анализах. Работы проводились с применением метода термодинамического моделирования, позволяющего определять состав плазмы в зависимости от температуры и состава ее рабочего тела. 

Выпуск 444

Интересная короткая статья о ЛямбдаCDM модели. Можно сказать, что жанр — доступная философия науки на конкретном примере. Автор кратко описывает историю модели и ее достижения, а затем критически рассматривает несколько примеров критики модели. Вывод автора состоит в том, что модель очень успешна и открыта к разумным модификациям. И нельзя сказать, что какие-то данные смогли ее фальсифицировать.

Нейронки периодически оказывают пользователям медвежью услугу и уверенно (инфа сотка!) выдают в ответ на запрос правдоподобные фейки. Если речь идет о журнальных статьях на тему «что почитать этим летом», получается веселый конфуз.

Совсем другое дело — если «срезать углы» с помощью нейросети хочет юрист, ученый или эксперт, пишущий книгу в жанре технической литературы.

Мы в Beeline Cloud решили посмотреть, какие прецеденты с галлюцинациями (и другие сложности) уже зафиксированы и что на этот счет думают ученые.

В конце 90-х годов ноутбуки начинают избавляться от имиджа средств выражения высокого статуса или производственной необходимости: компании-производители выходят со своими новыми моделями на базе процессоров Pentium MMX и Pentium II на потребительский рынок. В частности, компания Fujitsu меняет классификацию модельного ряда и вводит различные линейки для различных рынков. Для широких масс назначается линейка, обозначаемая буквой C (по-видимому от слова Consumer, т.е. потребительский). В этой статье на примере Fujitsu LifeBook C3 посмотрим, какими были эти потребительские ноутбуки.

Стол для программиста - это святое. От удобства стола зависит производительность труда программиста и, как следствие, качество результата всей работы.

Именно за столом на работе по сути и проходит вся трудовая жизнь.

В 2024 я купил себе в кабинет для работы стол с подъемной столешницей. Спустя год электроника подъёма внезапно перестала работать. Произошел полный отказ. Семи-сегментный индикатор стал показывать непонятный токен rE5. Кнопки перестали слушаться. Столешница застыла под потолком.

Я не знал, что мне делать. Пришлось разбираться, что же это такое за шайтан машина: электрический стол.

Данная статья посвящена разбору одной из простых тем, связанную с поиском элемента в массиве. Мы разберем, как найти элемент в массиве, какие существуют алгоритмы, а также обсудим их асимптотические сложности. Для написания кода будем использовать Python.

Итак, представим простую задачу: у нас есть массив, состоящий из 10 чисел: [1, 6, 3, 9, 0, 23, 5, 55, -23, 7]. Необходимо найти индекс элемента со значением -23. 

Первое наивное решение, которое приходит в голову, пройтись по всем элементам массива, сравнивая их с искомым числом. Если текущий элемент не равен числу, двигаемся дальше, иначе мы нашли искомое число и возвращаем его индекс. Простой алгоритм на Python выглядит так:

Всем привет! Я, как и многие здесь, не только разработчик, но и человек, увлеченный циклическими видами спорта. Я обожаю копаться в данных своих тренировок из Strava: анализировать мощность, пульсовые зоны, темп. Но мне всегда не хватало одной вещи — единой, понятной и, главное, прозрачной метрики, которая бы отвечала на простой вопрос: "А насколько я сейчас в хорошей форме?".

В этой статье я расскажу, как устроен этот механизм "под капотом". Мы погрузимся в логику на Python, посмотрим, как она интегрируется в общий анализатор активностей и как результат подается пользователю в простом и понятном виде.

Важный дисклеймер: Весь проект, от идеи до кода, я делаю один в свободное от основной работы время. Он далек от идеала, и я буду очень благодарен за конструктивную критику и свежий взгляд.

Мы уже разобрали, зачем нужна CSMA, какие проблемы есть у «зоопарка» средств защиты, и прошлись по ключевым слоям: SAIL (интеллект аналитики), управление инфраструктурой и Identity Fabric. Логичный следующий шаг - навести порядок там, где у большинства организаций сегодня хаос: в политиках, конфигурациях и операционном управлении.

Эта статья про PPPM - централизованный уровень Policy / Posture / Playbook Management. Его задача - стать единым источником истины для политик и стандартов конфигурации, согласовать «бизнес-ограждения» для автоматизации, и соединить SAIL с точечными продуктами через открытые API и policy-as-code (OPA, Cedar, Zanzibar, XACML). Здесь же - привязка к контрольным наборам NIST/CIS/ISO, устранение дрейфа настроек и подготовка к безопасной частичной авто-оркестрации.

Кому интересно - присоединяйтесь в Telegram-канал https://t.me/zero_trust_SDP.

Кейт Адамала работала над кое-чем опасным.

В своей лаборатории синтетической биологии Адамала предпринимала первые шаги по созданию живой клетки с нуля с одним ключевым отличием: все строительные блоки организма должны были оказаться перевёрнутыми. Изменение этих молекул привело бы к созданию неестественного зеркального образа клетки, такого же отличного от оригинала, как ваша правая рука от левой.

Это предприятие было не только увлекательной исследовательской задачей – его можно было бы пустить на пользу биотехнологиям и медицине. Однако, когда Адамала и её коллеги обсуждали проект с экспертами по биобезопасности, начали возникать серьёзные опасения.

«Они начали задавать вопросы типа: „А вы думали о том, что произойдёт, если эта клетка попадёт в окружающую среду или заразит человека?“» — рассказала Адамала, доцент Миннесотского университета. Они не подумали об этом.

Звучит просто: подключил суперсовременную LLM к десятку инструментов — и пусть решает любые задачи в реальном времени. Только вот на практике всё выходит куда прозаичнее. Даже самые мощные модели уверенно работают в лабораторных условиях, где всё строго по шаблону. А стоит им оказаться в живой, шумной среде — появляются ошибки, неожиданные сбои и довольно неожиданные выводы о том, где у современных ИИ-агентов на самом деле слабые места. Новое исследование показывает, что, когда у модели есть сотня способов решить задачу, успех — далеко не гарантирован. Почему даже мощные LLM так часто спотыкаются на пустом месте и что им мешает делать работу, как человек — разберёмся на ярких примерах из нового бенчмарка LiveMCP-101.

Статья посвящена созданию асинхронных алгоритмов на микроконтроллерах с использованием средств языка С и без RTOS.

Одна из самых важных компетенций эффективного руководителя – это понимание своей зоны ответственности и не боязнь отдавать членам команды их зоны ответственности, то есть быть Взрослым и создавать команду Взрослых.
Поэтому, когда вы собрали свою команду, очень важно дать ей возможность максимально реализовать свой потенциал. Создать команду лидеров, то есть позволить сотрудникам брать на себя ответственность за отдельные вопросы бизнеса, стать Взрослыми. Распределенное лидерство – это как раз про это, не надо бояться большого количества лидеров в команде, чем больше лидеров, тем более самостоятельна и устойчива команда, при этом вас точно никто не подсидит, потому что все получают реализацию своих амбиций и способностей.
Для развития распределенного лидерства необходимо научиться основному инструменту эффективного руководителя - делегированию. Все знают о делегировании, но, к сожалению, либо боятся его использовать, либо используют неправильно.
Делегирование бывает двух видов, так как есть только два типа сотрудников, для которых его необходимо использовать.
Для новичков в какой-то задаче мы используем Делегирование Исполнения, когда ставим четкую цель, сами даем ресурсы и инструкцию, и проверяем выполнение каждого этапа.
И для опытных сотрудников в данной задаче используем Делегирование Управления, когда ставим цель и сроки, а ресурсы и варианты реализации сотрудник выбирает сам, контроль за выполнением лишь один раз в середине процесса и то в форме вопроса: «Как дела? Нужно ли что-то?»
Видите, все просто, правильно выбранная система делегирования позволяет одним сотрудникам развивать компетенции специалиста, а другая компетенции лидера.
Также, примером варианта реализации распределенного лидерства является холакратия и ее вариант Agile, когда мы используем разнообразие нашей команды и меняем роли ее участников и зоны их ответственности.
#лидер #управление #команда #руководитель

10 сентября, после почти двух месяцев разработки, состоялся выпуск 8.16.0 (270-й) консольной утилиты и библиотеки curl, написанных на языке C и распространяемых по лицензии curl.

( читать дальше... )

 c, curl, библиотека, консоль, утилита