doall

13 ms·

91.
by doall 10y ago
Do you spend like six hours studying after school and eleven hours in weekends for several years? Then it is comparable :)
92.
by doall 10y ago
Fantastic! As a Lisper and Clojurian, I can say that this really helps beginners to search for reader macros.
93.
by doall 10y ago
How about Mitsuoka Orochi? Maybe not middle class but not pure supercar. https://en.m.wikipedia.org/wiki/Mitsuoka_Orochi
94.
by doall 10y ago
To understand concurrent programming in Clojure, at least you should read [1]. In general, the symbolic STM (Refs) is not often used in Clojure programming. Atoms (a wrapper of the Java AtomicReference) is much more lightweight and is used
95.
by doall 10y ago
In Thailand too
96.
by doall 10y ago
>Why not just make an iPhone case that has a carve-out for the payment card? I too have seen this kind of product in Japan. The downside is that the case gets thick, the design is limited, and it doesn't look cool. As a former user
97.
by doall 10y ago
Tap water is drinkable anywhere in Japan.
98.
by doall 10y ago
From the NYT article in 2011: “The choice is radical, but brilliant,” said Larry Smarr, director of the California Institute for Telecommunications and Information Technology, a University of California laboratory that pursues a similar res
99.
by doall 10y ago
Both articles refer to the same person Tamaki Matsuoka, which is known to be writing books based on logically mistaken interviews. For example, there is a book written by her about 102 "anonymous" ex-soldiers, which she claimed th
100.
by doall 10y ago
It's not that Japanese people are hiding their history. If there are clear evidences that are not flawed and could not be denied, they will not deny, but admit and apologize. For example, there was the famous Korean sexual slavery issu
101.
by doall 11y ago
Kawakami has been deeply concerned about the declining Japanese animation industry. Since he has been involved with Studio Ghibli and Studio Khara he knows the industry quite well. Also as CTO of Dwango he knows quite well about technolog
102.
by doall 11y ago
I am already aware of the Barr Group team and I know their claim. >NASA didn't find a software defect, this is not the same as NASA finding that there is no software defect. Read my post carefully. I haven't claimed such a thin
103.
by doall 11y ago
About the Toyota's unintended acceleration (UA) incidents. From Wikipedia: "On February 8, 2011, the NHTSA, in collaboration with NASA, released its findings into the investigation on the Toyota drive-by-wire throttle system. Afte
104.
by doall 11y ago
That is very true and thanks for telling from the other side. Hope that Koreans and Japanese will get along.
105.
by doall 11y ago
A typical Japanese will not hate a person because of having a Korean ancestry. Actually there are many celebrities who have a korean background and also are very respected.(e.g. Masayoshi Son, Akiko Wada, Tomoaki Kanemoto, Akira Maeda) Typi
106.
by doall 11y ago
See this https://groups.google.com/d/msg/homotopytypetheory/oXQe5u_Mm...
107.
by doall 11y ago
>all mathematical proofs are actually programs This is not true. Only a subset is stated by Curry-Howard correspondence.
108.
by doall 12y ago
First of all, thank you for changing the license to BSD. This is a really happy news. Reading all the discussions including Google Group, HN, and Reddit so far, to deal with the concerns of hga and others, is it possible to just move the co
109.
by doall 12y ago
Shen's powerful T* type system using sequent calculus which is turing complete is revolutionary. Also, Shen's approach doesn't have a huge performance hit. See benchmarks for Qi implemented in SBCL. http://www.lamb