Michael (compiler-errors) Goulet
@errs.io
馃摛 588
馃摜 96
馃摑 71
i work on rust mostly
https://errs.io
i'm noticing i am a lot saltier about being fired than i originally thought i would be
27 days ago
2
39
1
trying to make sense of ocaml modules and their conceptual relationship to rust traits... rust essentially enables "module inference" which i think is neat, especially thinking about what constraints this requires compared to ocaml where modules need to be named directly in functors
28 days ago
2
14
1
reposted by
Michael (compiler-errors) Goulet
Graydon Hoare
about 1 month ago
I wrote about this sort of corporate mis-allocation of maintainer roles a while back and it's tragic to see such a vivid example. Let maintainers be maintainers!
graydon2.dreamwidth.org/306832.html
add a skeleton here at some point
1
33
5
Today鈥檚 my last day at AWS working on the Rust compiler. Unfortunately, back in July I received notice that I had to choose between moving to Boston from NYC, or leaving the company due to RTO policy. I unfortunately couldn鈥檛 abandon the city I plan on being my long term home.
about 1 month ago
1
139
14
coding interviews are a joke and i'm gonna be so pissed if i can't get a job because i don't know how to find some "trick" to solve some toy problem that has nothing to do with developing and maintaining a massively complex compiler codebase, which is a thing that i *am* actually good at doing.
2 months ago
4
96
7
reposted by
Michael (compiler-errors) Goulet
sophie alpert
3 months ago
I wrote a blog post
sophiebits.com/2025/07/21/t...
loading . . .
TODOs aren鈥檛 for doing
https://sophiebits.com/2025/07/21/todos-arent-for-doing
3
84
19
github.com/rust-lang/ru...
is the beginning of a fix for all the nonsense lifetime errors you probably encounter when writing async code in Rust that heavily uses lifetimes.
github.com/rust-lang/ru...
If you've ever hit any of these issues, I'd like your feedback when that PR lands.
loading . . .
Consider WF of coroutine witness when proving outlives assumptions by compiler-errors 路 Pull Request #143545 路 rust-lang/rust
TL;DR This PR introduces an unstable flag -Zhigher-ranked-assumptions which tests out a new algorithm for dealing with some of the higher-ranked outlives problems that come from auto trait bounds o...
https://github.com/rust-lang/rust/pull/143545
3 months ago
3
33
3
Howdy all. I'm unfortunately not going to be with my employer for much longer due to team relocation. If anyone has any info on roles that would allow me to continue my Rust compiler work (in New York City), they'd be greatly appreciated.
3 months ago
2
92
46
reposted by
Michael (compiler-errors) Goulet
Alona
4 months ago
don't talk to me or my son ever again
0
48
6
reposted by
Michael (compiler-errors) Goulet
Erik Jonkers
5 months ago
On my way back home after RustWeek 2025. So, so proud that we hosted the Rust Project All-Hands, the 10 years of Rust celebration, and the biggest Rust conference yet. See you all next year! Thanks to my co-organizers Jana, Laura,
@tertsdiepraam.bsky.social
and
@mara.bsky.social
鉂わ笍
#rustlang
#rust
1
40
10
reposted by
Michael (compiler-errors) Goulet
Rust Language
5 months ago
Live from the 10 Years of Rust celebration in Utrecht, Netherlands, we are very happy to announce a new version of Rust, 1.87.0! See the blog post and release notes for all the details!
blog.rust-lang.org/2025/05/15/R...
3
195
45
I feel like the work i did to improve diagnostics in
github.com/rust-lang/ru...
is paying off a lot now. I see it all the time. We now report "purely additive" typo fixes for things like methods using an inline syntax that highlights what to *add*, rather than the whole identifier.
5 months ago
4
77
6
how the heck do i write a conference talk
6 months ago
1
3
0
reposted by
Michael (compiler-errors) Goulet
Metropolitan Transportation Authority
6 months ago
A new subway diagram has arrived! MTA leadership (including MTA Chair and CEO Janno Lieber and Chief Customer Officer Shanifah Rieara) unveiled a reimagined subway map, its first new design in half a century. Check out the new map on digital screens in stations, and as it rolls out on train cars 馃殗
loading . . .
1
67
14
reposted by
Michael (compiler-errors) Goulet
RustNL
6 months ago
** Speaker announcement ** Catch this talk at RustWeek 2025! Speaker: Michael "compiler-errors" Goulet /
@errs.io
Title: (Almost) Everything You Should Know About The Compiler Frontend Info & tickets:
rustweek.org/talks/errs/
See you in Utrecht 13-17 May, 2025!
#rustweek
#rustlang
loading . . .
(Almost) Everything You Should Know About The Compiler Frontend - RustWeek 2025
RustWeek 2025, The Netherlands - May 13 - 17 2025
https://rustweek.org/talks/errs/
0
7
1
reposted by
Michael (compiler-errors) Goulet
waffle
7 months ago
soooo this. I started into the abyss so much, I can only see the abyss now
add a skeleton here at some point
1
21
1
onlyny.com
has the coolest mta shirt yall
7 months ago
0
5
0
reposted by
Michael (compiler-errors) Goulet
Maybe: Vickie Paladino
7 months ago
Smashing success, thanks to the G mafia that came out to celebrate 馃摳:
@jeremyzorek.bsky.social
, me x2
add a skeleton here at some point
0
16
2
I contributed quite a few things to this release, including async closures and lots of parts of Edition 2024. I'm glad that it's finally out 馃挅馃
add a skeleton here at some point
8 months ago
4
65
2
reposted by
Michael (compiler-errors) Goulet
Ibraheem Ahmed
9 months ago
No I don't want AI generated PRs on my repository thank you very much
4
13
2
i should stop working on public-facing features. i'm going to lock myself in a monastery and only refactor decrepit deeply-internal compiler apis that nobody can have opinions.
9 months ago
1
23
0
lots of existential dread recently i'd like to work on rust in peace pls :>
9 months ago
0
15
0
oh hello
9 months ago
0
3
0
What did I do in December in rustc?
hackmd.io/@compiler-er...
loading . . .
This Month in @compiler-errors (rustc contributions) - December 2024 - HackMD
What the heck did I do in December?
https://hackmd.io/@compiler-errors/errs-december-2024
9 months ago
0
14
0
Async closures went from (practically) unimplemented to stabilized (on nightly) in approximately a year. Hopefully they'll land fully stable in 1.85, and I hope they help solve some of your async problems.
github.com/rust-lang/ru...
loading . . .
Stabilize async closures (RFC 3668) by compiler-errors 路 Pull Request #132706 路 rust-lang/rust
Async Closures Stabilization Report This report proposes the stabilization of #![feature(async_closure)] (RFC 3668). This is a long-awaited feature that increases the expressiveness of the Rust lan...
https://github.com/rust-lang/rust/pull/132706
10 months ago
0
36
6
What did I do in rustc in November?
hackmd.io/@compiler-er...
loading . . .
This Month in @compiler-errors (rustc contributions) - November - HackMD
What did I do in November?
https://hackmd.io/@compiler-errors/errs-november
10 months ago
1
20
0
Wow! The new trait solver now fully builds the Rust compiler. Huge milestone. Now comes the long tail of getting all the *other* crates in the world to compile too :)
github.com/rust-lang/ru...
loading . . .
[DO NOT MERGE] bootstrap with `-Znext-solver=globally` by lcnr 路 Pull Request #133502 路 rust-lang/rust
A revival of #124812. Current status: ./x.py b --stage 2 passes 馃帀 commits support revealing defined opaque post borrowck聽#133501 do not constrain infer vars in find_best_leaf_obligation聽#133493 94...
https://github.com/rust-lang/rust/pull/133502#issuecomment-2505183120
10 months ago
3
73
9
reposted by
Michael (compiler-errors) Goulet
Mark D. Levine
10 months ago
Please enjoy this animation of peak hour MTA subway service (by u/mtdfan)
loading . . .
49
2183
481
love the confidence boost (not) when you discover an unsoundness in a change you made a *year* ago
11 months ago
1
12
0
hackmd.io/@compiler-er...
I'm trying to keep better track of what I'm doing, so I wrote a "blog" "post" that summarizes most of what I did in October.
11 months ago
0
7
0
github.com/rust-lang/ru...
馃憖
loading . . .
Stabilize async closures (RFC 3668) by compiler-errors 路 Pull Request #132706 路 rust-lang/rust
Async Closures Stabilization Report This report proposes the stabilization of #![feature(async_closure)] (RFC 3668). This is a long-awaited feature that increases the expressiveness of the Rust lan...
https://github.com/rust-lang/rust/pull/132706
11 months ago
0
12
0
Spent the last few days hyperfocusing on how to represent and validate const traits intuitively in the compiler, and I'm super satisfied with the output (though this PR is still some ways from landing):
github.com/rust-lang/ru...
Very excited for the future of const traits in Rust.
loading . . .
Represent trait constness as a distinct predicate by compiler-errors 路 Pull Request #131985 路 rust-lang/rust
cc @rust-lang/project-const-traits r? @ghost for now Also mirrored everything that is written below on this hackmd here: https://hackmd.io/@compiler-errors/r12zoixg1l Tl;dr: This PR removes the bu...
https://github.com/rust-lang/rust/pull/131985
12 months ago
1
7
0
the implementation of `async` closures in Rust (i.e. `async |url: &str| { .. do_something(url).await?; }` is Really Hard to get right. brain hurts
almost 2 years ago
1
1
0
`async gen` blocks in rustc aren't too hard to implement.
github.com/rust-lang/ru...
loading . . .
Introduce support for `async gen` blocks by compiler-errors 路 Pull Request #118420 路 rust-lang/rus...
I'm delighted to demonstrate that async gen block are not very difficult to support. They're simply coroutines that yield Poll<Option<T>> and return (). This PR is WIP and in draft mode for now -- ...
https://github.com/rust-lang/rust/pull/118420
almost 2 years ago
0
6
0
you reached the end!!
feeds!
log in