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]
palm_mute
http://www.nature.com/news/human-experiments-first-do-harm-1.9980
Link1 comment|Leave a comment

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


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

control/prompt и все-все-все [Mar. 19th, 2009|03:00 pm]
palm_mute
[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]
palm_mute
[Tags|, ]

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

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

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

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

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

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

Reading on continuations [Apr. 8th, 2008|02:29 pm]
palm_mute
[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]
palm_mute
Если вдруг кто не заметил новое сообщество: coding4fun_ru
LinkLeave a comment

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

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

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