How to use Frama-C to proof correctness of AVR microcontroller code
12 mins
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.
Some respectable TOR hidden services
4 mins
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.
Clone or pull all your github repos (possible as basis for a backup)
1 min
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.
x86 and x86-64 memory models
8 mins
A really short *unfinished* introduction into the various memory models of the x86 architecture
Using an IPv6 tunnel broker
11 mins
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.
Setting up the ESP32 and ESP8266 build environment
5 mins
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.
OpenHantek on FreeBSD for USB oscilloscope
12 mins
A really short description on how to build OpenHantek on FreeBSD and how to configure the system - and how to create a FreeBSD port.
Configuring ADSL PPTP connection (for example with Austrian DSL providers) on FreeBSD with mpd5
3 mins
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.
Running Android Studio (or any other X11 application) on a remote machine via X11
2 mins
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.
Using piezo disks for automatic bed leveling on 3D printers
12 mins
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)
