1ris

32 ms·

271.
by 1ris 10y ago
Learning a language might increase your overall intelligence, but mostly you "just" learn a language - like solving puzzles makes you better at solving these specific puzzles.
272.
by 1ris 10y ago
>A far more feasible approach (though still very expensive) -- and probably a more "correct" one, even theoretically -- is to verify existing C code using some of the many excellent verification tools (from static analysis to w
273.
by 1ris 10y ago
http://plan9.bell-labs.com/sources/contrib/miller/9pi.img.gz Is the image for the Rasperry Pi. Is said to be working with Pi 0/1/2. Has be a quite frustrating experience for me. I recommend to run i
274.
by 1ris 10y ago
Podcasting right now seems to working wonderfully. It's one of the most expensive ways to advertise. If it's not broken don't fix it. Tracking and the targeting didn't save online advertisment, it won't safe podcast
275.
by 1ris 10y ago
Check out Binary Lambda Calculus.
276.
by 1ris 10y ago
While UNIX has it's downsides and I have seen beautiful non UNIX OSes such as OS/2, most non-unix oses simply suck, too, and usually more.
277.
by 1ris 10y ago
As i'm not a windows user this is not worth my time and i probably couldn't even file a report. But the real reason why i don't is that i'm not a US citizen and my local "hacking" laws are less strict.
278.
by 1ris 10y ago
The line to "unauthorised computer access" has be crossed several times. Usually investigators are overzealous with prosecuting this crime, but i doubt anybody will neven ever start investigations against microsoft.
279.
by 1ris 10y ago
I'm very glad about less freedom of speech here in germany. It surely has it's downsides (mostly because it's a slippery slope). Here you would win big in court (several hundred euros, you're rich afterwards), but also y
280.
by 1ris 10y ago
No, only limbo (and I think a scheme) work on inferno. But limbo is very, very much like golang.
281.
by 1ris 10y ago
It's probably beside the point, you could double the number of pixels and foremost make them square if you used fore- and background color for U+2584 or go even further with U+2596 to U+259F.
282.
by 1ris 10y ago
tabletop football is mandatory for hipness.
283.
by 1ris 10y ago
This sounds like it will result in a better environment that there is in many places. I have seen places with a strict "don't install anything policies" far to often. (I have even seen terms that techincally forbade executabl
284.
by 1ris 10y ago
When Google did this I had to pay capital-gain tax on all the "new" shares I got. About a year later the german tax department changed their view and I got that back. It sill was very annoying.
285.
by 1ris 11y ago
In a more liberal sense the opposite of "open standard".
286.
by 1ris 11y ago
TeX is not a markup-language. It's a (actually two) turing-complete, proprietary (not defined by anything than it's implementation) programming language. Having a context-free representation is IMHO a necessity for processing untr
287.
by 1ris 11y ago
Try "Haruhi" and "Madoka". IMHO impressive.
288.
by 1ris 11y ago
It's impressive how good it is. But there is still room for improvement. Searching "Haskell" leads to Clojure and C++. Yes, these are both Programming Languages, but out of all I personally wouldn't have said C++. :) &qu
289.
by 1ris 11y ago
Germany does not have such a thing as a pension chest. Pensions are directly paid by the working generation. That has it's problems, but it does also have it's benefits and makes this comparison useless.
290.
by 1ris 11y ago
Definitively not for any reason. I can't terminate it because somebody is black, for example.
291.
by 1ris 11y ago
It's actually stellarator from stella, star.
292.
by 1ris 11y ago
And here is why it wont: >unresponsive script >[continue execution] [stop]
293.
by 1ris 11y ago
I'm absolutly uninformed on the topic. I'd guess that knowelge of (medivial) arabic is a very high priority among muslims radical enough to join IS. So I assume they use a Mix of English, German and mostly bad arabic.
294.
by 1ris 11y ago
All my apt-get downloads go over the internet. All my install isos. People download third party docker contains. I can't see how this is worse.
295.
by 1ris 11y ago
People are running untrused code all the time. How uses a 100% open source, repoducably build, 100% audited os?
296.
by 1ris 11y ago
Great! I heard somewhere here on HN that a modern x86 decoder is smaller than a modern arm decoder. Do you know if this is true? Also, how big is the decoder of risc-v and does it even matter? (I mean the size)
297.
by 1ris 11y ago
This is the first part of the Explanation. It is indeed E²=m²+p², but the p is the _relativistic_ impulse. For practical proposes you usually want the classical impulse p_0 in this equitation. And is a way easier to see how c shows up in th
298.
by 1ris 11y ago
>the browser doesn’t support custom fonts using @font-face That's a feature and not a bug, as many examples. Opera Mini is is designed to bring you 95% of the web for 20% of the data. This is one trade-off. So are many other things,
299.
by 1ris 11y ago
Because every transaction has to be stored forever, on every single client. This was the easies method to prevent somebody from makeing the blockchain serveral terabytes.
300.
by 1ris 11y ago
But why? That's a way more complicated and a way less usefull.

More ›