doall

The irony of simplicity is that people often talk about it, yet the concept is so complicated that they fail to define it.

Some people get confused, but they are owned by different companies. The founders know each other, has some relationship in business, and the company behind Hard Off owns shares of the company behind Book Off.

They admitted, apologized, and are in the process of revising the paper. Mistakes always happen whether small or big. What is more important is to be transparent, learn from it, and make sure the same mistake doesn't happen again.

This was from my experience that I thought may work for others too. Types may help in some sense, but is not enough and sometimes even add extra load especially on heterogenous data structures. Before using any tools beside basic IDE features, I think there are fundamental things you can do to reduce cognitive load, such as focusing more on code design, convention, structures, naming, testing, documentation, which can be applied whatever language you use.

Reducing cognitive load is the key. Several approaches I usually take are: 1. Make strict rules for code convention, especially naming things, and stick to that. 2. Use intermediate variables (let binding) often 3. Turn meaningful code block to a function often 4. Write Clojure specs and turn them to docstrings

In addition to that, a real REPL programming really helps to do small tests and understand the code quickly, immutable data structures with data-oriented approach and locally scoped code blocks combined with structural editor are godsend as well.

Is that something like Transducers in Clojure?

Not reading but writing code, I have a similar feeling as playing the piano, especially in highly interactive programming languages like Clojure or Common Lisp. Does anyone have similar experiences?

Since I know some Japanese, I'd like to point out that "Goto" should be pronounced more like "Go-toe"

I used Kawa for a prototype Android game app and I have a good impression for the quality of the implementation.

Compared to Clojure, Kawa has low startup time, low memory footprint, and has near Java performance that is suitable for mobile apps.

Found this for GPLv2. https://www.gnu.org/licenses/old-licenses/gpl-2.0-faq.en.htm...

In what cases is the output of a GPL program covered by the GPL too?

Only when the program copies part of itself into the output.

As I understand, you need an explicit clause when you copy part of GPL code. Not sure for GPLv3. Anyway, I also recommend consulting a lawyer.

I'm wondering how the absence of Voevodsky affect the research of HoTT related field?

This is Mochizuki's informal blog post in Japanese about the current situation.

https://plaza.rakuten.co.jp/shinichi0329/diary/202001050000/

Although he had lived in the US for more than a decade and has no problem with the English language, he seem to have a kind of "western culture allergy" that is written in detail in the post below:

https://plaza.rakuten.co.jp/shinichi0329/diary/201711210000/

I think the "allergy thing" is the reason he doesn't want to follow the ordinary "western approved way" and do a tour in the US.

Also I have read somewhere that he is open to mathematical discussions via online or if you visit him in Japan.

I know an example. The Aum Shinrikyo, which is known as one of the most violent cults in Japanese history, had many elites from top universities including doctors, lawyers, graduate students and so on.

I think Mochizuki won't have any problems with English, since he spent his school days, up to PhD in the US.

https://en.wikipedia.org/wiki/Shinichi_Mochizuki

About Hoshi, I have seen him in a conference video before, and have an impression that he isn't good at English, which can make a bit difficult in discussion.

I don't know about Scholze and Stix.

The claim was that people don't report crime, and you claim to see people reporting suspicions. Even if it weren't just an anecdote, it isn't even addressing the point accurately.

I have addressed the suspicion thing in my second reply to derefr. It is not just suspicion, but also a crime that is reported.

Neither of you have actually provided anything beyond generalizations and anecdotes. Any conclusion based on what's been presented so far is incredibly premature.

I understand your point. Since I know quite well of Japanese people, I don't think it is premature. To clearly show evidences that everyone can understand is a different thing and it is also difficult in some context.

To deny the claim "So nobody bothers to even report such crimes", I have to find just one case and since I know a case I consider it false.

To prove all my claims that I have witnessed, we probably have to go to court and I consider it nonsense since it isn't realistic.

To prove a customary of Japanese people, it is very difficult and I currently have no clear evidence that I can show easily, but any Japanese people can oppose to my claims if it seem wrong.

To back up my claim using other sources, for example, I can tell you a famous date-drug rape case of Shiori Ito in Japan, which the victim reported to the police, accepted, investigated, but not prosecuted.

Here is the wiki written about her in Japanese. https://ja.wikipedia.org/wiki/伊藤詩織

Oh, sure, people are very willing to report their suspicion of a crime happening to someone else.

I can say the same thing when you see a stranger entering your property that such case alone can be a crime in the Japanese law. I have seen Japanese people reporting such crimes.

But what do you think is, say, the date-rape report rate for Japan vs. any other country? Something that's already a source of personal shame is hard enough to report; knowing that no investigation will even be attempted in response means there's no reason to try to overcome that shame.

Even in such specific type of crimes that is very difficult to investigate, some people report to the police. It is up to the police department to accept the reports and further investigate.

Look at what reports ever get any detectives assigned to them, and the statistics will tell a far different story.

Your claim was that nobody bothers to report, but I oppose to the claim because I have seen people reporting, and thus I still conclude your claim is false.

So nobody bothers to even report such crimes

