UP | HOME

links

1 Programming

1.2 Functional programming

1.4 Other

1.4.2 Programming exercises

1.4.3 Publications

1.4.4 Misc

2 Entertainment

2.1 Comics

2.2 Videos

3 Books

Probably I'll try to backup all this and replace it with links to files later.

3.1 Technical

It's not easy to list all the nice books, or even to decide which books to list, but here are some.

3.2 Non-technical

Same situation as with technical books; just writing here something, without any defined system.

4 Articles

Links to articles are dying surprisingly fast, I should fix them somehow.

4.1 Programming-related

4.1.2 DTLC

4.1.5 Programming with dependent types

4.1.6 Session types

It's useful to read about π-calculus (FAQ on π-Calculus) before reading about session types. λ-calculus knowledge is assumed, as pretty much in any other linked article here, and general familiarity type theories. Materials are ordered by complexity, from basic introduction to more advanced ones.

4.1.7 Unsorted

4.2 UNIX-related

4.3 Graphics and typography

5 Other

5.1 Food

5.2 Emergency exit

5.3 Misc