majikaja

8 ms·

1.
by majikaja 10mo ago
Consider a function on R as an |R|-dimensional vector...
2.
by majikaja 1y ago
Yes I am aware of this one, it seems like a good intro. I am just thinking more along the lines of - other than times where a computer is not available to us, why do we keep using traditional notion/pen and paper at all? If everything
3.
by majikaja 1y ago
This is cool I guess intros based on the structure of mathlib could work for people who haven't published their own textbooks.
4.
by majikaja 1y ago
I think an important thing for something like Lean to gain traction is the availability of learning resources (math 'textbooks') based on the technology so people actually use it for day to day mathematics instead of just formaliz
5.
by majikaja 1y ago
If men don't want to be around women out of fear of being accused of something I think that should also be respected.
6.
by majikaja 2y ago
Funny I'm being downvoted for this comment when it's you engineers that created the social media and dating apps that contributed to this situation.
7.
by majikaja 2y ago
Standards changed, lots of people are too unattractive to marry now.
8.
by majikaja 2y ago
RSS Guard
9.
by majikaja 2y ago
Anyone know any guys making money from this site?
10.
by majikaja 2y ago
Maybe not the exact wording but the exact meaning...
11.
by majikaja 2y ago
Maybe the focus is cheaper junior devs?
12.
by majikaja 2y ago
If America doesn't do as Israel wants then Israel might side with another country. And they know they'll be facing allegations themselves for helping to enable the situation.
13.
by majikaja 2y ago
>The next government might decide to turn him over to the ICC simply to get him off the political stage. I thought it was the USA that makes these decisions
14.
by majikaja 2y ago
I think a lot of people are going to be disappointed if they go to Japan expecting the same social structures they enjoyed in the west to exist in the same form, just hidden somewhere behind the language barrier. Don't even expect the
15.
by majikaja 2y ago
If you want to be respected (but not 'integrate') as a foreigner by traditional society in Japan it's good to work at a prestigious place where there are few Japanese people such as an embassy. Failing that a gaishikei compan
16.
by majikaja 2y ago
What is there to integrate into? Adult life is mostly just going to work to pay the bills. I don't know anyone with a particularly interesting life outside of their job. Most Japanese people aren't going to be any less apathetic a
17.
by majikaja 2y ago
I don't think there is much to gain from intelligent Japanese people from becoming fluent in English, other than maybe leaving the country. They can already make a good living by climbing the ladder in a large firm. It is unrealistic f
18.
by majikaja 2y ago
The finance industry in Japan is such a wasteland.
19.
by majikaja 2y ago
I never found it useful for trading (he's never been involved in that as far as I know) but I found it useful for gaining general knowledge when I was new to finance.
20.
by majikaja 2y ago
I barely read his articles these days. Most of it is irrelevant to my work/obvious to professionals. A lot of it is just summarizing other articles in his own words. Deep insights in finance are typically not useful once everyone knows
21.
by majikaja 2y ago
Attractive people in the office don't spontaneously take their clothes off and have sex while the uglies sit around watching.
22.
by majikaja 2y ago
Maybe seeing attractive people in media makes people feel bad about their own appearance. Or their partner's appearance. Maybe they don't want to watch something just to be reminded of their mediocre/nonexistent sex life.
23.
by majikaja 2y ago
The things that are 'socially acceptable' (big houses? boats? art? no multiple spouses) to spend millions of dollars on as an individual are just not appealing to everyone.
24.
by majikaja 2y ago
RSS Guard
25.
by majikaja 2y ago
To mathematicians the problems are basically easy (at least after a few weeks of extra training) and after having seen all the other AI advances lately I don't think it's surprising that with huge amounts of computing resources on
26.
by majikaja 2y ago
I found those, I just would have appreciated if the content of the mathematics wasn't sidelined to a separate download as if it's not important. I felt the explanation on the page was shallow, as if they just want people to accept
27.
by majikaja 2y ago
It would be nice if on the page they included detailed descriptions of the proofs it came up with, more information about the capabilities of the system and insights into the training process... If the data is synthetic and covers a limited
28.
by majikaja 2y ago
Frustrating QuiteRSS crashes all the time for me Is there anything better?
29.
by majikaja 2y ago
> We can't prove other people aren't p-zombies but the value bet is definitely that, appearing like us in every other way, they also experience like us. Logic doesn't need to be binary. There is no need for the answer to s
30.
by majikaja 2y ago
First worlders became irresponsible and decadent

More ›