Software

• kdhcp: a homebrew DHCP server. It's far from complete, but was enough to bootstrap some stuff in a cluster.
• goutils: a bunch of tools and packages that I use in a lot of Go programs.
• sc/emsha: an EMbedded Secure HAshing library, HMAC-SHA-256 C++11 library designed for embedded systems.
• sc/scsl: the Shimmering Clarity Standard Library, containing tooling for writing C++ programs.
• sc/sc3dev: a bunch of tooling to build development images for CI and testing.
• bladerunner is my project to build a Raspberry Pi cluster.

Lambda projects

These are the projects from my old Lambda blog, circa 2014-2015.

As part of advancing my computer science skills, I intend to work on projects to illustrate and better understand the topics. As my personality type is more that of an engineer, it's important for me to specifically find projects that are research-driven (as opposed to implementing existing standards).

• VLisp is an attempt at using Coq to implement McCarthy's Equations of Software to build and explore a formally-verified Lisp.

  • One of the subprojects under the ægis of VLisp is the Hasp project.

• In the course of the AI planning course, I'm beginning some basic research into the ideas of what it would take to have an AI planner controlling a data centre. The idea is something akin to Mesosphere, using planning algorithms to schedule and plan resources. It would involve some research into appropriate HCI mechanisms to effect plans and properly communicate with stakeholders.

• As part of a private mailing list, I've been doing some thinking about network spaces in the modern world.