fp Haskell programming fpcomplete.com — The world's first commercial Haskell IDE and deployment platform

programming habrahabr.ru — собеседуя очередного соискателя под наши вакансии, я буду вспоминать эту статью и комментарии к ней

Coq fp programming seas.harvard.edu — верификатор нативного кода на Coq, или зачем в продакшене зависимые типы

Haskell programming anton-k.github.com — судя по оглавлению, неплохой учебник по Haskell на русском языке

math programming 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

math algebra programming youtube.com — a video of Conway's Game of Life, emulated in Conway's Game of Life

с помощью вот этой штуки: conwaylife.com

programming технологии должны быть простыми. сложными должны быть задачи

то, что программист может написать что-то сложное — не повод для гордости; то, что программист написал что-то сложное — повод для оправданий (как минимум — в комментариях). гордиться можно решёнными задачами — и чем проще был путь решения, тем больше поводов чесать себе ЧСВ

программисты, которые этого не понимают, вредны даже более, чем программисты некомпетентные — последние, по крайней мере, вредят нечаянно

Киев programming в наш проект (Texas Instruments, Global Logic) нужен Senior Linux Kernel Developer. у нас можно кататься по офису на самокатах и роликах, а также работать, сидя в шезлонге на офисной крыше

специфика — проект по сути является подразделением TI в Киеве, а не аутсорсом — соответственно своя инфраструктура, свои правила и достаточно строгая система безопасности (посторонним вход воспрещён, вроде того). основная область работы — OMAP'ы, Android; коммандировки в Техас, Калифорнию и замечательный город Бангалор. кое-какое описание вакансии есть по ссылке:

globallogic.com.ua

имейте в виду

C C++ programming ru-c.livejournal.com — С++ предоставляет мощнейшие, простые в использовании и потому доступные для идиотов инструменты

math fp programming CS nponeccop.livejournal.com — Почему в HN нет GC
sorhed.livejournal.com — Procedure Typing for Scala
thedeemon.livejournal.com — Про Йонеду и про должения

programming cs.dartmouth.edu

computational equivalence for all protocol endpoints!
context-free or regular!
no more Turing-complete input languages!

Occupy Babel!

programming вот интересно, почему любители C++ зачастую называют отсутствие в нём стандартного GC (или интерфейсов, или мультиметодов) преимуществом (свобода выбора, всё такое), но при этом считают отсутствие стандартной объектной модели в C (или множественного наследования в Java, или приватных полей в Python) недостатком?

math programming хочу стандартную математическую библиотеку, в которой было бы явно отражено то, что функция floor является правым сопряжением к функтору включения множества целых чисел во множество вещественных (а ceil, соответственно, левым). можно даже в PHP

programming есть особая разновидность программистов, наделяющих инструменты некоторыми врождёнными и не зависящими от человека свойствами. они верят, что программы на низкоуровневых языках всегда быстрее программ на высокоуровневых. что программы на RTOS не тормозят. что Haskell медленный потому что ленивый. что толстые рантаймы — всемирный заговор корпораций с целью привлечения индусов в программирование. что девборды с .Net Micro — это ни на что не способные игрушки, потому что писать нужно не на ассемблере и даже не на C

как правило, они называют себя хакерами

Haskell programming blog.kfish.org — вот они, энумераторы моей мечты

math programming процедуру кокотизации, кстати, можно было бы приложить к проектированию: архитектору предлагают крайне замысловатое описание тривиальной системы и предлагают её упростить. позволило бы на раннем этапе отсеивать любителей overdesign'а и прочих фанатов паттернов

math programming философское приложение теоремы Брауэра о неподвижной точке к программированию: в процессе непрерывного рефакторинга приложения хотя бы одна его строчка останется неизменной

C++ D programming channel9.msdn.com — Scott Meyers, Andrei Alexandrescu and Herb Sutter: C++ and Beyond

programming CS ai-class.com db-class.org ml-class.org — эксперимент в области распределённого образования: три курса Стэнфорда, на которые можно записаться из (потенциально) любой точки мира. в отличие от обычных видеолекций, здесь предполагается обратная связь со студентами

math ? programming а расскажите чего-нибудь интересного из математики или программирования. конструкцию, гипотезу, алгоритм, структуру данных или ещё чего, вызывающего у вас восхищение. хочется чего-нибудь красивого