aured.bsky.social
Non-working mathematician, Part-time safe, correct, invariant respecting byte shuffler, full time enjoyer of transit
22 he / they
18+ only. NSFW content posted.
444 posts
441 followers
503 following
Regular Contributor
Active Commenter
comment in response to
post
personally i love arena shooters
comment in response to
post
i need to do more category pilled math eventually. i keep putting it off bc a lot of the stuff feels like it takes more work to internalize than a lot of other areas (at least that's my experience reading Riehl). ill give it another go sometime
comment in response to
post
This is excellent
comment in response to
post
Fira code
comment in response to
post
This
comment in response to
post
new kirby air ride + fromsoft tho
comment in response to
post
i so need to listen to kendrick lamar
comment in response to
post
SO TRUE, my 8th grade french teacher introduced his stuff
comment in response to
post
are you all right man? D:
comment in response to
post
kid a
comment in response to
post
how do i make a gender related to large cardinals joke
comment in response to
post
SEND BUS/TRAIN PICS
comment in response to
post
It's also just so unintuitive it feels like. Dependent types fuck with my brain; im sure I could do something with it but a lot of it is already done in mathlib
comment in response to
post
Nice! I took a class on Lean last semester and made some dreadful attempts at formalizing basic category theory š how are you liking the language?
comment in response to
post
OK Computer and In Rainbows are the 2 albums on my shortlist RN
comment in response to
post
Um. Ahaha. Uhh. Um....
comment in response to
post
I loathe TPOT thought with every fiber of my being
comment in response to
post
We have a fucking awesome systems class that most people take as sophomores too! You have to heavily work with libc!! Assembly, types of memory, linking, virtual memory, compiling... There's so much to get your hands dirty with and it's insanely cool yet I've seen people ChatGPT the programming HWs.
comment in response to
post
I switched back to kde it expected me to manually mount usb drives every time š
comment in response to
post
Being a student at college, I am not surprised by a lot of people who strive for Big Tech Jobs doing so for the express purpose of money and prestige, this is really common sadly
comment in response to
post
A lot of ārainbow capitalismā was really just progressive, diverse, and/or queer employees trying to use their power in a large company to push a good message, not a conspiracy by the board of directors to get rich off gay people.
comment in response to
post
Reading the thread and I have some opinions but I don't know how much of it comes down to "places with more funding give you more opportunity"
comment in response to
post
when you say, e.g., that the 14th amendment does not include birthright citizenship, you are advocating for a constitutional regime without birthright citizenship. you donāt get to somehow free yourself from the moral implications of that.