Anhinga anhinga

A year ago I posted about dataflow programming and linear models of computation:

http://anhinga-anhinga.livejournal.com/82757.html

It turns out that those dataflow matrix machines are a fairly powerful generalization of recurrent neural networks.( Read more... )

"The AGI conferences are the only major conference series devoted wholly and specifically to the creation of AI systems possessing general intelligence at the human level and ultimately beyond." This is a small conference (I expect around 200 people, give or take), and this year it comes in two parts, AGI-12 and AGI-Impacts:

http://agi-conference.org/2012/schedule/

http://www.winterintelligence.org/#calendar

The videos from the AGI-11 are available here:

http://agi-conf.org/2011/

russhatter showed me a very tempting paper in mathematical linguistics (in the comments to the previous post). I don't understand it well enough (yet) to say whether I like it. It does use monoidal categories to achieve its goals.

Perhaps someone would want to comment on this, or would find the reference interesting.

http://arxiv.org/abs/1003.4394

"Mathematical Foundations for a Compositional Distributional Model of Meaning
Authors: Bob Coecke, Mehrnoosh Sadrzadeh, Stephen Clark
(Submitted on 23 Mar 2010)

Abstract: We propose a mathematical framework for a unification of the distributional theory of meaning in terms of vector space models, and a compositional theory for grammatical types, for which we rely on the algebra of Pregroups, introduced by Lambek. [...]"

Update: ( remarks )

I recently found a very cool short paper (4 pages) which Dennis Gabor written 40 years ago.

It explains the math of associative holographic memory, which turns out to be very simple.

Because it is that simple, neither holograms, nor even waves and oscillations, are actually necessary to implement this scheme of associative memory.

D. Gabor, Associative Holographic Memories, IBM Journal of Research and Development, 13(2), 156-159 (1969). Abstract, PDF

Informal meeting, Friday, June 1:

https://lists.ccs.neu.edu/pipermail/pl-seminar/2007/000390.html

University of Wales, Swansea, 30 June - 5 July, 2006

Luca Cardelli: Biological Systems as Reactive Systems.
Martin Davis: The Church-Turing Thesis: Consensus and Opposition.
István Németi: Can general relativistic computers break the Turing barrier?

http://www.nepls.org/Events/16/

Some of the talks are quite cool, concluding with Paul Hudak speaking on generating musical instrument sounds in Haskell.

Brown University, Providence, RI, Thursday, Oct.27

Саша Шень очень сильно повлиял на мою жизнь. Среди прочего, он научил меня хорошей версии функ-ана в "народном университете", и рассказал мне, что есть такой Dana Scott, который делает топологические модели языков программирования.

( синхронность )

ЗЫ. ( кы-ы-ы-ы-ысь )

Update: третья ссылка на Шеня в френд-ленте: Конкурс Пьера Делиня.

New England Programming Languages and Systems. Friday, February 25, 2005. Boston University.

Aspect-Oriented Software Development. Tuesday, March 8, 2005. Northeastern University.