Oh, this is cool! New rust-analyzer command.
"rust-analyzer: Evaluate Predicate"
Then type in the type and bound and it'll tell you whether it holds. So, you don't have to go through source code anymore.
#rustlang
Remote
Dion Dokter
@diondokter@fosstodon.org
mastodon 4.7.3Embedded tech lead at Tweede golf. I love programming in Rust.
0 Followers
0 Following
26 Posts
Joined November 11, 2022
Github:
Country:
The Netherlands
Main project:
Final part of my async blog!
https://tweedegolf.nl/en/blog/237/async-rust-never-left-the-mvp-state
Last time I shared some tips for improving your async code. Now we look at why the compiler doesn't do it for us.
I want to fix it in the compiler, but I need your help! If you can help with funding, reach out to me.
Please share :)
Is your async too fat? You can trim it down with these tips!
Please share as I've noticed not many people are aware of this. This is also just part 1 of a 2 part series. Part 2 should be out soon!
Dude who's doing some unethical shit asks everybody to please not consider the ethical implications
I'll be at RustWeek too!
I'd love to talk with you all about my OSS project like device-driver or my async optimization plans, but also any general embedded Rust topic :)
So if you see me around, feel free to walk up!
I've been a fan of Delta for like 10 years now. Performed well on stage!
Intercity trains: Zoom through the country with very little stops
Also intercity trains for some reason: Stop at a town of 18k people
Replying to
@chrysn Could? Well yes of course in the literal sense of the word.
Futures have surprisingly few guarantees, so them being lazy is one of the only ones. If I were to guess, you would not get consensus on this.
Luckily you can do it manually fairly easily:
fn foo() -> impl Future {
// Eager sync stuff ...
async {
// Deferred async stuff ...
}
}
Replying to
@chrysn That's what the part 2 is about :)
Here's a sneak peek of the title: Async Rust never left the MVP state
Replying to
@cliffle also, I remember you tweeting about some stats you gathered about the scraping and such.
Maybe just turn off those metrics. Ignorance is bliss 🙂
Replying to
@epage https://epage.github.io/dev/rust-style/#m-type-assoc
Enum should go under the impl bar. Now Bar is split with the enum in the middle. Feels wrong.
I think that's all...
Anybody know why rust-analyzer is showing me an extra '/' in the inline doc view?
This happens when I generate code using the doc attr and with '///'.
Rustdoc is rendering it fine, so... RA bug?
Just wanna make sure I'm not missing anything before I open an issue :)
Replying to
@cliffle when I'm tidying my front yard, I don't do it for the Streetview car that drives by
Replying to
@epage cool, nice writeup!
I'll say that I wouldn't like this style to be enforced on the code I produce. Some of the item ordering stuff seems a little too strict to me and I have slight disagreements.
I also think it's fine for lib and mod to contain more than just reexports, within some definition of reason of course.
But I'd definitely accept PRs like this into my codebases! It's not too far off from what I naturally already do
Replying to
@epage yeah fair!
But like I said, I'm not opposed to these guidelines. Just small disagreements and it seems like you're more relaxed about them than the writeup suggested (to me).
For someone new to Rust they're good tips
Replying to
@chrysn You still create a future object with a poll function. And then in poll you return the value
This whole Rust project LLM policy thing is weird.
It seems they're gonna err on the side of not allowing or limiting LLM generated contributions, except there's this 'experiment' thing that would allow veterans to use LLMs regardless.
To me that seems like a cop-out to keep some people happy
I've been successfully nerdsniped, so here is sequential-storage version 8.0.0: https://crates.io/crates/sequential-storage
Most notable are changes in caching and a new page state cache that has a fixed 24 byte cost instead of 1 byte per flash page. So it's great for large storages and has almost the same perf.
Replying to
Replying to
@pndc@social.treehouse.systems
Just opened today:
https://ferrous-systems.com/blog/ide-compiler-engineer-hiring/
I don't know you, so I don't know if it suits you...
