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

@jtootf:
jtootf

6 января буду в Питере, ежели кто желает встретиться — стучитесь в жаббер (или сюда, но потом всё равно в жаббер)

@jtootf:
jtootf

есть нечто умиротворяющее в осознании того факта, что в 16-мерном Евклидовом пространстве существуют два барабана различной формы, издающие совершенно одинаковый звук

@jtootf:
jtootf

дожил до гармонического, счастливого, треугольного, шестиугольного, а так же центрированного девятиугольного возраста

@jtootf:
jtootf

en.wikipedia.org — не могу не порекомендовать диск под названием "Closed on Account of Rabies: Poems and Tales of Edgar Allan Poe". среди чтецов — Игги Поп ("The Tell-Tale Heart"), Кристофер Уокен ("Raven") и Диаманда Галас ("The Black Cat")

@jtootf:
jtootf

chaos-math.org — фильм о теории хаоса от создателей Dimensions

@jtootf:
jtootf

fpcomplete.com — The world's first commercial Haskell IDE and deployment platform

@jtootf:
jtootf

oxij.org — замечательный сайт @oxij с курсами и заметками по теории типов

@jtootf:
jtootf

en.wikipedia.org
синтетическая дифференциальная геометрия — синтетическая (в противовес аналитической) формулировка нестандартного анализа (и, собственно, геометрии) с помощью рассуждений в рамках интуиционистской логики
fuw.edu.pl
math.ias.edu
подсказали на ##categorytheory как пример прикладной теории топосов, очень понравилось

@jtootf:
jtootf

в ближайший шаббат будем с @vannadiz в Москве, ежели кто желает встретиться — стучитесь в жаббер (или сюда, но потом всё равно в жаббер)

@jtootf:
jtootf

bit.ly — Intracerebrally Consuming Cephalalgia Through the Cranium Macerating Debrisfucked Manure Ingested Remains of the Mindfucked Cataplexic Wicked Mankind Whom Fistfucked the Progenies from the Deepest Depths of the Analmaggot Raped Human Pieces of Erotic Shitmasses Which Gave Birth to Worthless Eunuchs as Travesty for Cumstained Whorefaced Sluts Enslaved by This Stupid Society Full of Fetal Garbages (also known as 55) is a 2 man porno/goregrind band project formed in 2009 from Helsinki, Finland.

почему бы и нет, в самом деле

@jtootf:
jtootf

в продолжение #1486538 — RIM выпустила два QNX-powered смартфона: blogs.blackberry.com blogs.blackberry.com

собираются в том числе и на четвёртых OMAP'ах

@jtootf:
jtootf

нужно создать агглютинативно-конкатенативный суперкомпилируемый естественный язык системного программирования с зависимыми типами, и назвать его Вавилонская Яма

вот тогда заживём

@jtootf:
jtootf

strictlypositive.org — страница Конора Макбрайда, автора Epigram

sneezy.cs.nott.ac.uk — termly seminar on functional programming and related topics
strictlypositive.org — Differential Calculus with Datatypes
strictlypositive.org — cheat sheets

@jtootf:
jtootf

где бы почитать про геометрическую (топологическую) интерпретацию расширений Галуа?

@jtootf:
jtootf

тензорное произведение векторных пространств — бифунктор, определяемый как наиболее общее билинейное произведение. линейный оператор (эндоморфизм) векторного пространства — тензор ранга (1, 1). гиперплоскость — подпространство коразмерности 1 векторного пространства, состоящее из всех векторов, аннигилируемых фиксированным ковектором сопряжённого пространства

@jtootf:
jtootf

youtube.com — Harpreet Bedi: homology, cohomology, algebraic topology, categories and sheaves, algebraic geometry

@jtootf:
jtootf

если считать с нуля, то в десятичной записи числа пи мой (с недавних пор) текущий возраст находится на своём месте. и это хорошо

@jtootf:
jtootf

groupprops.subwiki.org — Groupprops, The Group Properties Wiki

@jtootf:
jtootf

The family is full of scientists. Mathematicians. The least intelligent of us become engineers. Which is sort of what I am — Neal Stephenson, "Cryptonomicon"

@jtootf:
jtootf

habrahabr.ru — собеседуя очередного соискателя под наши вакансии, я буду вспоминать эту статью и комментарии к ней