Nadrieril

I finally wrote a little bit about verification and why Rust is interesting xav.io/blog/rust-form…. If it interest people I'm planning on writing more on design of specification languages for Rust and the implementation of verifiers in and about Rust

Could `Send` be an effect (within an async Fn)?

@milomoisson Omg I love this

@o_uz_a Hahaha that's exactly the vibe :D I use miro.com (the free plan is plenty good)

My rustc exhaustiveness checking master plan :D (pink is PRs waiting for review, green is code already written)

The PR was adding the `never_patterns` feature gate, which is an important step in my little project of fixing the support of empty types in pattern matching github.com/rust-lang/rust…

Celebrating my 50th PR merged into the rust project! I feel like a seasoned contributor now

Progress :D

I'm dreading the RFC tbh. I'm expecting an onslaught of "what about X tho??" that may be very taxing

See e.g. @nikomatsakis in a recent panel youtube.com/watch?v=pM_c4H…, and @davidtwco in this blogpost borrowed.dev/p/on-ongoing-w…

This is your regularly scheduled remainder that what the Rust project could use the most right now is non-coding organisational help. Ppl to run meetings, to document what the project is doing, to help triage, track projects, get the right people to look at the right things, ...

@o_uz_a What kind of compiler education are they looking for?

@o_uz_a :D Excellent

@xsphi :D sed-ing binaries ftw

I'll leave you with this, one of the funniest tidbits I've come across in this whole project. I now have a pacman hook to run this command after each VLC update unix.stackexchange.com/a/199422

the modern Linux desktop security model, despite being fairly consistent across distros, is confusing, insecure and cargo culty. let's figure out how to do better. 🧵

plz merge my PRs to feed my code addiction

@o_uz_a @Nilstrieb Amazing :D

I heard that MIR generation for matches is one of the trickiest parts of the compiler and now I'm itching to play with it

1 and 2 are looking good, I have concrete plans for 3, and 4 is fully in the air until I understand it and/or someone helps push it forward

My goals for the exhaustiveness algorithm: - linear pass, because it's currently quadratic. won't save as much time as it sounds but cleaner - explain it clearly for everyone - librarification, so rust-analyzer can do cool things - never patterns, to stabilize exhaustive_patterns