How to use Frama-C to proof C code (short primer)
19 mins
A short primer on how to use Frama-C to proof properties about C-code.
What are JSON web tokens any why would one want to use them?
5 mins
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.
Authenticating and signing using Austrias citizen card
13 mins
A short summary on how to embed authentication and generally signing with the Austrian citizien card
Building an I2C controllable stepper driver board with DRV8825 breakout boards and ATMega328p
8 mins
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.
Using Git / Git Cheatsheet
22 mins
A short cheat sheet on how to use the git version control system (most basic operations)
I2C communication between RaspberryPi and an AVR based I2C slave
9 mins
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
The Blogsphere - How pingbacks work
4 mins
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.
Where does complex impedance come from?
4 mins
This post describes a simple derivation of the complex inpedance formulas well known from electronics.
Using cheap 28BYJ-48 stepper with ULM2003 drivers and AVR/Arduino
6 mins
Short explanation on how to use the 28BYJ-48 geared stepper motor with the ULM2003 7-way Darlington transistor array.
