полчаса до весны

уже полчаса, как мой возраст равен количеству граней ромбикубоктаэдра. не слишком интересный факт, но тем не менее

с днём окончания первой мировой!

полчаса до весны

самая большая спорадическая группа (действующая в 196883-мерном пространстве) проявляет себя одновременно в теории чисел и (в качестве группы симметрии) в теории струн (а так же демонстрирует некоторую связь с самой большой исключительной простой группой Ли). это очень красиво, как мне кажется

( картинки )

ну и ещё совы, конечно. совы - это очень хорошо

вот уже полчаса, как мой возраст стал выражаться наименьшим квадратом, представимым в виде суммы двух квадратов

такие дела

читая в метро Хокинга, главу о Ватиканской конференции и констатации отсутствия необходимости в боге, обращаю внимание на книгу в руках у соседа: это "ветхий завет". напротив сидит девушка восточной внешности, у неё в руках развёрнута тонкая книга формата A4,- она читает, неслышно проговаривая вслух, губы её шевелятся; на станции она выходит, и становится видно, что держала она партитуру

в центре сложного тройного перехода, около полуночи, сильно нетрезвый мужик останавливает меня: как выйти?; куда выйти? - спрашиваю. отвечает: наверх! и правда...

на здоровенном асфальтоукладчике картинка-трафарет: Гамельнский крысолов, за которым следуют три асфальтовых катка

вышел за хлебом. на лавочке сидят два гоповатого вида парня: кепки, пиво, рыба какая-то вяленая; ветер доносит обрывки фразы "...ну, обычный термоядерный синтез — превращение более лёгких ядер в более тяжёлые..."

осень

поздравляю всех математиков с днём 3.14

полчаса до весны

к слову, для получения эффекта, описанного в "Обитаемом Острове" никакие башни не нужны. общественное мнение самоиндуцируется

"...среди голосов серьезных ученых совершенно затерялась весьма смелая теория некоего молодого и эксцентричного магистра, который - пока его не утихомирили - утверждал, будто события в Ривии были следствием не заговоров и не деятельности тайных сообществ, а обычнейших и весьма распространенных свойств местного населения: темноты, ксенофобии, хамской жестокости и глубочайшего скотства..." ^©

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

порой умирают боги, и права нет больше верить... ^©

Hal Abelson, Philip Greenspun, and Lydia Sandon: Tcl for Web Nerds

"...in the case of AOLserver, for example, Jim Davidson and Doug McKee had only a few months to build the whole server from scratch. They wanted users to be able to write small programs that ran inside the server process. They therefore needed a safe interpreted language so that a programming error by one user didn't crash the server and bring down all the Web services for an organization.

Tcl was available. Tcl was easy to download and designed to fit inside larger application programs. But the Tcl interpreter as distributed had one terrible bug: it wasn't thread safe, i.e., you couldn't have two copies of the Tcl interpreter running inside the same program at the same time. Doug and Jim had to read through the Tcl source code and modify it to be thread safe. So it was critically important for them that Tcl was open-source and simple enough so as to not require months or years of study to understand the whole system.

Compare this to Lisp. Some of the best and brightest computer scientists raised money to build commercial Lisp implementations that they then went out and hawked in an indifferent and confused marketplace. They succeeded only in breaking their hearts and their investors' wallets. A handful of academics produced free open-source implementations, notably CMU Common Lisp (see http://www.cons.org/cmucl/) and various versions of Scheme (see http://www-swiss.ai.mit.edu/scheme-home.html; Scheme 48 is the closest to Tcl in spirit). But these multi-megabyte monsters weren't designed to fit neatly into someone else's program. Nor was there any document explaining how to do it.

Lisp developers have the satisfaction of knowing that they got it right 30 years before anyone else. But that's about all they have to show for 40 years of hard work and hundreds of millions of dollars in government and private funding. These days, most former Lisp programmers are stuck using Unix and Microsoft programming environments and, not only do they have to put up with these inferior environments, but they're saddled with the mournful knowledge that these environments are inferior..."

