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

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

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!

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

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

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

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

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"

here's some more examples. i feel like being able to just write "var first, second" to define a pair is very slick, but not that useful. being able to just define a List or Vec field and implicitly make the parent type generic, however, i think feels very natural and i can see it coming up a lot