три твита

ЖЖ - замена книги, а фесбук - замена книжки с картинками.

А почему это норвежского убийцу называют "политическим экстремистом"? Он террорист. Или христианский (скажем, лютеранский) террорист, или норвежский народный террорист. А Харрис с Клиболдом - атеисты-террористы. А то иначе получается, что в террористы записывают только какого-нибудь несчастного школьника, пришедшего в школу с рогаткой в рюкзаке.

Лютеранский террорист. Я представляю, как Мартин Лютер Кинг Старший в аду уворачивается от чернильниц.

И теперь про два яйца и сто этажей. Будучи рыночником, сходил сегодня с утра на рынок, купил помидоров, лука и яиц. Коробка с яйцами лежала в пакете с луком, который вдруг порвался вдоль, и коробка упала, с высоты 2 фута; одно яйцо разбилось. Я взял коробку в руку, так понёс. Через 40 футов из коробки само собой выпало второе яйцо, с высоты 4 фута, и тоже разбилось. Теперь вопрос: WTF? (ШЗФ, шо за фигня)

CPS и двойное отрицание

Тут кое-где пишут, что двойное отрицание в типах - это всё равно что замена "обычной композиции" CPS-ом.

Я пока не въехал, изучаю.

Но тем временем вспомнил один старинный трюк с CPS.

В те стародавние времена, когда программировали с помощью перфокарт, проблема была если карты рассыплются. Если рассыплются карты с данными, то, при хорошей организации, можно снова отсортировать; а если с кодом?

Солюшен был такой: на каждой карте строка кода с меткой в начале и с goto в конце.

Так что главное - найти первую карту. Но её можно и покрасить особым цветом. А дальше порядок расположения не важен.

Такой старинный cps.

Перфокарты, кстати, были бумажные, т.е. видимо изобретены были уже после изобретения бумаги китайцами.