Forwarded from Tech Cheat Sheet (Мерль🛠)
Forwarded from Пятничный деплой
Только что прислали в личку крутую статью про tokio scheduler, которая в целом, интересна может быть всем, не только растоманам https://tokio.rs/blog/2019-10-scheduler/ #rust
Советую почитать про афинные типы в #rust, интересно-полезно. Конгратс с 0.25к постом)
https://t.me/dereference_pointer_there/250
А еще заглянуть в статью на хабре, тоже хороший пример http://habr.com/ru/post/350372/
https://t.me/dereference_pointer_there/250
А еще заглянуть в статью на хабре, тоже хороший пример http://habr.com/ru/post/350372/
Telegram
Блог*
#prog #rust #моё
Меня тут один Олег™ попросил коротко рассказать о афинных типах в Rust. Что ж, рассказываю.
Аффинные системы типов — это системы типов, в которых объявленные значения можно использовать не более одного раза. Как и прочие ти́повые навороты…
Меня тут один Олег™ попросил коротко рассказать о афинных типах в Rust. Что ж, рассказываю.
Аффинные системы типов — это системы типов, в которых объявленные значения можно использовать не более одного раза. Как и прочие ти́повые навороты…
Forwarded from Блог*
#prog #rust #article
Обзор инструментов для верификации кода на Rust.
alastairreid.github.io/rust-verification-tools
Обзор инструментов для верификации кода на Rust.
alastairreid.github.io/rust-verification-tools
alastairreid.github.io
Rust verification tools (2020)
The Rust language and the Rust community are really interesting if you are
want to build better quality systems software.
want to build better quality systems software.
PingCAP ведут интересную серию статей о компиляции в #rust какие там этапы, проблемы и что в будущем. Довольно интересно и ненапряжно.
(там будет еще и 5я часть со временем, а может и еще)
https://pingcap.com/blog/rust-compilation-model-calamity
https://pingcap.com/blog/generics-and-compile-time-in-rust
https://pingcap.com/blog/rust-huge-compilation-units
https://pingcap.com/blog/reasons-rust-compiles-slowly
(там будет еще и 5я часть со временем, а может и еще)
https://pingcap.com/blog/rust-compilation-model-calamity
https://pingcap.com/blog/generics-and-compile-time-in-rust
https://pingcap.com/blog/rust-huge-compilation-units
https://pingcap.com/blog/reasons-rust-compiles-slowly
TiDB
The Rust Compilation Model Calamity | TiDB
Learn about the benefits of TiDB and the TiDB Cloud solutions from PingCAP. Read our latest post "The Rust Compilation Model Calamity" here.
Forwarded from Tech Cheat Sheet (Oleg Kovalov)
#rust (other versions + dark theme) https://github.com/usagi/rust-memory-container-cs
Последнюю неделю все больше замечаю замечаний в сторону #rust и вот один из них. Если кратко:
- Rust does not have a formal language specification
- Function/method calling convention
- Bootstrapping process
- LLVM dependency
- Support for assembly
- Useless for interfacing OS
https://codecs.multimedia.cx/2020/09/why-rust-is-not-a-mature-programming-language/
Ждём жыр на ХН https://news.ycombinator.com/item?id=24526861
- Rust does not have a formal language specification
- Function/method calling convention
- Bootstrapping process
- LLVM dependency
- Support for assembly
- Useless for interfacing OS
https://codecs.multimedia.cx/2020/09/why-rust-is-not-a-mature-programming-language/
Ждём жыр на ХН https://news.ycombinator.com/item?id=24526861
oleg_log
Minimize critical section 👌 https://t.me/experimentalchill/122
Сильное Rust продолжение не заставило себя ждать
https://t.me/dereference_pointer_there/2295 (там 3 поста подряд)
https://t.me/dereference_pointer_there/2295 (там 3 поста подряд)
Telegram
Блог*
#prog #rust #моё
Тут Даня рассказывает о том, как можно уменьшить время на критические секции с мапой в многопоточном контексте, расчитывая хэш для поиска ключа заранее. Бенчмарк, который он сделал, показывает, что CPU time от подобных манипуляций остаётся…
Тут Даня рассказывает о том, как можно уменьшить время на критические секции с мапой в многопоточном контексте, расчитывая хэш для поиска ключа заранее. Бенчмарк, который он сделал, показывает, что CPU time от подобных манипуляций остаётся…
Type-driven доклад о создание API в Rust. Хотя явность появление
https://t.me/oleg_fov/646
Extension methods фанаты на месте?
.progres() так себе, наверное как и у любого использование extension. Но это мои 5с.https://t.me/oleg_fov/646
Extension methods фанаты на месте?
Telegram
oleg_fov
#rust https://www.youtube.com/watch?v=bnnacleqg6k
oleg_log
Type-driven доклад о создание API в Rust. Хотя явность появление .progres() так себе, наверное как и у любого использование extension. Но это мои 5с. https://t.me/oleg_fov/646 Extension methods фанаты на месте?
Напомнило вооот это https://t.me/dereference_pointer_there/250
Telegram
Блог*
#prog #rust #моё
Меня тут один Олег™ попросил коротко рассказать о афинных типах в Rust. Что ж, рассказываю.
Аффинные системы типов — это системы типов, в которых объявленные значения можно использовать не более одного раза. Как и прочие ти́повые навороты…
Меня тут один Олег™ попросил коротко рассказать о афинных типах в Rust. Что ж, рассказываю.
Аффинные системы типов — это системы типов, в которых объявленные значения можно использовать не более одного раза. Как и прочие ти́повые навороты…