Skip to content
View pink10000's full-sized avatar
29 followers · 95 following

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Quickdraw

Highlights

  • Pro

Organizations

@cse11fall2023 @UCSD-computational-number-theory @Grace-Note-LLC @CSE29Spring2025

Block or report pink10000

Report abuse

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

Report abuse
pink10000/README.md

my favorite programming languages in no particular order:

  • lean4
  • rust (i am actually really bad at rust but it feels right to write so i'm putting it here)
  • python
  • go

my least favorite programming lanugages (but in a particular order):

  • javascript
  • python

Pinned Loading

  1. termail termail Public

    terminal mail client inspired by mutt and notmuch

    Rust 6

  2. pink10000.github.io pink10000.github.io Public

    self website (finally)

    Astro

  3. notes notes Public

    TeX 1

  4. Grace-Note-LLC/distributed-chess Grace-Note-LLC/distributed-chess Public

    C++ 1