Viewing profile — mattalex

You can already do that: Keyword you want to be looking for is NTN (non terrestrial networks). The complexity is how you actually deploy this at scale and what you want the actual …

SAP has largely switched over to their own HANA database for new deployments. Even before that their "AnyDB" database worked with pretty much any backend and is still supported. Th…

I wouldn't even say that VW is a failing company: They sold the largest number of EVs in the EU in 2025 ( https://autovista24.autovistagroup.com/news/which-brand-domi... ) and that…

Why do you assume that the entire EU has brain damage and did not think of this _most obvious_ loophole? Sure the companies could commit crimes but if that is enough of a reason no…

150M at 5B revenue is not great: that's 3% margin! The bigger issue is that console manufacturer revenue is highly cyclical. This is hard to see in e.g. Xbox and Sony since they ar…

You can get rid of 99.9% of those attacks by simply dispatching the data consumption to a different instance of the LLM, see, for instance, some of the later patterns in https://ar…

The issue with having a "no answer" option is that you implicitly add a decision problem into your test that depends on the "cost" of answering wrong. Specifically, your model now …

Because the size of the attention matrix depends on the number of tokens (this is what makes attention N^2). If you don't care about having a flexible number of input tokens (e.g. …

Nothing is stopping them, it's just not worth it: Have a look at e.g. vast.ai's pricing ( https://vast.ai/pricing ). The V100 (2017 -> 9 years old) can be rented from $0.02 to $0.3…

Regarding specifically depth anything: You're not running this on a microcontroller. In general, CNNs still reign supreme on microcontrollers since you have a way lower peak memory…

Then allow resale through the platform at the original purchase price. You still have no scalping, but you recover the ability to back out due to unforeseen events

It works the same way: softmax is essentially just applying the normalization to the vector exp(x). From an "engineering" POV this effectively ensures that the vector you normalize…

I'm what way is that different? You return early and the call Cascades up the call chain until you handle it (otherwise it's always an "either" results) In practice you use somethi…

Of course you can: you just have to define it in your type. The output set becomes a union type of the normal output and whatever you want as an exception. If you write this as a m…

Effectively none. The US has a huge trade deficit with Germany/Europe so there is practically never a case where the US receives gold from Germany: It's always more then offset by …

Germany already repatriated about half of its gold reserves between 2013 and 2017 from paris and new york to frankfurt. There has been a recent (as in "18th of march" recent) petit…

Whether the US is capable of hiding their maleficence or not should not be an indicator of whether it is safe to deal with them. If your indicator for the US being a good partner i…

There were plenty of models the size of gpt3 in industry. The core insight necessary for chatgpt was not scaling (that was already widely accepted): the insight was that instead of…

Assuming this is real: Why do you think anthropic was put on what is essentially an "enemy of the state" list and openai didn't? The two things anthropic refused to do is mass surv…

It might be that they pay less for anthropic depending how many tokens are generated by each model: total cost is token cost times number of tokens. I haven't checked gpt5, but it …

This is essentially the principle behind algebraic effects (which, in practice, do get implemented as delimited continuations): When you have an impure effect (e.g. check a databas…

Once you have strong normalization you can just check local confluence and use Newman's lemma to get strong confluence. That should be pretty easy: just build all n^2 pairs and run…

That entirely depends on what AMD device you look at: gaming GPUs are not well supported, but their instinct line of accelerators works just as well as cuda. keep in mind that, in …

To expand on that: there's also the issue that these games have to be (somewhat) competitive multiplayer games: multiplayer because otherwise there's no way to create enough conten…

There are alternatives to iron that have higher efficiency and lower prices. For instance https://hydrogenious.net/ does exactly that but with benzene like structures. The advantag…