foobar__

7 ms·

1.
by foobar__ 6y ago
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.britishmuseum.org/collection/image/
2.
by foobar__ 9y ago
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 progressively larger, fin
3.
by foobar__ 9y ago
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 surprising or especially res
4.
by foobar__ 9y ago
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 intuition in the
5.
by foobar__ 9y ago
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 Tokyo, which are
6.
by foobar__ 9y ago
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: https://git.zx2c4.com&#x
7.
by foobar__ 9y ago
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 uses obscure bash fe
8.
by foobar__ 9y ago
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 there is really no reas
9.
by foobar__ 9y ago
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 stronger than the s
10.
by foobar__ 9y ago
Where did you find this information for chess? It sounds unintuitive that a superior player would benefit from a weak player's help.
11.
by foobar__ 10y ago
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 semiconductors. But
12.
by foobar__ 10y ago
Where are tubes faster than semiconductors?
13.
by foobar__ 10y ago
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 governments already
14.
by foobar__ 10y ago
How is it better?
15.
by foobar__ 10y ago
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 exp
16.
by foobar__ 11y ago
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 smooth playback. It&#
17.
by foobar__ 13y ago
The site offers https but is broken when using it. It shows no questions.
18.
by foobar__ 13y ago
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]' ä For common