Command line

  • POSIX (XCU "Shell & Utilities"): vi(1), awk(1), make(1), bc(1), sed(1), grep(1), sort(1), uniq(1), tee(1), wc(1), etc.
  • GNU Screen (useful to echo exec screen -xR >>~/.profile on a remote host)
  • Git: git-grep(1), git-stash(1), git-bisect(1), etc.
  • Ledger (useful for optimizing both finances and time)
  • Taskwarrior (TODO manager, highly recommended)
  • drive (one of CLIs for Google Drive)
  • Jekyll (generates static websites from markdown)


Chrome OS

  • Google Keep (quite convenient for grocery lists)
  • Google Drive (directly accessible in Chrome OS' Files)
  • Secure Shell (the main SSH client for Chrome OS, supports SFTP in Files and SSH bookmarks, type ssh in the address field)
  • Wolfram Alpha (type = universe age in planck times in the address field)

Disclaimer: I'm celebrating five years as a Chromebook user.

Один из вариантов того, как можно читать классическую монографию по λ-исчислению [1]:

параграф 2.1;
упр. 2.4.1 (i)-(iii), 2.4.2-2.4.13;
упр. 2.4.15 (только в оригинале [2]);
параграф 2.2;
упр. 2.4.14;

параграфы 3.1-3.3;
упр. 3.5.1 (v), 3.5.1 (i), 3.5.6 (i), 3.5.2, 3.5.3, 3.5.11;
параграфы 13.1-13.2 до приложения 13.2.3 включительно;

часть II (главы 6-10);

параграф 4.1;
упр. 4.3.2, 4.3.4;
главы 15 и 16.

В каком-то приближении именно этот материал изложен чрезвычайно кратко в [3] (по-русски).

[1] Х. Барендрегт. Ламбда-исчисление, его синтаксис и семантика. Москва, 1985.
[2] H. P. Barendregt. The Lambda Calculus, Its Syntax and Semantics. North-Holland, 1984.
[3] A. Salikhmetov. Lambda Calculus Synopsis. arXiv:1304.0558, 2013.

Her Diary

Tonight, I thought my husband was acting weird. We had made plans to meet at a nice restaurant for dinner. I was shopping with my friends all day long, so I thought he was upset at the fact that I was a bit late, but he made no comment on it. Conversation wasn't flowing, so I suggested that we go somewhere quiet so we could talk. He agreed, but he didn't say much. I asked him what was wrong. He said, "Nothing." I asked him if it was my fault that he was upset. He said he wasn't upset, that it had nothing to do with me, and not to worry about it. On the way home, I told him that I loved him. He smiled slightly, and kept driving. I can't explain his behavior. I don't know why he didn't say, "I love you, too." When we got home, I felt as if I had lost him completely, as if he wanted nothing to do with me anymore. He just sat there quietly, and watched TV. He continued to seem distant and absent. Finally, with silence all around us, I decided to go to bed. About 15 minutes later, he came to bed. But I still felt that he was distracted, and his thoughts were somewhere else. He fell asleep - I cried. I don't know what to do. I'm almost sure that his thoughts are with someone else. My life is a disaster.

His Diary

My code is broken, can't figure out why.

Prime number selection of cycles in a predator-prey model
Eric Goles, Oliver Schulz, Mario Markus

The fact that some species of cicadas appear every 7, 13, or 17 years and that these periods are prime numbers has been regarded as a coincidence. We found a simple evolutionary predator-prey model that yields prime-periodic preys having cycles predominantly around the observed values. An evolutionary game on a spatial array leads to travelling waves reminiscent of those observed in excitable systems. The model marks an encounter of two seemingly unrelated disciplines: biology and number theory. A restriction to the latter, provides an evolutionary generator of arbitrarily large prime numbers.

Via [ profile] udod's post and Wikipedia.

Одна проблема, которую я неоднократно объяснял как властям Хельсинки, так и государственным чиновникам, состоит в том, что критерии и способы измерения "успешности интеграции" являются совершенно ошибочными. По мнению помощника мэра Ритвы Вильянен, отвечающей за иммиграцию, доказательством успеха мер по интеграции является то, что в городе имеется отвечающий за эти вопросы чиновник. Иначе говоря, успешность интеграции измеряется тем, сколько к ней приложено усилий и сколько на неё потрачено денег.

Второй способ измерения интеграции - это опросы самих иммигрантов, обычно из Сомали, насколько им уютно в Финляндии. Можно, таким образом, сказать, что "интеграция" отождествляется с "чувствовать себя как дома". Это проблемная характеристика, как продемонстрировала ниже жительница Мальмё Фатима.

Здесь всё так же, как в Ираке или другой арабской стране. Мне очень уютно в Мальмё.

Об иммиграции и интеграции часто говорят как о двустороннем процессе. Жаль, что на деле получается односторонний процесс, так как учитывается лишь точка зрения самих иммигрантов, а не коренного населения и общества в целом. В первую очередь иммигрантов следовало бы разделить с целью изучения на группы, так как не все из них вообще требуют специальных усилий или поддержки интеграции. Например то, что у всех выходцев из Непала, живущих в Финляндии, есть ресторан непальской кухни, не доказывает успеха интеграционного процесса, так как у этих непальцев были бы эти рестораны, даже если бы мы вообще не занимались вопросами интеграции.

Успех процесса интеграции необходимо оценивать с помощью объективных и измеряемых критериев, таких как степень зависимости от социальной поддержки, процента безработицы, и относительного уровня преступности. Если эти параметры выглядят каждый год одинаково плохо, необходимо сделать вывод, что интеграция не работает, сколько бы денег мы на это ни потратили, и как бы уютно ни было Фатиме.

Most Popular Tags


RSS Atom

June 2017

    1 23
Powered by Dreamwidth Studios