Forwarded from Backtracking (Дима Веснин)
куратор и автор игр эверест пипкин нашёл классное применение roblox — он ведёт в нём дневник снов, и на каждый запомнившийся делает небольшой игровой мир
https://everestpipkin.itch.io/roblox-dream-diary
https://everestpipkin.itch.io/roblox-dream-diary
#prog #rust #rustlib
display_utils — библиотека для упрощения задач при форматировании при помощи Display, таких, как, например, форматирование списка значений с заданным разделителем
display_utils — библиотека для упрощения задач при форматировании при помощи Display, таких, как, например, форматирование списка значений с заданным разделителем
docs.rs
display_utils - Rust
This library aims to provide useful constructs to vastly simplify data formatting tasks.
Расскажите о самой глупой вещи, которая происходила у вас на работе и при этом не зависела или слабо зависела от вас.
#prog #rust #article
Статья о применениях типов нулевого размера в Rust и о том, как их значения могут быть использованы как доказательства некоторых фактов.
Статья о применениях типов нулевого размера в Rust и о том, как их значения могут быть использованы как доказательства некоторых фактов.
www.hardmo.de
The magical applications of Zero-Sized Types in Rust - Hardmo.de
Values of Zero-Sized types hold no information. This, however, does not imply that they are trivial. Rather, they offer the necessary properties for a complex interactions between the type system and values.
Forwarded from oleg_log (Oleg Kovalov)
Зачем еще нужен Rust? переписать консольные тулзовины и запостить на гитхаб. *dropmic*
https://github.com/TaKO8Ki/awesome-alternatives-in-rust
https://github.com/TaKO8Ki/awesome-alternatives-in-rust
GitHub
GitHub - TaKO8Ki/awesome-alternatives-in-rust: A curated list of replacements for existing software written in Rust
A curated list of replacements for existing software written in Rust - TaKO8Ki/awesome-alternatives-in-rust
Forwarded from Вебня (Roman Dvornov)
Sparkplug — новый неоптимизирующий компилятор JavaScript
Оказывается V8 9.1 был добавлен новый неоптимизирующий компилятор Sparkplug. Благодаря отсутствию оптимизации, процесс компиляции происходит гораздо быстрее. По сути, этот компилятор переводит байткод в соответствующие им инструкции. Такой подход позволяет быстрее начать выполнять код на этапе загрузки, а также переключаться на оптимизированный код и обратно. Подход дает выигрыш, так как на старте многие оптимизации все равно не возможны из-за отсутствия фидбека по исполнению кода. На данный момент получилось достичь 5-15% прироста производительности, но пока реализованы не все идеи связанные с новым компилятором. Больше технических деталей и графиков в статье блога V8: https://v8.dev/blog/sparkplug
Оказывается V8 9.1 был добавлен новый неоптимизирующий компилятор Sparkplug. Благодаря отсутствию оптимизации, процесс компиляции происходит гораздо быстрее. По сути, этот компилятор переводит байткод в соответствующие им инструкции. Такой подход позволяет быстрее начать выполнять код на этапе загрузки, а также переключаться на оптимизированный код и обратно. Подход дает выигрыш, так как на старте многие оптимизации все равно не возможны из-за отсутствия фидбека по исполнению кода. На данный момент получилось достичь 5-15% прироста производительности, но пока реализованы не все идеи связанные с новым компилятором. Больше технических деталей и графиков в статье блога V8: https://v8.dev/blog/sparkplug
v8.dev
Sparkplug — a non-optimizing JavaScript compiler · V8
In V8 v9.1 we’re improving V8 performance by 5–15% with Sparkplug: a new, non-optimizing JavaScript compiler.
Forwarded from This Software Dev Does(n’t)? Exist
Наконец-то, черти ее дерите, сессия закончилась.
This Software Dev Does(n’t)? Exist
Наконец-то, черти ее дерите, сессия закончилась.
От души поздравляю растосучку!
#prog #haskell #article
Статья (pdf) о технике, позволяющей запрограммировать регионы для выделения ресурсов (таких, как открытые файлы), удостоверяющие, что все выделенные ресурсы освобождены в конце региона (а не вычисления в целом, как в ST), что ручки к выделенным ресурсам не утекают из вычислений, корректно прокидывающее исключения (с деаллокацией ресурсов при досрочном завершении вычислений в регионе) и позволяющее вкладывать регионы один в другой без передачи значений-свидетельств вложенности регионов.
Статья (pdf) о технике, позволяющей запрограммировать регионы для выделения ресурсов (таких, как открытые файлы), удостоверяющие, что все выделенные ресурсы освобождены в конце региона (а не вычисления в целом, как в ST), что ручки к выделенным ресурсам не утекают из вычислений, корректно прокидывающее исключения (с деаллокацией ресурсов при досрочном завершении вычислений в регионе) и позволяющее вкладывать регионы один в другой без передачи значений-свидетельств вложенности регионов.
ACM SIGPLAN Notices
Lightweight monadic regions | ACM SIGPLAN Notices
We present Haskell libraries that statically ensure the safe use of resources such
as file handles. We statically prevent accessing an already closed handle or forgetting
to close it. The libraries can be trivially extended to other resources such as ...
as file handles. We statically prevent accessing an already closed handle or forgetting
to close it. The libraries can be trivially extended to other resources such as ...
#soc #video #article
Сборник небольших лекций (к счастью, не только в формате видео, но и в расшифровке) о различных аспектах маскулинности. Лекции короткие, так что глубина изложения не блещет, но в рамках расширения кругозора полезно.
К сожалению, каждая лекция читается отдельным человеком, и потому качество освещения каждой отдельной темы несколько плавает. Некоторые темы, увы, дают взгляд больше с точки зрения другой страны, нежели Россия.
Не со всеми представленными тезисами я согласен. Возможно, я ещё напишу об этом
Сборник небольших лекций (к счастью, не только в формате видео, но и в расшифровке) о различных аспектах маскулинности. Лекции короткие, так что глубина изложения не блещет, но в рамках расширения кругозора полезно.
К сожалению, каждая лекция читается отдельным человеком, и потому качество освещения каждой отдельной темы несколько плавает. Некоторые темы, увы, дают взгляд больше с точки зрения другой страны, нежели Россия.
Не со всеми представленными тезисами я согласен. Возможно, я ещё напишу об этом
www.colta.ru
На COLTA.RU начинается просветительский курс «Маскулинность для чайников»
18 декабря Фонд имени Генриха Бёлля, Гёте-Институт в Москве и COLTA.RU запускают просветительский онлайн-курс «Маскулинность для чайников».