mathetic

9 ms·

31.
by mathetic 10y ago
It is not popular to say this, but if you really want to protect the environment, you should consider not having kids. Especially if you're doing well because the chances are your kid will grow up and drive for most of his life, fly in
32.
by mathetic 10y ago
Categorical imperative is nasty.
33.
by mathetic 10y ago
I don't like Russia as much as the next guy, but the US doesn't really have moral high ground here. The repeating argument in NSA revelations was that intelligence agencies are here to gather intelligence outside the country and o
34.
by mathetic 10y ago
I think terms like "growth hacking" and "financial engineering" led the way on these things. Also don't get me wrong, I am sure people are deliberately framing events according to their own biases, but it is hardly
35.
by mathetic 10y ago
Except it is not cleaner. It is just more familiar to you because most languages in use in the past 40 years have been influenced by Algol family of languages for their syntax. Now the author is being modest here: First, `for` is defined ou
36.
by mathetic 10y ago
Actually, it is clear the author didn't because he gives the shell commands that are used to compile.
37.
by mathetic 10y ago
The page doesn't mention compiling code with -O2 or -O3. Does anyone know the reason for this? In particular -O3 is meant to enable vectorisation optimisations, which seems like it might subsume the author's hand optimisations. Al
38.
by mathetic 10y ago
It is funny you mention you have the narrow window of two hours before you sleep because if I remember correctly from Simon Singh's book, "Fermat's Last Theorem," that is exactly how much time he spent regularly on Ferma
39.
by mathetic 10y ago
You see that's what I mean. You have zero understanding of what you're talking about. You think dynamically typed languages came out of thin air? Do you know the difference between a segmentation fault and a dynamic type error?
40.
by mathetic 10y ago
>> Proofs never actually cover absolutely every possible case and we also can have as reliable software without the hard math whatsoever. This is ridiculous. If not being able to prove everything doesn't help, we should get rid o
41.
by mathetic 10y ago
>> What a patronizing and condescending piece. That's why it is so great. Of course, only time will tell if their display of strength is of fear or confidence.
42.
by mathetic 10y ago
It always amuses me how short political memory is. > At least Trump built houses and apartments for people. He didn't build his wealth by leveraging political power. All he said during the primary was that he was leveraging politica
43.
Data Surveillance Threat and Fraud Intelligence, Las Vegas Style (2006) [pdf](jeffjonas.typepad.com)
2 points by mathetic 10y ago|0 comments
44.
Fortress Features and Lessons Learned by Guy Steele [video](youtube.com)
6 points by mathetic 10y ago|0 comments
45.
by mathetic 10y ago
They are not referring to regularity in the formal grammar sense, but as constructs being used uniformly under different contexts.
46.
PornHub revamps bug bounty, back pays cash, hires staff, after criticism(theregister.co.uk)
1 points by mathetic 10y ago|0 comments
47.
by mathetic 10y ago
You are either completely oblivious to computer assisted/generated proofs or you have a niche definition of mathematics for yourself. Also they are not saying "all these cases where it holds true," they are saying "in al
48.
by mathetic 10y ago
No, it is a completely egotistical and futile exercise used to produce public funding consuming academics. This method of doing things offers a sound approach to developing things rather than ad-hoc implementations. It allows properties abo
49.
by mathetic 10y ago
And what would be the omitted part of programming language theory?
50.
by mathetic 10y ago
Yes, but he has followed career of a researcher with 7 years as a lecturer and 9 years as a professor before joining industrial research.
51.
by mathetic 11y ago
Arggh, every single time someone posts an incredible cool small piece of code that solves a difficult problem, comments like this appear. This whole HN attitude of pristine code is killing me. This is a piece of code in a GIST and solves
52.
Sam Aaron is creating the live coding synth Sonic Pi(patreon.com)
1 points by mathetic 11y ago|0 comments
53.
by mathetic 11y ago
Yes, he has announced on Twitter that his project is running out of funding (it is a research grant). He has set up a Patreaon page [0] for those interested in contributing his live coding, development of Sonic Pi and Overtone. [0] https:&
54.
by mathetic 11y ago
Not much. Not their style of warfare really.
55.
by mathetic 11y ago
Not to the same extent.
56.
by mathetic 11y ago
This data is being circulated for a while now. This makes me so angry. It is good that you show the infrastructure is bad, but how stupid does one have to be to say "do something about Erdogan" to the people who are facing identit
57.
by mathetic 11y ago
Fully understanding and finally correctly implementing Ukkonen's algorithm [0] is one of those things that put a big smile on your face. [0] https://en.wikipedia.org/wiki/Ukkonen%27s_algorithm
58.
by mathetic 11y ago
First, you should never have a dependency for 15 lines. Second, you sound just like people when pointed at modern art says "I could have done that" and I believe the correct response is "you didn't."
59.
by mathetic 11y ago
This is incredible. They screwed the author about ownership once and then they did exactly the same thing again.
60.
by mathetic 11y ago
It's not a problem of scale, it is a problem of fairness. I went to one of the two and I can tell you people lose their minds over everything being anonymous and fair even when it is as anonymous as it gets. When human assessors are in

More ›