Viewing profile — foobar__

Sadly, the images for non-commercial use appear to be restricted to a medium resolution with high JPEG compression artifacts [1]. As an example I downloaded the image https://www.b…

This falls short of the original goal: While your method shows that for every point, you can find a tiling large enough that covers it, the original question was to find a single t…

Both Isabelle and Coq are based on higher-order logics, so I am not sure how first-order logic is a barrier to entry. Especially Isabelle is very easy to use because the logic is s…

I am not satisfied by picture proofs, I'd like to see derivations from axioms and known results. I love pictures that give me intuition about a proof and I agree that intuition is …

Interestingly, the official website doesn't mention climate change at all, as far as I can see [1]. Instead, it claims that the purpose of the tunnels is to protect the areas surro…

FWIW, the source code looks fairly solid to me, considering that it's a bash script meant to be used on trusted inputs. To illustrate my point, look at the elaborate loop to iterat…

The easiest way is still: for file in *; do ...; done This works fine with spaces and other strange characters, no need to come up with more complicated ways. If you must use find,…

for file in *; do { ... }; done is both much easier and much safer than piping the output of ls. It does the correct thing with filenames containing spaces or weird characters, and…

I find it unintuitive when the strength difference between the two players is too high, and I think matter-of-fact statements like in the stackoverflow answer ("Of course, a human …

Where did you find this information for chess? It sounds unintuitive that a superior player would benefit from a weak player's help.

These articles don't say that regular tubes are faster than transistors, only that "vacuum-channel transistors" (nano-scale devices inspired by tubes but different) could possibly …

Where are tubes faster than semiconductors?

They can easily look at the RAM of the VM and get the plain-text encryption keys for SSL or VPN or whatever. I'm absolutely sure by now someone has written a program to automate th…

How is it better?

I don't think this would be good idea. Then there would be the danger of employers pressuring their employees to waive their rights: "If you insist on working only 11h/day, we can …

Another downside of the FireTV stick and a dealbreaker to me is that Android cannot adapt the refresh rate to the frame rate of the video. Many movies are 24fps, so a multiple of 2…

The site offers https but is broken when using it. It shows no questions.

The fact that character ranges like [a-z] can depend on the value of LC_COLLATE is also something not many people are aware of. $ echo "ä" | LC_COLLATE=C grep '[a-z]' $ echo "ä" | …