Everything Jan Malakhovski wants you to know about himself

This page is a bit of a work in progress (WIP) at the moment, sorry about that.

List of interests, in the order of preference

Academic

Timeline

Regalia

List of peer-reviewed papers (co-)authored by me

Those you probably should read

  1. Jan Malakhovski. On the Expressive Power of Indexed Applicative and Monadic Structures. PhD Thesis. October 2019.

    Which also includes the contents of

  2. Sergei Soloviev, Jan Malakhovski. Automorphisms of Types and Their Applications. Journal of Mathematical Sciences Volume 240, Issue 5, August 2019, Pages 692-706.

    Which is a version of

    • Sergei Soloviev, Jan Malakhovski. Automorphisms of Types and Their Applications. Zapiski nauchnykh seminarov POMI. Volume 468, 2018.

Those you probably shouldn’t read

WIP.

Software Development

Timeline

List of programming languages, in the order of preference, followed by rationalization

List of programming languages, in the order of LOC/year written, followed by rationalization

List of Free/Libre/Open Source (FLOSS) software projects (co-)authored by me

(Co-)authored by me, currently maintained and used by me

  1. A bunch of stuff in Nixpkgs and NixOS

    Nixpkgs (also this link) is a package collection for the Nix package manager. NixOS is a GNU/Linux distribution based on Nix and Nixpkgs.

    See the list of contributions at GitHub and another list of contributions at GitHub to now deprecated repository (before NixOS became a part of Nixpkgs). Before Nixpkgs and NixOS moved to GitHub I was contributing patches to the mailing list (archived at https://nixos.org/nix-dev/). The very first contribution there is the message with Message-Id: <20120626165234.1f9f3f04b630fabf52438a54@oxij.org> and Date: Tue, 26 Jun 2012 16:52:34 +0400 (archived at https://nixos.org/nix-dev/2012-June/009215.html).

  2. libcardiacarrest

    which is a trivial implementation of libpulse* PulseAudio library API that unconditionally (but gracefully) fails to connect to the PulseAudio daemon and does nothing else. I’m the original author of this project.

  3. slim-ng

    which is a maintained continuation of the original SLiM login manager (aka display manager).

  4. My fork of PyTox

    which is a maintained continuation of the original PyTox library, which is a library providing Python bindings for c-toxcore.

  5. My fork of toxvpn

(Co-)authored by me, currently used by me, maintained by others

  1. org-mode for GNU Emacs

    which is a Emacs mode for keeping notes, maintaining TODO lists, planning projects, authoring documents, clocking time spend doing things, gathering statistics, etc. Basically, as a file format, org-mode files are Markdown on steroids. Emacs’ org-mode major mode is a monumental piece of software that, among other things, allows to structurally edit and to programmatically extract information from org-mode files (e.g., “show me all the things in my org-mode files marked as TODO scheduled for today”).

    See the list of contributions at the mailing list.

  2. notmuch and its mode for GNU Emacs

    which is global-search and tag-based email system.

    For the list of contributions you’ll have to search the mailing list.

  3. c-toxcore

    which in a C implementation of the Tox instant messaging protocol.

    See the list of contributions at GitHub. See also PyTox above.

  4. git-hub

    which is a sane command-line interface for GitHub.

    See the list of contributions at GitHub.

  5. https://github.com/miurahr/pykakasi

  6. https://github.com/jamesls/semidbm

  7. https://github.com/oxij/cubeb

  8. https://github.com/oxij/pamixer

  9. https://github.com/oxij/mps-youtube

(Co-)authored by me, previously maintained and used by me

How to Contact

RFC822-formatted messages over conventional SMTP (aka “normal email”)

Instant messaging, voice and video chat, file transfers over Tox

Workflow

WIP.