tum
В Украине вначале тоже решили не переводить время, но потом передумали и перевели. теперь гугл на запрос time in kiev ukraine отвечает 6:26pm. Хотя его, времени, 5:26pm. Убунту в режиме автоматической синхронизации солидарен с гуглом.
tum
Книга "Типы в языках программирования" (TaPL), by Benjamin Pierce вышла на русском. Ура!
tum
«I would like to state as plainly as possible, theory is not necessarily "advanced." In many ways theory is less advanced than pragmatic programming because it removes much of the complexity of real world situations and considers models, toys, abstractions, etc. The demands on attention are lesser, not greater. This is the point of theory!
From another perspective, what you get exposed to early will seem simple and what you get exposed to later will seem more complex. i've made it a point to expose youngsters to theoretical computing and abstract mathematics and have had excellent results. i've taught 13 yrs olds both Milner's π-calculus and the lambda calculus. i've taught 4th and 5th graders the essence of Conway Games. Just last spring i had a little 4th grade girl go up to the board and do calculations with infinitary games. They don't come with preconceptions that it's "hard" or "advanced" and i don't tell them that it is and they find their way in — because wonder at the beauty of the order of the world and desire to engage it is our birthright. » (c) Gregory Meredith
tum
DART ^___^ Bracha «The type system is unsound, due to the covariance of generic types. This is a deliberate choice (and undoubtedly controversial). Experience has shown that sound type rules for generics fly in the face of programmer intuition»
tum
прекрасная статья за жизнь: yosefk.com
предупреждение: тл;др этой статьи не сводится к фанатскому "форт это клево, давайте все переделаем на нем"; не сводится он и к обратному. Статья ведет в края более дальние.
tum
The name “operad” is a word that I coined myself, spending a week thinking about nothing else. Besides having a nice ring to it, the name is meant to bring to mind both operations and monads. Incidentally, I persuaded MacLane to discard the term “triple” in favor of “monad” in his book “Categories for the working mathematician” (c) J. P. May, math.uchicago.edu
tum
А что стоит использовать вместо Mendeley для классификации смеси pdf и djvu файлов? (Он не подходит, потому что не умеет работать с djvu, как я мог понять). Сейчас пользуюсь велосипедом собственного произвоства из unix-утилит, но вещи вроде Mendeley выглядят посерьезнее.
CiteULike? Zotero? Еще что-то?
tum
note-for-self неизменно хороший способ освоить новый язык программирования — это использовать его вместо всего. Использовать как калькулятор, как интерфейс к плоттеру, вместо любимой CAS, вместо скриптов на баше
tum
Что-то джуйк ведет себя дилдообразно: не опубликовал мой отправленный комментарий; чужого ответа, видного по вебу, тоже не прислал...