tef
tef.bsky.social
tef
@tef.bsky.social
i used to take pictures of crows, but it's been a while

they/them thanks
in "no one cares but me" news, the little treap code i am playing with has range queries now

after parameterizing things, everything decomposes into like three basic operations (lookup, split, join) + five specialized versions (replace, delete, subset, join-disjoint, join-three-disjoint)

neat
November 10, 2025 at 11:51 PM
posting entirely for my own entertainment, as usual
November 10, 2025 at 11:15 PM
welcome
November 10, 2025 at 11:05 PM
Reposted by tef
The piss tank on the ISS is now 69% full.
November 10, 2025 at 4:34 AM
great news: seen more sunlight today than i have for last 3 days, and i have only been awake an hour
November 10, 2025 at 2:31 PM
can't trick me, i'm not going to read an nyt opinions page
November 10, 2025 at 2:22 PM
one of those weeks of stuff happens in a weekend weekends huh
November 10, 2025 at 1:44 AM
have been reminded that the Comparable type in golang is not actually comparable (that's cmp.Ordered)
November 9, 2025 at 1:42 AM
Reposted by tef
Haha, this from the New Yorker is getting passed around the math dork community. I did a comic about this kind of thought a few years ago: www.smbc-comics.com/comic/commut...
November 7, 2025 at 5:26 PM
Reposted by tef
"6-7"?! Boy I say boy you gen alpha kids cant be doin' that! Your signifiers need signs boy! You've laid a rhetorical claim to an empty space son! You're creatin' a nihilistic dialectic! Your broccoli hairs obfuscatin' some much needed communication! Find some MEANIN', kid!
November 8, 2025 at 6:22 PM
i am at it again, but honestly the last three calls went well, so i am not completely without hope
buying a lottery ticket because i want to experience something with better odds than a job interview
November 8, 2025 at 7:07 PM
Reposted by tef
sorry I've been like this for the past thirteen years I was dehydrated
November 7, 2025 at 9:45 PM
Reposted by tef
I come home to my perfectly spherical wife. she does not greet me because her firmware is updating. we are happy.
November 8, 2025 at 4:25 AM
good morning, there's about 20 minutes until sunset
November 8, 2025 at 4:00 PM
saw a post suggesting that "ai does 70% of the work for you" but all i can think about is the study that found "using ai makes you 19% slower"

arxiv.org/abs/2507.09089

so if you handwave the math: ai does 70% of the work and makes the remaining 30% about four times as hard as a result, qed
November 8, 2025 at 6:28 AM
free video game opinion: having lives and gameover/permadeath in videogames is an artifact of arcade machines and their thirst for loose change

even kaizo mario games have given up with lives/gameover and moved to "death count", as whatever N you pick for "do this in under N deaths" won't help much
November 8, 2025 at 5:05 AM
ahem, ass isn't a swear, in fact your ass is a universal pronoun *

bsky.app/profile/prof...

* no, really personalpages.manchester.ac.uk/staff/andrew...
@tef.bsky.social has swears! They've used 283 profanities in their last 6,386 posts.

🥇 "shit" (41 times)
🥈 "ass" (31 times)
🥉 "fuck" (27 times)
November 7, 2025 at 3:51 AM
@profanity.accountant count please and thank you
November 7, 2025 at 3:28 AM
making a terrible post and cackling to myself about it
November 7, 2025 at 2:14 AM
videos that live rent free in my head: biggie smalls buys a super nintendo www.youtube.com/watch?v=8Kov...
Biggie smalls goes to buy snes
YouTube video by The anti-swag Corporation
www.youtube.com
November 7, 2025 at 2:11 AM
i gotta say, twitch is absolutely brimming with great djs
November 6, 2025 at 10:26 PM
duke nukem forever took 14 years from announcement to release

gta 6, if released in 2026, will have taken 12 years. amateurs
November 6, 2025 at 10:01 PM
can't believe the pro war, pro genocide, anti union paper would publish a screed about ... race? [opens tab] oh, gender
November 6, 2025 at 4:34 PM
q-tip is having his 5am zoomies again.
November 6, 2025 at 4:34 AM
every so often you stumble onto a website with a real "old web" texture and today it is a database of elevators

www.elevatordatabase.com
November 5, 2025 at 11:13 PM