fpcomplete.com — The world's first commercial Haskell IDE and deployment platform
← All posts tagged programming
habrahabr.ru — собеседуя очередного соискателя под наши вакансии, я буду вспоминать эту статью и комментарии к ней
seas.harvard.edu — верификатор нативного кода на Coq, или зачем в продакшене зависимые типы
anton-k.github.com — судя по оглавлению, неплохой учебник по Haskell на русском языке
web.maths.unsw.edu.au — hypellfrob is a C++ program (library) for computing the zeta function of a hyperelliptic curve over GF(p). More precisely, it computes the matrix of Frobenius on the Monsky-Washnitzer cohomology of the curve; the zeta function can be recovered via the characteristic polynomial of the matrix
youtube.com — a video of Conway's Game of Life, emulated in Conway's Game of Life
с помощью вот этой штуки: conwaylife.com
с помощью вот этой штуки: conwaylife.com
то, что программист может написать что-то сложное — не повод для гордости; то, что программист написал что-то сложное — повод для оправданий (как минимум — в комментариях). гордиться можно решёнными задачами — и чем проще был путь решения, тем больше поводов чесать себе ЧСВ
программисты, которые этого не понимают, вредны даже более, чем программисты некомпетентные — последние, по крайней мере, вредят нечаянно
специфика — проект по сути является подразделением TI в Киеве, а не аутсорсом — соответственно своя инфраструктура, свои правила и достаточно строгая система безопасности (посторонним вход воспрещён, вроде того). основная область работы — OMAP'ы, Android; коммандировки в Техас, Калифорнию и замечательный город Бангалор. кое-какое описание вакансии есть по ссылке:
globallogic.com.ua
имейте в виду
ru-c.livejournal.com — С++ предоставляет мощнейшие, простые в использовании и потому доступные для идиотов инструменты
nponeccop.livejournal.com — Почему в HN нет GC
sorhed.livejournal.com — Procedure Typing for Scala
thedeemon.livejournal.com — Про Йонеду и про должения
sorhed.livejournal.com — Procedure Typing for Scala
thedeemon.livejournal.com — Про Йонеду и про должения
cs.dartmouth.edu
computational equivalence for all protocol endpoints!
context-free or regular!
no more Turing-complete input languages!
Occupy Babel!
computational equivalence for all protocol endpoints!
context-free or regular!
no more Turing-complete input languages!
Occupy Babel!
как правило, они называют себя хакерами
blog.kfish.org — вот они, энумераторы моей мечты
channel9.msdn.com — Scott Meyers, Andrei Alexandrescu and Herb Sutter: C++ and Beyond
ai-class.com db-class.org ml-class.org — эксперимент в области распределённого образования: три курса Стэнфорда, на которые можно записаться из (потенциально) любой точки мира. в отличие от обычных видеолекций, здесь предполагается обратная связь со студентами