сон - это маленькая сингулярность

4!, однако. растём над собой

этическая дилемма - можно ли есть общественную пиццу после доклада, на котором ничего не понял? ^©

невозбранно обновил wishlist в преддверии дня окончания Первой Мировой. feel free to make me happy :)

да, на вот этом мероприятии (Freescale, QNX, 13.11 в Питере) кто-нибудь будет ещё присутствовать?

для тех, кто пропустил (то есть для тех, кто не читает LtU) - π, a pattern language:

"...there is only one language construct in π: the pattern. Patterns are, simply speaking, EBNF-expressions with an associated meaning; a pattern can be easiest understood as a function with a syntactically complex (context-free) "signature". The non-terminal symbols in the signature are then the parameters of the pattern. A π-program is a sequence of instruction symbols (technically, sentences), each being a sequence of (Unicode) characters. The sentences are then evaluated (executed) in the respective order..."

развитие идей Lithe; проект, параллельный OMeta (с EBNF вместо PEG)

прекрасное обсуждение в Haskell Cafe про ООП и всё, что с ним связано:

"Fundamental theorems tell us that any membership rule for a set can not be an absolute point, thus we should strive for typing and classing architecture which is the most granular (these are my summaries):

• Russell's Paradox: there is no rule for a set that does not cause it to contain itself, thus all sets are infinitely recursive
  
• Liskov Substition Principle: it is an undecidable problem that subsets inherit
  
• Linsky Referencing: it is undecidable what something is when it is described or perceived
  
• Coase Theorem: there is no external reference point, any such barrier will fail
  
• Godel's Theorem: any formal theory, in which all arithmetic truths can be proved, is inconsistent
  
• 1856 Thermo Law: entire universe (a closed system, i.e. everything) trends to maximum disorder"
  

и симметричное обсуждение на LtU общностей и различий между OOP и ADT-программированием:

"...what is the relationship between objects and abstract data types (ADTs)? I have asked this question to many groups of computer scientists over the last 20 years. I usually ask it at dinner, or over drinks. The typical response is a variant of “objects are a kind of abstract data type”. This response is consistent with most programming language textbooks.
[...]
So what is the point of asking this question? Everyone knows the answer. It’s in the textbooks.
[...]
My point is that the textbooks mentioned above are wrong! Objects and abstract data types are not the same thing, and neither one is a variation of the other..."

такие дела

QOpenCD Project, Open Source Software for QNX 6.4

"...the date is 13 May 1832. In the dawn mist, two young Frenchmen face each other, pistols drawn, in a duel over a young woman. A shot is fired; one of the men falls down to the ground, fatally wounded. He dies two weeks later , from peritonitis, aged 21, and is buried in the common ditch - an unmarked grave. One of the most important ideas in the history of mathematics and science nearly dies with him..." ^(c)

Évariste Galois
26 октября 1811 — 31 мая 1832

"...потом на протяжении очень долгого времени делались попытки решить уравнения тьетьей и четвёртой степени. В конце концов решения были получены; это весьма длинная и запутанная история (один открыл, опубликовал другой, споры о приоритете и т.п.), но в результате мы с вами умеем решать эти уравнения. Далее возникла задача решения уравнения 5-й степени. И вот здесь начались сложности. Долгие безуспешные попытки найти формулу для решения уравнения 5-й степени закончились тем, что Абель доказал невозможность решения этой задачи в радикалах...
...Галуа предложил очень общий метод решения уравнений. Если они не решаются, надо расширить множество возможных решений, точно так же, как и в случае уравнения второй степени. И он предложил такие расширения, которые позволяют решать уравнения любой степени. Это так называемые расширения Галуа. Эта идея до настоящего времени является одной из основных в современной математике. Если что-то не решается, то, быть может, нужно не биться лбом в стенку, а рассмотреть возможные расширения..." ^(c)