Posts

ESP-IDF for Arduino Users, Tutorials Part 2: Delay

This is the second part of a series of ESP-IDF tutorials that I will complete as I learn stuff. Read part 1. One of the best things about Arduino is the ability to just block for a period with: delay(1000); // hang on a second, buddy It’s also one of the worst things. As soon as you need to do a few things at the same time, you will end up using better systems, like calling millis() or using the elapsedMillis library. Anyway, the IDF has you covered. You can delay, but amazingly it appears that once you multi-task (which you will with Free RTOS), the delay doesn’t block the other tasks from running. My Notes: Read the docs, now or later https://docs.espressif.com/projects/esp-idf/en/latest/esp32/api-reference/system/freertos.html Delay doesn’t have to block like Arduino. Delay some milliseconds like this: vTaskDelay(pdMS_TO_TICKS(10)); Since vTaskDelay accepts ticks, the pdMS_TO_TICKS macro will convert for you. Help yourself out by adding your own macros if you are lazy. I am lazy. #
Read more

ESP-IDF Tutorial: A proposal for verifying data from embedded devices

I'll soon return to the basic tutorials on the ESP-IDF. This tutorial is a one-off on a topic I find interesting. "How can I validate that data from an embedded device came from that device?" This sounds like a job for public key cryptography. I'm no crypto engineer by any means, but I can certainly use libraries. The ESP IDF ships with mbedtls , which is a surprisingly comprehensive suite of crypto. The library is owned by some people called ARM mbed, so I am guessing you can run it on any ARM. Here's the scheme: Create a public/private key pair (RSA in this example) on the embedded device and store it in memory. In our case in the SPIFFS file system. Send the public key to the server Hash and sign every data packet you will send the server with the private key. Embed the signature as a header in the HTTP request Validate the signature on the server when receiving data The remainder of this post will show you how to do those things. The code is kind of intense i
Read more

ESP-IDF for Arduino Users, Tutorials Part 1: Logging

This is the first part of a series of ESP-IDF tutorials that I will complete as I learn stuff. Consider the following Arduino code: Serial.println(“begining”); I call this the “Arduino debugger”. It’s a joke. Arduino has no debugger — don’t be silly, Ali! It’s not really debugging, it’s logging. How do we do logging on ESP-IDF? Well, it’s remarkably easy. Let’s look at it and then you should read the documentation. My notes The logging macros are in “esp_log.h” #include "esp_log.h" Set the logging level in menuconfig. $ idf.py menuconfig Navigate to: Components -> Log Output -> Default log verbosity Define a TAG, e.g. static const char* TAG = “FruityModule”; Call the log methods ESP_LOGD(TAG, “I am a banana”); Look, printf style is available too ESP_LOGD(TAG, “I am a banana and I am %d years old”, age); Multiple levels of the macros are available ESP_LOGE — error (lowest) ESP_LOGW — warning ESP_LOGI — info ESP_LOGD — debug ESP_LOGV — verbose (highest) Complete exam
Read more

ESP-IDF Tutorials Part 0: Prologue

Introduction I have started to try to learn the ESP-IDF. What will follow is a series of short articles as I learn the individual components of the IDF and how to do things that are easy in Arduino. Why? Arduino has been getting me down for a while. Note: I mean the Arduino development platform — the Arduino SDK. I haven’t used the actual hardware for a while. I have been using it mostly on the esp32. It works mostly fine, but I recently spent hours getting Bluetooth Low Energy to work using the esp32-arduino BLE library. The library is very complete and somewhat engineered to the maximum (and a bit more) degree. The Arduino IDE itself is not a pleasant experience for me. I write my own IDEs. Arduino-cli seems to work fine outside the IDE, but it is heinously slow because it seems to recompile the universe. Config options are hard to set and this general limitation has started to make me feel uncomfortable. This post is the prologue. Read the next part: Part 1 Logging
Read more

Building a Haskell web app with Snap: Snap quickstart guide

I'm a Haskell newbie, and it's fun. I thought I'd document my adventures. Starting with my attempt to build a web app. I could have spent months picking a web framework. There are decent comparisons on the web. I picked Snap, because of the name (and perhaps some advice from a geeky friend of mine). I've written web frameworks (in Python) and the intro to Snap caught my eye. All pretty arbitrary reasons, so let's get started. First there is a quickstart guide . Great, who doesn't love quickstart guides? It tells me how to install the framework , though that redirects me to another page, but I don't mind. I would have to have Cabal installed, otherwise it wouldn't work. Instead of just plain: cabal install snap I do: cabal install --user --prefix=$HOME snap Which seems the most convenient way to put things in my ~ tree rather than anywhere on the system. Great it works first time with no dependency issues, conflicts, or compile errors. That
Read more

Keeping tallies in Python

Python's collections module has some of the most consistently useful collection data structures you will need for everyday programming. Here's one I didn't know about: collections.Counter  (Python 2.7 only!) It is designed to keep "tallies" or count instances of something. The example will make it all clear: from collections import Counter cars = Counter() # I see one go past, it is red cars['red'] += 1 # And a green one cars['blue'] += 1 # etc This is pretty much like a defaultdict with an integer value, but it is convenient and neat, with some useful constructors. Don't you think?
Read more

Watching a file system directory with inotify and Linux

"Inotify is a Linux kernel subsystem that acts to extend filesystems to notice changes to the filesystem, and report those changes to applications." [Citation Needed] . You can use this service from Python using Twisted to watch a directory and its contents. Twisted is perfect for this as you likely want to be doing a number of other things at the same time, for example, making an HTTP request every time a change is noticed. The code is so monstrously simple, I will just paste it: from twisted.internet import inotify from twisted.python import filepath class FileSystemWatcher(object): def __init__(self, path_to_watch): self.path = path_to_watch def Start(self): notifier = inotify.INotify() notifier.startReading() notifier.watch(filepath.FilePath(self.path), callbacks=[self.OnChange]) def OnChange(self, watch, path, mask): print path, 'changed' # or do something else! if __name__ == '__main__': from tw
Read more