xorvoid

Can musk get over the fact that his daughter is trans already? We'd all love to move on from his annoying political outbursts. Thank you in advance.

Lol. I have very little recollection, but I have it all in my notes. I consider that superior. I don't have to weigh my brain down with trying to remember stuff.

I basically "chain of thought" to myself in my own notes when working through a hard task. Mayne we can call it "live tweeting in private".

Aometimes it feels like a super power because it takes away the "starting anxiety" and makes everything a trivial sequence of "following simple steps"

Very subjective, esp the part about woman's clothing. Yes, they don't have pockets, but honestly I can't stand having a lot of stuff in pockets. The tacticle sensation of stuff in pockets bothers me. Would much rather just have it all in a cute handbag. Grab the bag and go. No need to fill and unfill pockets. Better. Again, it's subjective.

Poor man's runtime "dynamic" version. AKA: A much worse version.

In advanced cases, you'd need dependent types, but the only place where that almost shows up is in the "amount <= balance" assertions. That's also silly because if you typed "amount" and "balance" correctly, then "balance -= amount" has to produce a runtime error because the resulting balance would be negative and not a valid value for the type. So, it's a very natural place anyway to force the programmer to properly handle errors anyways.

"Contracts" has been around a long time and has not caught on. That's usually a good sign that better approaches are prevailing.

In other words: refinement types are a better solution.

I was literally just catching up on this issue on Zulip yesterday. Amazing timing!

I like this framing a lot. I'm a huge fan of tiered abstractions. Ideally, you start with the highest level where it's cleanest and you work your way down to lower levels as required. Automated expansion for a lower level.

Something quite similar to what I'm doing right now.

They're just inventing another language here. That's fine if you want to do that. Just do THAT.

C is horribly and unfixably broken. We've known that for many decades. Just let it die already!

Let's move on.

I don't know how many more examples people need to see of big tech not respecting privacy... it's just becoming a farce now. Big tech tracking woman's cycles? Of course they are. (sigh) If this doesn't gross people out enough to seriously pursue alternatives, I literally don't know what will.

Thank you Michael Rabin for your excellent work. Rest in Peace.

Rabin Fingerprinting is one of my favorites of his contributions. It's a "rolling hash" that allows you to quickly compute a 32-bit (or larger) hash at *every* byte offset of a file. It is used most notably to do file block matching/deduplication when those matching blocks can be at any offset. It's tragically underappreciated.

I've been meaning to write up a tutorial as part of my Galois Field series. Someday..

Thank you again!

I live in a town in the Midwest that just voted down a data center project.

Personally I think it's mostly a proxy vote against bigtech/social-media. People are pretty fed up with their practices but don't have power to act at a national level. But, they DO have power at the local level to show up to town council and talk directly (in-person) to their representatives.

I think the other side of this is that there's this old idea (mostly correct) that municipalities partnering with businesses is good for the community because it brings positive side-effects: jobs, more cashflow in the local economy, etc. This is much less true for data centers. It's just a building that uses power and produces heat/by-products. Generally, employment gains are tiny compared with the old "automaker" labor model of the 1960s-1980s

People recognize this and they're not happy. They don't think it's a good deal for their communities.

Maybe you need to spell out what you're implying because it's not very clear. I don't understand what's so bad about wrong inferences. I've been living with wrong inferences my whole life - it's usually others that are made the fool.

In this particular case it means that you end up with really bad ad targeting. I'm happy with that, it's much easier to dismiss and roll your eyes at scam junk ads than ones that actually know how to manipulate you...

"The person seems to have low self-esteem, displays introversion, poor honesty, low emotional stability, very little adventurousness and poor self-control hence we can target them with both niche and common products and services."

Amusing to me how wrong this is... I don't know how you can determine such characteriatics from a photo in any direction. I will admit that my appearance though tends to throw mixed and incorrect signals (not an accident). I find the entire concept of appearance signaling pretty off-putting so I guess this is a great result.

The only thing Google Lens has succeeded at for me is age, race, and location. Basically everything else has been very wrong.

Strong disagree. Markdown is great. And the perfect format simply doesn't exist. You cannot be all things to all people. shrug