kfse

6 ms·

1.
by kfse 5d ago
Not to mention, there are already (pre AI) machine-generated proofs that we've pretty much agreed not to try to explain fully, like the four-color theorem which ends up with brute-force verification of 600+ cases (down from close to 2,
2.
by kfse 19d ago
That was essentially the point made by America in allied-occupied Germany, which completely suspended free speech. It does happen.
3.
by kfse 21d ago
The $13b doesn't go to hugging face's bank acct to pay for anything like S3 egress fees... It go to hugging face's owners' Bank accounts for them to do anything else. New cohorts of billionaires and centi millionaires ge
4.
by kfse 29d ago
> The world would probably be a healthier place economically if every town and region could support a strong network of supermarkets, department stores and independent shops. I don't know what you mean by that. I used to live in a t
5.
by kfse 1mo ago
The model doesn't particularly "know" which tokens within its output are "comments", it's not so easy
6.
by kfse 1mo ago
Curious why isn't it using an ADSB receiver?
7.
by kfse 1mo ago
No for China. Apparently Zhang Youxia was one with combat experience in Vietnam but got purged recently.
8.
by kfse 1mo ago
Kamangar, Wojcicki, Mohan were all CEOs of YouTube
9.
by kfse 1mo ago
Didn't at least some living generals fight in Vietnam?
10.
by kfse 1mo ago
Ok now do date math, does the day-of-month accurately jump over the non-existent numbers?
11.
by kfse 1mo ago
A lot is said in this thread about user preferences for info density, but it is really a lot more than preference. there's also a big component of it that is user productivity focused. Info-dense UIs simply require a lot less scrolling
12.
by kfse 2mo ago
All models hallucinate. Everything in production with a model will too. It is not a "deal breaker"
13.
by kfse 2mo ago
Yes. I wished we recognized more often that hyperproductivity exists for these engineers with different strengths too. It just looks very different than Bob's twenty feature launches per quarter
14.
by kfse 2mo ago
I agree, Bob is great. I think scaling a concept is also really really important. We need features but we need scalable frameworks and platforms to support these features. Bob's not going to write the distributed db system that makes h
15.
by kfse 2mo ago
Yes exactly. I'm not sure whether Bob is a hyper productive engineer, but in any case, Bob is an engineer hyper focused at shipping new stuff out the door quickly. Which is great! We need Bobs. But we also need the company to run and
16.
by kfse 2mo ago
I bet you Bob was great at launching new concepts but that taking oncall responsibility for crusty old code that he didn't personally write wasn't for him...
17.
by kfse 2mo ago
Er... I think I'm used to folks putting in a little bit more homework into creating some form of a consensus or alliance around their position before selling it out in the open
18.
by kfse 2mo ago
I mean, there's some reason for it as EU countries have different laws and regulations, but yes, it's a dumb choice on the publisher's part
19.
by kfse 2mo ago
With respect to whomever this dude thinks he is, it's egregiously "main character" to frame a policy recommendation for the US in terms of what's important to his personal beliefs.
20.
by kfse 2mo ago
Country availability is a policy set up by the app publisher, not a Google policy
21.
by kfse 2mo ago
Work out how many bowling alleys there are and how many of them are in the market for an upgrade or a fresh install, trying to get to be the king of that hill is a lot of work and risk for not really life changing rewards compared with what
22.
by kfse 2mo ago
My guess: 1) New cars are too cheap to make at scale. 2) Old cars are quite unsafe to drive, comparatively (airbags, backup cameras, lane departure alerts, blind angle alerts, etc)
23.
by kfse 2mo ago
With respect to bowling alleys, for things like professional shows or food safety it's a bit more than "nobody got fired for buying IBM". The stuff's gotta be able to survive field conditions and not cost millions of dol
24.
by kfse 3mo ago
I've worked with similar tools and while they're impressive, it's too often the case that the LLM literally makes up fake but realistic looking data and pretends that it's real. This includes pretty deep fakery like set
25.
by kfse 3mo ago
I agree that a lot of progress in math comes from refactorings and novel concepts that generalize neatly. My point is that those breakthroughs don't happen through refactoring in a vacuum, they happen because the refactoring is underta
26.
by kfse 3mo ago
All this would be way more interesting if it actually helped to demonstrate a novel mathematical fact. Right now it's more like notational play.
27.
by kfse 3mo ago
The boat seems to go faster with the sails on the wrong side (back winded), that doesn't make a ton of physical sense to me
28.
by kfse 4mo ago
Besides the legal requirement, the reason these companies go public is often to provide liquidity for early investors or employees. So they do want to have as good of a margin story that they can, at least in terms of unit margin.
29.
by kfse 4mo ago
Terminal? We don't know if worse is yet to come.
30.
by kfse 4mo ago
They only have the power to mess up dozens of kids' futures each...

More ›