обожрался вепревым (свинным на самом деле) коленом

недалеко от карлова моста обнаружен TGI Friday's (ивпочь)

ебать Прага красивая, посоны

было? http://2ch.hk/b/src/1403773293482.webm

выдали мультишенген 90 дней на год

подтекаю:

Немного инсайдов про банки:

Platinum накрылся медным тазом (отзыв лицензии) по причине мошеничества. Суть там в том, что его в прошлом году еще при Яныке продали одесскому парню, а потом из банка в оффшоры было несколько крупных транзакций (одна около 25 лярдов $). Разумеется НБУ и фонд гарантирования вкладов не будет его спасать ).

По Дельте - у них растет просрочка по выданным кредитам и народ хочет забрать свои депозиты, и получается что денег там не ахти. Он еле плавает, поэтому лучше оттуда усе забирать как можно активнее, не факт что НБУ будет их рефинансировать.

По Форуму - на встрече вкладчиков с Гонтаревой (новая глава НБУ) она практически таким текстом сказала "А чтоли Вас заставляла туда деньги нести, Вон есть Новинский, все воспросы к нему."

Если короче, с проблемными банками сейчас никто цацкатся не будет, в стране не нужны 200 банков, от силы 50.

ПУМБ пока что итоги аудита и стресс тестирования от НБУ по заказу МВФ сотрудникам не говорит )

I made a new video. You can watch it here: ...
If you like it, please share it with your friends. Without online sharing, I'd have exactly 3 fans, and two of them would be my parents.

tfw городская коллекторная система @ восхитительна

надо моар подиггерить штоле

почему в мажорных монотеистических религиях бог - мужчина?

это возмутительно и оскорбляет чувства членов общества

Из России кандидаты охотно участвуют в собеседованиях. Однако было несколько отказов от них, когда выяснялось, что мы работаем на запад — мол, они не хотят работать с врагами России.

блджад, не могу перевести «справка» на английский .___.

вроде бы и inquiry, но википедия чото вообще левое задвигает, про знания, про дедукцию и абдукцию, про какую-то хуйню

чокак знает кто?

inb4: понятие «справок» совкоспецифичное, ни у кого больше такого нет

https://lh6.googleusercontent.com/KvbhCIyaE6YJQFhIMo24aUukxyOv6HAKpOQBkyRGGcI=w1157-h868

tfw постишь патриархальные провокации от имени тян в анонимном сервисе без пруфов

бля прикол

% cat << EOF > hello.idr
heredoc> main : IO ()
heredoc> main = putStrLn "Hello world"
heredoc> EOF

% idris hello.idr
     ____    __     _                                          
    /  _/___/ /____(_)____                                     
    / // __  / ___/ / ___/     Version 0.9.11.2
  _/ // /_/ / /  / (__  )      http://www.idris-lang.org/      
 /___/\__,_/_/  /_/____/       Type :? for help                

Type checking ./hello.idr
*hello> :compile hello.native
*hello> :js hello.js
*hello> 
Bye bye

% ./hello.native 
Hello world

% ls -l hello*
-rwxrwxr-x 1 ulidtko ulidtko 110K чер 19 02:15 hello*
-rw-rw-r-- 1 ulidtko ulidtko  240 чер 19 02:17 hello.ibc
-rw-rw-r-- 1 ulidtko ulidtko   43 чер 19 02:17 hello.idr
-rw-rw-r-- 1 ulidtko ulidtko  36K чер 19 02:18 hello.js
-rwxrwxr-x 1 ulidtko ulidtko 110K чер 19 02:18 hello.native*

110K
36K

-- на самом деле будущее.

обнаружен славик
http://sourceforge.net/p/smartmontools/mailman/message/32477722/

3.9 so
The so data type is a predicate on Bool which guarantees that the value is true:

data so : Bool -> Type where
    oh : so True

This is most useful for providing a static guarantee that a dynamic check has been made. For example, we
might provide a safe interface to a function which draws a pixel on a graphical display as follows, where
so (inBounds x y) guarantees that the point (x,y) is within the bounds of a 640 × 480 window:

inBounds : Int -> Int -> Bool
inBounds x y = x >= 0 && x < 640 && y >= 0 && y < 480
drawPoint : (x : Int) -> (y : Int) -> so (inBounds x y) -> IO ()
drawPoint x y p = unsafeDrawPoint x y

ле к