> But Google would be able to produce two PDF files that would, as git sees them, appear to be same just as easy as these that were produced. Right, but they would have to re-do their enormous calculation. ("This attack…
The PDFs have the same size, but they do not have a header in the file that states their overall size. If PDF had a header at the beginning of the file that states the file size, then it could be harder to find a…
Leipzig was rebuilt with essentially the same layout as before the war. If anything, additional space was used for larger roads. Here is a video comparing a tram ride through Leipzig in 1992 with one in 1931:…
> I thought Hacker News was above Nazi-comparisons > [makes Nazi-comparison] Edit: Parent changed > Downvoted without response? I guess I shouldn't be surprised, groups that resort to tactics like those at Berkeley are…
As a keen cyclist, I often find myself thinking "I should lose 2kg." This amount of weight does make a difference for getting up mountains fast. I'm quite thin already, but it would clearly be possible to lose that much…
Looks like they're using parts of Yi. They seem to have switched to using the rope data type from Yi for the representation of text: commit: "Add BufRefs and switch to YiString for all internal representations" (23…
The choice of desktop environment is quite a personal matter. I would recommend Gnome 3, which is especially polished on Fedora. The early transition years from Gnome 2 to Gnome 3 were rough, and I switched to KDE for…
> And that was out of the question. I too would have left the GDR immediately if that would have happened, and pretty much everybody I know too. So what? Depopulation happened anyway due to unemployment. I'm not…
I also was at the demonstrations and I also think that there was no realistic alternative to a reunification. But at the time people were discussing different ways of performing the reunification. The SPD under…
This all reminds me of the situation in Eastern Germany just before the German unification. In the elections campaigns in Eastern Germany just after the fall of the Iron Curtain, politicians were lobbying for…
Yes, I agree. Also, this text is quite old and isn't all that representative of his blog either. The blog takes controversial positions, but is entertaining at the same time. It's sort of like a yellow-press newspaper…
The author (Fefe) is a well-known member of the Chaos Computer Club (CCC). He has a well-known blog (in German) about hacker news that is widely read. https://en.wikipedia.org/wiki/Felix_von_Leitner…
Looks like it's a concurrency bug that is only triggered non-deterministically under certain circumstances. It is probably hard to reproduce reliably in a test, if this is possible at all.
Vim because it's burnt into muscle memory. For things like Java-programming I'm also happy to use IDEs.
And the paper does appear in the program of NOOL 2015(!), so it has been accepted. http://2015.splashcon.org/track/nool2015#program
"There exist only two kinds of modern mathematics books: ones which you cannot read beyond the first page and ones which you cannot read beyond the first sentence." -- Chen Ning Yang
It's Meta Language. The ML language was developed in the early 1970s as a meta-language for the LCF theorem prover. ML was developed as a language for programming proof tactics. The strong type system and type soundness…
A good understanding of randomness has much further implications than just generating random numbers for cryptography. This work is not indended as a practical method for generating random numbers, I think. Randomness…
At first, I thought the title was a mistake, as the letter speaks of 'neutrons' throughout. But it turns out that the term 'neutrino' came only later: 'Pauli earlier (in 1930) had used the term "neutron" for both the…
For anyone else wondering: GLS = Guy L. Steele (this took me quite a while)
It's a Turing-complete language that can do file-I/O, so it's a given that he can "pwn" his coworkers.
No, they sell it. This seems to be the main reason why E5 Xeons became really cheap some time ago. http://www.techspot.com/review/1155-affordable-dual-xeon-pc/
Yes, you're right: Approximately none of these people have a ticket.
> just compare it with spots of other public transport companies (like this one https://www.youtube.com/watch?v=6a5MRlppTAM). The half-naked surfer getting into the tram probably looks totally stupid if one doesn't have…
If I understand the schedule right, then the release announcement is scheduled for Wednesday (28 Sep). https://www.freebsd.org/releases/11.0R/schedule.html
> But Google would be able to produce two PDF files that would, as git sees them, appear to be same just as easy as these that were produced. Right, but they would have to re-do their enormous calculation. ("This attack…
The PDFs have the same size, but they do not have a header in the file that states their overall size. If PDF had a header at the beginning of the file that states the file size, then it could be harder to find a…
Leipzig was rebuilt with essentially the same layout as before the war. If anything, additional space was used for larger roads. Here is a video comparing a tram ride through Leipzig in 1992 with one in 1931:…
> I thought Hacker News was above Nazi-comparisons > [makes Nazi-comparison] Edit: Parent changed > Downvoted without response? I guess I shouldn't be surprised, groups that resort to tactics like those at Berkeley are…
As a keen cyclist, I often find myself thinking "I should lose 2kg." This amount of weight does make a difference for getting up mountains fast. I'm quite thin already, but it would clearly be possible to lose that much…
Looks like they're using parts of Yi. They seem to have switched to using the rope data type from Yi for the representation of text: commit: "Add BufRefs and switch to YiString for all internal representations" (23…
The choice of desktop environment is quite a personal matter. I would recommend Gnome 3, which is especially polished on Fedora. The early transition years from Gnome 2 to Gnome 3 were rough, and I switched to KDE for…
> And that was out of the question. I too would have left the GDR immediately if that would have happened, and pretty much everybody I know too. So what? Depopulation happened anyway due to unemployment. I'm not…
I also was at the demonstrations and I also think that there was no realistic alternative to a reunification. But at the time people were discussing different ways of performing the reunification. The SPD under…
This all reminds me of the situation in Eastern Germany just before the German unification. In the elections campaigns in Eastern Germany just after the fall of the Iron Curtain, politicians were lobbying for…
Yes, I agree. Also, this text is quite old and isn't all that representative of his blog either. The blog takes controversial positions, but is entertaining at the same time. It's sort of like a yellow-press newspaper…
The author (Fefe) is a well-known member of the Chaos Computer Club (CCC). He has a well-known blog (in German) about hacker news that is widely read. https://en.wikipedia.org/wiki/Felix_von_Leitner…
Looks like it's a concurrency bug that is only triggered non-deterministically under certain circumstances. It is probably hard to reproduce reliably in a test, if this is possible at all.
Vim because it's burnt into muscle memory. For things like Java-programming I'm also happy to use IDEs.
And the paper does appear in the program of NOOL 2015(!), so it has been accepted. http://2015.splashcon.org/track/nool2015#program
"There exist only two kinds of modern mathematics books: ones which you cannot read beyond the first page and ones which you cannot read beyond the first sentence." -- Chen Ning Yang
It's Meta Language. The ML language was developed in the early 1970s as a meta-language for the LCF theorem prover. ML was developed as a language for programming proof tactics. The strong type system and type soundness…
A good understanding of randomness has much further implications than just generating random numbers for cryptography. This work is not indended as a practical method for generating random numbers, I think. Randomness…
At first, I thought the title was a mistake, as the letter speaks of 'neutrons' throughout. But it turns out that the term 'neutrino' came only later: 'Pauli earlier (in 1930) had used the term "neutron" for both the…
For anyone else wondering: GLS = Guy L. Steele (this took me quite a while)
It's a Turing-complete language that can do file-I/O, so it's a given that he can "pwn" his coworkers.
No, they sell it. This seems to be the main reason why E5 Xeons became really cheap some time ago. http://www.techspot.com/review/1155-affordable-dual-xeon-pc/
Yes, you're right: Approximately none of these people have a ticket.
> just compare it with spots of other public transport companies (like this one https://www.youtube.com/watch?v=6a5MRlppTAM). The half-naked surfer getting into the tram probably looks totally stupid if one doesn't have…
If I understand the schedule right, then the release announcement is scheduled for Wednesday (28 Sep). https://www.freebsd.org/releases/11.0R/schedule.html