Linker Unsafe
220 subscribers
182 photos
24 videos
18 files
859 links
Собираю ржавые и лямбдообразные новости, прикольные цитатки с форумов, ссылки на статьи и всё такое. В-общем, сюда я тащу такие крупицы, которые мне будет жаль потерять в цифровой бездне. Возможно, они покажутся интересными и вам.

Фи сюда: @nlinker
Download Telegram
^^^ Или лучше сказать, GPU + Rust, потому что в статье не только об OpenCL и Вулканах, а также и CUDA, которая как известно является проприетарной технологией Nvidia.
Вода из душа конечно вызывает ржавчину при попадании на bare-metal поверхности >.<

===
T-34 85:
ты гошник?

Bohdan Bessonov:
Я растер

Вернее я в душе растер но пока пишу на этих конченых плюсах

===
via https://t.iss.one/rust_offtopic/348729
Классическая книга, которую нужно почитать, но я не знаю, когда я её буду читать (никогда? нееееет 😱 Пока поставлю её следующей после текущей, (которая FRP)).

Открывая в произвольном месте я иногда отлично понимаю, о чём речь (по-видимому фоном где-то изучилось), но иногда совершенно не врубаюсь. Систематическое изучение не заменишь прыжками по вершкам, увы.

Сама книжка:
https://www.microsoft.com/en-us/research/wp-content/uploads/1987/01/slpj-book-1987-small.pdf
Печально, что именованные аргументы снова отодвинули на неопределённый срок, но у разработчиков языка приоритеты всегда инвертируются: лучше чего-то не добавить, чем добавить (и естественно, потом кусать локти, когда вдруг выяснится, что разные фичи накладываются друг на друга нехорошим образом).
Forwarded from мне не нравится реальность (вафель 🧇)
а вот и смерть очередного RFC на тему именованных аргументов, ugh
Генераторы лексеров на Rust, с разными трейдоффами.
https://github.com/suhr/sana
https://github.com/maciejhirsz/logos
пейпер в тему https://www.ccs.neu.edu/home/turon/re-deriv.pdf

PS: Роман описывает преимущества первого как:

MrSmith:
А чем от логуса отличается

Roman Proskuryakov:
1. в сана приоритеты работают в отличие от логоса.
2. есть разделение библиотек на рантайм и компилятор
3. следовательно в отличие от логоса ты в рантайме можешь собрать свои правила и скомпилировать их
4. а можешь скомпилировать их с помощью derive макроса, и внутри не будет никаких регулярок
5. можешь собрать ir dfa и выполнять его в рантайме
6. а можешь скомпилировать в растовый код
7. можешь вывести ir/dfa, отдебажить свои правила
8. оно ругается на правило, которое недостижимо. ругается во время компиляции, ага
===
via https://t.iss.one/rust_offtopic/353386
Это оч смешно, напоминает мем про обычных людей, которые боятся, что их захватят роботы и тут...
Audio
звонок в тинькофф
SEGMENTATION FAULT 🥳🤤

====
Y S:
Ну так подумать надо, прежде чем писать

🇧🇾T-34 85🇧🇾:
Почему-то на крестах можно не думать, но писать

Я вот как раз так и хочу

Y S:
По хорошему везде надо думать

🇧🇾T-34 85🇧🇾:
Это пох
Forwarded from Блог*
#prog #rust #article #моё

Как я и обещал, я... Так, погодите, я не писал об этом в блоге? Впрочем, ладно, напишу сейчас: я планировал написать перевод этой статьи и выложить его на Хабре. Собственно, сегодня я это и сделал.
Одна из самых распространённых ошибок в ООП: "Квадрат и прямоугольник это почти одно и то же, за исключением одной маленькой детали. А потому логично отнаследовать одно от другого".

https://twitter.com/hillelogram/status/1294091324099002368?s=19
Forwarded from Stanislav Popov
ох какие же растеры бездарные. у меня передоз крестов

жил был раст оффтопик. сидели с хиро обсуждали поечку, идрис, внимали мудрости доги, кая.
@
СФИНАЕ РВАЛУЕ МУВ ДЕРЕФЕРЕНС ЛУПХОЛ УБ УБ КНИГИ СТАТЬИ СТАНДАРТЫ
Forwarded from Politeconomics
Посреди окружающего хаоса, неразберихи и давящих проблем, гордо возвышаются неуязвимые айтишники. Спокойные среди бурь, выучившие шелл-скрипты и модные фреймворки, они не просто не подвержены колебаниям рынка, но и дают пример всем остальным неуспешными, невостребованным и жалким работникам. Или... всё немного не так?

https://www.youtube.com/watch?v=uWNlacLm9lY
Forwarded from Блог*
#prog #amazingopensource

Библиотека, которая позволяет визуализировать частично пересекающиеся множества в достаточно наглядном виде. В отличие от традиционных диаграмм Венна, прекрасно масштабируется на большое количество множеств.

https://github.com/gecko984/supervenn
Forwarded from Nick Ivanych
Борщевик, очевидно, не является необратимым ингибитором ацетилхолинэстеразы!
^^^ Мемы про борщевик дюже популярны в хаскеллевских группах, а Nick Ivanych потратил время на изучения различных стимуляторов мозга, что придаёт определённый оттенок сообщению выше.
Похоже пора писать дисклеймер по поводу моего юмора 😑
Когда-то американские власти выбрали одну из самых отдалённых от людей точек в Нью-Мехико для манхэттеновского проекта -- Лос Аламос -- так, чтобы было легко охранять периметр от вредителей, шпионов и зевак, и спустя время это превратилось в центр ядерной промышленности и научный центр вместе со всей инфраструктурой в виде домов, школ, развлекательных заведений и даже музеев, фактически превратившись в город, но статус города не имеющий до сих пор.
https://ru.m.wikipedia.org/wiki/Лос-Аламос

(с Rust ничего общего, так, интересный факт)
"Более короткая версия"
===
Y S:
Ты описал ассемблер?)

Oleg ℕizhnik:
Ну нет, гетерогенные дикты, сложная полиморфная рекурсия, тайпстейты и сессионные типы

Т.е. цель какой-то хорошей системы типов достичь какой-то непротиворечивости, ограничить набор возможных конструкций, так, чтобы все конструкции гарантированно имели набор качеств необходимых, и тогда будут иметь необходимые качества конструкты на следующем (часто более низкоуровневом) языке, типа операционном или логическом.
Тогда часть конструктов, оторые всё ещё представимы на следующем языке, которые всё ещё имеют требуемые качества, обычно оказывается за пределами выразимости на исходном типизированном.
Т.е. получаем некоторую неполноту.
Ну вот обычный довод динамики - типа, я сам себе в голове дорисую нужную систему типов, не нужно меня ограничивать.

John Cantrell:
Типы - для долбоёбов, которые код без ошибок написать не в состоянии

Oleg ℕizhnik:
Да, вот более короткая версия

===
via https://t.iss.one/ebanatics_learn/44879