Anton Salikhmetov

Useful Software

2017-06-02T09:27:00Z

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.

comments

How to Profile Google Calendar

2017-05-30T09:21:24Z

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

comments

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

2013-10-24T12:14:21Z

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

comments

Chromebook in Gigantti

2013-06-26T11:43:10Z

comments

Ajokortti

2013-03-15T09:08:31Z

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.

comments