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:
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
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.
This blog post summarizes a method that can be used to develop software in the same way one would when using object oriented techniques with C++, Java or similar languages. It's based on the method used by the previously mentioned languages to implemented that stuff on bare metal.
Since a friend required this - a short writeup on how to use your RaspberryPi (with FreeBSD) with an UMTS/LTE modem to provide internet connectivity to your local network.
A really short introduction of the basic anatomy of a Unix-like or Linux daemon process.
This blog post is part of a short series about WebRTC. It describes the different media sources available as well as how one can do local loopback of a datastream. Note that data transfer is not described in this blog post, only access to webcam and screen sharing streams and direct pixel manipulation.
Short summary about the k-means algorithm and it's usage
Short tutorial on how to use libjpeg for simple image I/O (to read and write JPEG files to/from disk or memory and represent them as simple in-memory bitmap for simple CV experiments)
Mini tutorial on how to use the NodeMCU Amica and a cheap PIR sensor module to build a pretty simple motion sensor that supports reporting via MQTT messages.
Really short primer on ACSL predicates for formal verification of ANSI C code with Frama-C.
How to use Frama-C static analysis and proof assitant with ACSL annotations for function pointers in ANSI C.
A short summary on how this page is built using the Jekyll static website generator as well as a really simple Jenkins job that's triggered by a GitHub webhook.
Short introduction on how to use lagg(4) to perform automatic seamless switching from ethernet to WiFi (when they represent the same network on the same IP subnet) and back on FreeBSD.
A short introduction into neuronal networks and backpropagation
Summary on how to enable a bluetooth mouse on FreeBSD
A short primer on how to get started using Kerberos for authentication inside your network. This includes setup of an kerberos key distribution center (KDC) on an secure host as well as of the server machines against which one will authenticate as well as the required configuration on the clients.
A short review about the T4EU1C Sonoff Switch as well as an example how to flash Sonoff basic switches with custom firmware
A short tutorial on how to setup node red and configure the first flows to be used with sonoff basic switches and other data sources as well as XMPP/MQTT interfaces and some other ideas how one can use node red in various areas
Since I often hear confusion about the level or type of privacy when I talk with people about onion routing services like TOR, tunneling services like VPN, DNS encryption via DOH, using proxyservers, using alternate DNS services, using encryption and signature, etc. I've decided to write a short blog post about that different stuff and what it provides - and what not (in my personal opinion).
Example on how one can use the ESP8266 NONOS SDK to build applications using a custom Makefile (i.e. not using the nested Makefiles of espressifs SDK) to build one of the most simple microcontroller projects.
A short description on what the ESP8266-NONOS-SDK really does (step by step) to build the firmware images that get uploaded to the microcontroller via esptool.
This is a short article that shows how one can use Frama-C and the WP plugin to proof correctness or some properties of ANSI C code written for AVR microcontrollers.
Because it's sometimes said TOR hidden services are only used by criminals this post lists a few more credible services and some reasons why one might use them.
A short summary on how to use the GitHub API with access tokens to mirror all your GitHub repositories and keep them up to date.
A really short *unfinished* introduction into the various memory models of the x86 architecture
How to get an IPv6 network connection working if your ISP doesn't support IPv6 even today. Also includes a short description on how to do this on an connection using dynamic endpoint adresses.
Short summary on how to setup the development environment for ESP8266 (Non-OS and RTOS) as well as ESP32 (RTOS) including a short shellscript that's capable of setting up the development environment.
A really short description on how to build OpenHantek on FreeBSD and how to configure the system - and how to create a FreeBSD port.
A short summary on how to configure mpd5 to authenticate against an external PPP provider for PPPoA usage (via PPTP). This is required for authentication with most Austrian (A)DSL providers when using their modems in single user mode.
A short rant on the incapability of Android Studio to be portable over various POSIX operating systems and a hackish solution on how to keep the feeling of a local application while running it remotely on a Linux machine.
Description of an easy way of using piezo disks as touch sensors to perform bed leveling with 3D printers or other CNC machines. This blog entry describes the most basic possible way without much external circuits (only an ATtiny13A and two resistors are used)
How to use the GIT client to interoperate with a remote SVN server or how to migrate an SVN repository to GIT including it's full history.
A short tutorial on designing and applying digital filters.
This article contains a short tutorial about multifactor authentication, various factors that may be used and a tutorial on how to use the Yubikey hardware token for web- and local as well as SSH (pam) authentication on FreeBSD.
A short description how to use TOR as a normal user and what to be aware of when using TOR
A short primer on how to use Frama-C to proof properties about C-code.
Just a short description of what a JWT is, what it can do for one and how they are realized - and why one would want to use them to identify users in one's web application by using JWTs instead of session IDs.
A short summary on how to embed authentication and generally signing with the Austrian citizien card
This is the description of a small carrier board for two DRV8825 breakout boards (or compatible) that are controlled by an AVR (ATMega328p) which runs a small (linear) motion processor that gets it's commands via I2C.
A short cheat sheet on how to use the git version control system (most basic operations)
This article explains how to use an AVR as I2C slave device (basically how to set registers for the TWI controller) and how to interface that to an RaspberryPi running FreeBSD
Basic definitions for topology (notes taken during various lectures)
The blogsphere is a web of interconnected websites. As usual websites are linked like all pages in the WWW but on the other hand they provide an easy way of notifying each other of being referenced by a third party. Pingback is - besides trackbacks - the (XML-RPC based) technology used for that notification.
This post describes a simple derivation of the complex inpedance formulas well known from electronics.
Short explanation on how to use the 28BYJ-48 geared stepper motor with the ULM2003 7-way Darlington transistor array.
Something most drivers don't want to hear - a basic pallpark calculation of the optimal maximum speed that offers the maximum car througput on streets.
How to use the GPIO pins on the AVR microcontrollers when using avr-gcc
This blog post should provide a short overview of TAN alternatives and methods as well as their pitfalls and security
This is an article (in German because of it's specific audience) about SPF and DKIM features that prevent mail spoofing and it's effects on mail forwarding
This article describes some of the ideas and thoughts during building my first FDM printer and which lessions have been learned from that project.
This article is a (really) short tutorial on how one can handle messages from LoRA nodes that are routed via thethingsnetwork inside an self-contained JavaEE application.
An easy method to add tags to your static Jekyll generated pages and blogs
A short summary of the algorithms required for linear accelerated and decelerated stepper motor control on microcontrolers.
A short description how to setup a TOR hidden service or an stealth hidden service and why one would want to do that even if one doesn't offer illegal content
How to get started with the STM32F401RE nucelo development board on FreeBSD with gcc and openocd
Example how to flash Sonoff basic switches with custom firmware (using cli tools or the Arduino IDE)
The following article leads the reader through building an LoRA-WAN gateway from an iMST ic880a concentrator board and an RaspberryPi. Optionally is shows the reader how to add GPS, enable remote configuration via the tinc VPN daemon and via a TOR stealth hidden service.
How to get started with Android development on FreeBSD (using Android Studio)
Just a collection of comments on 3D printing
A tutorial on how to automatically manage TLS certificates for various services with DNS challenges and an zone served out of a bind zonefile that is protected via DNSSEC.
A short description of the davlik.vm.* tuneables for memory management tuning on Android devices
How to use ADB over TCP/IP instead of USB
How to automate DNSSEC signatures on a manually managed zone
A short description (in german) how to use the facebook chat with it's XMPP interface.
A short description how to enable EAP-MD5 authentication for wired 802.1x authentication on Windows 7 since it has been (correctly) disabled for security reasons