As a person who knows Japan quite well, this is not true. Even a very light case like seeing a stranger near a house, Japanese people will often call the police or go to a koban and request for help. In such case, a police officer will come to your house, listen to your claim, fill in papers, and will do some patrolling everyday for several days.

It is not that nobody bothers to report crimes. Japanese people bothers to report crimes, but it is up to the police department that if they should accept the damage report and do some further investigation. Of course there are priorities and because of the lack of resources some crimes won't be taken seriously when it should have.

In the Japanese article it just says something like "the owner of the property" and it isn't written in detail.

After reading an another Japanese article, it is written that a Taiwanese bought the whole Sotobanari island around 1985 to pray for the many Taiwanese coal miners who died in the island, but the owner was unfortunately killed in Taiwan in 2013.

I think that the relatives of this owner now own the island and wanted to do some farming on the island.

http://business.nikkeibp.co.jp/article/world/20130430/247368...

In an Japanese article the guy says that he was kicked out of Sotobanari island after becoming famous for showing up in a Japanese TV show; many tourists came to the island, the relatives of the owner of the property wanted to do some farming in the property, and some people were concerned that some other street people will do the same thing like him.

For these reasons he was asked to leave the island. If you want to read in more detail below is the article in Japanese.

https://www.dailyshincho.jp/article/2015/12090710/?all=1

Not. Your precondition was not that. It was more like "If the company is obeying the japanese government" or the "japanese law" then is fine for Japanese to hunt this whales

Again false. The precondition of the comment you said incorrect was never like that. Next time you post any comments, please read out loud and be more careful :(

I stated a precondition, "if the company is obeying the laws and it's just an emotional thing". So if that precondition is not true as you might consider, then your claim 'So the "not your business" claim is incorrect here' is incorrect.

The private companies which are killing the whales are just a proxy of the Japanese government, which are officially allowed by the government. They aren't allowed by the government to hunt as much as they want to maximize the benefits. To build a sustainable business in such regulated field, of course it is important to obey the laws and also care for the environment.

If the killings of 122 pregnant whales severely affect the environment and if there is a clear evidence to support such claim, the company should stop killing them. But if the company is obeying the laws and it's just an emotional thing, I consider it some other people's business.

If there is a clear evidence that killing some species of whales, such as minke whales will cause severe damage to the environment, just create a new international treaty and then the Japanese government will obey the rules. The Japanese government states that they are only killing the species that aren't endangered and also little amount that will not majorly affect the environment.

One thing to notice is that increasing of whales may also affect the environment. They eat large amount of fishes that may affect humans if the number increases. Increasing or decreasing both may affect the environment and the important thing is the balance of them.

I see this common in the western culture. Some inconsistent mind western people who think they are the right ones brag about something and tries to force people in other countries to obey. One difference between whales/dolphins and others is that the main target is the Japanese people and the government. Those people are tend to be calm that is different from western people and is easy to become a target for the louder ones.

To quickly review a broad range of math up until 1st or 2nd year of university, I really recommend Khan Academy https://www.khanacademy.org/math . I am currently using it to brush up my math skills for machine learning.

Before going to Khan Academy, I started reading a rigorous math textbook, but my motivation didn't last long. You really need high motivation to complete a rigorous textbook, but Khan Academy is different and I am finally able to continuously improve my math skills.

The best thing I like about Khan Academy is the large amount and instant feedback of exercises that you don't get from regular textbooks. I really wished that Khan Academy was there when I was a kid.

To get deep knowledge of math, I think that rigorous textbooks are the way to go, but before those and to prepare for them, I really recommend Khan Academy.

I thought that well known software licenses deal with such concerns.

I watched all of the 2018 Part 1 videos and it was not my style.

One thing I liked is the positive attitudes of Jeremy and Rachel, but there was not much theory and a lot of time was spent on questions and answers for the participants of the lecture that I don't think necessary.

I wanted to see definitions and "why", but the course spends too much time on "how". Sometimes I see "why" in the lecture, but many times it is just an answer for the question from a random participant and the answers seemed not well prepared, so it makes it hard to deeply understand the content.

I think fast.ai (at least Part 1) may be good after taking other deep learning courses and before participating in the Kaggle competitions that when you are already familiar with the theories.

I think it boils down to something like long term memory vs working memory.

In my experience, even if I get interrupted playing a piano score that I practiced hard, I still remember the whole notes and I can easily come back to the state, because the main thing to remember is where I have stopped playing and this easily fits in my working memory.

Opposed to that, when I'm in creative mode, I heavily rely on working memory and when I get distracted, new info comes in and my working memory easily blows up. I forget what I was thinking about and cannot come back to the state before I got distracted.

Reading your post, a question comes up to my mind. Just that it resembles and the origin comes from the same place, do we consider PDAs as same as the iPhone era smartphones?

The concept may look similar, but they are very different things in detail, and the latter became the defacto and created a new culture, which makes it important and I think it is enough to call it unique or original.

Is there any good abbreviation or a nickname for this DB?

Initially I thought I could get used to it, but after many years watching in HN I haven't succeeded yet.

Perhaps you cut the word in half, but it just creates another two strong words and shows the survival power of the word :(

Calling it CDB doesn't click to me either.