Block or report user

Report or block orium

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse



Pinned repositories

  1. rpds

    Rust Persistent Data Structures

    Rust 274 14

  2. strava-pr

    Analysis of your Strava personal records

    Scala 4

  3. myslock

    Fork of slock with pw-mode


485 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri

Contribution activity

August 2018

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

Make the trait resolver accept coinductive predicates if they are found up in the proof tree

This implements part of what @nikomatsakis mentioned in #30533 (comment): If you find that a new obligation is a duplicate of one already in the …

+309 −93 8 comments

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

Document how edition 2018 handles optional dependencies without `extern crate`

It is not clear how to handle optional dependencies now that extern crate is no longer need. For instance, say we have a project that optionally us…

26 contributions in private repositories Aug 2 – Aug 20

Seeing something unexpected? Take a look at the GitHub profile guide.