bennofs

10 ms·

1.
by bennofs 1mo ago
There is microg, which implements some of this by re-implementing Google Play services but allowing you to choose your own provider for services where this is possible: https://en.wikipedia.org/wiki/MicroG
2.
by bennofs 3mo ago
There is even a website just for that: https://www.db-gebrauchtzug.de/r/gbzp/gbzp/home?session=2228...
3.
by bennofs 5mo ago
Both Debian and Ubuntu provide snapshot mirrors where you can specify a date to get the package lists as they looked at that time.
4.
by bennofs 1y ago
8MWh is equivalent to a few hours of electricity generation of a wind turbine.
5.
by bennofs 2y ago
One major downside is that it becomes really hard to do transactions, especially across multiple files. If you store mostly immutable data though like git (where except the refs every object is immutable, mutating creates a new object) it c
6.
by bennofs 2y ago
I for one enjoy the convenience of automatically installing python versions. Yes I know how to do it manually. Yes it is possible to install multiple versions. But that does not mean I want to do it every time, just to test how things behav
7.
by bennofs 2y ago
The limit could depend on a lot of other things. In theory, it's possible that you are paying 100% of revenue on debt service yet still the best option is to take on more debt. This is if you believe that investing the money raised via
8.
by bennofs 2y ago
My argument is that you typically also check other properties, like properties describing what your program should do. These other properties likely wouldn't be satisfied by a nop program, and hopefully the same is true for many subtle
9.
by bennofs 2y ago
Yes, that is a limitation. But this limitation is not too bad. In many cases, a bug in the translation simply makes the proof impossible. Somebody then investigates why the proof does not go through and finds the bug in the translation. We
10.
by bennofs 4y ago
Do you know if redispatch costs are included as part of your transmission costs and how much they are? Because if they are, then investing into the transmission lines can decrease transmission costs since the providers need to pay less for
11.
by bennofs 5y ago
I am no economist but couldn't it be that raising pay in few sectors does not cause inflation? I would think that depends on what the people receiving more money spend it on. If they only spend it on things where we have no bottleneck
12.
by bennofs 5y ago
How does rust do bounds checking for slice accesses if the length is not stored?
13.
by bennofs 5y ago
JVM also has jstack and other tools like jprofd to introspect running vms.
14.
by bennofs 5y ago
Construct a TM which enumerates all possible variable assignments and checks if the SAT problem is satisfied then halts if so. You can construct this TM in polynomial time, and it halts exactly if the SAT problem is satisfiable. So this is
15.
by bennofs 5y ago
But it breaks down if you have cross-language cycles, because no garbage collector of either language will see the full cycle.
16.
by bennofs 6y ago
Maybe I've missed it, but I didn't find anything in the article about whether the vaccine does need to be discontinued or not. In any case, being clear about what side effects are possible and researching them to get a better unde
17.
by bennofs 6y ago
Well, turning a static binary into a docker image is basically just adding some metadata on how to run it. Whereas turning an image into a static binary is much harder, so it makes sense the world standarized on the more flexible format.
18.
by bennofs 6y ago
> User, process, and filesystem namespacing. System call filtering. Ensuring even if there is a remote exec exploit there is no bash or anything else in the container for an attacker to use. All of these are supported by systemd out of t
19.
by bennofs 6y ago
Last I tried, telegram desktop on Linux didn't support e2e encrypted chats which is sad.
20.
by bennofs 6y ago
Though deprecated, https://github.com/yandex/gixy is a nice checker for these kind of issues.
21.
From an Economics without Capitalism to Markets without Capitalism [video](youtube.com)
2 points by bennofs 6y ago|0 comments
22.
by bennofs 6y ago
For some cryptocurrencies, a 51% attack would only be able to halt the network (prevent new transactions) but wouldn't be able to cause a double spend or other safety failures.
23.
by bennofs 6y ago
norway, according to this article: https://www.theguardian.com/money/blog/2016/apr/11/when-it-c...
24.
by bennofs 6y ago
Does wireguard support storing keys in a hardware device, so that the cannot easily be exfiltrated if the machine is compromised? You want that for security critical infrastructure.
25.
by bennofs 6y ago
Note that at least on Linux, deploying a keylogger to exfiltrate the password for a SSH key is not hard either. Even if a keylogger is somehow not possible, you can probably still replace key binaries with patched versions or change desktop
26.
by bennofs 6y ago
Are there many package manager that do not have either pre-, post- or build scripts or plugins allowing arbitrary code execution during build? pkg managers that do have that: cargo (build.rs), pip (setup.py), npm (install scripts), apt&#x2F
27.
by bennofs 6y ago
> Imagine the massive spinning generators as a big mass that slow down just a little bit when you switch on a light and then that generator has to add more steam (or open hydro valve or whatever). I have always wondered, would that still
28.
by bennofs 6y ago
On Linux, I've used https://github.com/rhofour/evdi-vnc to make a secondary screen that you can connect to with any VNC client.
29.
by bennofs 6y ago
Signal Desktop doesn't require the phone, so no, it doesn't work that way.
30.
by bennofs 6y ago
One problem with this is that formatting now becomes a multi-file thing. You have now have to figure out what names actually refer to, which depends on building a project model to correctly resolve imports, etc.... Compare this with traditi

More ›