to post messages and comments.

@jtootf:

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

@jtootf:

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

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

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

@jtootf:

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

@jtootf:

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

@jtootf:

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

@jtootf:

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

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

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

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

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

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

@jtootf:

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

@jtootf:

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

@jtootf:

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

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

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