doall
Joined 12 years ago
Karma
220
Submissions
113
Member since
May 19
Recent submissions
Comment · 8 months ago
The irony of simplicity is that people often talk about it, yet the concept is so complicated that they fail to define it.
Comment · 10 months ago
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.
Comment · 1 year ago
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.
Comment · 1 year ago
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.
Comment · 1 year ago
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.
Comment · 1 year ago
Is that something like Transducers in Clojure?
Comment · 2 years ago
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?
Comment · 4 years ago
Since I know some Japanese, I'd like to point out that "Goto" should be pronounced more like "Go-toe"
Comment · 5 years ago
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.
Comment · 5 years ago
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.
Comment · 5 years ago
I'm wondering how the absence of Voevodsky affect the research of HoTT related field?
Comment · 6 years ago
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.
Comment · 7 years ago
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.
Comment · 8 years ago
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.