majikaja

Consider a function on R as an |R|-dimensional vector...

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 is digitalized no one will have mark homework ever again.

This is cool

I guess intros based on the structure of mathlib could work for people who haven't published their own textbooks.

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 formalizing what has already been proven without it.

I don't think many people are going to read Rudin (etc.) then try to rewrite the book or do the exercises in Lean by themselves or read through the mathlib files to see how everything is defined/proved in full generality.

Like a lot of people (I imagine), I'm not a professional mathematician working on advanced, complex problems but I would like to have the ability to have the computer check my solutions to exercises and maybe even aid me with hints for tackling problems if needed.

If math textbooks gave free use for people to rewrite them into computer format and post online it would make life a lot easier.

If men don't want to be around women out of fear of being accused of something I think that should also be respected.

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.

Standards changed, lots of people are too unattractive to marry now.

RSS Guard

Anyone know any guys making money from this site?

Maybe not the exact wording but the exact meaning...

Maybe the focus is cheaper junior devs?

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.

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

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 drinks after work culture, a lot of that has disappeared. It was a thing when people actually had hopes that showing loyalty to a company would improve their lives.

If you want to enjoy life just watch videos of expats chilling in places Thailand for inspiration. Otherwise you may become like the Japanese people and end up bored and wanting to leave.

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 company that sounds foreign to people who don't know better but isn't (likely >90% Japanese). Or just be rich (this may also involve being very picky or completely averse to working with the native population).

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 about a foreigner than others of their own group. Naturally there will be more traction with those looking for free English teachers and gaijin hunters. What a larger proportion of people likes is money and entertainment. Not so much foreigners trying to be Japanese. A foreigner giving such vibes will always be lower down in social status than the natives.

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 for the average person in the country to become fluent in English reading/writing - lots of people are barely literate in their original language. Even if everyone became more skilled and wealthier, what would that achieve? Import more junk from overseas? Increased wealth will just be funneled into land or spent on smartphone games and prostitutes.

The finance industry in Japan is such a wasteland.

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.

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 about them.

Attractive people in the office don't spontaneously take their clothes off and have sex while the uglies sit around watching.

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.

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.

RSS Guard

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 one can 'search' for a solution.

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 it's a black box.

All I've learnt from this is that they used an unstated amount of computational resources just to basically brute force what a human already is capable of doing in far less time.

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 class of problems I would imagine what it's doing mostly reduces to some basic search pattern heuristics which would be of more value to understand than just being told it can solve a few problems in three days.

Frustrating

QuiteRSS crashes all the time for me

Is there anything better?

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 such a question to even be defined.

First worlders became irresponsible and decadent