- @Nullstellensatz: *math *нмуКстати, пока еще не поздно. С этого четверга (то есть с девятого февраля) в НМУ Антон Фетисов будет читать курс по теории категорий. Каких-либо предварительных знаний за пределами базовых определений из алгебры не предполагается. В описании курса написано, что ориентировано на второй курс, но это неправда :)
ium.mccme.ru
Еще 16 февраля там же будет проходить некое мероприятие под названием "An Hour of English Poetry" (ium.mccme.ru).3 days ago; 15 replies - @PineappleZombie: *haskell *GHCВышел новый GHC с новыми вкусными расширениями, улучшениями в GHCi и стектрейсами
The GHC Team is pleased to announce a new major release of GHC, 7.4.1.
Here are some of the highlights of the 7.4 branch since 7.2 and 7.0:
* The Num class no longer has Eq or Show superclasses.
* There is a new feature Safe Haskell (-XSafe, -XTrustworthy, -XUnsafe).
The design has changed since 7.2.
* There is a new feature kind polymorphism (-XPolyKinds).
A side-effect of this is that, when the extension is not enabled, in
certain circumstances kinds are now defaulted to * rather than being inferred.
* There is a new feature constraint kinds (-XConstraintKinds).
* It is now possible to give any sort of declaration at the ghci prompt.
For example, you can now declare datatypes within ghci.
* The profiling and hpc implementations have been merged and overhauled.
Visible changes include renaming of profiling flags, and a new
semantics for the cost-centre stacks (which should in most cases
result in more useful and intuitive profiles). The +RTS -xc flag now
also gives a stack trace.
* It is now possible to write compiler plugins.
* DPH support has been significantly improved.
* There is now preliminary support for registerised compilation using
LLVM on the ARM platform.
Full release notes are here: haskell.org - @jtootf: *флешмобна данной фотографии запечатлены трое студентов донецкого матфака году эдак в 2005 (или около того), разбивших лагерь в непосредственной близости болота
в тот вечер мы ели комаров, пили комаров, и, кажется, дышали комарами. в кружках портвейн, лица одухотворены, впереди ещё несколько дней глубокомысленного похода по области на своих двоих. снимал это всё четвёртый студент (золотой медалист всемирной олимпиады по информатике, между прочим) на фотоаппарат, идентичность которого не поддаётся восстановлению ввиду прошедшего времени. такие дела9 days ago; 20 replies - @xiliu: *запоминалка *маяковский *матан *боянВ сто сорок солнц закат пылал
В июнь катилось лето
На синус тэта эр квадрат дэ эр дэ фи дэ тета - @Nullstellensatz: *mathОтвет на задачу из предыдущего поста (про число точек на единичной окружности в F_q) в комментариях.
- @Sectoid: *programming *git *hgПытаюсь вот сформулировать свое мнение касательно "Git vs Mercurial" и понял что немного не хватает информации. Жуйк, есть ли какие-то ситуации, которые в hg делаются значительно проще чем в git? Простоту будем мерять в степени необходимости выполнения "неочевидных" комманд в git-решении.
Это не вброс, не флудите, плз. Если есть желание устроить СО на тему Git-vs-Mercurial — создам отдельный потс14 days ago; 199 replies - @jtootf: *math *categoriesmath.lsa.umich.edu — работы по вычислительной теории категорий и категориальной логике
- @jtootf: *math *?а ни у кого нет, часом, The Red Book of Varieties and Schemes в каком-нибудь переносимом формате?28 days ago; 10 replies
- @jtootf: *music *?есть у меня несколько любимых дорожных песен — про дорогу и для дороги. что-то вроде этих:
Dire Straits — Telegraph Road
Porcupine Tree — Arriving Somewhere But Not Here
Юрий Наумов — Night On The Highway
The Doors — Queen Of The Highway
и из недавно найденного на ту же тему:
Faun Fables — Roadkill
поделитесь чем-то похожим, пожалуйста. так, чтобы вот послушал — и сразу Керуак, и сразу автостоп и звёзды1 month ago; 18 replies - @dukkha:There are strange moments in life when, all of a sudden, one finds oneself writing a paper about loop quantum gravity.
Интересные блоги не о математике, но о взаимоотношениях внутри математического сообщества, расстройствах психики, хороших книгах и суровой борьбе: blogger.com1 month ago - @jtootf: *programmingcs.dartmouth.edu
computational equivalence for all protocol endpoints!
context-free or regular!
no more Turing-complete input languages!
Occupy Babel!1 month ago - @jtootf: *math *categoriesявно используются произведения и копроизведения в категории запятой, неявно (в факторизации) — уравнители и универсальные квадраты. объекты конструируются на основе таковых из категории конечных множеств с использованием наследования копределов (а посредством дуальности — и пределов) в категорию запятой. операции образа и обратного образа на стрелках вызываются из классификатора подобъектов, и также вычисляются посредством пределов и копределов в категории конечных множеств
зачем всё это? чтобы посчитать таблицы истинности булевой алгебры :) - @jtootf:exple.tive.org — so while you would think a cubic light year of cheese would be the obvious choice over the sun, if you are presented with a choice between them, the numbers suggest you would be far better off choosing the sun
кубический световой год сыра как подарок на счастливое новое ухо - @jtootf: *programmingвот интересно, почему любители C++ зачастую называют отсутствие в нём стандартного GC (или интерфейсов, или мультиметодов) преимуществом (свобода выбора, всё такое), но при этом считают отсутствие стандартной объектной модели в C (или множественного наследования в Java, или приватных полей в Python) недостатком?1 month ago; 142 replies
- @jtootf: *math *programmingхочу стандартную математическую библиотеку, в которой было бы явно отражено то, что функция floor является правым сопряжением к функтору включения множества целых чисел во множество вещественных (а ceil, соответственно, левым). можно даже в PHP
Just the One of the Few (jtootf)
Ne pleure pas, Alfred! more
