Блог*

для тех, кто часто копирует большие файлы, держите приложение, которое определяет диалог копирования в windows 10/11 и рисует поверх него игру lunar lander (в которую можно поиграть) https://github.com/Sanakan8472/copy-dialog-lunar-lander

#game и, видимо, #abnormalprogramming?

🔁 miauz genyau

#prog #python #meme

#prog #rust Хозяйке на заметку Положили значение в умный указатель со счётчиком ссылок, а теперь хотите достать обратно? Не беда: в std есть API специально для такого случая! Функция Arc::try_unwrap возвращает значение, если сильная ссылка уникальна, и сам Arc в неизменном виде в противном случае. Разумеется, Rc::try_unwrap тоже есть.

#article Lightweight linear types in System F° We present System F°, an extension of System F that uses kinds to distinguish between linear and unrestricted types, simplifying the use of linearity for general-purpose programming. We demonstrate through examples how System F° can elegantly express many useful protocols, and we prove that any protocol representable as a DFA can be encoded as an F° type. We supply mechanized proofs of System F°’s soundness and parametricity properties, along with a nonstandard operational semantics that formalizes common intuitions about linearity and aids in reasoning about protocols. We compare System F° to other linear systems, noting that the simplicity of our kind-based approach leads to a more explicit account of what linearity is meant to capture, allowing otherwise-conflicting interpretations of linearity (in particular, restrictions on aliasing versus restrictions on resource usage) to coexist peacefully. We also discuss extensions to System F° aimed at making the core language more practical, including the additive fragment of linear logic, algebraic datatypes, and recursion. --- Об одном важном моменте в абстракте, впрочем, не упомянуто: они вводят не просто kinds, но и отношение subkinding, конкретно ★ ≤ ◦, где ★ — kind обычных тип, чьи значения могут быть дублированы и отброшены без ограничений, и ◦ — kind линейных типов, чьи значения не могут быть дублированы и должны быть использованы ровно один раз. У этого подхода оказалось несколько приятных следствий, но одно из них — это то, что, стерев информацию о сортах, можно получить широко изученную System F, про которую уже известны многие приятные свойства: корректность, гарантия прогресса и сильная нормализация.

#music youtube.com/watch?v=0LFhsYwNuvQ

pravilamag.ru/entertainment/189203-test-elitnyy-zhiloy-kompleks-moskvy-i-podmoskovya-ili-marka-analnoy-smazki (thanks @ebuchiy_sluchay)

с началом учебного года, кому актуально #gender

Учебный #meme

Кхе

thx sub 💖

Arti 1.0.0 is released: the Rust Tor implementation is ready for production use: https://blog.torproject.org/arti_100_released

#prog #go #haskell #article Сложность простоты Или о том, как Haskell показал себя лучше на задаче, для которых Go преподносится хорошим решением, с точки зрения человека, который и то, и то знал слабо. Статья старая в том смысле, что она написана до того, как в Go запилили дженерики, но выводы и сейчас остаются валидными.

#prog #itsec #article Mobile App Supply Chain Vulnerabilities Could Endanger Sensitive Business Information We identified 1,859 publicly available apps, both Android and iOS, containing hard-coded AWS credentials. Almost all were iOS apps (98%) - a trend and difference between the platforms we've been tracking for years, possibly linked to different app store vetting practices and policies. In any case, we examined the scope and extent of the risks involved when AWS credentials were found embedded inside apps. We found the following: * Over three-quarters (77%) of the apps contained valid AWS access tokens allowing access to private AWS cloud services * Close to half (47%) of those apps contained valid AWS tokens that also gave full access to numerous, often millions, of private files via the Amazon Simple Storage Service (Amazon S3) (thanks @tech_b0lt_Genona)

Если совсем кратко, то: * задачи не соответствуют занимаемой должности; * большая часть кода написана студентами и олимпиадниками с однобуквенными переменными, методами на 1 000 строк и запросами из джоинов через where; * сверху бесплатно накидывают всякое дежурство и настройку ci/cd; * зарплата, даже с идеальным прохождением всех этапов примерно на 15% меньше рынка.