Viewing profile — Buttons840

I think it's time for people to build a local database of every site they've ever visited, and then they can give their LLMs access to that. I might be willing to pass this data of…

> peg it to life expectancy at birth minus 15 years That would lower the retirement age for me. I was born in the mid-80s. I know that was just a suggestion. We could go with somet…

Are charging stations subsidized? That could be a good excuse to add regulations. I've heard the subsidies are the reason why there's so many shitty charging stations. People build…

Hugely profitable companies leak half the nation's personal data every month. Tell me more about how being wrong at scale is not valuable.

It's okay to be rude to benchmarks though, they don't have feelings.

Just add if-statements until it works

Lean has dependant types. Wouldn't something like Haskell or Idris, that are trying to be general purpose dependantly typed languages--wouldn't they be a better start than versus? …

What is a "Chinese model"? If I change one weight in Kimi, is it still a Chinese model? If I fine-tune Kimi on pro-America nationalistic freedom loving anti-Chinese propaganda, is …

The actual way to do this is run a few fine-tuning passes on some pro-America nationalistic freedom loving anti-China propaganda, and then you can tell the judge with a straight fa…

Won't EU companies just announce they've "developed" a new model named Komo, and then we can just use that? Or is the US just going to straight up prosecute plebs for using any mod…

I've said before that I think red team security researchers should be able to investigate the security of government and corporate systems without needing permission. Currently com…

I have several thoughts about this, which I'll just iterate: 1) US export bans have made it so that Chinese companies have to compete using less-than-state-of-the-art hardware. Thi…

We have other signals now. Before we would find an intriguing post on the internet from years ago, and you have to verify it with additional research--it's easy to skip that additi…

Yeah, I guess. Now it appears to be a project run by Anthropic and I'm sure the real focus is on making money--which is still slightly different than having the focus be on making …

I've always felt [0] the people who created Bun had, as their first and foremost goal, a desire to use Zig--and that's great, I like Zig, I like when people build things their own …

Again, I really think this is a viewpoint we've talked ourselves into to help us feel better about how cumbersome creating the cards are. I'm willing to grant that there is some va…

I would add that somewhere in there should be a spaced repetition algorithm. Spaced repetition is very effective, but it's really really clunky to use. My unpopular opinion is that…

> You spend billions The you being taxpayers, right?

I disagree. People would still buy that. There's a dangerous path where the companies are required to describe these transactions as "rentals", but that wont actually solve anythin…

Yep. That's the argument. People don't like that though. We should change the laws so that is illegal. We can just make laws we want--we're allowed to do that.

The GP comment mentioned Minecraft servers. The full story is that California politicians were discussing Stop Killing Games and and that gamers were willing and capable of running…

We will own the games we purchase digitally if we change the laws to say that we own them. We've reached the point where politicians are talking about this issue, and I suppose sup…

Fucking Broadcom? The only time I've ever seen that name before is when trying to solve driver issues, on both Linux and Windows. Are they especially stingy with their IP related t…