#llvmweekly

https://discourse.llvm.org/t/rfc-modelling-errno-memory-effects/82972

TL;DR - коллеги собираются сделать какие-то оптимизации, которые смогут полагаться на то, что произвольный указатель может указывать на errno, только если он имеет тип int* (и совместимый).

Еще одна причина не использовать int в своем коде!

Новости #bootstrap

https://jakstys.lt/2024/zig-reproduced-without-binaries/

zig сумели собрать из исходников. Не из прикопанного бинаря zig.wasm (кстати, в копилку креативных способов использования #WebAssembly), а цепочкой, с самых ранних стадий разработки:

1) Build Zig from the C++ implementation of the commit above (with hacks and tricks to make it actually compile).

2) Use previous step to build the first Zig self-hosted.

3) Proceed to the next step. When the updated Zig does not build, find creative ways to build it anyway (or, when really stuck, ask @mlugg).

4) Goto 2 for 45+ times.

Вот последний пункт, конечно, очень впечатляет - это же сколько настойчивости надо иметь?

Автору респект и уважуха.

https://www.opennet.ru/opennews/art.shtml?num=62241

https://github.com/pizlonator/llvm-project-deluge
https://github.com/pizlonator/llvm-project-deluge/blob/deluge/Manifesto.md

Чувак запилил безопасный C/C++, который работает здесь и сейчас, и ловит реальные ошибки в реальном коде - https://github.com/python/cpython/issues/118534 https://github.com/python/cpython/issues/118534#issuecomment-2093276383

Да, tagged pointers, https://en.wikipedia.org/wiki/Tagged_pointer, без необходимости использования специального железа (https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/)

Хороший проект, будем наблюдать.

#filc

Хотел было написать текст, что https://macode.ru/ надо приправлять щепоткой "а ебись оно все конем", а потом вспомнил, что уже про это писал!

Поэтому просто ссылка на свой же текст - https://xn--r1a.website/itpgchannel/570

Это разве тест на олдскульность?
Я вот понимаю спросить, как "это" называлось под DOS...

Ладно, "это" называлось Game Wizard, и вышло на пару лет раньше ArtMoney:

https://archive.org/details/game-wizard-32-pro-30-a-dfi
http://old-dos.ru/index.php?page=files&mode=files&do=show&id=5610

(в 94, вроде, году)

#безопастный_rust

Продолжаем цикл заметок про то, что Rust не является memory safe language.

Самое главное тут, конечно, договориться, что значит "memory safe". Почему это важно, я писал в https://xn--r1a.website/itpgchannel/1828

Часто слышу определение "в коде нет unsafe блоков".

В связи с этим я задаю два вопроса:

* https://blog.yossarian.net/2021/03/16/totally_safe_transmute-line-by-line - вот, очень даже safe код, исходя из этого определения.

* Является ли отношение "не содержит unsafe" транзитивным, потому что в stdlib есть unsafe.

Обычно после этого коллеги начинают рассказывать про soundness кода.

Что такое soundness?

По сути, это синоним "мамой клянусь". То есть, у нас нет формального доказательства того, что код ведет себя так, как надо, но автор кода сумел уболтать других людей, что это правда.

Поэтому вот вам самая мякотка - Rust является memory "мамой клянусь"-safe language.

Проблема в том, что и С, и С++ - это тоже "мамой клянусь"-safe language, а если там в коде ошибка - то это skill issue "да вы просто не умеет в С".

Я даже готов согласиться, что в классе "мамой клянусь"-safe языков, Rust один из наиболее безопасных (в каком-то смысле), но на этом все.

Тем временем, у моей реализации #runsvdir https://xn--r1a.website/itpgchannel/1998 уже есть 4 open source альтернативы:

* оригинал из runit
* мой вариант на python
* вариант на Rust (https://github.com/maratik123/runsvdir)
* и мой же вариант на С++ (https://github.com/pg83/ix/blob/main/pkgs/bin/ix/runsvdir/cpp/m.cpp)

На приложенном скриншоте - все 4, на одной и той же конфигурации.

Хуже всех (по потреблению памяти) python, потом идет оригинальный из runit (меня это удивило, он, вроде как, на С), потом вариант на Rust, а пижже всех - мой, на С++.

Оптимизациями памяти я даже не занимался (посмотрите код, он максимально дубовый), можно лучше.

Фига я снова в телевизоре!

Болты Генона я тоже читаю, хорошие каналы.

Тут @SergeySabbath, закинул мой канал в тройку своих самых любимых. Скрывать не буду, мне очень приятно.

https://xn--r1a.website/IT_Friday/646

А накидайте в комменты свои любимые каналы по IT-шной тематике или около неё. Можно несколько.

Может я и подписчики найдут что-то новое и интересное для себя

Если брать строго IT, то я регулярно слежу за

https://xn--r1a.website/SysadminNotes

https://xn--r1a.website/itpgchannel

https://xn--r1a.website/dereference_pointer_there

https://xn--r1a.website/sysadmin_tools

Есть большое количество ещё других, ни о ком не забыл и всех помню, но как-нибудь сделаю ещё отдельный пост 🌝

https://xn--r1a.website/tech_b0lt_Genona
https://xn--r1a.website/lobstersfeed
https://xn--r1a.website/theaftertimes
https://xn--r1a.website/hackernewslive
https://xn--r1a.website/gentoomemes
https://xn--r1a.website/programmer_memes
https://xn--r1a.website/achpochmac_yesterday
https://xn--r1a.website/open_source_friend
https://xn--r1a.website/dereference_pointer_there
https://xn--r1a.website/mem_b0lt_Genona
https://xn--r1a.website/psauxww
https://xn--r1a.website/ctobtch
https://xn--r1a.website/thisnotes
https://xn--r1a.website/digital_insights
https://xn--r1a.website/dotrubic
https://xn--r1a.website/j_random_cto
https://xn--r1a.website/gepardchan
https://xn--r1a.website/cpu_design
https://xn--r1a.website/reactos2021
https://xn--r1a.website/optozorax_dev
https://xn--r1a.website/whygnomesucks
https://xn--r1a.website/dlemire
https://xn--r1a.website/cxx95
https://xn--r1a.website/techmumble
https://xn--r1a.website/reverse13

мой список, in no particular order

#Kent Предложка:

"Свежую драму от Кента подвезли. Читаешь, думаешь, блин, несправедливо человека банят: https://www.patreon.com/posts/trouble-in-116412665

потом открываешь лор, а там: https://lore.kernel.org/all/citv2v6f33hoidq75xd2spaqxf7nl5wbmmzma4wgmrwpoqidhj@k453tmq7vdrk/"

https://www.phoronix.com/news/Bcachefs-Uncertain-Kernel-Issue

https://www.opennet.ru/opennews/art.shtml?num=62276