Jan Bessai Publications Students Philosophy Posts ContactI enjoy thinking about complex things, while keeping my life and its daily pleasures uncomplicated. I find envy and greed distasteful. I also prefer freedom over being controlled, and I am willing to grant that freedom to others, rejecting arguments of potential harm. I like to reduce reliance on systems and institutions in my life - my education (school, then bachelor's, master's, and doctorate degree in computer science), while largely provided by some of those systems and institutions, has provided me with some clarity on where and why they do go wrong. I sometimes spend time on research, including (in no praticular order): * Software Engineering * Programming Languages * Software Synthesis * Theorem Proving * Applications of the above to statistics, engineering and logistics I like programming and I've tinkered with lots of programming languages: Scala, Java, Coq, Haskell, Python, C, Idris, (Ba)sh, OCaml, C#, F#, ... just to name a small subset. I also build computers and like to tinker with operating systems (currently I'm running Gentoo, NixOS, Artix, OpenBSD, and various others that are encapsulated in docker images). You can find some of my projects on Github [2] [3]. One of the most prominent projects is the cls framework [4]. To get an impression of what I do, you can also check my @/publications . I was a post-doc in Jakob Rehof's group at the chair for software engineering, TU-Dortmund (Germany) [1] and then worked for itemis [8]. As of December 2023 I work for the German Federal Statistical Office (Destatis) [9]. I've also worked with lots of @/students over the past and I'm very proud of what they managed to do. I organized the first instance of the Unsound Workshop [5]. If you want to learn about programming, make sure to check my friend Marco Servetto's excellent Youtube channel [6]! If all of this is too technical, and you want to find out what makes me tick, check the short description of my current views on @/philosophy . My old (outdated) block le-monad is also still archived online [7]. _______________________________________________________________________________ [1]: https://ls14-www.cs.tu-dortmund.de/cms/de/test/SEAL/index.html [2]: https://github.com/JanBessai [3]: https://github.com/combinators [4]: https://github.com/combinators/cls-scala [5]: https://unsound-workshop.org [6]: https://www.youtube.com/c/MarcoServetto [7]: http://janbessai.github.io [8]: https://www.itemis.com/ [9]: https://www.destatis.de