Nadrieril

Computer scientist & mathematician. Nighttime rustc contributor

[xavxav @xldenis]

I finally wrote a little bit about verification and why Rust is interesting https://t.co/RTaqnisZXR. 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

[Nadrieril @nadrieril]

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

[Nadrieril @nadrieril]

@milomoisson Omg I love this

[Nadrieril @nadrieril]

@o_uz_a Hahaha that's exactly the vibe :D I use https://t.co/0QpgfCjY2P (the free plan is plenty good)

[Nadrieril @nadrieril]

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

[Nadrieril @nadrieril]

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 https://t.co/6f52nQUoxX

[Nadrieril @nadrieril]

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

[Nadrieril @nadrieril]

Progress :D

[Nadrieril @nadrieril]

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

[Nadrieril @nadrieril]

See e.g. @nikomatsakis in a recent panel https://t.co/wDeW9TnxZK, and @davidtwco in this blogpost https://t.co/NRQvWF40pW

[Nadrieril @nadrieril]

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, ...

[Nadrieril @nadrieril]

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

[Nadrieril @nadrieril]

@o_uz_a :D Excellent

[Nadrieril @nadrieril]

@xsphi :D sed-ing binaries ftw

[Nadrieril @nadrieril]

plz merge my PRs to feed my code addiction

[Nadrieril @nadrieril]

@o_uz_a @Nilstrieb Amazing :D

[Nadrieril @nadrieril]

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

[Nadrieril @nadrieril]

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

[Nadrieril @nadrieril]

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