Sign in or Join FriendFeed
FriendFeed is the easiest way to share online. Learn more »
YouTube - Nullness Analysis for Java - http://www.youtube.com/watch...
YouTube - Nullness Analysis for Java
Play
налльнес аналисис! зереис э налль! :) - Андрей Власовских
фыарлысс лыэдэр - Vadim TSES'KO from IM
Все видеоролики пользователя PDMI Computer Science клуб на Яндекс.Видео - http://video.yandex.ru/users...
Joe Gregorio | BitWorking | Projects | Sparklines - http://sparklines.bitworking.info/
A Guide to Branching in Mercurial / Steve Losh - http://stevelosh.com/blog...
COCAN - The OCaml Alliance Network - http://www.cocan.org/
The OCaml Alliance is a group of industry users of the Objective Caml programming language. We aim to coordinate requirements, advocacy and marketing for the language, specifically targeted towards companies who are using or would like to make use of the language. - Vadim TSES'KO
Всё еще пытаешься играть с ним? - Stanislav Sereryakov
Вот сижу и пытаюсь при помощи json-static десериализовать граф. А ты совсем забил? Решил, что не то? - Vadim TSES'KO
Да, я решил, что haskell+c проще. В любом случае у хаскела всё гораздо лучше (особенно в арче). - Stanislav Sereryakov
Но, в глубине души надежда еще тлеет ;) - Stanislav Sereryakov
а OCaml в ARM компилируется? - тазик-эвтаназик
вообще, что у нас есть для real-time интересного из языков? - тазик-эвтаназик
ATS :P - Stanislav Sereryakov from IM
Вообще, исследования вроде ведутся (www.cs.rice.edu/~taha/publications/conference/es01.pdf ), но пока не видно чего-то значительного. Мы тут с одним человеком медленно продумываем дизайн языка мечты, правда, скорее для научных расчетов, в основном на GPU. - Stanislav Sereryakov
Раз уж пошел разговор, меня интересует такой вопрос: почему никто не пытался за счет указателей на функции и макросов (+некоторые compiletime преобразования) сделать C более функциональным? Например, такая трансляция: f :: Float -> Float -> (Float -> Float); f a b g = g a b ==> float f(float a, float b, float (*pt2Func)(float, float)) { return pt2Func(a, b); } и т.п. Ведь можно добавить... more... - Stanislav Sereryakov
ATS — это всё же зло. Я пытался как-то разобраться. Хотя надо будет снова попробовать. - тазик-эвтаназик
OpenBlockS 600 - OpenBlockS - http://openblocks.plathome.com/product...
Круть :) - Stanislav Sereryakov
json-wheel: JSON Library for OCaml - http://martin.jambon.free.fr/json-wh...
json-static: JSON validator and converter for OCaml - http://martin.jambon.free.fr/json-st...
Great Works in Programming Languages - http://www.cis.upenn.edu/~bcpier...
mantis:frama-c:publications [Frama-C] - http://bts.frama-c.com/dokuwik...
blog dds: 2009.09.02 - Job Security - http://www.spinellis.gr/blog...
советы.блогспот.ком: Как отслеживать изменения файлов в скриптах - http://sovety.blogspot.com/2009...
School of Computing, Queen's University - http://www.cs.queensu.ca/framese...
Computer Science клуб при ПОМИ РАН - http://logic.pdmi.ras.ru/~infclu...
Welcome - netboot.me - http://www.netboot.me/
Programming from Specifications - http://web2.comlab.ox.ac.uk/oucl...
Your Code Sucks and I Hate You - http://mumak.net/stuff...
Index of /~filliatr/ftp/ocaml/bdd - http://www.lri.fr/~fillia...
Укрепление защиты рабочих станций под Linux - http://www.ibm.com/develop...
Укрепление защиты сервера под Linux - http://www.ibm.com/develop...
Fishki.Net - Устами Гитлера про запрет скайпа (видео) | Фишкина Картинка - http://fishki.net/comment...
CIL (C Intermediate Language) | Get CIL (C Intermediate Language) at SourceForge.net - http://sourceforge.net/project...
zeromq: Fastest. Messaging. Ever. - http://www.zeromq.org/
Интересные логические задачи - http://eruditor.ru/z/
Metamath Home Page - http://us.metamath.org/
Introduction to Objective Caml - http://www.freetechbooks.com/introdu...
Разработка программ с помощью Objective Caml / Developing Applications With Objective Caml - http://shamil.free.fr/comp...
Haskell for C Programmers - http://www.haskell.org/~pairwi...
Other ways to read this feed:Feed readerFacebook