"a basic principle of lean's logic is that functions are functions" — The Lean Language Reference, §15

aerospace my beloved

yabai may actually be the worst thing i have ever willingly installed on my computer

speculative branching is bullshit. i know what i am doing, i dont need a stupid rock to decide how my program should run for me

"the rest are left as exercises" kills you

Man fuck this shit i'm getting into organized crime

becoming incredibly powerful and beautiful by learning rust procedural macros

unironically my favourite birthday present might be the constructive and friendly reply i got on a github issue

i was unc. i’m unc right now

selling used garments imbued with the creators love, passion, and slime-like substance because they were made by slugs I keep in a sweatshop

t-5 hours to unc

wow this video is really interesting. could you stop throating the microphone though

i am normal and can be trusted with compiler internals

is the artist culture on this platform really just mandatory joyposting and ai witchhunts?

one day i’ll have a plan to get my life together. probably tomorrow or something

i do not trust you with a computer

every time you don't use ai i drink 1000 glasses of water to make up for it

im really smart ive been told

"young adult" no it's called old man. i'm literally a year or two away from turning into dust

<boring name>, a fast and simple programming language with clean syntax (it's just a bastard child of C and Rust)

the Falklands war was an act of imperialism by a European country (Argentina, 97% white) against the indigenous people (the English) of the Falklands and their suzerain, a country with substantial populations from the Global South (the UK, 86% white)

they should make bpd for men

Oliver "Eikopf" Dugin is a Russian far-right political philosopher. He is the leading theorist of Russian neo-Eurasianism. Born into a military intelligence family, he was an anti-communist dissident during the 1980s, and joined multiple far-right organizations. also he owes me 20 dollars.

sane people: celebrating christmas by spending time with their loved ones me: CalDAV!!! iCalendar!!! figuring out how iCloud's CalDAV works for my task app!!!

mathematicians be like group theory set theory and category theory are all different things

jesus has nothing on my suffering oh my fucking god

it is -1 and i’m standing here in my fucking togs

happy birthday catholic jesus, other jesuses please wait your turn

i wish to use nix, but not write any of it nor manage it nor know anything about it

virgin jblow vs chad sean barrett

agreed to jump into a lake in subzero temperatures on christmas morning i am going to die

being right-wing in 2025 looks so exhausting you can't just say "hey, i like pancakes" every statement needs to be filtered through the grift, like "THE LEFT is force-feeding you WAFFLES"

a nation with immense potential

fondly imagining what it would be like if i woke up on christmas morning and it had finally happened

putting my argument into a coloured box so it’s clear i’m doing Maths and it’s Objective

very cute dog on this bus staring directly at me he must hate bald people

is there a way to prevent a library consumer from observing that a type is a ZST?

there was a reply guy in my dream who said something so stupid i had to wake up and get mad. i ragebaited myaelf

heard some kids shouting "sigma balls" at each other on the train. they must be up and coming measure theorists

i hope feynman is burning in hell for convincing the general public that all formal concepts can be easily communicated

if i hear one more person talk about arenas as the pinnacle of performant memory management i’m going to go insane

i need a way to work “strvthnvke” into a joke

forgot the word stigmata so i googled jesus holes

here's some incredibly boring information about decentralized technology

It is possible to be pro AI and anti slop...in my heart....