You are viewing palm_mute

palm_mute [entries|archive|friends|userinfo]
palm_mute

[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

(no subject) [Apr. 12th, 2012|02:20 pm]
http://www.nature.com/news/human-experiments-first-do-harm-1.9980
Link1 comment|Leave a comment

Übergraph в космосе [Apr. 3rd, 2009|10:20 am]


http://hackage.haskell.org/cgi-bin/hackage-scripts/package/vacuum-ubigraph
Link7 comments|Leave a comment

control/prompt и все-все-все [Mar. 19th, 2009|03:00 pm]
[Tags|, , ]

Сегодня будет сумбурная заметка, в которой встретятся control/prompt и
shift/reset, small-step интерпретаторы, higher-order abstract syntax,
GADTs и другие scary lambdasCollapse )
Link23 comments|Leave a comment

Status update [Feb. 3rd, 2009|10:34 am]
[Tags|, ]

Приняли мой мааааленький патчик в Cabal. Мелочь, а приятно.
Link9 comments|Leave a comment

Песней (http://yakov-sirotkin.livejournal.com/86859.html) навеяло [Dec. 5th, 2008|12:14 pm]
Рефаулер
Link1 comment|Leave a comment

Thermodynamics and Garbage Collection [Nov. 27th, 2008|01:35 pm]
[Tags|, , , ]

Знаете ли вы, что Garbage Collector - это холодильник? Не знаю, можно ли сделать из этого какие-то практические выводы, но есть, над чем подумать.
Link7 comments|Leave a comment

Chimp Spanner [Sep. 30th, 2008|11:35 am]
[Tags|, ]

http://www.myspace.com/chimpspanner
Link1 comment|Leave a comment

Reading on continuations [Apr. 8th, 2008|02:29 pm]
[Tags|, ]
[Current Music |Meshuggah - Dancers To A Discordant System]

1. Talk: Delimited Continuations in Computer Science and Linguistics
Презентация О. Киселева и К. Шана, которая популярно объясняет значение терминов continuations, delimited continuations, и показывает, каким образом они относятся к операционным системам и лингвистике. Китайские иероглифы вместо привычных греческих букв смотрятся очень свежо.

2. An Analytical Approach to Programs as Data Objects
Диссертация Olivier Danvy. Фундаментальная работа по теории языков программирования, рассматриваются вопросы семантики программ, трансформации программ, частичных вычислений, все изложение построено вокруг понятия "continuation". *

*Я ее еще не осилил, но выглядит как MUST READ. Как минимум, эпиграфы к каждой главе замечательные.
Link8 comments|Leave a comment

Coding for food [Mar. 15th, 2008|06:49 pm]
Если вдруг кто не заметил новое сообщество: coding4fun_ru
LinkLeave a comment

Опять барабанщики [Feb. 27th, 2008|03:53 pm]
[Tags|, ]

http://www.youtube.com/watch?v=KFtc_rpg-Wg
Link1 comment|Leave a comment

navigation
[ viewing | most recent entries ]
[ go | earlier ]