A method to write object oriented code in ANSI C
11 mins
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.
Using an Raspberry-Pi as UMTS/LTE gateway
19 mins
Since a friend required this - a short write up on how to use your Raspberry-Pi (with FreeBSD) with an UMTS/LTE modem to provide internet connectivity to your local network.
Anatomy of a typical Unix-like/Linux daemon
7 mins
A really short introduction of the basic anatomy of a Unix-like or Linux daemon process.
WebRTC Media Streams
8 mins
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.
Simple JPEG image I/O with libjpeg
11 mins
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)
NodeMCU based PIR motion sensor supporting WiFi and MQTT
7 mins
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.
Frama-C predicates
4 mins
Really short primer on ACSL predicates for formal verification of ANSI C code with Frama-C.
Frama-C with wp-dynamic and function pointers
9 mins
How to use Frama-C static analysis and proof assitant with ACSL annotations for function pointers in ANSI C.
How this site is built with Jekyll and Jenkins
5 mins
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.
