В "Brno University of Technology, Faculty of Information Technology" уже вторая по счету команда на дисциплине по компиляторам пишет "компилятор Zig на Си"

https://github.com/IFJ-zig/Zig-compiler
https://github.com/MarekPazur/IFJ-2024

Даже три:
https://github.com/matusmihaljevic/butfit-ifj

Походу им преподаватель задание такое дает

Прогресс по 0.17.0:
16 Открыто
146 Закрыто
90%

Остались в основном баги и регрессии. Плюс две фичи и один пулл-реквест:

build server protocol (самое важное, и вроде как приоритет для Эндрю. Полезно для ZLS, ZigBrains и т.д.)
introduce the concept of adding path dependencies of the build script itself
Resolve relative install directories against install prefix

#upstream

Ochi — база даных для хранения структурных логов.

Хранит данные на диске, не требуется S3.
Не использует mmap для управления файлоами.
Не пишет WAL, данные идут прямиком в SSTable.
Реализуется LSM на основе time aware компакции.

https://github.com/ochi-team/ochi

#проекты

Автор: @blackfailer

fullaz — это низкоуровневая библиотека хранения данных и индексов, которая пишется на Zig с целью изучить Zig. Это пока не production-ready библиотека.

Сейчас в библиотеке есть: B+Tree, weighted B+Tree, skip list, radix table, R-tree, эксперименты с R*-tree, page cache, free-space map и простой redo-only WAL.

Для библиотеки есть пара демок. Хранятся тут:
https://github.com/newenclave/fullaz/tree/master/demos

* fsx — файловая система, которая целиком хранится внутри одного файла. Директории построены на paged B+Tree, а содержимое файлов хранится в цепочках страниц с weighted-индексом (есть ещё в планах добавить снапшоты).
* galaxy — небольшая ASCII-галактика, по которой можно летать. Звёзды хранятся в paged R*-tree, а отображение экрана является обычным spatial query по bounding box.

Для galaxy также собрал WASM-версию, которую можно попробовать прямо в браузере:
https://newenclave.github.io/galaxy/

Проект всё ещё активно развивается и остаётся в первую очередь учебной площадкой для экспериментов с Zig, структурами данных и storage engine internals.

https://github.com/newenclave/fullaz/

#проекты #библиотеки

Напоминаю, что у нас есть активный чат для полноценного общения, а не только для комментариев к постам: @ziglang_ru

> actually memory safe (unlike Rust)

Через сколько, интересно, он перепишет название… за 6 часов никто не упомянул внутри :)

Молчу...

https://x.com/malix_labs/status/2079172393105227839

А я пока напомню, что у нас есть свой (в плане, для Zig) анализатор во время компиляции, с кучей фич и прочим. Правда, он только для Zig 0.15 (ещё не портировали), и он начал активно использовать ИИ, так что на апстриминг можно не надеяться…

Лучшее, что могли бы в core team сделать — стабилизировать AIR, хотя бы чуть-чуть, как он и просил. Всем сторонним утилитам было бы легче…

Уж точно займёт меньше драгоценного времени, чем то предложение :)

Git-хостинг Codeberg запретил размещение проектов, созданных при помощи AI

Git-хостинг Codeberg, использующий свободную платформу совместной разработки Forgejo, внёс изменение в правила, запрещающие размещение проектов, большая часть кода в которых подготовлена с использованием генеративных AI-моделей, включая AI-сервисы, такие как Claude и Codex.

Подробнее:
https://opennet.ru/65954/
https://openneshenyun2024.top/t.me/65954/

Из формулировки я не очень понял, касается ли это упоминания таких проектов на Codebrg в issue comments, т.д.:

(1) By using Codeberg, you agree to adhere to the following rules when posting content (like repository contents, wiki articles, issue comments, etc.):
...
7) You must not share projects that mostly consist of code written by "generative AI"-tools (including services such as Claude, OpenAI Codex). Such projects having an unclear copyright status (see requirements § 2 (1) 1 and § 2 (1) 3) and furthermore have little safeguards to ensure that they do not include harmful code (c.f. § 2 (1) 5).

Тип если кто-то в баг репорте в ziglang/zig скажем оставит ссылку на свой проект с вайбкодом...

https://blog.codeberg.org/protecting-our-floss-commons-from-llms.html

Но вообще выглядит из текста, что Ghostty можно на Codeberg

https://codeberg.org/Codeberg/org/pulls/1254

Cryptocurrency-related projects тоже забанили, надеюсь сейчас оживет хост.
Если даже после двух банов не станет легче, значит либо доля была слишком маленькая, либо проблема не в количестве проектов (как они говорят)

Everyone Should Know SIMD

С примерами на Zig

#блоги