codedot | Entries tagged with personal

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)

Web

MuseScore (large sheet music library)
flowkey (supports WebMIDI)
Feedly (RSS reader)
Plex (media server)
OVH VPS SSD (affordable VPS)
Let's Encrypt (automated free SSL certificates)

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 name@example.com 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.

Here is one way to profile calendars:

Export calendars in iCalendar format.

Check out this Awk script:

function parse(dt)
{
	Y = substr(dt, 1, 4);
	M = substr(dt, 5, 2);
	D = substr(dt, 7, 2);
	h = substr(dt, 10, 2);
	m = substr(dt, 12, 2);
	s = substr(dt, 14, 2);

	return Y "/" M "/" D " " h ":" m ":" s;
}

/^BEGIN:VEVENT/ {
	dtstart = "";
	dtend = "";
	summary = "";
}

/^DTSTART:/ {
	sub(/\r$/, "");
	sub(/^DTSTART:/, "");
	dtstart = parse($0);
}

/^DTEND:/ {
	sub(/\r$/, "");
	sub(/^DTEND:/, "");
	dtend = parse($0);
}

/^SUMMARY:/ {
	sub(/\r$/, "");
	sub(/^SUMMARY:/, "");
	gsub(/  */, " ");
	summary = $0;
}

/^END:VEVENT/ {
	if (dtstart && dtend && summary) {
		print "i " dtstart " " prefix summary;
		print "o " dtend;
	}
}

Have the Ledger utility installed:
```
sudo apt install ledger # or whatever
```
Convert the exported ICS files to timelog format:
```
awk -f ics2tc.awk *.ics >timelog.tc
```
Generate various reports from timelog, for example:
```
ledger -f timelog.tc b -S -T
```

Optionally specify a prefix:

awk -f ics2tc.awk -v prefix=Work: Work.ics >Work.tc

Or even create a Makefile like this:

TIMELOGS = Anna.tc David.tc

all: $(TIMELOGS)

clean:
	-rm -f $(TIMELOGS)

.SUFFIXES: .ics .tc

.ics.tc:
	awk -f ics2tc.awk -v prefix=$*: $< >$@

?????
PROFIT!!1oneone

