Є, значить, тут теоремка із першого розділу Software Foundations:

Theorem andb_eq_orb:
forall (b c : bool), (andb b c = orb b c) -> b = c.

( малозв’язні спроби довести >>> )

Їхав я вчора у поїзді, зі мною був нетбучик, і потягло мене на красноглазіє. Як клепати простий серверок на Happstack, який вміє генерувати html за допомогою blaze-html, я пам’ятав, і вирішив швиденько накидати клієнт-серверний морський бій ( Read more... )

Originally posted by spamsink at Агностическое, музыкой навеяло
Идет по улице человек, вдруг видит синагогу. Останавливается, расстилает припасенный коврик, бухается на колени задом кверху, и в этой позе крестится на нее и так, и эдак, и по-всякому. Потом встает, сворачивает коврик, и идет себе дальше. Любопытные прохожие его спрашивают, к какой религии он ( Read more... )

...пішло непогано:

https://xss-game.appspot.com/

Правда, шостий рівень я зчітерив, розмістивши у себе на сервері pwn.js. Це нормально?

Мої враження про Дніпропетровськ діляться на три частини: абсолютно космічна набережна, яка з першого погляду зносить дах; брутальна, але смілива радянська архітектура багатьох серйозних будівель; тихі вулички і старі будинки.

Отже, по черзі.

Чорт, хочу в Київ таку набережну!

( Read more... )

0) Упоротись^W Зібрати весь свій інтелектуальний мазохізм; вивчення китайської мови дає результат повільно і мало, треба бути готовим, що і через немалий час віддачі буде в кілька разів менше, ніж від вивчення якої-небудь індоєвропейської; для переходу хоч на якийсь наступний рівень часто треба вибудовувати немаленький фундамент та терпляче ( Read more... )

Тест російського пасивного словникого запасу: http://www.myvocab.info

Ваш пассивный словарный запас - 91100 слов. На миллион прочитанных слов в среднем 693 будут вам незнакомы. Чтобы встретить незнакомое слово, вы должны прочитать примерно 5 страниц текста.
Думаю, в режимі повністю ( Read more... )

Originally posted by carolinknekt at Заголовки филологических желтых газет
Оригинал взят у murzind в Заголовки филологических желтых газет
Оригинал взят у evizvarina в Заголовки филологических желтых газет
Оригинал взят у simplizissimusв Заголовки филологических желтых газет
Оригинал взят у demian123в Заголовки филологических желтых газет
По наводке Read more... )

Originally posted by bvlb at Как читать про Авакова
Оригинал взят у atytarenko в Как читать про Авакова
Взбесившиеся интернет-принтеры поливают Авакова грязью массово, и абсолютно не аргументированно, в точном соответствии с принципами геббельсовской (и российской) пропаганды. При чем в ряды критиков вливаются новые, и часто казавшиеся умными и независимыми люди. ( Read more... )

Дивитись із 1:50 :

Click to view