15. Andrew Kelley опубликовал доклад State of the (Tagged) Union Address
На YouTube выложено видео Эндрю Келли с докладом State of the (Tagged) Union Address. Подробностей о содержании нет — в карточке доступен только заголовок.
#programming
8. Вышел Swift 6.4: Subprocess 1.0, Swift Build по умолчанию, ускорение WebAssembly до 40 раз
Релиз Swift 6.4 включает стабильный кроссплатформенный Subprocess 1.0, использование Swift Build по умолчанию в SPM, интероперабельность Span с C++20, ускорение моста WebAssembly через JavaScriptKit до 40 раз. Добавлены новые типы массивов без copy-on-write, протокол Iterable, атрибут @diagnose и поддержка async в defer.
7. Python 3.15 мягко депрекейтит re.match() в пользу более понятного re.prefixmatch()
В Python 3.15 функция re.match() получает статус мягкого устаревания: её не удалят, но новый код писать с ней не рекомендуется. Вместо неё предлагается re.prefixmatch(), название которой точнее отражает поведение — привязку к началу строки, но не к концу. Решение принял менеджер релиза Хьюго ван Кеменаде.
3. Rust экспериментирует с перегрузкой функций через атрибут #[rustc_splat]
Rust Project совместно с Rust-C++ Interop Initiative запускает ночной эксперимент по перегрузке функций для FFI. Используется атрибут #[rustc_splat], позволяющий вызывать перегруженные функции без двойных скобок. Эксперимент на стадии, когда можно пробовать, но RFC нет, и всё может быть удалено.
13. Go 1.27: generic methods, экспериментальный SIMD, post-quantum ML-DSA
В Go 1.27 появились generic-методы, улучшения структурных литералов и обобщённый вывод типов. Новый пакет simd/archsimd поддерживает AMD64, ARM Neon и WebAssembly SIMD. Добавлены encoding/json/v2, crypto/mldsa (ML-DSA) и uuid. Мелкие объекты выделяются на 30% быстрее.
1. Язык Mojo🔥 открыт под Apache 2.0 после обещания 2023 года
Modular открыла компилятор и тулчейн Mojo под Apache 2.0. Язык больше не позиционируется как надмножество Python — теперь это самостоятельный язык для GPU-программирования. Релиз 1.0 состоялся на прошлой неделе, а затем Qualcomm купила Modular.
3. Modular открыла Mojo после покупки Qualcomm
После приобретения Modular компанией Qualcomm язык Mojo стал открытым под Apache 2.0. Ранее была открыта только стандартная библиотека. Mojo 1.0 нацелен на production-ready для AI, поддерживает CPU, GPU и AI-ускорители.
2. Mojo добрался до версии 1.0 и упростил синтаксис
Modular выкатил Mojo 1.0 после первого релиза в 2023 году и обещает теперь более стабильную основу для долгих проектов. В релизе свели variables к var, объединили closures, оставили один Pointer и добавили Python-style lambda, а LSP-сервер, по словам команды, стал заметно стабильнее.
12. F*: язык программирования с формальным доказательством от Microsoft Research
Microsoft Research и Inria развивают F* — proof-oriented язык с зависимыми типами и SMT-решателями. Компилируется в OCaml, C и Wasm. Код на F* используется в Firefox, Linux, Azure Hyper-V для верифицированной криптографии (HACL*, EverCrypt) и парсинга сетевых пакетов (EverParse).
13. Go представил modular static analysis framework
Пакет analysis в golang.org/x/tools/go/analysis определяет интерфейс для модульного статического анализа Go. Позволяет создавать проверки (например, printf), которые могут быть объединены в драйверы (vet, IDE, CI). Поддерживает флаги, зависимости между анализаторами и факты.