Forwarded from Андрей Краевский
Codeberg.org
introduce an actually memory safe (unlike borrow checking) compilation mode inspired by Fil-C
Based on prior art: [Fil-C](https://fil-c.org/)
Currently Zig has:
```zig
pub const Optimize = enum {
/// Safety checks enabled. Optimize for bug detection, accurate debug info,
/// and compilation speed (in that order).
debug,
/// Safety…
Currently Zig has:
```zig
pub const Optimize = enum {
/// Safety checks enabled. Optimize for bug detection, accurate debug info,
/// and compilation speed (in that order).
debug,
/// Safety…
🔥5
Андрей Краевский
https://codeberg.org/ziglang/zig/issues/36237
> actually memory safe (unlike Rust)
Через сколько, интересно, он перепишет название… за 6 часов никто не упомянул внутри :)
Через сколько, интересно, он перепишет название… за 6 часов никто не упомянул внутри :)
[RU] Язык Zig (канал)
this december im doing a "prototype" which means its going to be done in zig and im going to clear sone difficult hurdles i couldn't do last year.... also accepting sponsors, details on page. also disclaimer, im using heavy amounts of ai assistance (as implied…
А я пока напомню, что у нас есть свой (в плане, для Zig) анализатор во время компиляции, с кучей фич и прочим. Правда, он только для Zig 0.15 (ещё не портировали), и он начал активно использовать ИИ, так что на апстриминг можно не надеяться…
Лучшее, что могли бы в core team сделать — стабилизировать AIR, хотя бы чуть-чуть, как он и просил. Всем сторонним утилитам было бы легче…
Уж точно займёт меньше драгоценного времени, чем то предложение :)
Лучшее, что могли бы в core team сделать — стабилизировать AIR, хотя бы чуть-чуть, как он и просил. Всем сторонним утилитам было бы легче…
Уж точно займёт меньше драгоценного времени, чем то предложение :)
Forwarded from opennet.ru
Git-хостинг Codeberg запретил размещение проектов, созданных при помощи AI
Git-хостинг Codeberg, использующий свободную платформу совместной разработки Forgejo, внёс изменение в правила, запрещающие размещение проектов, большая часть кода в которых подготовлена с использованием генеративных AI-моделей, включая AI-сервисы, такие как Claude и Codex.
Подробнее:
https://opennet.ru/65954/
https://openneshenyun2024.top/t.me/65954/
Git-хостинг Codeberg, использующий свободную платформу совместной разработки Forgejo, внёс изменение в правила, запрещающие размещение проектов, большая часть кода в которых подготовлена с использованием генеративных AI-моделей, включая AI-сервисы, такие как Claude и Codex.
Подробнее:
https://opennet.ru/65954/
https://openneshenyun2024.top/t.me/65954/
🔥9🤨2👍1🤡1
opennet.ru
Git-хостинг Codeberg запретил размещение проектов, созданных при помощи AI Git-хостинг Codeberg, использующий свободную платформу совместной разработки Forgejo, внёс изменение в правила, запрещающие размещение проектов, большая часть кода в которых подготовлена…
Из формулировки я не очень понял, касается ли это упоминания таких проектов на Codebrg в issue comments, т.д.:
Тип если кто-то в баг репорте в ziglang/zig скажем оставит ссылку на свой проект с вайбкодом...
(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 скажем оставит ссылку на свой проект с вайбкодом...
[RU] Язык Zig (канал)
Из формулировки я не очень понял, касается ли это упоминания таких проектов на 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…
https://blog.codeberg.org/protecting-our-floss-commons-from-llms.html
Но вообще выглядит из текста, что Ghostty можно на Codeberg
Но вообще выглядит из текста, что Ghostty можно на Codeberg
blog.codeberg.org
Protecting our FLOSS commons from LLMs — Codeberg News
.codeberg-design ul { padding-left: revert !important; } In Brief: Two...
👍2
[RU] Язык Zig (канал)
https://blog.codeberg.org/protecting-our-floss-commons-from-llms.html Но вообще выглядит из текста, что Ghostty можно на Codeberg
https://codeberg.org/Codeberg/org/pulls/1254
Cryptocurrency-related projects тоже забанили, надеюсь сейчас оживет хост.
Если даже после двух банов не станет легче, значит либо доля была слишком маленькая, либо проблема не в количестве проектов (как они говорят)
Cryptocurrency-related projects тоже забанили, надеюсь сейчас оживет хост.
Если даже после двух банов не станет легче, значит либо доля была слишком маленькая, либо проблема не в количестве проектов (как они говорят)
Codeberg.org
Proposal for Assembly 2026: Disallow cryptocurrency projects
Context:
- https://forum.codeberg.org/d/82-taking-a-stance-against-cryptocurrency
- https://codeberg.org/Codeberg/Community/issues/794
- https://codeberg.org/Codeberg/Community/issues/2184
- https://forum.codeberg.org/d/82-taking-a-stance-against-cryptocurrency
- https://codeberg.org/Codeberg/Community/issues/794
- https://codeberg.org/Codeberg/Community/issues/2184
👍2