commit -m "better"
3.21K subscribers
1.01K photos
147 videos
3 files
2.35K links
just random thoughts
Download Telegram
Forwarded from Эксплойт
This media is not supported in your browser
VIEW IN TELEGRAM
Китайцы выпустили идеального робота-убийцу — четвероногий бот на колёсах от DEEP Robotics с безумной скоростью перемещается по любой местности.

Проходимость и устойчивость потрясающие — тут даже ступеньки не спасут.

Грибники будут в шоке.

@exploitex
😱18🔥11👏42
Я написал очень длинный и очень интересный текст про Юникод. Поскольку в Telegram пост такого размера не помещается, выложил на сайт:

https://blo.gepar.do/v0/unicode.html

Все бегом читать :)
👍237🔥6😁3🆒2🤯1
#llvmweekly

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

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

Еще одна причина не использовать int в своем коде!
😁7🐳5👍32
Новости #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.

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

Автору респект и уважуха.
😁21👍10🔥6🤡4🤮2💩1
Forwarded from Programmer memes
This media is not supported in your browser
VIEW IN TELEGRAM
Когда проект ещё не готов, но клиент просит показать демо:

8️⃣ Programmer memes
Please open Telegram to view this post
VIEW IN TELEGRAM
😁40👍54😢3💯2
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
👍19🔥6🤔5🆒32
Forwarded from /g/‘s Tech Memes
👍19😁18🐳73🤔3
Хотел было написать текст, что https://macode.ru/ надо приправлять щепоткой "а ебись оно все конем", а потом вспомнил, что уже про это писал!

Поэтому просто ссылка на свой же текст - https://xn--r1a.website/itpgchannel/570
10🤔4👍3🔥3🐳2
Forwarded from The After Times
🥰34👍6😁42
The After Times
Photo
Это разве тест на олдскульность?
Я вот понимаю спросить, как "это" называлось под DOS...
🤔6🐳5👍2
😁37🤣9👍5🔥5🥰41
#безопастный_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 один из наиболее безопасных (в каком-то смысле), но на этом все.
😁2910🤡7👍5🔥4👎3🤔1🤮1👌1🐳1
Тем временем, у моей реализации #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, а пижже всех - мой, на С++.

Оптимизациями памяти я даже не занимался (посмотрите код, он максимально дубовый), можно лучше.
17👍6🔥4🤔3🤯2🤡1🆒1
Forwarded from Дидлошная (Alex Beaver)
😁298🤔3🐳2👍1🔥1
Админ за работой.
34👍4🔥4❤‍🔥3🆒1
Фига я снова в телевизоре!

Болты Генона я тоже читаю, хорошие каналы.
👏9👍53🔥1
Тут @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

Есть большое количество ещё других, ни о ком не забыл и всех помню, но как-нибудь сделаю ещё отдельный пост 🌝
🔥116🌭3👍2🆒1
Технологический Болт Генона
Тут @SergeySabbath, закинул мой канал в тройку своих самых любимых. Скрывать не буду, мне очень приятно. https://xn--r1a.website/IT_Friday/646 А накидайте в комменты свои любимые каналы по IT-шной тематике или около неё. Можно несколько. Может я и подписчики найдут…
👍12❤‍🔥6🔥3😁21