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.
Automatic Ethernet and WiFi failover on FreeBSD
3 mins
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.
