Thanos Tsouanas

I'm re-reconstructing my website at the moment. It should be ready precisely in three at some point in the future.

• A game semantics for disjunctive logic programming, at the MALOA preprint server. Here is an updated, corrected version of this article which I submitted on Dec 1st, 2012.

A game semantics for disjunctive logic programming [slides].

• PL Seminar, NTUA, GREECE (Dec 2011);
• LAC-GeoCal, Ecole Polytechnique, Paris, FRANCE (Nov 2011);
• MALOA Training Workshop, University of Leeds, UK (Jun 2011);
• GaLoP, ETAPS, Saarland University, GERMANY (Mar 2011).

Game semantics approach for logic programming

• MALOA Training Workshop, Fischbachau, GERMANY (Sep 2010).

Look busy doing nothing. Pretty much what it says... So, your eco-friendly (room)mate/mom/dad/whatever keeps powering off your computer, after glancing at the screen and making the wise decision that "it just wastes energy, it doesn't do anything". Look no further, this program is for you: lookbusy.py.

Download. This python program implements literate programming using LaTeX. Inspired by Haskell's LaTeX support for literate programming, it can be used for any programming language(s). The sample input TeX file provided should be enough documentation.

Project site. Implementation in Haskell of various λ-calculus based systems found in Benjamin Pierce's book, Types and Programming Languages.

If you are interested in this, you may also want to check tapl-haskell, a similar, independent project.

(If you have no idea what this book is all about, you probably couldn't care less about this program.)

File upload, as simple and self-contained as it can get. Quite a lot of people have requested this file over time, so here it is. Depends on web.py, so make sure you have this wonderful lib installed first.

You can hopefully also see it in action. Be sure that you gimme something neat while testing it.

This application used to run on greek.mathimatiko.net, and is admittedly the most frequently used web app I've written. It's an online way to convert latin "greeklish" to actual greek. Soon to be back online.

BeeBB: this is a featureful web forum application, written using pure Python CGIs, at a time when no fancy web frameworks were available. I keep its website online (along with all its dead links) and, of course, its source code, mostly for historic, personal and educational reasons.

If you need to run a forum application in python nowadays, you'd better create one using any of the web frameworks to handle all the gory "low-level" details. I'm just too proud for this application to put it offline.

Everything was built from scratch: a custom and secure session implementation, sub-sub-...-forums of infinite depth, easy administration interface, smart password resetting, PMs associated with emails, and many more features. I will shut up now.