slack3r

17 ms·

1.
by slack3r 1y ago
You have to first prove that p is not undecidable. This is not being done in many proof by contra-positive based proofs in mathematics. First prove that p is not undecidable is not a step in Analysis I by Terence Tao for instance.
2.
Proof by Contrapositive Is Wrong
1 points by slack3r 1y ago|3 comments
3.
How Computer Programming Feels(krez.expert)
1 points by slack3r 3y ago|0 comments
4.
by slack3r 3y ago
They are living in some very tiny house. Housing is the highest expenditure present. I calculated the rates for 111 square meters.
5.
Country-Wise Living Standards for an Amazon SDE 2(docs.google.com)
3 points by slack3r 3y ago|3 comments
6.
by slack3r 3y ago
I calculated the living expenses and savings ratio for every country that has an Amazon SDE 2 role on levels.fyi. For instance, for food I used the Big Mac Index, and got data from various sources on the Internet. I did some spot checking o
7.
by slack3r 8y ago
If you have to ask, you should probably stay at Big Tech Giant.
8.
by slack3r 8y ago
IMO : If it's on private property, whoever owns the property. If it's on public property then the government.
9.
by slack3r 8y ago
Or the other paranoid conspiracy theory interpretation is that the CIA wanted to call it Bird mode to avoid freaking out people. See https://pando.com/2015/07/01/cia-foia-google-keyhole/
10.
by slack3r 8y ago
sed is already Turing-complete ( https://catonmat.net/proof-that-sed-is-turing-complete ). I'm not sure how what you are proposing is any better than sed. I said math envy since you resorted to using algebraic ring theor
11.
by slack3r 8y ago
I would say it's a place where people who spend a lot of time on the internet try to gain status by posting comments which they expect to be upvoted.
12.
by slack3r 8y ago
Abstraction is useful when the resulting code is logically simpler, much like say category theory makes certain results in algebraic topology seem obvious. Perhaps, you simply mean a different thing when you say "abstraction".
13.
by slack3r 8y ago
Classic case of math envy. Ha ha ..
14.
by slack3r 8y ago
> I'm super impressed by the creativity involved in these attacks. You should check out [Acoustic cryptanalysis](source: http://www.nuclearphynance.com/Show%20Post.aspx?PostIDKey=15... )
15.
by slack3r 8y ago
Don't be ridiculous, dude. No compiler is actually compiling to PCMPISTRI. It's meant to be used directly as assembly. Of course I could be wrong. If you do know of any open-source compiler which compiles code to PCMPISTRI, let me
16.
by slack3r 8y ago
Lol, my comment was restricted to SIMD, which definitely does not take 10 minutes. Secondly, no mainstream compiler actually compiles code to the PCMPISTRI instruction. Presumably it was meant to be used directly as assembly. I'm not s
17.
by slack3r 8y ago
It may be black magic now, but people are working on making the black magic something lesser mortals don't have to worry about (eg: https://theory.stanford.edu/~aiken/publications/papers/asplo... ) Unfor
18.
by slack3r 8y ago
Yes. Deep Learning definitely needs a new programming language. Uber's Pyro is worth checking out. ( https://eng.uber.com/pyro/ )
19.
by slack3r 8y ago
Don't be ridiculous. It's better for technical books to be freely available for everyone to read. Think about it, it is more optimal for the world in the long run.
20.
by slack3r 8y ago
Of course, Palantir is behind this. Someone should really start putting checks on Silicon Valley executives, especially Peter Thiel.
21.
Ask HN: Story about 8D dimensional beings, a good idea?
2 points by slack3r 8y ago|1 comments
22.
Google doesn’t want you to ‘send a message to Barack Obama’(thenextweb.com)
1 points by slack3r 9y ago|0 comments
23.
by slack3r 9y ago
No. I simply pointed out that someone with sufficiently high intellect would have found other ways to get a job. Unless she is a statistical anomaly people in her situation would have similar experiences. I see no evidence that she was part
24.
by slack3r 9y ago
__I am average at my studies, what seemed to be super easy to my peers seemed strenuous for me.__ This is probably going to controversial, but her core problem seems to be an insufficiently high g-factor. She could have contributed to a pro
25.
by slack3r 9y ago
In general, the FDA over-regulates rather than under regulates. A comment is too short to summarize the reasons why, but I would refer interested people to Eliezer Yudkowsky's Inadequate Equilibria ― there is a 50 page dialogue between
26.
by slack3r 9y ago
Dell XPS 15. Dell laptops have by far the best support for Linux.
27.
Ask HN: Is Tinder-like networking based on shared interests a good idea?
2 points by slack3r 9y ago|1 comments
28.
by slack3r 9y ago
His blog Raw Thought ( http://www.aaronsw.com/weblog/ ) details his experiences. I found his memoirs about Stanford particularly interesting. An example entry: """ Surrounding them were groups of kids chat
29.
by slack3r 9y ago
Try Terence Tao's Analysis I and II.
30.
by slack3r 9y ago
I wouldn't say it "challenges" set theory. For this to be the case there have to demonstrable advantages over working with set theory. The main attraction of HoTT is that it allows people to do homotopy theory on computers us

More ›