@lzg me, writing characters, huh, everyone is really autistic what gives

bumped into neighbour for first time in months, apparently i look way better than i did last year

i put it down to being able to pay rent and afford groceries

bolting together two side projects, "this should work, except for this one implementation difference"

me, several minutes later, staring at a "fixme: don't rely on this implementation quirk" comment

"ah"

they called it trickle-down economics because 'financial waterboarding' didn't poll well with focus groups

I found out recently about Bunnyrom, the program that every knock-off Tamagotchi runs.

https://bunnyrom.neocities.org/

I love the mystery of it, how despite its ubiquity, nobody seems to know its provenance.

I hate that it's ruined the mystery of the unplayed knock-off. Before I knew about this, I could look at a knock-off Tamagotchi on the shelf, or in an online store, and wonder about it. Yes, of course it'll be bad, but it might be bad in a new interesting way??

Nope, it's just Bunnyrom again.

does it do anything? ha

in other news the tiny side project has absorbed two other side projects and is now 12,000 lines of code

if err != nil is roughly 4% of this go code base

@wingo @wjt

to some extent i have already accepted that programmers will copy and paste from chatgpt rather than slack overflow

and sure enough, software by nature is deskilling. the spreadsheet is just one of many examples of opening things up to a broader userbase

but i am tired of hearing "in the future, everything will be excel macros"

even before we get to "is outsourcing really revolutionary?" or even "this is just waterfall, design up front, with per-request billing"

@wingo @wjt i haven't gotten around to using syntax highlighting yet so even if llms were offline and built from datasets without ddosing the internet, i still wouldn't be interested heh

if as promised, these tools become radically better, then there's really no rush to adopt

and well, if they don't change much, then there's no real rush either

Prepare for the future: DDRuSD

the ones who walk away from omelas 4.5

playing some tunes for a bit! come say hi~ <3 https://www.twitch.tv/lynndrummandbass

Its a well known fact that the 4 CPU architectures are x86-64, aarch64, riscv64, and s390x

Nobody has ever actually directly observed s390x but, like dark matter, we can infer its existence through compiler support

Definitely hypothetical question for any devs who've made or ported a game to DOS (let's say, using C++), whether professionally or for kicks: What's something you wish you knew before you started?

#gamedev #indiedev #DOS

@jsbarretto alas llms just write "it can be shown that" and assert the next step of the proof

@jsbarretto the belief is that proofs are more rigorous and somehow the llm will be better as a result

hello folks, it's been awhile

been doing some light blogging about writing dumb programs in Lean 4 if you are at all inclined to follow along https://ntaylor.ca/posts/proving-the-coding-interview-lean/

@ticky aside, still not quite over finding out where the chop chop master onion beat is from https://youtu.be/qGZh_EwIU6c?t=248

i expect all progress on this side quest to go roughly like this

"it does a thing" new thing? "no same thing in slightly new way" refactoring again? yeah but