Один из вариантов того, как можно читать классическую монографию по λ-исчислению [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.

Lähetämme Teille ohessa uuden ajokorttinne numero 2013XXXXXXXXXX, joka on voimassa 19.01.2013-19.01.2028. Pyydämme teitä tarkistamaan, että ajokortilla olevat tiedot ovat oikein.

Jos Teillä on aiempi ajokortti, sen voimassaolo on päättynyt. Aiempi ajokortti on palautettava oheisessa palautuskuoressa. Postimaksu on maksettu. Jos aiempi ajokorttinne on kadonnut tai anastettu, Teidän on tehtävä anastus- tai katoamisilmoitus poliisille. Jos olette jo tehnyt ilmoituksen, asia on kunnossa.

Jos olette ajokiellossa, tämän ajokortin vastaanottaminen ei palauta ajo-oikeutta. Teidän on palautettava nyt vastaanottamanne ajokortti poliisille.

Почти пришла пора покинуть это место.

Немного жаль лишаться такого вида из окна зимой и летом:

Ну да ладно.

Посмотрим, как там будет дальше.

A two-week trip by car from Nordic to Benelux through the impossible bridge and unlimited autobahns, then back home*.

*Stupid me, to believe there's civilized world any farther. Free advice: turn around when possible.

В прошлом году я довольно пристально следил за выходом Google Chromebook, прежде всего за моделью от Samsung. Довольно быстро после выхода он появился и в UK, откуда уже можно было заказать по EU без таможни. Единственная проблема с заказом из UK, на самом деле, оказалась с клавиатурой. Дело в том, что я физиологически не принимаю никакую другую клавиатуру, кроме обычной американской, на которой обе клавиши Shift и клавиша Enter широкие, а не изуродованные неведомыми силами.

Заказ же из USA в EU появился значительно позже. Это интернет-магазин TigerTirect.com. Между банковским переводом и получением посылки в UPS прошла ровно одна неделя. Еще неделю я к нему присматривался. А на прошлых выходных я, наконец, решился на эксперимент: использовать только Chromebook для работы. Для этого мне и понадобился SSH-доступ со screen(1) при входе в систему. Мне нужно еще перенаправлять порт, чтобы легче тестировать Web-приложение, так что к файлам с ключами добавился и config с соответствующими строчками.

По большому счету, я годами не использовал ничего, кроме терминала с SSH и браузера. Все остальное выпрыгивало, пугало, мешало и всячески притягивало внимание, отвлекая от работы, как тамагочи. Этому место, может быть, на телефоне, но не на рабочей машине. Конечно, MacBook Pro производительный, однако я не видел смысла таскать за собой лишний килограмм ради каких-то редких случаев локальной сборки программного обеспечения сомнительного происхождения. Пусть греется сервер, а не ноутбук.

Итак, теперь у меня обычно одно окно браузера на весь экран с тремя пин-табами: почта (с нотификациями на рабочем столе), оболочка через SSH (на iMac дома) и собственно тестируемое приложение. Остальные вкладки используются как обычно: документация, GitHub, багтрекер, Wiki, и так далее. Используется нестабильная версия системы, однако, как я понял, они недавно обновили стабильную ветку одной из бета-версий, вместе с выпуском следующей версии компьютера от Samsung, которая теперь еще больше косит под Apple.

На всякий случай, рядом на рабочем столе все время лежал MacBook, но возвращаться к нему ни разу не пришлось и даже не захотелось. Настолько у меня положительный опыт работы с Chromebook. Не думал, что после перехода на Mac скажу это снова когда-нибудь, но лучшей рабочей станции у меня еще не было.

Замечательная иллюстрация к соответствующей статье в Википедии:

Виктор Васнецов. Витязь на распутье. 1878 год.

Как узнал, что в нашем доме можно за 20 евро в месяц (первый год, за второй — 30 евро в месяц, а потом можно снова менять провайдера) иметь сто мегабит в секунду на вход и десять — на выход, сразу сделал заказ. Вот, сегодня подключили VDSL2 от Saunalahti. До провайдера модем действительно показывает 100M/10M, но до таллинского хоста, который выбирает Speedtest.net, — лишь чуть меньше 50 на вход, как будто специально на 50M обрезают; на выход же почти все десять и есть.

Elisa Oyj, Tallinn, 17 ms, 47.25 Mbit/s down, 8.82 Mbit/s up

Elisa Oyj, Tallinn, 17 ms, 47.25 Mbit/s down, 8.82 Mbit/s up

Замерял я через Wi-Fi с MacBook, это 802.11n с MCS 15, то есть 145M. Больше модем, который Saunalahti дает без отдельной платы, и не может. Через два года он остается твоим. В целом, неплохой: ZTE ZXDSL 931 WIIA, без внешних антенн, ADSL2+/VDSL2.

Однако, выдается всего пять белых айпишников, и один из них захапал модем и не отдает, а тут три компьютера и два телефона. Выкрутился виртуальной точкой доступа с другим SSID, которую положил под NAT, а основную пустил на бридж. В принципе логично: телефонам последний вряд ли нужен, а динамические DNS настроены только на Маках. Плюс кто-нибудь может в гости зайти и подключиться к любой из двух точек.

Кстати, вы знали, что Маки не подключаются к широким каналам в 40 МГц в диапазоне 2.4 ГГц? Apple, вроде бы, это объяснил интерференцией с Bluetooth, но на самом деле — хочет продать AirPort Extreme. Впрочем, в действительности, как известно, все не так, как на самом деле.

Я тут вспомнил тот единственный веселый период (не то что все предыдущее и последующее унылое говно), когда учился в старших классах и занимался в ЗФТШ, где подружился со многими ребятами. Мне тогда в первый раз и попали в руки «Хроники лаборатории». Это, пожалуй, самое смешное, что я когда-либо читал.

Не сразу удалось найти полный вариант, поэтому, как только нашел, решил выложить одним сплошным обычным текстовым файлом. Если кому хочется снова взглянуть на этот шедевр, то вот адрес:

https://raw.github.com/gist/1793367/de9171981772d3bb871ec8eb6dc0e1cf0e075928/full.txt

Форматирование местами поехало, правда, ну да не так страшно. Подборку взял отсюда.

Осенью прошлого года я закончил первый этап обучения вождению и получил временные права на два года. Весной этого года надеюсь пройти второй этап и получить постоянные. Больше месяца назад для промежуточного этапа была куплена машина Dacia Sandero, которую я недавно упоминал. Ее двигатель называется Hi-Flex — это марка Renault для обозначения машин с двигателями «flex fuel», которые работают со смесью бензина с содержанием этанола до 85%.

Найдя список заправок St1, где есть этанол E85, я съездил на одну из них, где залил полбака. На данный момент заправок всего 14 на всю страну. Здесь это топливо выходит под маркой RE85 и производится из биоотходов в Финляндии. Эта смесь бензина с содержанием этанола до 85% стоит на треть дешевле бензина 95E10 (10% этанола), которым я все время заправлялся до этого, будучи на треть и менее энергоемкой. То есть расход примерно тот же самый в евро на км.

Почувствовал разницу при разгоне и движении на первой и второй передачах: так как смесь подается богаче, ей легче управлять педалью газа, и получается двигаться медленно и разгоняться более плавно. Раньше у меня была некоторая фрустрация из-за того, что не получалось управлять низкой скоростью так стабильно, как мне хотелось. Видимо, машина рассчитана на чуть менее энергоемкое топливо, чем чистый бензин. В общем, я доволен.

До -25 градусов зимняя смесь не вызывает проблем, при этом суммарная экономичность также лучше при использовании биотоплива. С учетом быстрорастущих цен на бензин наличие такого варианта очень полезно, да и оправдано уже сейчас, поэтому я очень рад, что машина позволяет использовать эту возможность.

If you have a bare domain, for instance euromake.com registered on GoDaddy, without any hosting, it is still possible to use Google Apps. Moreover, setting them up can be done so that the bare domain would represent a Web site, redirecting to subdomains. Google Apps provides up to ten Google Mail/Chat/Calendar/Documents accounts with any aliases and 25 GB storage for free, plus Google Sites. The latter is the option to redirect the bare domain to its www subdomain which in turn could be mapped to one of the public sites created.

In about an hour, the first account will be created. After that, using the “Settings” tab, you can change the corresponding four services' URLs to subdomains mail, calendar, docs, and sites, for instance. Additionally, when at least one site has been created and made public, it can mapped to the www subdomain through the “Manage site” menu item. The last step within this initial configuration would be to go to “Domain settings” tab, then “Domain names”, and redirect the naked domain to its www subdomain.

The resulting DNS records would be like this:

MX	1 EUROMAKE.COM.S200A1.PSMTP.COM.
MX	2 EUROMAKE.COM.S200A2.PSMTP.COM.
MX	3 EUROMAKE.COM.S200B1.PSMTP.COM.
MX	4 EUROMAKE.COM.S200B2.PSMTP.COM.
A	216.239.32.21
A	216.239.34.21
A	216.239.36.21
A	216.239.38.21
CNAME	calendar ghs.google.com
CNAME	docs ghs.google.com
CNAME	mail ghs.google.com
CNAME	sites ghs.google.com
CNAME	www ghs.google.com
TXT	google-site-verification=XPBR5Ag_pM4pFfcT-OBn_oKEw4oGwjhtwrI8HGKNT-U

По иронии судьбы, закон больших чисел — едва ли не единственное точное знание об окружающем нас мире.

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

В связи с этим возник вопрос о надежности следующей стратегии. Выберем Хельсинкскую биржу (Helsinki OMX) и возьмем ее историю за один год. Предположим, что в распоряжении есть 4000 €, и нужно оценить надежность выхода на ноль или лучшего исхода за две недели, учитывая 8 € за куплю и 8 € за продажу, при следующих решениях, предполагая, что размещение заказа на выходных приводит к его гарантированному выполнению в любой момент следующей недели.

Для каждой недели года i, исключая последнюю, выберем последнюю стоимость перед выходными P_i и вычислим минимальную стоимость, до которой акции падают в течение этой недели B_i, а также максимальную стоимость в течение следующей недели после данной S_{i + 1}. Вычислим медиану С величины S_{i + 1} / B_i, медиану X величины B_i / P_i и медиану Y величины S_{i + 1} / P_i.

Предположим, что мы выбрали те акции, значение вычисленного параметра С которых оказалось максимальным, и разместили на выходных заказ на их покупку до выходных следующей недели по цене X * P, где P — последняя их стоимость. На выходных после покупки, если таковая состоялась, размещаем заказ на их продажу по цене Y * P.

По данным за первое полугодие 2011 при успешно выполняемых заказах одна итерация принесла бы в среднем 10% для Biotie Therapies, 13% для Revenio Group Corporation и 20% для Aspocomp Group. Так как несостоявшаяся покупка приводит к выходу на ноль, а цена для продажи выбрана медианным значением, то по общим соображениям надежность стратегии оказывается около 50%, однако интересует более реалистичный взгляд на адекватность описанного подхода.

My nickname Alexo was originally a modification of some company's name “Alex Soft.” When I was a kid, I appended few more characters, and it resulted in Alexo Softman. The pseudo family name wasn't needed, so I mostly used only the first one. Few years later, when I started learning Greek, I found that the word “αλἐξω” with the same pronunciation used to stand for a verb "to defend” or “I defend.”

Below is a relevant quote from Alexander Wikipedia article:

Etymologically, the name is derived from the Greek "Αλέξανδρος" (Aléxandros), meaning "defending men" or "protector of men", a compound of the verb "ἀλέξω" (alexō), "to ward off, to avert, to defend" and the noun "ἀνδρός" (andros), genitive of "ἀνήρ" (anēr), "man".

Исходные объекты для построения теорий всегда выбраны из счетного множества: например, из имен; имена счетны ввиду счетности языка как множества текстов. Далее, при попытке ввести множество всех подмножеств такого или некоторого производного счетного множества возникает проблема континуума. Однако, конструктивно доказать, что континуальные множества вообще существуют, не представляется возможным.

Проблема с континуальными множествами довольно остро проявилась в прошлом веке при развитии теории вычислимости, где требовалась математическая модель для счетных множеств, которые бы состояли из отображений внутри него. Разрешилась она тогда, когда Скотт предложил топологию дерева и урезал отображения до непрерывных. С другой стороны, привести конструктивный пример функции, которая вне такого множества, невозможно, так как язык описывает в точности частично-рекурсивные функции.

Возникает логичный вопрос о том, как же быть с вещественными числами, и до какого множества следует их урезать, чтобы описать именно те, которые можно определить конструктивно. Такие числа есть в конструктивном вещественном анализе, и называются рекурсивными вещественными числами [вольный перевод с англ.].

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

Наконец, учитывая, что система λβη соответствует максимальным непротиворечивым теориям и при этом в виду тезиза Черча–Тьюринга имеет максимальную выразительность, любые мыслимые конструкции оказываются возможными для определения внутри нее. И это может, в свою очередь, служить дополнительным аргументом в сторону ее использования и большей концентрации внимания на эквивалентных системах и на теории вычислимости вообще.

Некогда я сам сделал «нарезки» из художественных фильмов (музыка была выбрана из их собственных саундтреков), которые чем-то особенно понравились и при этом, на мой взгляд, подходили для музыкальных видеоклипов. Я уже делал о них записи в журнале. Вот соответствующий отрывок из содержания:

"Ганнибал", "28 дней спустя", "Бессмертные" [все три потеряны]
ТВ-версия сериала-аниме "Hellsing" [показались актуальны в связи с просмотром OVA сегодня]
- Первая часть "Raid" (саундтрек "Hidden Leaves Harmony")
- Вторая часть "Ruins" (саундтрек "Origin Reflection")
Сериал "Queer as Folk"
- Первый сезон
- Остальные сезоны
"Трудности перевода" [отражает текущее состояние: иждивенчество, незнание языка вокруг...]

Так получилось, что три первых ролика по фильмам «Ганнибал», «28 дней спустя» и «Бессмертные» (очень надеюсь, что все-таки) остались лишь в сервисе онлайн-видео vkadre.ru. Из службы поддержки не отвечают, а просмотр видео не удается. Был бы признателен за помощь в восстановлении этих клипов.

Хочу 1) интерпретируемый язык программирования 2) со следующим синтаксисом (пример кода) или, по крайней мере, похожий в нотации для выражений:

