Silly English-test but with some new words for me.
Hard test for modals
http://www.grammarbank.com/modal-verbs-test.html
2016-09-11 Проверим, сколько продержатся 2 батарейки #GPultraPlus alkaline в мышке.
Проблема с Lenovo K80M:
root@localhost:/home# /usr/home/ghc-7.8.4-bin/lib/ghc-7.8.4/bin/ghc -V
ghc: failed to create OS thread: Cannot allocate memory
Решение:
ulimit -s 50000
http://www.englishpage.com/verbpage/futureinpast.html
To see keypresses on Windows http://delphiforfun.org/programs/utilities/KeyCodes.htm
Коврик резиновый https://my.prom.ua/cabinet/user/order/view/20843324
On TV or in TV https://www.quora.com/Why-are-you-in-a-movie-but-on-TV
Learn English with songs lyrics http://www.esolcourses.com/content/topics/famouspeople/amy-winehouse/valerie.html https://youtu.be/d_EADBnXjXc
Hard http://www.esolcourses.com/content/topics/songs/carly-simon/youre-so-vain.html
Jacque Fresco - The Venus Project REDUX London Real
CSCI 360: Programming Languages (Fall 2016)
https://kseo.github.io/archive.html
Торбеево. Республика Мордовия, пос. Торбеево, ул. Весенняя, д. 50, ФКУ ИК-6, Индекс 431030. Маркину Александр у Алексеевичу, 1962 г.р.
Former NICTA https://github.com/data61/fp-course
My lib https://drive.google.com/drive/folders/0B-EUrDtLwhU5MFhLN2ZsQ1FtYWM
Roundup https://drive.google.com/drive/folders/18_lLT8liXfBRu9ysogH0zB2Cyp9UWfES
k2pdfopt for Reading Academic Papers on a Kindle
https://functor.tokyo/blog/2017-07-21-k2pdfopt-for-academic-papers
Системы типизации лямбда-исчисления Лектор Д. Н. Москвин, весна 2011 http://old.compsciclub.ru/courses/systemsoftypedlambdacalculi
Проблемы населенности типов и их разрешимость Д. Н. Москвин, осень 2017 https://compsciclub.ru/courses/type-inhabitation-problems/2017-autumn/classes/
Денис Николаевич Москвин
Доцент кафедры математических и информационных технологий СПбАУ РАН
Курс Семестр
Системы типизации лямбда-исчисления весна 2011
Проблемы населенности типов и их разрешимость осень 2017
https://compsciclub.ru/teachers/33/
http://mit.spbau.ru/sewiki/index.php/Типы_в_языках_программирования_весна_2018
Creates a site with documentation for a Haskell project
https://theam.github.io/tintin
New Shake
Simple exaple of Shake
search for function symbols like <*>, $, ., >>=
4 ways to build a typechecked Haskell expression