zarzavat

6 ms·

91.
by zarzavat 3mo ago
This sounds like someone has swallowed too many sci-fi novels. Both the US and China can already nuke each other, they don't need AGI to that. The reason they don't is because it's war is bad for everyone involved.
92.
by zarzavat 3mo ago
It's true, even if you lose your job as a programmer you can still get a job as a barista.
93.
by zarzavat 3mo ago
A man with one LLM knows if his code has errors. A man with two LLMs is never sure.
94.
by zarzavat 3mo ago
Parsing HTML with a regex is never a good option, but it's sometimes the only option.
95.
by zarzavat 3mo ago
Codeberg market themselves as not just a host but a community, so mass banning projects that didn't do anything wrong and were previously operating within the rules feels more like rejection from a community rather than a business deci
96.
by zarzavat 3mo ago
This might work if Chinese models are on par with US models or slightly worse. However if Chinese models start to become noticeably better[0] than US models, it will be hard to hold the line and businesses would start risking using illegal
97.
by zarzavat 3mo ago
It's probably too slow for them. Anthropic and OpenAI need Chinese models banned soon to stay in business. The moment China has the most capable model it's game over for them. They're spending vast amounts of money on the pre
98.
by zarzavat 3mo ago
Someone explain to me how the US would stop people from using Chinese models? Anyone in Europe can download and run a Chinese model and serve it up on the open internet to people in the US. What can the US do about that? The only thing the
99.
by zarzavat 3mo ago
Banning projects that haven't done anything wrong except implement algorithms that the Karen committee disagrees with is clearly an attack. If they want to ban scammers then why don't they just ban scammers instead of a blanket po
100.
by zarzavat 3mo ago
Pretending to run an inclusive git hosting service for FOSS and then attacking your own users because their code is the wrong type of algorithm isn't politics, it's just being an asshole.
101.
by zarzavat 3mo ago
This doesn't solve the problem. The whole point of uBO is that it plays the cat and mouse game between adblocking and anti-adblocking. If you are OK with sites blocking you when you use an adblocker then there's a multitude of oth
102.
by zarzavat 3mo ago
If a model can improve at drawing "X doing Y" and that prompt wasn't in the training set then it means it has improved its internal mapping from text-to-spatial-to-text.
103.
by zarzavat 3mo ago
The burden of proof is on them to explain why the Chinese would agree to that.
104.
by zarzavat 3mo ago
"Siri, please solve the Jacobian conjecture, and also set an alarm for 8am tomorrow"
105.
by zarzavat 3mo ago
> What the hell is going on over there Google was late to coding agents and as-per-usual fucked it up with their crazy project management culture. Usually Google gets away with it due to inertia, however this time they are paying a hea
106.
by zarzavat 3mo ago
This seems like something that could be solved by asking an LLM to write the prompt for the image model. You can also feed in the output of an image model into an LLM and ask it to check it/make improvements.
107.
by zarzavat 3mo ago
Frontier = SOTA. Pareto frontier ≠ frontier.
108.
by zarzavat 3mo ago
Type stripping is not the same as emit, it only gets you a subset of TypeScript. Fine if you're running your own code, not fine if you want to run arbitrary TypeScript.
109.
by zarzavat 3mo ago
Yes, in the Monaco editor ( https://microsoft.github.io/monaco-editor/ ). It's not just typechecking, the typescript library is also the reference parser for TypeScript and reference emit. Emitting JS from TypeScrip
110.
by zarzavat 3mo ago
Indeed as much I dislike the approach Bun took, at least the port appears to be working. TS7 is going to cause problems for downstream users because Go is the wrong language to use for something that has to run in WASM.
111.
by zarzavat 3mo ago
AI is a threat to everyone. People who claim that AI will never be able to do X have consistently been proven wrong. The only people who are safe are those whose jobs depend in some way on their humanity. e.g. yoga teachers, bouncers, etc
112.
by zarzavat 3mo ago
It's insane to cross Apple. In the worst case Apple could take the ChatGPT app down like they did to Fortnite. They are probably waiting for discovery to find out how high this goes.
113.
by zarzavat 3mo ago
If Chinese AI companies can train a model that's slightly worse than the frontier, then there's no reason why they can't train a model that is slightly better than the frontier. Everybody can agree that K3 doesn't clearl
114.
by zarzavat 3mo ago
> Lots of organizations are continuing to refuse to use chinese models due to security and IP concerns These customers exist (e.g. US military) but there's not enough of them to justify a trillion dollar valuation. Anthropic'
115.
by zarzavat 3mo ago
It's like reading Anthropic's obituary.
116.
by zarzavat 3mo ago
Video game streaming requires a high quality internet connection to a nearby data center. It can work in certain places but there's always going to be places where it doesn't work, and consoles don't have that problem.
117.
by zarzavat 3mo ago
That's correct but SQLite was never designed to be a production database in the first place. It can be used as a production database but only if you know what you're doing, and presumably anyone who knows what they're doing
118.
by zarzavat 3mo ago
A distro package manager provides access to a small set of packages that the distro thinks you might like. A language package manager provides access to the full set of packages. The language level package manager is solving a more ambitiou
119.
by zarzavat 3mo ago
In the UK there is substantial use of secondary legislation. This is where Parliament authorises someone else to make laws on its behalf in some context. These powers delegated by Parliament are usually mundane but can be extreme and there
120.
by zarzavat 3mo ago
Driving is more expensive than public transport when you factor in the cost of the vehicle, maintenance, fuel, insurance, taxes, parking, etc. If driving were more cheaper than public transport then nobody would use it. Yet, almost wherever

More ›