Viewing profile — seb314

For running llms _locally_ on Android, there's "pocketpal" (~7tok/s on a pixel 7 pro for some quant of llama 3.2 3B). (Not sure if it uses ollama though)

The state space of chess is so huge that even a giant training set would be a _very_ sparse sample of the stockfish-computed value function. So the network still needs to do some i…

For comparison, car liability insurance in germany typically has a coverage limit of 50 or 100M € (not sure about potential caps per victim though). There is also a legal minimum o…

I believe that for a species, longer generations means slower evolutionary adaptation to environmental changes. (at least for our bodies, our hardware. Ideas/technology can iterate…

Some providers promise to build new renewable capacity that matches the consumption of their customers (not sure about the timeframe). I'm not aware of any provider that builds the…

A v2 feature might be e2e encryption, seems like that should be feasible

Milk with a multi-month shelf live can't be fresh, I believe. The fresh (mildly processed) milk I know turns bad within about a week, the "extended shelf life" stuff that was intro…

how would authentication work when you/someone does pick up the phone?

how would solar result in areas beeing uninhabitable for decades (or much longer?) after we stopped using them?

the article doesn't seem to consider cost of hyperparameter optimization prior to the final training...

btw this can be done with a 'proper' domain name too (e.g. at namecheap)

as far as I remember, Ubuntu works with secureboot, doesn't it? Ubuntu wiki seems to say so too https://wiki.ubuntu.com/UEFI/SecureBoot

I'd like to prefer DDG... but recently I noticed what seem to be blind spots on many (maybe less popular?) topics. e.g. I can't find how to setup/configure borgbackup on nixos via …

If this concept would work in principle, covid could be reduced to scaling testing capacity. My impression is that estimates about achievable testing capacity don't assume a most-i…

you seem to imply that it is no longer like this? If so, why?

yes, e.g. thunderbird's builtin junk filter seemed much better to me. Gmail's too. I believe I saw somewhere that fastmail's spamfilter may have a 'feature' that whitelists mails f…

> Such compiler would require solving halting problem. I don't think so. As long as false-negative results are acceptable. (i.e. it is ok if for some programs no proof if found eve…

apparently the issue is that you could modify the script, keeping the script-launching binary unchanged and signed? did not try/verify though

seriously, are you trolling? in general, measuring the cost of government decisions seems good. But here, you seem to be suggesting that a) if the government acts, it should pay th…

> I like to see autocomplete as a history Not sure if I understand correctly: Ctrl-r shows command history, filtered by fzf as you type I find that particularly useful for frequent…

Entwickler = developer; Entwicklung = development

depends on your threat model... if peaces bigger than dust are left over, they might still contain quite a lot of info, right?

Have you been to the US? I used to hate public transport in munich, but compared to US (e.g. SF or NYC) it seems incredibly good.

I think local public transport might be just a lot more efficient than longer-distance HSR. So if there isn't even a basic solution for the local transport, it seems odd to start w…