This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module HindleyMilner where | |
import Control.Applicative ((<|>)) | |
import Control.Monad (guard) | |
import Data.Maybe (fromJust) | |
type Symb = String | |
infixr 3 :-> | |
data Type |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Нет такой одноразовой вещи, котрую русский человек не мог бы использовать дважды. | |
Русский, собираясь в гости, стоит перед выбором: или один носок дырявый, или оба целые, но разные. | |
Сошёл с рельс поезд в Украине. Машинист оправдывается. | |
- Там русский на рельсы вышел. | |
Судья: | |
- Так надо было давить его. | |
- Так я и задавил, только пришлось в поле выехать и гнаться. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
LOG=~/tmp/kov-od/03-23.txt | |
P_PRE=$(tac $LOG | egrep -m 1 'Плацкарт' | egrep -o '[[:digit:]]+') | |
K_PRE=$(tac $LOG | egrep -m 1 'Купе' | egrep -o '[[:digit:]]+') | |
function show-last () { | |
echo "Купе: $K_PRE"; | |
echo "Плацкарт: $P_PRE"; | |
echo; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
To work on Win10 install there Ubuntu. for Ansible | |
read `Continous delivery'` |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Мой оптимизм и моя уверенность происходят не от того, что я чувствую себя счастливее других смертных, и, конечно, они не связаны с тем, что я «нацелен на успех». Они появляются в результате того, что всю свою жизнь я отчетливо представляю себе разные угрозы и опасности и выясняю, как их избежать. | |
Как и большинство астронавтов, я почти уверен, что смогу справиться с любыми «подарками» судьбы, поскольку заранее продумал, что делать, если что-то пойдет не так, как, впрочем, и в случае удачного стечения обстоятельств. В этом и заключается сила негативного мышления. | |
============================= | |
они обладают выдающимися талантами, и до того, как эти люди оказались в Космическом центре Джонсона, им все давалось легко: они побеждали в летных соревнованиях, превосходно сдавали экзамены, рассказывали самые интересные истории — и все это не уронив ни капли пота. | |
Рано пришедший успех — ужасный учитель. По существу, вас награждали за недостаточную подготовку, поэтому в ситуации, когда готовиться необходимо, вы не спра |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-- origin https://gist.github.com/h3h/ce339825f2ba8fe1e4d3bf2d1a3e60da | |
import Html exposing (..) | |
import Html.Attributes | |
import Html.Events exposing (..) | |
import Process exposing (..) | |
import Time exposing (..) | |
import Task exposing (..) | |
import List | |
import Random |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
1. Гл. 14 | |
стыдно до слез | |
смотреть на людей, которые оплевывают то, что вчера превозносили. Когда | |
Сталин был жив, я не помню такого случая, чтобы кто-то сказал, что Сталин | |
ему чем-то не нравится. Все в один голос говорили: гений. Великий | |
полководец. Отец и учитель. Корифей всех наук. Неужели они все не верили в | |
то, что говорили? Неужели все врали? Не могу понять, когда же эти люди были | |
искренни, сейчас или тогда? | |
время фанатиков истекло. Их не любят не только какие-нибудь антисоветчики |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
main = interactionOf(initial, step, event, draw) | |
astSize = 0.6 | |
data World = World { | |
stars :: [(Point, Number)], | |
asts :: [(Point, Vector)], | |
ship :: (Point, Vector), | |
direction :: Number, | |
left :: Number, |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
https://youtu.be/8yis7GzlXNM | |
Newton: | |
Of all the scientific minds in history | |
they put Beaker in a bow tie | |
up against me? | |
I'm a master | |
I discovered gravity | |
I drop rhymes like | |
they are falling from an apple tree | |
you're no match for me |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import Data.Maybe (maybe) | |
import Data.Char (toUpper) | |
import System.IO (hGetContents, stdin) | |
import Control.Monad (liftM, forM_) | |
ruKeysL = "ёйцукенгшщзхъфывапролджэячсмитьбю" | |
ruKeysU = map toUpper ruKeysL | |
ruKeysP = ".," | |
enKeysL = "`qwertyuiop[]asdfghjkl;\'zxcvbnm,." |