Блог*

Статья о том, зачем на самом деле штуки типа mod.rs, index.html и так далее и как от них избавиться #prog #article #fs

К сожалению, больше не могу рекомендовать. Мало то, что контент пошёл куда-то не туда, так ещё и в последние пару дней там начался откровенный скам.

Eli Albert Loeb из Калифорнии написал или написала любопытную бакалаварскую работу (чтобы все бакалавры в России писали такие работы) про маскулиность гопников и истоки этого явления. Почитать можно совершенно бесплатно

#rust Одна из вещей, которая мне нравится в Rust — это совершенно замечательные диагностические сообщения. t.me/ihatereality/2516 t.me/ihatereality/2517

Фото сгенерировано моделью ruDALL-E от Сбера по запросу "Вафелька"

Нам необходимы: * Потупить в курилке * Громко говорить, чтобы остальные в опенспейсе ничего не слышали * Пятничный душ в уютном кругу коллег * Кикер, в который никто не играет Желание работать будет плюсом

Nightly rustdoc теперь может автоматически показывать примеры из examples/* в документации функций, которые там используется. Твит от автора фичи: <twitter:wcrichton>

Ну как не поделиться статьёй, которая говорит что раст лучше плюсов, правильно? C++ Move Semantics Considered Harmful (Rust is better) В этой статье автор рассказывает про то, как и почему реализован мув в C++, сравнивает это с устройством Rust. Статья будет интересна как для тех кто не знаком с C++, так и для тех кто знаком (наверное). Рекомендую в общем :)

Среда это маленькая пятница и остановиться я не мог 🌝 В ИИ не верил до конца, поэтому некоторых переименовал слегка. @nosingularity @sysadmin_tools @oleg_log (Олег прости, букву "а" забыл) @aws_notes @count0_digest @SysadminNotes @bykvaadm @dereference_pointer_there @k8security Хайрезы в комменты скину.

— А давайте-ка я возьму мятных конфеток, — подумал я. — А давайте, — сказала маска и стала перенаправлять выдохи, наполненные ментолом, прямо в глаза. Ай :(

И ведь не сказать, что это какая-то неразумная вещь: в отличие от перечеркнутых палочек, фигура после учёта каждого предмета выглядит заметно иначе, чем после учёта других, так что так куда сложнее перепутать, скажем, "3" и "4"

​Метка подсчёта — иероглиф 正 Когда нужно посчитать на бумаге, сколько раз случилось какое-либо событие, мы обычно используем четыре вертикальные палочки и одну их перекрывающую — такой полный рисунок означает «5 штук». Этот символ распространён практически во всех Европейских странах и в Америке. Но в странах, где используются китайские иероглифы, функцию метки подсчёта выполняет иероглиф 正. Его значение — «правильный, справедливый», но в контексте подсчёта значение не важно. Важно, что он пишется пятью строками. Поэтому в аниме, когда персонажи хотят подсчитать, например, сколько человек проголосует за тот или иной вариант проведения школьного фестиваля, на школьной доске можно увидеть иероглифы 正. #JapanFact

#prog #article Не смотря на то, что исторически property-based testing применялось для тестирования чистых функций, технически ничто не мешает тестировать и функции с некоторыми побочными эффектами. Тем не менее, при переносе этого подхода на компиляторы возникает очевидная проблема: все сколько-нибудь полезные программы обладают побочными эффектами, и языки далеко не всегда определяют порядок вычислений достаточно точно, чтобы предсказать вывод обладающей побочными эффектами фрагмента программы исключительно по исходному коду. Одним из таких языков является OCaml: среди его реализаций есть как те, которые вычисляют порядок аргументов слева направо, так и те, которые вычисляют справа налево. Это делает генерацию исходных программ с целью тестирования несколько затруднительной, поскольку вывод даже корректно скомпилированной программы может зависеть от реализации. В статье Effect-Driven QickChecking of Compilers авторы решили эту проблему, спроектировав генератор, который создаёт лишь программы, вывод которых не зависит от порядка вычислений. Сделали они это путём введения рудиментарной системы эффектов (попутно доказав её корректность) и архитектуры генератора, позволяющей на ранних этапах генерации отбрасывать альтернативы, которые бы привели к зависимости от конкретного порядка вычислений. Вместе с генератором они также спроектировали минификатор, позволяющий минифицировать программы с сохранением полезного свойства независимости (впрочем, это получилось скорее автоматически ввиду того, что это свойство было закодировано в эффектах, а элементарные операции минификации сохраняли тип). Генератор получился достаточно ограниченным. Он генерирует только весьма узкое подмножество всех программ (в частности, никакого полиморфизма, ни по типам, не по эффектам), и, в частности, генерирует только программы, которые гарантированно завершаются. Вдобавок, введённая система эффектов отслеживает исключительно сам факт наличия побочного эффекта, но не его конкретную разновидность. Тем не менее, даже такое ограниченный инструмент оказался полезным на практике. Используя реализацию QuickCheck для OCaml для свойства "для любой программы, сгенерированной генератором, вывод этой программы при использовании двух разных компиляторов одинаков", авторы смогли обнаружить четыре новых бага, а также найти два уже ранее известных. P. S.: единственное, что меня смущает — это лемма об ослаблении контекста типизации в разделе, в котором доказывается корректность системы типов с эффектами: If ∆;Γ,(x : τ′),Γ′ ⊢ e : τ & φ and τ′′ ⊑ τ′ then ∆;Γ,(x : τ′′),Γ′ ⊢ e : τ & φ или, если словами, произвольный тип внутри контекста типизации можно заменить на тип с более слабым эффектом. Лично мне это не кажется очевидным от слова совсем.

Идеальная девушка (утянуто с какого-то чата)

#prog #article Ещё немного о metamorphic testing

#prog #rust Если вам вдруг потребовалось вынимать байтики из BufRead и на лету декодировать в char, то для этого есть библиотека. lib.rs/crates/utf8-chars

#prog #article Статья (перевод) о том, какие офигенные вещи умудряются делать фанаты графических калькуляторов. Как насчёт загрузчика, работающего на реверс-инжинирнутых функциях и позволяющий запускать игры с gameboy?

вафелька и амос показали мне что я не делаю ничего достойного внимания спасибо как теперь жить дальше