kouzdra - January 26th, 2013

January 26th, 2013

January 26th, 2013
01:14 pm

[Link]

О понимании мира
Тут мне говорят о некоем сакральном "понимании смысла задачи", которое дескать человеку доступно, а машине нет.

Так вот - с задачей понимания смысла двоичного кода машина справляется прекрасно - задача реконструировать по коду осмысленную и структурированную программу не просто решается, а решается легко и чисто технически. Я когда столкнулся - сам офигел насколько легко.

Только трудоемко очень - но по сути - берется талмуд им. Мучника и перечисленные там методики оптимизации применяются "задом-наперед". Для полного счастья заполировывается type inference (см. "сепуление" "функциональное программирование") и золотой ключик в кармане.

Только задача трудоебкая - тут сразу надо понимать, что прохалявить не удастся и придется Мучника реализовать практически всего (соблазн велик - я знаю, но именно что если халявить - то упрешься в то, что тебе очередного анализа кода не хватает - и будет больно и обидно).

А превращение груды байтов в человекоудобопонятную форму - этособственно и есть "понимание".

Не делается это индустриально только потому, что "нет спроса" - единственное реальное коммерческое применение, которое я знаю - "бинарная компиляция" - когда двоичный код для одной архитектуры перегоняется в эквивалентный код для другой. Задача есть - но нишевая и особенных баблосов в ней нету.

(1 comment | Leave a comment)

TimeEvent
09:22 pm

[Link]

Часа три назад на автостанции в Кировске:
Реклама на борту встречного автобуса:

Кредитные карточки
От Жерара Депарьдье!
Банк "Советский"!

(2 comments | Leave a comment)

Previous Day 2013/01/26
[Archive]
Next Day
My Website Powered by LJ.Rossia.org