cohost.org/CohenArthur | @cohenarthur@hachyderm.io | @gcc_rust co-lead with @the_philbert. he/him

Joined January 2021
27 Photos and videos
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
34
3,703
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
24
2,969
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
642
type Arthur(working_on: gccrs | jinko); retweeted
9 Sep 2025
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,211
type Arthur(working_on: gccrs | jinko); retweeted
5 Aug 2025
Monthly report for July 2025: rust-gcc.github.io/2025/08/0…

5
13
2,738
type Arthur(working_on: gccrs | jinko); retweeted
17 Jul 2025
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
10
1,927
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
115
17,465
type Arthur(working_on: gccrs | jinko); retweeted
4 Jun 2025
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
14
2,186
type Arthur(working_on: gccrs | jinko); retweeted
15 Apr 2025
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,170
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…

22
231
1,125
63,361
type Arthur(working_on: gccrs | jinko); retweeted
6 Feb 2025
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,227
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
75
2,728
type Arthur(working_on: gccrs | jinko); retweeted
7 Jan 2025
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,902
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,251
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…

12
208
1,061
54,163
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
What did I do in rustc in November? hackmd.io/@compiler-errors/e…
2
6
48
4,646
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,043
type Arthur(working_on: gccrs | jinko); retweeted
2 Dec 2024
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,127
type Arthur(working_on: gccrs | jinko); retweeted
New progress report on the GCC rust backend! blog.antoyo.xyz/rustc_codege…

2
24
995