Доклад про дизайн API небольшой библиотечки на Rust. Челик взял за основу питонячий
#talk #rust #type
tqdm и показывает, как на Rust можно добиться примерно такого же рисования прогресс баров в CLI, но с грамотной типизацией, чтобы компилилось только то, что можно и логично, а что нельзя и не логично - не компилилось. Мне достаточно интересно было послушать.#talk #rust #type
YouTube
"Type-Driven API Design in Rust" by Will Crichton
Rust is a unique programming language that blends imperative and functional concepts to make low-level systems safer. However, compared to other modern languages, designing APIs in Rust requires a fundamentally different mindset -- for example, designing…
👍2
Old man yells at Rust programmers.
Дядька наш Линус поясняет за "Rust is safe" на уровне ядра.
#linux #kernel #rust
Дядька наш Линус поясняет за "Rust is safe" на уровне ядра.
#linux #kernel #rust
👍3🤮3
Ещё одна ОС от гугла, да. На этот раз для всяких умных устройств и с прицелом на безопасность. На расте.
За новость скажем спасибо @MightySeal
#google #os #rust
За новость скажем спасибо @MightySeal
#google #os #rust
Googleblog
Announcing KataOS and Sparrow
We've open sourced several components for our secure operating system, called KataOS, on GitHub, as well as partnered with Antmicro
🤡5🤨5
Google тут отчитывается, что с каждым годом серьёзных и memory safety уязвимостей в Android становится всё меньше, и вполне недвусмысленно кивает в сторону Rust.
#cybersec #vulnerability #rust
#cybersec #vulnerability #rust
Google Online Security Blog
Memory Safe Languages in Android 13
Posted by Jeff Vander Stoep For more than a decade, memory safety vulnerabilities have consistently represented more than 65% of vulnerab...
👍6💩3👌2
Тут чел решил покритиковать Rust. Бухтение ли это деда, или разбор по делу, и в какой пропорции, каждый решает сам. За ссылку скажем спасибо @dobrowins
#rust #rant
#rust #rant
👎1🔥1
На удивление хороший пост про Rust. Чуваки какое-то время на нём пописали и теперь рассказывают, что круто, а что не очень. Некоторые из проблем у меня прямо отзываются, а до некоторых я, вероятно, просто ещё не дорос.
#rust #language
#rust #language
🔥2
Помните, когда-то Mozilla начали пилить браузерный движок Servo на Rust? Потом я помню новости, что проект закрыли, а несколько кусков из него забрали в Firefox. Так вот, оказывается, не закрыли. Servo жив и продолжает развиваться. В докладе можно получить больше деталей. Ну и с нетерпением ждём, когда этим можно будет полноценно пользоваться. Может даже при нашей с вами жизни!
#talk #rust #browser
#talk #rust #browser
👍3🤯1
Охуенный репо, вы только посмотрите: Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀
#rust #memory #vulnerability
cve-rs allows you to introduce common memory vulnerabilities (such as buffer overflows and segfaults) into your Rust program in a memory safe manner.
#rust #memory #vulnerability
👍1
Смотрите, какая забавная поделка: язык Borgo. Как Rust, но попроще, и транспилится это всё в Go, с полной поддержкой всех packages.
#go #rust #language
#go #rust #language
Чел так хорошо начинал. Сначала он пишет, что может Rust и предотвратил бы CrowdStrike взрыв как он есть, но оно вполне могло бы рвануть где-то дальше. Пишет, что хватит продвигать Rust такого рода аргументами, вы ничему не поможете. Потом пишет, что деплойте просто нормально, потихоньку, не на миллионы сразу. А в конце такой пук-среньк, но лучше бы всё на Rust конечно, от многого бы защитились. Rust doesn't solve the CrowdStrike outage, короче.
#microsoft #security #rust
#microsoft #security #rust
🤡3
Ребята из Astral уже подарили людям, вынужденным жить с питоном, ruff и uv. А теперь вот взялись писать type checker / LSP на Rust. Хорошее дело, будем ждать!
#python #lsp #rust
#python #lsp #rust
GitHub
GitHub - astral-sh/ty: An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust. - astral-sh/ty
👍2😁1
Выше всплывал type checker / LSP для Python, который пишут в Astral. Недавно Meta показали своё такое же - pyrefly. У них немного разный фокус и оба всё ещё в глубокой альфе, но даже на текущем этапе видно, насколько большой это шаг вперёд для всей экосистемы. Детальнее на особенности и очень предварительные бенчмарки можно посмотреть тут.
#python #lsp #rust
#python #lsp #rust
Edward Li's Blog
Pyrefly vs. ty: Comparing Python’s Two New Rust-Based Type Checkers
A deep dive into Meta's pyrefly and Astral's ty - two new Rust-based Python type checkers that both promise faster performance and better type inference.
Тут вот занятный пост. У чуваков есть сервис, который должен перемалывать много разных финансовых данных и приводить их ко внутреннему универсальному формату. Как это водится у приличных людей, со временем сервис оброс легаси и его решили переписать. В компании было много опыта с C++ и поменьше с Rust. И вот они собственно описывают, как сначала взялись переписывать на Rust, но не понравилось, вечно приходилось "бороться с языком", и в итоге сделали на плюсах. С моей колокольни всё выглядит так, что чуваки хотели писать как привыкли на крестах, а когда Rust компилятор бил их по рукам, уходили в расстроенных чувствах.
За ссылку спасибо @qwexter.
#finance #rust #cpp
За ссылку спасибо @qwexter.
#finance #rust #cpp
Databento
Why we didn't rewrite our feed handler in Rust | Databento Blog
We recently faced an interesting decision: what language should we use to rewrite our market data feed handler? Despite Rust's growing popularity in fintech and our own successful use of it in other systems, we chose C++.
Прямо хорошо показывают, что написать какой-то свой LSP сервер сейчас не так уж и сложно. Тут используют Rust, там есть хорошая готовая библиотека, но я подозреваю, в каком-нибудь TypeScript тоже что-то такое есть, только медленнее.
#lsp #rust #editor
#lsp #rust #editor
Code Input
Building an LSP Server with Rust is surprisingly easy and fun | Code Input
A hands-on guide to building toy LSP servers in Rust
Ого, форк The Rust Programming Language книжки, в который добавили интерактивных квизов, визуализаций и т.п. Сами пишут, что знают как лучше объяснять ownership модель.
#rust #learning #book
The biggest difference is the chapter on Understanding Ownership. This book explains ownership using ideas and visualizations that our research has demonstrated can better improve your understanding of Rust compared to the original book.
#rust #learning #book
👍7🔥2