Skip to content
View theemathas's full-sized avatar
14 followers · 0 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull SharkAchievement: Starstruck

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull SharkAchievement: Starstruck

Block or report theemathas

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. binary_turk binary_turk Public

    A UCI (Universal Chess Interface) chess engine written in the Rust programming language

    Rust 20

  2. advent-of-code-2019-haskell advent-of-code-2019-haskell Public

    Haskell 1

  3. small_iter small_iter Public

    A rust crate providing a 3-pointer iterator that moves out of a `Vec<T>` or `Box<[T]>`

    Rust 1

  4. unchecked_wrap unchecked_wrap Public

    Convenient UncheckedSync/Send wrapper types

    Rust 1

  5. rust rust Public

    Forked from rust-lang/rust

    a safe, concurrent, practical language

    Rust

  6. rfcs rfcs Public

    Forked from rust-lang/rfcs

    RFCs for changes to Rust

    Markdown

171 contributions in the last year

Skip to contributions year list
Contribution Graph
Day of Week August September October November December January February March April May June July August
Sunday
Monday
Tuesday
Wednesday
Thursday
Friday
Saturday
Learn how we count contributions
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More

Contribution activity

August 2025

Created a pull request in rust-lang/rust that received 5 comments

Make I-miscompile imply I-prioritize

Since I-unsound already implies I-prioritize, it makes sense that I-miscompile should do the same.

+1 −0 lines changed • 5 comments
Reviewed 1 pull request in 1 repository
rust-lang/rust 1 pull request

Created an issue in rust-lang/rust that received 6 comments

Match guard can both move and static-promote a single constant.

I'm not sure if this is a bug or not. I expected the below code to produce a compile error, but instead it compiles fine. struct Thing; fn foo() -> &'

6 comments
Opened 19 other issues in 1 repository
Loading