[Recent Entries][Archive][Friends][User Info]
September 13th, 2014
| September 13th, 2014 | |
|---|---|
| 07:56 am [Link] |
В жуже пишут: В харькове на станции что-то взорвалось и сочно горит, по сообщениям от Чигиринской (очень возбужденной картинками с жареными антиколорадами) в ее родном Днепроперовске группа орков жестоко избила двух хоббитов: В пятницу, 5 сентября, вечером четверо мотоциклистов избили двух парней пришедших по ротации на неделю домой с АТО. Сейчас пострадавшие находятся в больнице в очень тяжёлом состоянии, у одного из них - травма позвоночника, скорее всего он на всю жизнь останется инвалидом. - Один из нападавших был на красном спорт-турист байке с задним кофром, одет в красный комбез и на спине рисунок две лошади. При избиении кричали, что "раша рулит" и "Путин властелин мира", - рассказали нам друзья пострадавших |
| Time | Event |
| 08:51 am [Link] |
Из комментов: http://vladicusmagnus.livejournal.com/2 - ... Или поддерживаем Путю, или даем ему просраццо. А вот эта позиция, и не вашим и не нашим, называется несколько по другому. Как - сам знаешь. - Она называется "быть на своей стороне". У европы на сам деле проблема схожая с путинской - выцарапывание себя из под влияния США. И в этом смысле ей все эти "новые европейцы" типа польши-латвии - проблема, а не решение. И к Украине у нее отношение точно такое-же - с одной стороны они непрочь ее сожрать - с другой стороны - еще одна американская марионетка в желудке им не нужна. До народа, который верит, что "заграница им поможет" кажется что-то начинает доходить. "Заграница" помогает исключительно себе (при этом разумеется - не едина) - что иногда бывает так что "помощь себе" заодно помогает и еще кому-то - это бывает - но рассчитывать на это можно только понимая, зачем это нужно самой "загранице". |
| Time | Event |
| 09:10 am [Link] |
Воюют ли орки зимой? Тарута вот уверен, что русские не воюют: "Возьмите все конфликты, которые были, они были только в теплое время. А дальше листья опадут и сразу увидят, кто есть кто, - сообщил Тарута в кулуарах на открытии YES-2014. - Дальше снег выпадет, будем видеть, откуда дорожка идет. Тогда уже никто не сможет отрицать, что это все из России. Русские не воюют зимой". Ну нащот русских там отдельная тема, а вот орки точно воюют: Монголы вторглись в Киевское княжество, разгромили Поросье и осадили Киев 5 сентября 1240 года. Обороной руководил тысяцкий Даниила Галицкого Дмитр. Сам Даниил ещё до прихода монголов уехал в Венгрию с целью заключить династический союз с королём Белой IV, но также неудачно. Согласно летописи, Даниил возвращался на Русь во время нашествия, но не смог пройти в Русскую землю, поскольку мало с ним было дружины и вернулся в Венгрию. Решающий штурм пришёлся на 5 декабря 1240 года. Монголы пробили стены города сразу в нескольких местах, но защитники Киева отошли в детинец. На следующий день воины Батыя приступили к штурму центральной части города и Горы. Сломив сопротивление киевлян, монголы устроили массовую резню и подожгли Десятинную церковь, в которой укрылись последние защитники города. Тысяцкий Дмитр попал в плен |
| Time | Event |
| 10:40 am [Link] |
Мид заявляет: "... целиком или частично означает, что наш несостоявшийся стратегический партнер не просто работает по инерции, но его действия лишены логики и здравого смысла" Тут примечательна совершенная форма про партнера. Все остальное рутинно. |
| Time | Event |
| 01:03 pm [Link] |
А вообще по первому впечатлению AGDA забавно, но не то, что мне хотелось: Заинтересовался я наличием там типа List⁺ - но был разочарован: Он оказался просто парой: List⁺ : ∀ {a} → Set a → Set a
List⁺ A = A × List AЧто можно и на Haskell спокойной написать - и даже посредством классов типов сделать "safe" специализацией List. А я надеялся, что там можно как-то на уровне типовой системы накладывать допограничения на уже имеющийся тип, так чтобы List⁺ был разновидностю List, но такой, что на уровне типов зашито, что он ≠ [] Хотя все равно язычок интересный, да и то, что наконец-то кто-то догадался использовать матзначки из unicode в синтаксисе - порадовало. Сколько можно. |
| Time | Event |
| 02:36 pm [Link] |
Как сообщает нам таки-нет-info В своем посту по поводу "несвободы слова" у небезизвестного квартирного жулика Шульмана</a> - (1, 2) (AKA ![[info]](http://lj.rossia.org/img/userinfo-lj.gif) bars-of-cage@lj), по совместительству "борца за права жильцов" (и я даже думаю знаю, кто этот жилец) менты заарестовали сестру:( Read more... ) |
| Previous Day | 2014/09/13 [Archive] |
Next Day |