1ris

41 ms·

391.
by 1ris 12y ago
This is really huge. Maybe Idris or Coq integrate Z3.
392.
by 1ris 12y ago
If you don't hold human rights over revenue, what's your view on slavery?
393.
by 1ris 12y ago
>Should a group of people in democratic, Western countries be able to subvert the will of a world superpower with impunity? Crazy time we live it that this is even possible.
394.
by 1ris 12y ago
And in this case political activism = human rights.
395.
by 1ris 12y ago
I think this would not be intended. The page is DDoSed from China and supposed to be reachable from China at the same time.
396.
by 1ris 12y ago
That sounds too good to be true. I guess after a 24/7 china DDoS their costs are higher than that and they ask for more.
397.
by 1ris 12y ago
Yes. Stresses the point it was almost impossbile to get thrown out. IMO the failure of the pirate party was the result of the refusal to excude anybody. Absolutely no standard of decency or adherence to any kind of policy or political agend
398.
by 1ris 12y ago
It was even worse. Occupy did never chant slogans in favour of banks. The Berlin pirate party had influential members that did advocate Internet censorship. (For non culture sensitive stuff)
399.
by 1ris 12y ago
Yes. But it does not make you any more fit for government, nor ideas better. It's just better PR.
400.
by 1ris 12y ago
The Left has no less cranks, they just know better when to shut up.
401.
by 1ris 12y ago
No, it's the exact opposite. It's a place where all these are welcome. Denie the holocaust, fine you can stay in the party. On the left side, celebrate war crimes? Fine. Which does not leave any potential for voters either.
402.
by 1ris 12y ago
Meanwhile in Germany the pirate party is once again completely irrelevant. Thanks to the debate culture of mailing lists and twitter, fractionism, us-vs-them thinking and the refusal to throw trolls/idiots out of the party. And a hole
403.
by 1ris 12y ago
I'm pretty sure the number of taxi licenses are not limited in germany.
404.
by 1ris 12y ago
In Haskell: isLower $ toUpper 'ß' is True. I wonder how many security holes this unexpected behaviour causes.
405.
by 1ris 12y ago
UC's job is to coordinate. There are plenty initiatives for all kind of languages. I havn't contributed, but I followed the mediaeval unicode initiative a bit. The barriers for contributing seem very low. The Wikipedia-analogy els
406.
by 1ris 12y ago
The Cyrillic R (looks like P) and and Greek Roh (also looks like P) and the Latin P are not unified either. Although I think unifying some Greek and Cyrillic letters would have made sense.
407.
by 1ris 12y ago
Well, if you find Hiragana/Katakana it's Japanese, if you find Chữ Nôm it's Vietnamese. Otherwise it's Chinese (Well, given the definition of "language" is very hard in the context of Chinese). From a purly the
408.
by 1ris 12y ago
8 letters actually. 'ẞ' was added quite a while later.
409.
by 1ris 12y ago
You can't upload webms tough.
410.
by 1ris 12y ago
I just realised that imgur does not support webm. I thought it does. Thats kind of stupid. For other websites it'd be as simple as adding a mime type to the list of accepted uploads. Unfortunalty you are right, right now webm is still
411.
by 1ris 12y ago
Can somebody explain this to a non-phper? So PHP got strict types, but only for Scalars (Ints and floats) and they can be enabled on a per-file basis. Right?
412.
by 1ris 12y ago
Global support for h.264 video in the browser: over 90%. And on the desktop it's close to 100%. That's IMO just good enough.
413.
by 1ris 12y ago
"Works" with the android stock browser, however there the controls stay in the way. Same for Chrome. Does not work with opera mobile.
414.
by 1ris 12y ago
None that works with current browsers implantations, because they erroneous ignore no delay between frames and wait anyway. But that's a bug in the gif decoder, not a limitation of gif. OK, this is hairsplitting, but it illustrates how
415.
by 1ris 12y ago
>As you probably know, GIF is limited to a palette of 256 colors. No, it's not. OK, the current, wrong, implementations do limit it to 256 colors, but that's not a limitation of gif. Mulitple frames without a delay allow multip
416.
by 1ris 12y ago
I think the Desktop needs innovation more than ever. But right now everything IMO just gets worse. I'm using a reactionary and dead simple XFCE. But I don't want this to be the future.
417.
Qo: a build system for C/C++(github.com)
1 points by 1ris 12y ago|0 comments
418.
by 1ris 12y ago
In the end, we all will die.
419.
by 1ris 12y ago
Like most other people here I'm not a real biologist either, but incest does not need to be a problem. Almost all dog-races are the result of lots and lots of inbreeding. Ill effects of incest can be avoided with https://en.
420.
by 1ris 12y ago
I can click the buttons, but the number of generated bits does not increase. It does not increase at all.

More ›