jae (hallowed)

@tacobelllabs.bsky.social

1 Sept

ghost malone ergo propter bones@proptermalone.bsky.social

aunc

jae (hallowed) reposted

TacoBellLabs

Replying to @fubarchitect.com

there's plenty of evidence that the first proofs of big theorems are supplanted by later more elegant and intuitive work. my pet example is erdos-ko-rado: the original proof was a tedious double induction, the current popular textbook proof came a decade later

jae (hallowed) reposted

5 Sept 2025

Replying to @fubarchitect.com

the tool is role-playing with you and correctly assigning it's class, level, and stats affect the roleplay

32m

what's your favorite keyboard shortcut mine has to be alt f4

　　　the　　　 ghostes@rem.bsjky.team

whats your favorite emoticon mine has to be this one: :(){ :|:& };:

44m

my proompting station

This post is unavailable.

48m

in contrast tho, for most people reading this, your work is 99% simple stuff that open models were sufficient for last year

Quantian@quantian.bsky.social

If you are still on the “cheap Chinese models will take share from US labs” cope train you need to get off. US labs are now distilling their own models to compete across the Pareto frontier, so Haiku is better model than Kimi at 1/8th the cost. The only reason to use it is if you MUST self-host.

47m

there's an upper limit to the number of interesting bugs one can fit into a helper function for a GET request

bsky.social/xrpc/com.atp... hehe

bsky.socialbsky.social

hell yeah an m3 kicks out shas faster than the entire 2009 bitcoin network

jae (hallowed) reposted

@ed3d.net

12h

Replying to @ed3d.net

also "the sankey community" is beautiful

jae (hallowed) reposted

13 July

if you're a professional programmer, and you have 'ops folks', they do not and have never actually trusted you, and you can treat your models like they treat you

garrison@garrison.corporate.fm

I mean it's kinda impossible to use models to write code unless you trust them

feels like a good time to resurface the 'untrusted software development practices' thread bsky.app/profile/fuba...

SpaceTessContinuum@eigenvalue.bsky.social

The bad news is that we might end up writing a lot less code in future. The good news is that we might finally be able to start building software *correctly*.

youtu.beAI is Proving Things No One Understands*YouTube video by Hank Green

oh i like this one a lot, especially @3blue1brown.com 's commentary on credit and ownership and, approximately, meaning-making it resonates with a central conflict i have with society; y'all way too into 'status' and 'credit' and it's a wonder anything useful ever gets done in that context

but steve, being a credentialist little fictional weasel, needs the credit to do the work, and so we have a system to give it to him. it's rather recent, and it's not very good, and people act like it's a central pillar of society

no disrespect to credentialism btw. i dislike it on a silly personal level, but my motives are no less base

youtu.beAI is Proving Things No One Understands*YouTube video by Hank Green

from my pov it also ties in to why we suck ass at history as a society; we really wanna know whodunnit, but most things aren't actually done by a person, as much as there's simply a person who is there when they are done. they are done by movements

youtu.beAI is Proving Things No One Understands*YouTube video by Hank Green

(miss me with the "it's capitalism" take. i know people need to eat. huge parts of this are orthogonal to people needing to eat)

youtu.beAI is Proving Things No One Understands*YouTube video by Hank Green

personally i'm excited for the proto-borg thought that promptly emerges when you can't expect to have your name on the world changing paper that's how operators are, broadly. no one gets credit for the site staying up. so it takes a type

it's sorta bullshit to credit the openai paperdump papers to "openai", but not because collective credit is bad. it's bullshit because 90+% was done before they appeared. but that means it'd also be bullshit to credit steve the math professor

youtu.beAI is Proving Things No One Understands*YouTube video by Hank Green

math is not dead, but first-past-the-post credit in math might be, and that means a lot of individuals' motives to fuck with math might be but that's deeply distinct from math being dead!

hell yeah, starter packs in on strapd. i am unfortunately addicted to macbook tactility so this macbook being onboard should speed up The Work

"fedora, but you sa-" shh. I love Debian but it turned out to be a huge pain in my ass to even get a baseline running in there because of the backwards packages. they were also dangerously slow for this last vuln week

tempting to do slack but that'd mostly be 90s vanity for me; The slackware kids were always exceptionally cool back then

hell yeah, starter packs in on strapd. i am unfortunately addicted to macbook tactility so this macbook being onboard should speed up The Work

i think i am gonna focus hard on getting the ux good on this mac, including some things not in the source material like palm reject, and then lift that wholesale to nixos; then lift *that* wholesale to strappage, compile it to fedora, and make the fedora img

17h

The Diamond Age (1995)

dame@dame.is

my nuclear-grade AI hot take that’s sure to get me cancelled until kingdom come is that refusing to use AI at all is rapidly becoming an extremely privileged lifestyle choice that feels social justice-y while actually being the complete opposite

@aphyr.woof.group.ap.brid.gy

17h

tbf the smart thing to be in that setting is a tech-literate vicky, but people keep missing the first half

jae (hallowed) reposted

École des Bro-Arts

18h

Replying to @aphyr.woof.group.ap.brid.gy

hat tip to @Drub 🤣

jae (hallowed) reposted

lauren

@lauren.rotatingsandwiches.com

23h

i don't think it's that crazy it's a lot harder to use public money to build a complicated interconnected grid of rail infrastructure than it is to use private money to build a bunch of big warehouses. like i don't think it's great only one of those is possible but what i do not think it is is crazy

Gordon 🏳️‍🌈✊🏿🇺🇦🇻🇪🇨🇺@financecharg.bsky.social

jae (hallowed) reposted

garrison

@garrison.corporate.fm

prediction: if you were to peel off all the people upset about anti-ai sentiment on hn/lobsters the resulting pro-ai community would be even more annoying

jae (hallowed) reposted

hikikomorphism

@hikikomorphism.bsky.social

Replying to @hikikomorphism.bsky.social

There's a tendency in anti-AI spaces to - because AI is reactionary-coded, thought to be inherently fascist - not consider the ways in which one might be falling into those same traps. I've been beating this drum for a while, but hopefully this is blatant enough to make it unambiguous.