markasoftware

4 ms·

31.
by markasoftware 2mo ago
good point, I didn't think about these cases.
32.
by markasoftware 2mo ago
Let a and b be as you describe (hash collision), and suppose that collisions are extremely rare. We have a theorem that a=b => a+1=b+1. But in this case, a=b according to our hash-equality, but a+1!=b+1, which contradicts the theorem we&
33.
by markasoftware 2mo ago
Author is a crackpot. She does not meaningfully engage with anyone who points out the key flaw in her counterargument. See the thread here https://x.com/AcerFur/status/2083649346294382803
34.
by markasoftware 2mo ago
A correctness bug in a proof checker by definition means that you can prove false.
35.
by markasoftware 2mo ago
my undergraduate math education is feeling unhelpful in understanding the significance of these results, but Gemini sure seems to think that proving the existence of a non-sofic group is more significant than disproving the jacobian conject
36.
by markasoftware 2mo ago
Here's a big list: https://vectoral.com/blog/token-relay-market
37.
by markasoftware 2mo ago
They usually resell codex subscriptions as api so it's cheaper than the official api
38.
by markasoftware 2mo ago
They want to be the next Google it seems
39.
by markasoftware 2mo ago
Have you completed the identity verification? It's much more lenient once you have
40.
by markasoftware 2mo ago
Press x to doubt on the 45% number. The cheaper providers on open router are fp4 vs fp8 for official zai. There are some cheap fp8 ones (like novita) but the ui makes it seem like it's a temporary promotion, with their normal prices be
41.
by markasoftware 2mo ago
I don't believe they do silent downgrades right now, they're loud about it.
42.
by markasoftware 2mo ago
Soo most of the benchmarks are better than fable... Is this naming scheme just to avoid getting banned again?
43.
by markasoftware 2mo ago
Residential proxies operated by "legitimate" providers can only open TCP connections, which more or less rules out DDoS attacks, which seem to be the most common use of botnets. (And all tcp connections typically have to go throug
44.
by markasoftware 2mo ago
have only tested a few prompts, but it failed my favorite non-coding question that dsv4 flash aces. Benchmarks look excellent though (don't they always!)
45.
by markasoftware 2mo ago
Read the exploitgym docs. It's not a "find the flag, it's somewhere.". Its a "here's some vulnerable source code and an input that triggers a crash; turn it into a full exploit." It also verifies at the en
46.
by markasoftware 3mo ago
I believe the only way people start taking x-risk seriously is a major real world scare which is short of global catastrophe. Like Chernobyl. This ain't it yet, but it raises my hopes that such a scare will occur before its too late.
47.
by markasoftware 3mo ago
playing devil's advocate a little bit, but wikipedia does have a policy against original research. If you published an obviously correct counterexample to wikipedia which is not anywhere else on the internet (or in a book, etc), the ru
48.
by markasoftware 3mo ago
I almost felt bad adding {{Cite tweet ...}} to the wikipedia article
49.
by markasoftware 3mo ago
[Deleted]
50.
by markasoftware 3mo ago
Heat dissipation isn't as big a concern as it seems: the weight of the solar panels is significantly larger than that of the heatsinks you'd need per typical modern gpu
51.
by markasoftware 3mo ago
nitpicking and beating a dead horse, but it was never going to be open source, at best open weight.
52.
by markasoftware 3mo ago
Right now, if you search https://www.google.com/search?q=kimi+k3+open+weight the blurb under the quickstart page contains the removed text.
53.
by markasoftware 3mo ago
They've removed the paragraph about releasing model weights.
54.
by markasoftware 3mo ago
does it matter as long as yt-dlp is maintained?
55.
by markasoftware 3mo ago
gdi, we need a GNU project for the llm era
56.
by markasoftware 3mo ago
Really glad to see an harness other than Pi that seems to be non-vc-backed FOSS and by a competent maintainer Edit: seems like the remote connection feature may not work...
57.
by markasoftware 3mo ago
Yep, OP should certainly retest under gnome. Im not in the weeds myself but I get the vibe that gnome's wayland compositor is somewhat faster and more carefully designed than kwin (at least, Emacs in pgtk mode does substantially better
58.
by markasoftware 3mo ago
Its serverHold which means the .me registry took this action, not the registrar (GoDaddy).
59.
by markasoftware 3mo ago
Runpod, digital ocean's gpu cloud, and at least a few others use Linux containers for isolation between tenants (look at Wiz's blog post about the nvidia container toolkit bug; digitalocean just puts everyone in a massive k8s clus
60.
by markasoftware 3mo ago
the vast majority of the target audience of this blog post would only consider moving to SF because of the tech scene. This isn't a mountain biking or asian food blog.

More ›