- @tum: *cs *physicsказалось бы, какая тут может быть связь
Domain Theory and General Relativity, cs.mcgill.ca <cs.mcgill.ca>3 months ago - @tum:под НГ появились несколько хороших текстов, которые стоит прочитать. С праздником.
Paul Chiusano, The Future of Programming: pchiusano.blogspot.com (мой перевод: habrahabr.ru )
Rob Pike, Esmeralda's Imaination: commandcenter.blogspot.com
список вкусного от fogus, пока не прочитано, но должно быть хорошее, blog.fogus.me4 months ago; 13 replies - @jtootf: *math *musicmath.ucr.edu — вот что получится, если взять корни всех многочленов 24 степени с коэффициентами +1 и -1, и изобразить их на комплексной плоскости. там очень много интересного, надо только присмотреться: johncarlosbaez.wordpress.com
отдельной строкой отмечу, что Notre-Dame de Paris в сопровождении симфонического оркестра чертовски хорош - @tum: *csАндрей Бауэр рассказывает о разнице между лямбда-исчислением и машиной Тьюринга. cstheory.stackexchange.com В linked есть интересное продолжение с разъяснениями cstheory.stackexchange.com6 months ago
- @jtootf: *? *musicа посоветуйте какой-нибудь академической музыки помощнее, пожалуйста,- что-нибудь вроде "O Fortuna!" Орффа, девятой симфонии старины Людвига или пляски смерти Сен-Сана. чтобы пробирало до костей мозгов в процессе прослушивания и заглушало звуки города6 months ago; 82 replies
- @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 Meredith7 months ago - @tum:прекрасная статья за жизнь: yosefk.com
предупреждение: тл;др этой статьи не сводится к фанатскому "форт это клево, давайте все переделаем на нем"; не сводится он и к обратному. Статья ведет в края более дальние. - @tum: *arithmetic«The aim of this work is to show that contemporary mathematics, including Peano arithmetic, is inconsistent» golem.ph.utexas.edu
- @jtootf:сначала переносим x в правую часть, а потом ГОМОЛОГИИ ПУЧКИ ЭНДОФУНКТОР СХЕМА НАД КОЛЬЦОМ ЭТАЛЬНОЕ ПОДПОКРЫТИЕ
via google.com7 months ago - @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.edu8 months ago
- @PineappleZombie: *haskell *GHC
So glad you asked! The best ghc bug ever involved a dev version of the compiler deleting your source file if it contained a type error.
Bryan O'Sullivan - @tum:А что стоит использовать вместо Mendeley для классификации смеси pdf и djvu файлов? (Он не подходит, потому что не умеет работать с djvu, как я мог понять). Сейчас пользуюсь велосипедом собственного произвоства из unix-утилит, но вещи вроде Mendeley выглядят посерьезнее.
CiteULike? Zotero? Еще что-то?8 months ago - @folone: *haskell *code-styleRead code by people from different grad schools in the 1990s
Oxford style -> hackage.haskell.org
Glasgow style -> hackage.haskell.org or this -> hackage.haskell.org
Chalmers style -> hackage.haskell.org or this -> hackage.haskell.org
York style -> hackage.haskell.org
Portland style -> hackage.haskell.org or OGI style -> hackage.haskell.org or this -> hackage.haskell.org
Utrecht style -> hackage.haskell.org
Yale style -> hackage.haskell.org
Special case: CMU/Elliott -> hackage.haskell.org
Read code by the old masters^W^W^W certain people (incomplete list)
— Marlow (research.microsoft.com); Paterson (soi.city.ac.uk); Peyton Jones (research.microsoft.com); Gill (ittc.ku.edu); Launchbury (corp.galois.com); Hughes (chalmers.se); Wadler (homepages.inf.ed.ac.uk); Bird (cs.ox.ac.uk); Claessen (cse.chalmers.se); Jones (web.cecs.pdx.edu); Tolmach (web.cecs.pdx.edu); Sheard (web.cecs.pdx.edu); Swiestra (cs.uu.nl); Augustsson (augustss.blogspot.com); Runciman (www-users.cs.york.ac.uk); Wallace (haskellers.com); Thompson (cs.kent.ac.uk); Hinze (cs.ox.ac.uk); Gibbons (cs.ox.ac.uk); Leijen (research.microsoft.com); Hudak (cs.yale.edu); Elliott (conal.net); Finne (haskell.forkio.com); Chakravarty (cse.unsw.edu.au); and
— Anyone who has written a functional pearl -> haskell.org
Note that people like me (Don Stewart), Coutts, Mitchell, O'Sullivan, Lynagh, etc. learned our Haskell style from these guys.
Read some applications
Read the GHC base library source -> hackage.haskell.org
Read the xmonad source -> hackage.haskell.org
отсюда -> stackoverflow.com
