Viewing profile — markasoftware

It's well known 35b is much faster (on any hardware) and quite a bit dumber

There is no official dsv4 flash free tier api afaik. Did you get it from open router or something? Likely quantized. The paid official dsv4 api already shares data with deepseek fo…

Moonshot is printing money on k3. It likely costs the same to serve as qwen3.8. The license requires all major inference providers to sign an extra (secret) licensing agreement wit…

good point, I didn't think about these cases.

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-…

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/208364934629…

A correctness bug in a proof checker by definition means that you can prove false.

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 gr…

Here's a big list: https://vectoral.com/blog/token-relay-market

They usually resell codex subscriptions as api so it's cheaper than the official api

They want to be the next Google it seems

Have you completed the identity verification? It's much more lenient once you have

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 …

I don't believe they do silent downgrades right now, they're loud about it.

Soo most of the benchmarks are better than fable... Is this naming scheme just to avoid getting banned again?

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. (A…

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!)

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." I…

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 ho…

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 an…

I almost felt bad adding {{Cite tweet ...}} to the wikipedia article

[Deleted]

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

nitpicking and beating a dead horse, but it was never going to be open source, at best open weight.

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.