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
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?
@if i think he's a poopoo face
this is a godel hate zone
@cadence doxastic logic interpreter
i have an actual project idea but i have no clue if it's even doable
hazel levine
boosted
boosted
hellsite, heavensite, purgatorysite
@luna I am going to commit genocide
@luna I'm at my fucking limit. I can't take this anymore. I can't do this.
@bee it was something about cramps or sth akin i think
a youtube video just got copyright claimed while i was watching it
pcsx2 pls
@nonphatic nothing can go on types
@quasar you.might like ReasonML or Bucklescript
@quasar "no" - sam
@quasar my professor is on tc39 and i'm 90% sure he'd say no
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
