tspi.at

This page contains short articles about projects I'm doing myself or that friends of mine have expressed some interest in and for which I've decided to write short summaries. It also contains some short notes on how to solve some particular problems to keep an easy to access repository for friends and other people who might have the same problems.

Please note that many of these articles are written late at night or in short breaks so if you spot any errors any correction is welcome.

The topics covered include:

• Selected posts and summaries about physics topics (some at school level, some beyond)
• Software development (C and tools like Frama-C, JavaEE, JavaScript, Java on Android, PHP, general algorithms)
• Embedded electronics (STM32, ESP32/ESP8266, hardware interfaces, etc.)
• 3D Printing
• System administration (mainly FreeBSD) and security (Encryption, Signature systems, etc.)

Some sourcecode of hobby projects and/or partially externally used code as well as some unfinished stuff that I've released under BSD or BSD-like licenses can be found in my GitHub repositories. Most of the finished and released projects are automatically built for every release and every GitHub commit by Jenkins Pipelines on dynamically created Xen virtual machines for FreeBSD (amd64, arm6, aarch64), Linux (amd64) and Windows (amd64) as well as automatically tested by the pipeline scripts (using Unit-Testing for components, Frama-C with it's wp plugin against RTEs and to proove certain correctness constraints on C applications as well as Selenium with Java to emulate users on Web applications using Chromedriver). I plan to auto deploy the artifacts in near future to a public artifact repository (like this webpage is automatically deployed on every commit into the corresponding repository).

Since someone complained. Yes this page has been rebuilt into a non dynamic static webpage. This has been done to reduce server load and simply reduce unnecessary computational overhead. Since there is currently not much interactive content besides some tools that perform serverside calcuations it has proofen to be much more relieable and computationally inexpensive to use static sites. I've developed the strong opinnion that a static site driven by an static site generator combined with a Jenkins build solution as well as git as SCM is suited for many applications that do not expose any external user interactivity and are way easier to manage, have a smaller attack surface and are much more maintainable than CMS based solutions.

If you like to read books on interesting subjects you can also refer to my list of recommended books

Covid-19 statistics

Due to the situation in Europe I've added some automatically updated graphs to somehow visualize the severity of the Covid-19 outbreak. These are of course by no means guaranteed to be valid and no important differences like community structure, healthcare capabilities, different testing methods have been included.

Latest articles