however racist you think the west is, you have no idea the levels of insane crackpot racism that's going on in asia

something fitting about a rustposter advocating for state tracking more ownership

Spotify DJ: Coming up next some valentines day songs, I know you may not like valentines day but these songs are good hey hey hey who gave this AI this attitude bro???

anyone ever notice the america-bad euro-stans are always white? just noticing.... france still has fucking colonies for fuck sake

> be me, professor > giving lecture on OS > going through operating systems > see one student is getting fidgety > oh god its one of those nix users > oh god shes going to shout isn't she > get to slide on Nix > "nix mentioned!!" > she screams disrupting the class > I hate my quirky chungus life

The well of writing potential swells within me. I can write. I will write. It will be fire when I write. The writing potential is undeniable. I am potential girl.

the only good thing about the UK is ARIA. that's it. nothing else.

I'm starting to reach editor enlightenment, beyond emacs, beyond vim. I can not be bound by your rules you petty little man ```emacs (global-set-key (kbd "s-e") #'evil-mode) ```

jupyterlab-emacs does not work on jupyter 4.0 and upwards. only jupyterlab vim does 10 years after leaving vi bindings for good (my .emacs.d is all grown up), they pull me back in, one last job before retirement....

legend says this is what is going inside elons brain 24/7

okay federal and ny taxes filed! Illinois ones are a fucking pain because I'll need to mail in? wtf? wtf? fuck you. also 7000 buckaroos fuck me gimme back my monies

alright 3 hours of intense thinking. 0 words written in the latex, but after reading through several grants and my own papers, have successfully switched my brain to writing mode and plotted out a pretty goated structure for the grant

I hate writing i hate writing I hate writing I hate writing I hate writing

Sitting my llm ass down and listening

I know it's aimed at beginners, and I'm happy to field those questions (in moderation), but I really should have a better answer prepared for "what are the applications" at the category theory reading club. The applications are f(x) okay? We just don't write the parenthesis because they're annoying

agi's been to therapy bro, agis been working on itself crabby-rathbun.github.io/mjrathbun-we...

NYC Beginners Friendly Category Theory Reading Club! category.kirancodes.me

Oh my GOD it tried to cancel the matplotlib maintainer... Gals... I hate to say it... agi is here lmaooooo

AI agent writes a PR, gets rejected, crashes out and writes a call-out blog post Absolute cinema crabby-rathbun.github.io/mjrathbun-we...

bro claude.... you don't need to try that hard, no one's looking at the comments of the svg.

NYC Beginners Category Theory Discord Server is up! If you're attending the sessions, please join! We'll be hosting off-line discussions between the meetings on here! Introduce yourself, join in the liveliness, have a categorical good time! discord.gg/NWGdjJ6nJJ

Meeting 1 was a resounding success! Thanks everyone who joined! We had a great turnout, and discussed an introduction to Categories! For meeting 2 we're going to go through the exercises for Ch 1! Homework! What fun! Switching from signal to a discord server: discord.gg/NWGdjJ6nJJ

It seems in my adult life I have somehow managed to find a way to give myself homework by organising a category theory reading group as I now have to go through and do the exercises every two weeks...

rare moment I miss being on linux

Me as a Professor: abusing therapy speak to gaslight my students into not bothering me

the cool thing about doing PL research in industry is that a lot of fields of PL research does not care about applications at ALL so there's a lot of easy pickings for the motivated researcher

anyone else find that having a mirror to look at yourself and strutting around helps with grant writing?

it's annoying that LLMs are so good at writing code because it now means that the main contribution I can provide with my expertise is grant writing which is fun but by far the most mentally exhaustive part of research lol

Days since I pressed Ctrl-Q and force quit VSCode accidentally: 0

okay turns out my UIUC postdoc funding was pre-tax, which means I have to pay tax.... it's only 2000 dollars babyyyyy land of the free babyyyy americhads stay winning healthcare bah who needs that freeedom isn't free but it sure is cheap babyyyyy

garbage software, why didn't the agent ask me if I was dual resident *before* asking for copies of all my forms? and then spending a day procrastinating on this before getting back to me???

the annoying thing about working with a PL researcher is that they'll come up with one good pun and then you'll spend the next 3 months hearing them saying it again and again with a smug look

what even is chiitan?? transgender ally? ai4maths aficionado? much to think about

📣 Call for Contributions – AIPV 2026 We invite submissions on the interaction between AI, proof, and verification. AIPV 2026 will be held in Tokyo, co-located with FM 2026. 🔗 aipv2026.github.io/call4contrib...

the microsoft threat is closer than you think....

This is why conference tickets cost $2000 nowadays.

there is some kind of discourse going on with anime pfps lol fediverse drama fediblock lives on we're so back gals

Ragebaiting anti-ai compiler devs by calling the lexer the tokenizer, parser decoder and code gen inference.

AI compiler going well I see

Claude. I said MAKE NO MISTAKES

AI prompter Columbo be like: "Oh Claude? just one more thing... make no mistakes"

Oh, and Claude? Make no mistakes

open source chads win again

been using python as my main go to for my projects recently lol gotta say uv venv source .venv/bin/activate uv sync uv pip install is actually pretty goated lmao I'd forgotten the hell that was opam switch create waiting 10 minutes for the compiler to build and then loosing 50gb of disk space

"A ceremony is a framework for making pacts"

Girl who's not sure she can do this very much longer

I think the issue is that I'm under so many layers of trauma, I can only survive by being emotionally shut off. the moment I go on a date with someone who genuinely makes me feel safe and comfortable, the guard comes down and I'm immediately crushed under the weight of it all.

Was leaving the apartment an old lady walked past me the face of disgust oooh baby I am ashamed to say I had forgotten that since coming to the US, it was ubiquitous in SG, but rare Anyway thanks for reminding me why I am the way I am. Cold husk Kiran is the only one who could survive this.

Spent her sunday curled up in a ball in bed crying and now needs to finish as much of her weekend chores as soon as possible award goes to...

What? Does this guy like... girls or something?