hazel levine 
@hazel@types.pl
Admin
types.pl admin & creator.
cs/pure math undergraduate at indiana university bloomington. my gender is a nonlinear system 
. i like racket a normal amount.
(\_/)
( •_•)
/ > 
Joined Oct 2020
Pinned toot
This message was sent from a non-IU address. Please exercise caution when clicking links or opening attachments from external sources.
Pinned toot
Pinned toot
Pinned toot
welcome to PL mastodon we have
- nobody
why does IU use two seperate SSO systems that you have to sign into
hazel levine
boosted
boosted
@hazel What kind of dumb nerd actually reads the Principia Mathematica?
this is a godel hate zone
i have an actual project idea but i have no clue if it's even doable
hazel levine
boosted
boosted
hellsite, heavensite, purgatorysite
a youtube video just got copyright claimed while i was watching it
pcsx2 pls
finally updated my server to 20.09
anybody have any good fonts for agda in emacs
rustc destroys my cpu live
hazel levine
boosted
boosted
we have a logo now
sudo nixos-rebuild switch
P=NP (pants = not pants)
This message was sent from a non-IU address. Please exercise caution when clicking links or opening attachments from external sources.
I should probably actually attend a PLMW but no I'm just going to hide in my corner
Admin
types.pl admin & creator.
cs/pure math undergraduate at indiana university bloomington. my gender is a nonlinear system . i like racket a normal amount.
(\_/)
( •_•)
/ >
Joined Oct 2020
