Блог*

#prog #article

Everyone Says Assembly Is Untyped—Everyone Is Wrong

TL;DR: I believe Odin’s inline assembly is currently the best out of any language.

The most important aspects are of this article listed below. I am not aware of any other assembly (GCC/Clang/Rust/Go…) that would combine all of these aspects:

* Inline assembly is organized into asm “templates”, similar to and callable as procedures.
* asm templates integrate with rest of the code, through bindings specifying clobbers, pinned, tied, and scratch registers.
* Assembly syntax is unified across ISAs and consistent with Odin syntax.
* Assembly is fully type checked, just like rest of Odin code.
* Understanding that assembly is actually typed.
* Real semantic diagnostics via core:rexcode encoding tables.
* It was built in ~7 days.



оф оказался полезным сайтом

#ml #successstory?..

#prog #rust #article

Why building a Rust LSP is hard

This will be a (hopefully coherent) story about how Rust LSPs work, from the perspective of both rust-analyzer and Rust Glancer: how things that seem easy turn out to be hard, things that seem hard turn out to be even harder, and things I didn't expect to exist at all somehow do.

LSP is more of a guess game, where at each step all you are presented with is the potentially incorrect state, and your goal is to guess what would make sense for the user.

#music

youtube.com/watch?v=rte-rerBZe4

🪄✨

Теперь ты дышишь осознанно

#prog #rust

Версия binder на Rust вошла в состав ядра в версии 6.18, а в патче, который должен попасть в ядро версии 7.4, старую версию, на C, полностью удалили.

Скелетор злодей, но не врун

"Не айс" = "not cool"

#prog #haskell #article

Type-level programming is still programming

TL;DR: вычисление типов, в отличие от вычисления термов, не является ленивым, и изменения в логике вычисления типов, не меняющее поведение, могут поменять асимптотику времени компиляции с экспоненциальной на линейную.

Подсказывают, что это россиянин

Ну #meme про дурака...

#video

www.youtube.com/watch?v=Ma9nWaaGb1g

А я тем временем прошёл #game Cogmind (не вполне честно, с тремя перезапусками из сохранения, но тем не менее)

🦄 Почему товарищ прокурора защитил первую русскую лесбийскую повесть

После революции 1905 года в России отменили предварительную цензуру для книг и журналов. То есть ты мог издавать что угодно, а полиция могла арестовывать что угодно, а потом вы разбирались в суде.

Весной-летом 1906 года Лидия Зиновьева-Аннибал, жена поэта Вяч. Иванова, пишет и переписывает «Тридцать три урода» — первую в русской литературе повесть про любовь между двумя женщинами (в том же году, кстати, Кузмин пишет «Крылья» — первое гей-произведение в русской литературе).

Осенью Зиновьева вместе с мужем и его другом создает издательство «Оры». Оно и издаст повесть.

16 января 1907 года книга выходит из типографии тиражом 1000 экземпляров по цене 40 копеек штука. И уже 19 января полиция принимает решение об аресте, а 20-го книгу едут изымать — штук 50-60 успевают спасти.

Основание — доклад эксперта Савенкова (сам сидел за растраты в 1880-х):

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


Но дальше происходит удивительное для нас сегодня. Дело в том, что в той России правда работали суды. Не идеально и не всегда, но работали.

Товарищ прокурора Гвозданович обращает внимание суда на то, что никакой закон в книге не нарушен. И … суд с ним соглашается. 14 февраля принимается постановление освободить все арестованные книги:

— …имея в виду что повесть под заглавием «Тридцать три урода» будучи беллетристическим произведением хотя и имеет сюжетом своим противуестественный роман между двумя женщинами, но изложена в такой форме, что описанные в ней отдельные сцены иллюстрирующие действия героинь повести, не заключают в себе ничего явно противного нравственности и благопристойности, Окружный Суд не усматривая в названной брошюре признаков преступления

Полиция еще, конечно, помурыжила книги и вернула их только в мае, а уже в октябре 1907 году Зиновьева-Аннибал умерла от скарлатины (тогда не было антибиотиков).

Интересно, что буквально одновременно со всеми этими перипетиями «запретят — не запретят» книгу у Лидии и ее мужа Иванова случился «тройственный союз» с Маргаритой Сабашниковой (юной женой Волошина). Иванов спал с Сабашниковой, а Зиновьева закрутила свой роман с Маргаритой. Союз оказался недолгим.

P.S. Сабашникова-Волошина умерла в 1973 году в Штутгарте. Она уехала в 1920-х в Германию и жила там и при нацистах, и даже во время второй мировой, хотя ее пытались интернировать, друзья отбили. В итоге она пряталась от бомбежек в деревне и писала там картины.

P.P.S. А, и вот вам еще приколдес. Если попробовать купить «33 урода» на Вайлдберис, вам скажут, что книги нет в продаже, зато предложат «по теме» три книги М. Симоньян и Захара Прилепина.

• Читать все судебные постановления по делу
• Читать «Тридцать три урода»
• Подписаться на «Патреон» и на «Бусти».