elucent

metroidbrainia alignment chart came to me in a vision

it is a picture like the other #my9games pictures but this one has the sylvie game "cat planet" on it 9 times

#my9games

like man. what a way to throw away your credibility. whenever this happens i'm always thinking, i hope you guys are at least getting a kickback from amazon or something. imagine spending your evening shilling ai for free

i dont imagine anyone with critical thinking skills still looks at rust as having a particularly good or principled community but it's still disappointing to see steve klabnik use his platform to reply guy for the bluesky staff and butthurtedly shill ai

me when someone makes a good point abOut something

seeing a lot of people posting about how you don't have to give anthropic credit for standing up to trump and not a lot of people addressing the far greater moral dilemma of whether you have to give trump credit for taking down anthropic

love when someone from the northeast says orange like that. aringe

same brain cell but it didn't work :(

being a manic nixie dream girl makes you more likely to be suckered into writing palantir's data orchestration layer because "it's an interesting technical problem", not less

one of the painful truths of the tech industry is it is mostly the latter people doing the evil stuff since they have the actual ability to write software that works and it turns out liking nix doesn't magically give you class consciousness

Shakashuri Blowdown

remarkable phenomenon where haskell users forget other people whose feelings and priorities are different than theirs exist

oh dear... nobody should be commenting that often on hn regardless of what they're saying

no way actually?? i always thought he was more of a sysadmin than programmer

constraint graph type inference is so finicky and hard to debug and i'm re-nearing my wit's end with it but. god, the slickness when it does work, it makes it all worth it

luckily once my patience for weird nonlocal unification bugs wanes my next pivot will be working on the borrow checker :)

still pretty bleeding-edge. notably, the explicit type parameter in makeset can't be omitted, or you hit the inference recursion depth limit. and ofc the existence of a makeset function to begin with is a bit sad instead of being able to add constructors to the set type itself. but it's progress!

a terminal screenshot displaying code defining a hash and equals method for a type called Duck, making a set of them, adding some elements to it, and checking whether values are in the set. following this, some commands to compile and run the code, with output showing the set implementation works

fixed enough generics bugs to write a generic userspace hashtable implementation in Clover :)

also i'm thinking a lot of my syntax work is really paying off, like, writing tests is actively enjoyable, and i think the language is really looking good :)

not to toot my own horn too much or anything, i'm just glad i did not immediately become owned the second i started writing bigger examples

ive been really relishing writing aggressively generic code lately and seeing it work first try*

*accidentally pass the test despite doing at least one illegal downcast from i64 to i32

of course you can write this sort of thing in other languages, there's nothing stopping you from writing C++ in this style. but i think it's nice that this is the default for all types - you are only constrained by the stuff you actually use

a nice consequence of UFCS is that since methods don't belong to types, the traits required by methods aren't tacitly required to instantiate the type. like how Foo here lacks a write() implementation, but we can still define both a Vec of Foo, and implement write() for other Vecs

always have been :)

this ended up being a 2:1:1 time split between (1) procrastinating working on ADL, (2) actually implementing ADL, (3) making it so you can actually use type projections ("Cons" is really more like forall a. List(a).Cons) across module boundaries

okay sweet now ADL is working!!!

one of the goals of clover is that generics should really act like compile-time multimethods, so method lookup is even more permissive than C++, to the extent that multiple instantiations can be required if a function is used in multiple compile-time contexts

it's an exceptionally good tool at making like, shitty boilerplate code, and if you're amateur enough to think that that's representative of real software development, then like, go nuts. but in my experience it's pretty useless for any of the stuff i've been paid to do before

i'm not defending cory doctorow, he's pretty annoying, but like. just because the people speaking up about the stupid stuff you're doing are being a little annoying about it doesn't actually mean they're wrong? and there is no equivalent positive argument for AI

the bluesky experience is a hundred back to back posts of takes like this alternating with people posting their five star letterboxd review of sinners

sure, it is absolutely doing that. but ostensibly unlike you, i'm not financially or emotionally (can you imagine? i certainly hope microsoft is paying you for your posts) dependent on being an AI defender online, so i can clearly see that the quality of that software is pretty much garbage lol

"incurious" is such an easy insult. you have no evidence he's wrong about LLMs and intelligence (granted, he has no real evidence for his position either), and certainly no strong argument for their economic sustainability, so you sheepishly say, "hey, this guy doesn't give bad ideas enough credit"

what is the human condition if not one massive yakshave