<text> ::= <term> | <assign> <text>;

<assign> ::= <ID> '=' <term> ';';

<term> ::= <appl> | <abstr>;

<abstr> ::= <ID> ':' <term> | <ID> ',' <abstr>;

<appl> ::= <atom> | <appl> <atom>;

<atom> ::= <ID> | '[' <term> ']' | '{' <term> '}' | '(' <term> ')';

3) бестиповый или со слабой типизацией, 4) возможно, с набором дельта-функций для быстрых операций на числах, строках и т.п., и, наконец, 5) с нормальным порядком вычисления.

Дайте.

Profile

Anton Salikhmetov

November 2018

S	M	T	W	T	F	S
				1	2	3
4	5	6	7	8	9	10
11	12	13	14	15	16	17
18	19	20	21	22	23	24
25	26	27	28	29	30

Syndicate

Page Summary

Style Credit

Style: Plain for Tabula Rasa

Expand Cut Tags

No cut tags

Page generated Aug. 9th, 2025 02:53 am

Anton Salikhmetov

Entries tagged with personal

Useful Software

How to Profile Google Calendar

Как читать Барендрегта

Chromebook in Gigantti

Ajokortti

Хельсинки, Финляндия

Cloud vs. Off-line

Eurotrip by Car, July 2012

Неделя работы с Chromebook

Процесс принятия решений

VDSL2 от Saunalahti

Хроники лаборатории

Биотопливо RE85

Google Apps for a Bare Domain

Гипотеза случайного блуждания стоимости акций

15 ошибок в английском языке

Etymology of my Nickname (Alexo)

Счетность в конструктивизме

Потерянные видеоролики

Язык программирования моей мечты