archives contact posts tags

my hackergotchi

Hi! I am Lev 'dogsleg' Lamberov. I've already wrote a bit about me in my first post to this blog, but I understand that you probably want more.


I have a Candidate of Sciences (= Ph.D) in philosophy and work as a docent (= associate professor) at philosophy department of Ural Federal University.

I've received my Ph.D degree from Ural State University in 2010. My Ph.D thesis was about Deflationary theory of truth and its relationship with Gödel's incompleteness theorems, also I've touched a bit the concepts of linguistic meaning and reference from the standpoint of deflationism.

In the beginning of 2013 I traveled to Marburg, Germany to join Prof. Dr. Klaus Ostermann's research group "Programming Languages and Software Technologies" at Philipps-Universität Marburg as a Postdoc. I'm very thankful for this opportunity to learn more about various typed lambda calculi and related programming languages such as Agda and Coq.

After I've returned to Ural Federal University in the late 2014 I became interested in the philosophy of mathematics. More specifically, I'm interested in various modern type theories used as the foundations of mathematics (like homotopy type theory and cubical type theory) and epistemological problems of computer-assisted proofs.

If you'd like to learn more about my publications then go ahead to my, eLibrary, Google Scholar, ResearchGate, or my university page.

Computers and Free Software

I'm passionate about computers. My first computer was Vector-06C, I played with it in late 1980s when I was, I guess, 4 years old, and I even wrote a simple text-adventure game for it in a dialect of BASIC. After that I had many different machines, like a ZX Spectrum clone, Intel 80286-based machine, and so on and so on. When I was a kid I was fond of "maintenance" of my machines, I ran badblocks checking utilities and other maintenance programs almost every day, made backup copies of the system files on 5.25 and 3.5 floppy disks once a week, removed dust from the inside of computer cases and lubricated coolers almost once a month. It was fun.

My first attempt to run Linux was in 1998 when I bought two CDs with Red Hat Linux 5.0. Well, that attempt failed because of very unfriendly (from my own perspective) installer. Then I tried few other Linux distributions, and finally settled in the Ubuntu camp for a few years, but escaped to the Debian camp in 2007 (starting with etch release). Since then I'm pretty happy and I don't look to any other dark sides.

So, I strongly believe in free software ideals. I think that free software is a huge power, and involvement in it is a work for the public good, which has a very strong ethical motivation.


In Debian I maintain some amount of packages, mostly in Debian Emacsen team and Debian Haskell Group.

Also, I'm a part of Russian L10n Team and maintain the Russian translations of the Debian website, various Debian documentation, and from time to time work on the translation of Debian packages' descriptions. Most notably I've translated aptitude's user manual and Debian Developer's Reference.

Sometimes I tag Debian packages with the help of Debtags, review spam reports for Debian mailing lists' archives, and do some arbitrary fun stuff.

You can check my public Debian page, where I put my Debian-related slides and talks.