[
Форумы
/
Сообщения
/
Рейтинг
]
Философия программирования
(сегодня 0 сообщений)
-
Топ 100
Сообщения
975-994/3065
Q&A
Автор
#
Ответы
Proving that programs eventually do something good
kl
1
10.11.10
kl
Программерские коммунити/блоги
Alexey Sudachen
+/-
10
09.11.10
Mazay
Опять веб-приложения. Эволюция
Andrei N.Sobchuck
45
16
07.11.10
MxMsk
Не понимаю паттерн MVC
1
2
3
Arsen.Shnurkov
11
45
01.11.10
minorlogic
[PDC] Language Panel: Meijer Hejlsberg Bracha Sutter Miller
z00n
2
01.11.10
iZEN
Раскажите про ATS ?
minorlogic
+/-
0
30.10.10
minorlogic
Язык Fortran
erslgoeirjh
+/-
16
29.10.10
Antikrot
[D] В него добавляют concurrency
Mamut
22
12
26.10.10
Мишень-сан
К вопросу о динамической верификации
TimurSPB
0
25.10.10
TimurSPB
П. Норвиг о выборе языка
1
2
Курилка
109
27
23.10.10
WolfHound
[Безумная идея] Тьюринг-полные системы типов
1
2
3
4
0x7be
29
77
22.10.10
Klapaucius
static orm
s_g_s
5
22.10.10
gandjustas
Какие есть компиляторы контекстно-зависимых языков?
Arsen.Shnurkov
6
1
21.10.10
WolfHound
про провал ООП
1
…
15
16
17
Фукерман
122
335
20.10.10
Воронков Василий
Z3 theorem prover и вывод типов
1
2
VladD2
9
22
19.10.10
catbert
Онтологии в компьютерных системах и Лекции по матлингвистике
mefrill
181
10
19.10.10
vitasR
Стандартные связки в программировании
busk
6
7
18.10.10
olegkr
Генератор последовательных чисел в компьютере
Кондраций
2
17
17.10.10
Географ
Порядок вычисления аргументов
1
…
4
5
6
Воронков Василий
79
102
13.10.10
FR
Инициализация свойства или поля
merge
1
5
08.10.10
Sinix
Сообщения
975-994/3065
Q&A