Folkert

Blog posts and open-source work

About

Folkert

  • Systems software engineer
  • folkert@tweedegolf.com

Folkert is an expert in systems programming. He has made major contributions to the creation of the (soon-to-be) friendly, fast, functional language called Roc - in fact, he has so far written about half of the code; He co-teaches (and co-creates) the university course Rust 101; And he is working on the Rust implementation of the Network Time Protocol, ntpd-rs.

Difficult problems don´t rattle him. In fact, we can rely on Folkert to face them head-on and produce solid implementations in remarkably little time.

In his spare time, Folkert often continues to work on languages (natural or other) and he likes to cook or spend time in the garden.

We've been writing how-tos about using Rust in existing C, Python, and C++ projects, but this article shows you an in-production example of Rust interoperability: Recently I worked on exposing the TSP Rust API to Python and NodeJS users.
Our zlib-rs project implements a drop-in replacement for libz.so, a dynamic library that is widely used to perform gzip (de)compression.
June 10, 2024

Tock binary size

Tock is a powerful and secure embedded operating system. While Tock was designed with resource constraints in mind, years of additional features, generalizing to more platforms, and security improvements have brought resource, and in particular, code size bloat.

Open-source work

Show all

openleadr-rs

openleadr-rs is a work-in-progress Rust implementation of the OpenADR 3.0 specification. OpenADR is a protocol for automatic demand-response in electricity grids, used, for example, for dynamic pricing or load shedding.

openleadr-rs was initiated by us as openadr-rs, but is now part of the OpenLEADR project, governed by the Linux Energy Foundation.

zlib-rs

zlib-rs is a memory-safe Rust implementation of zlib, the widely-used compression library, used primarily on the web to provide gzip compression to the text/html/js/css we send around.

The initial development of zlib-rs was started and partly funded by Prossimo. It's now governed by the Trifecta Tech Foundation as part of their Data Compression initiative.

ntpd-rs

ntpd-rs is an open-source implementation of the Network Time Protocol completely written in Rust, with a focus on exposing a minimal attack surface. This video explains how ntpd-rs brings NTP into the modern era.

The project was initially funded by ISRG's Prossimo, as part of their mission to achieve memory safety for the Internet's most critical infrastructure. The NTP initiative page on Prossimo's website tells the story.

ntpd-rs is part of Project Pendulum. In July of 2023 the Sovereign Tech Fund invested in Pendulum, securing development and maintenance in 2023, and maintenance and adoption work in 2024.

teach-rs

teach-rs, formerly Rust 101, is a collection of modular teaching materials to build a university course for computer science students, introducing the Rust Programming Language. It is open source and thus available to anyone who wants to teach Rust.

It is governed by the Trifecta Tech Foundation.

Read one of our teach-rs blogs for more info.

Roc

Folkert works on Roc and is one of its main contributors. Roc's goal is to be a fast, friendly, functional language.