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…
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 tiling covering everything. Finding…
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 so standard with nothing really…
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 crucial to understanding. But all the…
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 surrounding some smaller rivers upstream of…
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 iterate over *.gpg files:…
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, the correct way is really tricky and…
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 the intent is much more visible, so…
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 assisting a computer player will be…
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 eventually be faster than…
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 this, and to be honest I expect some…
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 hire someone else." I would totally…
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 24Hz is required on the HDMI port for…
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 "ä" | LC_COLLATE=en_US.UTF-8 grep '[a-z]' ä…
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…
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 tiling covering everything. Finding…
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 so standard with nothing really…
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 crucial to understanding. But all the…
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 surrounding some smaller rivers upstream of…
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 iterate over *.gpg files:…
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, the correct way is really tricky and…
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 the intent is much more visible, so…
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 assisting a computer player will be…
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 eventually be faster than…
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 this, and to be honest I expect some…
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 hire someone else." I would totally…
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 24Hz is required on the HDMI port for…
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 "ä" | LC_COLLATE=en_US.UTF-8 grep '[a-z]' ä…