type Arthur(working_on: gccrs | jinko); (@CohenArthurDev) profile picture

https://teapawt.org/t.co/i6qIXVcuxL | @cohenarthur@hachyderm.io | @gcc_rust co-lead with @the_philbert. he/him

Joined January 2021
Photo by type Arthur(working_on: gccrs | jinko); (@CohenArthurDev)Photo by type Arthur(working_on: gccrs | jinko); (@CohenArthurDev)Photo by type Arthur(working_on: gccrs | jinko); (@CohenArthurDev)Photo by type Arthur(working_on: gccrs | jinko); (@CohenArthurDev)Photo by type Arthur(working_on: gccrs | jinko); (@CohenArthurDev)Photo by type Arthur(working_on: gccrs | jinko); (@CohenArthurDev)Photo by type Arthur(working_on: gccrs | jinko); (@CohenArthurDev)Photo by type Arthur(working_on: gccrs | jinko); (@CohenArthurDev)Photo by type Arthur(working_on: gccrs | jinko); (@CohenArthurDev)Photo by type Arthur(working_on: gccrs | jinko); (@CohenArthurDev)
type Arthur(working_on: gccrs | jinko); retweeted
New gccrs report for October: rust-gcc.github.io/2026/11/0…
5
6
527
type Arthur(working_on: gccrs | jinko); retweeted
Here is our report for the first month of 2026, with an interesting little dive into a name resolution problem we fixed this month :) rust-gcc.github.io/2026/02/1…
12
33
3,796
type Arthur(working_on: gccrs | jinko); retweeted
Hi everyone! Here is our last report for the year 2025 and a small update from the team. Thanks again for a very fun 2025 and we look forward to do it all over again :) rust-gcc.github.io/2026/01/0…
10
1
24
3,049
type Arthur(working_on: gccrs | jinko); retweeted
The very nice people (like @CohenArthurDev) working on the project would also welcome help from people interested. Extremely grateful to @schwinge_thomas, Marc Poulhiès, Owen Avery, and others that are helping out regularly!
1
1
5
645
type Arthur(working_on: gccrs | jinko); retweeted
rust-gcc.github.io/2025/09/0… Short report for the month of August and a recap of the work done this summer - we're full steam ahead working on compiling core and the kernel's crate!
5
8
2,259
type Arthur(working_on: gccrs | jinko); retweeted
Monthly report for July 2025: rust-gcc.github.io/2025/08/0…
5
13
2,772
type Arthur(working_on: gccrs | jinko); retweeted
Our report for the month of June: rust-gcc.github.io/2025/07/1… Still making good progress and progressing fast towards testing the kernel's alloc crate
4
9
1,949
type Arthur(working_on: gccrs | jinko); retweeted
Bad news -- I'm not going to be with my employer for much longer due to team relocation demands. If anyone has any leads for roles that would allow me to continue my Rust compiler work (in New York City), they'd be greatly appreciated.
2
24
3
113
17,606
type Arthur(working_on: gccrs | jinko); retweeted
New report for the month of May: rust-gcc.github.io/2025/06/0… We are making good progress on core and plan on begin testing the Rust code in the kernel at the end of the summer!
7
13
2,205
type Arthur(working_on: gccrs | jinko); retweeted
Monthly report for the month of March: rust-gcc.github.io/2025/04/1… Which mentions some of the work done for supporting specialization in `core` :) We've upstreamed 600 commits to GCC this month and will continue to do so until 15.1 releases!
7
13
2,188
type Arthur(working_on: gccrs | jinko); retweeted
Rust 1.86.0 has been released!✨🎊🦀 This release adds trait upcasting, get_disjoint_mut on slices and hashmaps, #[target_feature] for safe functions, debug assertions for null pointers, Vec::pop_if, and more! Check out the blog post for all the details: blog.rust-lang.org/2025/04/0…
24
228
22
1,127
68,637
type Arthur(working_on: gccrs | jinko); retweeted
First monthly report of the year with some code snippets of our two main targets (Rust-for-Linux and Rust's core crate) to show the importance of the milestones we are working on: rust-gcc.github.io/2025/02/0…
1
10
18
2,242
type Arthur(working_on: gccrs | jinko); retweeted
Today is the 10th year anniversary of my first ever contribution to the Rust project! github.com/rust-lang/rust/pu…
2
6
73
2,728
type Arthur(working_on: gccrs | jinko); retweeted
Here is our monthly report for the month of December 2024, which includes a small technical dive into the handling of auto traits and the desugaring of for-loops: rust-gcc.github.io/2025/01/0…
7
10
1,915
type Arthur(working_on: gccrs | jinko); retweeted
Hi everyone, I wrote a blog about using MLIR for my compiler class. Please enjoy :) badumbatish.github.io/posts/…
4
22
1,252
type Arthur(working_on: gccrs | jinko); retweeted
Rust 1.83.0 has been released! 🦀✨ This release includes mutable references and pointers in const, references to statics in const, new `ErrorKind`s, and many new const methods on pointers, slices, floats, and more! Check out the announcement: blog.rust-lang.org/2024/11/2…
11
205
7
1,051
54,556
type Arthur(working_on: gccrs | jinko); retweeted
Steady rustc_codegen_gcc progress. More corner cases fixed. @rustlang blog.antoyo.xyz/rustc_codege…
2
11
747
type Arthur(working_on: gccrs | jinko); retweeted
I've been wanting to do a detailed blog or possibly series of blogs of about "Developing the Type System for GCC Rust". Its probably been one of the most difficult things I have ever done but i do think the guts of it is pretty darn close. Would people be interested?
8
3
30
1,047
type Arthur(working_on: gccrs | jinko); retweeted
New monthly report for November is out, with a slight dive into type-system fun :) and most importantly contributions from the rustc_codegen_gcc folks! rust-gcc.github.io/2024/12/0…
7
21
2,139