Type Driven Thoughts 🦀
Generic associated types in Rust are going to be stabilized soon - https://twitter.com/AliceICecile/status/1565110186456539136?t=MkhLkmKqKXK08esNrXxGOw&s=19 This is a big change for the Rust type system
GATs stabilization is merged👀 As far as I understand, we should expect to be able to use it in 1.65 release in stable rust!
GitHub
Auto merge of #96709 - jackh726:gats-stabilization, r=compiler-errors · rust-lang/rust@7098c18
Stabilize generic associated types
Closes #44265
r? `@nikomatsakis`
# ⚡ Status of the discussion ⚡
* [x] There have been several serious concerns raised, [summarized here](https://github.com/ru...
Closes #44265
r? `@nikomatsakis`
# ⚡ Status of the discussion ⚡
* [x] There have been several serious concerns raised, [summarized here](https://github.com/ru...
🔥3
wasmtime reaches 1.0 release! It is a personal favorite of mine among the WebAssembly runtimes and I think it should be a big step in WASM adoption
Bytecode Alliance
Wasmtime Reaches 1.0: Fast, Safe and Production Ready!
As of today, the Wasmtime WebAssembly runtime is now at 1.0! This means that all of us in the Bytecode Alliance agree that it is fully ready to use in production.
👍4
An updated mdbook about Rust macros - https://github.com/Veykril/tlborm
I remember using the original one (2016 edition) when studying them, it's cool that Rust team is finally continuing this effort
I remember using the original one (2016 edition) when studying them, it's cool that Rust team is finally continuing this effort
GitHub
GitHub - Veykril/tlborm: The Little Book of Rust Macros (updated fork)
The Little Book of Rust Macros (updated fork) . Contribute to Veykril/tlborm development by creating an account on GitHub.
Iterator semantics for Future and Stream - https://docs.rs/futures-concurrency/latest/futures_concurrency/
For now it's a separate crate, but it is a part of the work done currently by async working group. So we can expect it to be merged into std soon.
For now it's a separate crate, but it is a part of the work done currently by async working group. So we can expect it to be merged into std soon.
docs.rs
futures_concurrency - Rust
Performant, portable, structured concurrency operations for async Rust. It works with any runtime, does not erase lifetimes, always handles cancellation, and always returns output to the caller.
❤2
This year I will be participating in RustCon as a speaker with a couple of topics I was closely tracking in the past several months. So don't hesitate to join the conference online or offline😊. The video recordings will probably be available after a 6 month delay.
🔥3
Forwarded from RustCon - конференция по языку программирования Rust
RustCon все ближе, а у нас на сайте все больше согласованных докладов. Сегодня знакомим вас с Егором Ивковым из Qdrant и его докладом «New and upcoming Rust language features»
Доклад будет особенно полезен, если у вас уже есть опыт в работе Rust и желание узнать, в какую сторону язык будет развиваться дальше. Егор обещает разобрать свежие семантические и синтаксические изменения в языке Rust (например, Const Generics и Generic Associated Types). Потом вместе обсудим, где и для чего их можно использовать, сравним, как они соотносятся с дизайном других известных языков.
А еще посмотрим на широко обсуждаемые сейчас Generic Keywords и Context и поговорим про такую острую тему как Higher Kinded Types и нужны ли они расту.
В этом году RustCon пройдет в онлайн и офлайн-форматах. Посмотреть другие доклады программы и купить билет по ранней цене можно на сайте.
Доклад будет особенно полезен, если у вас уже есть опыт в работе Rust и желание узнать, в какую сторону язык будет развиваться дальше. Егор обещает разобрать свежие семантические и синтаксические изменения в языке Rust (например, Const Generics и Generic Associated Types). Потом вместе обсудим, где и для чего их можно использовать, сравним, как они соотносятся с дизайном других известных языков.
А еще посмотрим на широко обсуждаемые сейчас Generic Keywords и Context и поговорим про такую острую тему как Higher Kinded Types и нужны ли они расту.
В этом году RustCon пройдет в онлайн и офлайн-форматах. Посмотреть другие доклады программы и купить билет по ранней цене можно на сайте.
🔥5
Rust 1.65.0 released!🥳
Main features
- Generic Associated Types
-
https://blog.rust-lang.org/2022/11/03/Rust-1.65.0.html
Main features
- Generic Associated Types
-
let ... else ... statementshttps://blog.rust-lang.org/2022/11/03/Rust-1.65.0.html
🔥4❤1🎉1
With GATs getting into Rust and all that, what do you think about Higher-Kinded Types? Should they be introduced into Rust?
GitHub
Higher kinded polymorphism · Issue #324 · rust-lang/rfcs
Issue by tiffany352 Monday Sep 02, 2013 at 01:14 GMT For earlier discussion, see rust-lang/rust#8922 This issue was labelled with: A-typesystem, I-wishlist in the Rust repository Rust doesn't s...
Should Higher Kinded Types be added into Rust?
Final Results
51%
Yes
12%
No
29%
Not certain
8%
Not using Rust
Forwarded from ozkriff.games 🦀 (ozkriff🇺🇦)
# Google: Memory Safe Languages in Android 13
https://security.googleblog.com/2022/12/memory-safe-languages-in-android-13.html
> There are approximately 1.5 million total lines of Rust code in AOSP ... To date, there have been zero memory safety vulnerabilities discovered in Android’s Rust code.
> ...
> In general, use of unsafe in Android’s Rust appears to be working as intended. It’s used rarely, and when it is used, it’s encapsulating behavior that’s easier to reason about and review for safety.
> ...
> As the amount of new memory-unsafe code entering Android has decreased, so too has the number of memory safety vulnerabilities. From 2019 to 2022 it has dropped from 76% down to 35% of Android’s total vulnerabilities. 2022 is the first year where memory safety vulnerabilities do not represent a majority of Android’s vulnerabilities.
/r/rust discussion
https://security.googleblog.com/2022/12/memory-safe-languages-in-android-13.html
> There are approximately 1.5 million total lines of Rust code in AOSP ... To date, there have been zero memory safety vulnerabilities discovered in Android’s Rust code.
> ...
> In general, use of unsafe in Android’s Rust appears to be working as intended. It’s used rarely, and when it is used, it’s encapsulating behavior that’s easier to reason about and review for safety.
> ...
> As the amount of new memory-unsafe code entering Android has decreased, so too has the number of memory safety vulnerabilities. From 2019 to 2022 it has dropped from 76% down to 35% of Android’s total vulnerabilities. 2022 is the first year where memory safety vulnerabilities do not represent a majority of Android’s vulnerabilities.
/r/rust discussion
🎉4👍1
The one I've been waiting here for is definitely
Had a few actual cases for this, when the code which is meaningful is optimised away.
hint::black_box that recommends to compiler to disable optimisations in a particular place.Had a few actual cases for this, when the code which is meaningful is optimised away.
👍3
Forwarded from ozkriff.games 🦀 (ozkriff🇺🇦)
# Rust 1.66.0
Highlights:
- Explicit discriminants on enums with fields
-
-
https://blog.rust-lang.org/2022/12/15/Rust-1.66.0
/r/rust discussion
Highlights:
- Explicit discriminants on enums with fields
-
core::hint::black_box
- cargo remove-
..=X ranges in patternshttps://blog.rust-lang.org/2022/12/15/Rust-1.66.0
/r/rust discussion
blog.rust-lang.org
Announcing Rust 1.66.0 | Rust Blog
Empowering everyone to build reliable and efficient software.
👎1
You don't need to debug if there are no bugs. Any valid Rust syntax is guaranteed to be bug free and do exactly what you intend for it to do. The people that still debug are the ones who haven't figured out that smashing your face on the keyboard and pushing straight to production is perfectly valid in the Rust context.From reddit
Reddit
NullSurplus's comment on "How do you usually debug your Rust code?"
Explore this conversation and more from the rustjerk community
👎1
Forwarded from Awesome Rust
cargo-show-asm: get asm of any local crate or library or function
https://github.com/pacak/cargo-show-asm
#cargo #asm
https://github.com/pacak/cargo-show-asm
#cargo #asm
GitHub
GitHub - pacak/cargo-show-asm: cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code
cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code - GitHub - pacak/cargo-show-asm: cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code
👍4👎1
Support for Rust is being added to the Chromium project, so that contributors could use Rust libraries from their C++ source.
https://security.googleblog.com/2023/01/supporting-use-of-rust-in-chromium.html?m=1
https://security.googleblog.com/2023/01/supporting-use-of-rust-in-chromium.html?m=1
Googleblog
Supporting the Use of Rust in the Chromium Project
Posted by Dana Jansens (she/her), Chrome Security Team We are pleased to announce that moving forward, the Chromium project is going to s...
👍2👎1🔥1