Чтобы добавлять сообщения и комментарии, .

@tum:
tum

мясо поперек, вены вдоль.

@tum:
tum

казалось бы, какая тут может быть связь
Domain Theory and General Relativity, cs.mcgill.ca <cs.mcgill.ca>

@tum:
tum

Открыл для себя Foreign.Ptr, Foreign.Storable... It feels like xkcd.com/353

@tum:
tum

баян, наверняка, но я раньше не видел. tripadvisor.ru

@tum:
tum

под НГ появились несколько хороших текстов, которые стоит прочитать. С праздником.
Paul Chiusano, The Future of Programming: pchiusano.blogspot.com (мой перевод: habrahabr.ru )
Rob Pike, Esmeralda's Imaination: commandcenter.blogspot.com
список вкусного от fogus, пока не прочитано, но должно быть хорошее, blog.fogus.me

@tum:
tum

Андрей Бауэр рассказывает о разнице между лямбда-исчислением и машиной Тьюринга. cstheory.stackexchange.com В linked есть интересное продолжение с разъяснениями cstheory.stackexchange.com

@tum:
tum

В Украине вначале тоже решили не переводить время, но потом передумали и перевели. теперь гугл на запрос time in kiev ukraine отвечает 6:26pm. Хотя его, времени, 5:26pm. Убунту в режиме автоматической синхронизации солидарен с гуглом.

@tum:
tum

Книга "Типы в языках программирования" (TaPL), by Benjamin Pierce вышла на русском. Ура!

@tum:
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:
tum

«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:
tum

прекрасная статья за жизнь: yosefk.com
предупреждение: тл;др этой статьи не сводится к фанатскому "форт это клево, давайте все переделаем на нем"; не сводится он и к обратному. Статья ведет в края более дальние.

@tum:
tum

«The aim of this work is to show that contemporary mathematics, including Peano arithmetic, is inconsistent» golem.ph.utexas.edu

@tum:
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:
tum

This algorithm has O(no) complexity.

@tum:
tum

А что стоит использовать вместо Mendeley для классификации смеси pdf и djvu файлов? (Он не подходит, потому что не умеет работать с djvu, как я мог понять). Сейчас пользуюсь велосипедом собственного произвоства из unix-утилит, но вещи вроде Mendeley выглядят посерьезнее.
CiteULike? Zotero? Еще что-то?

@tum:
tum

этот текст был мне полезен: о зеркальных нейронах, catta.livejournal.com

@tum:
tum

неизменно хороший способ освоить новый язык программирования — это использовать его вместо всего. Использовать как калькулятор, как интерфейс к плоттеру, вместо любимой CAS, вместо скриптов на баше

@tum:
tum

Что-то джуйк ведет себя дилдообразно: не опубликовал мой отправленный комментарий; чужого ответа, видного по вебу, тоже не прислал...

@tum:
tum

А тут Кармак нахваливает функциональное программирование, reddit.com

@tum:
tum

очень интересное интервью с Д. Кнутом, bcs.org