[Recent Entries][Archive][Friends][User Info]
January 26th, 2013
| January 26th, 2013 | |
|---|---|
| 01:14 pm [Link] |
О понимании мира Тут мне говорят о некоем сакральном "понимании смысла задачи", которое дескать человеку доступно, а машине нет. Так вот - с задачей понимания смысла двоичного кода машина справляется прекрасно - задача реконструировать по коду осмысленную и структурированную программу не просто решается, а решается легко и чисто технически. Я когда столкнулся - сам офигел насколько легко. Только трудоемко очень - но по сути - берется талмуд им. Мучника и перечисленные там методики оптимизации применяются "задом-наперед". Для полного счастья заполировывается type inference (см. Только задача трудоебкая - тут сразу надо понимать, что прохалявить не удастся и придется Мучника реализовать практически всего (соблазн велик - я знаю, но именно что если халявить - то упрешься в то, что тебе очередного анализа кода не хватает - и будет больно и обидно). А превращение груды байтов в человекоудобопонятную форму - этособственно и есть "понимание". Не делается это индустриально только потому, что "нет спроса" - единственное реальное коммерческое применение, которое я знаю - "бинарная компиляция" - когда двоичный код для одной архитектуры перегоняется в эквивалентный код для другой. Задача есть - но нишевая и особенных баблосов в ней нету. |
| Time | Event |
| 09:22 pm [Link] |
Часа три назад на автостанции в Кировске: Реклама на борту встречного автобуса: Кредитные карточки От Жерара Депарьдье! Банк "Советский"! |
| Previous Day | 2013/01/26 [Archive] |
Next Day |