Today I want to spend some time with join-semilattices, specifically my F# implementation, LVar. It is a conceptually interesting data structure and approach to managing information, as well as improving program correctness.

Read More

Yaml is a useful format for both configuration and simple data representation that pops up from time to time. As a result, it is helpful to know how to use it and coding in F#. Today I’ll take a quick look into using Yaml and how it can be integrated into an F# project.

Read More

Recently Ted Unangst wrote about his tool, watc, to extract line count and file size statistics to support some of his work. Chris Wellons followed up with his take on watc. Inspired by both posts, I thought it would be an interesting tool to add to my own toolbox. It pairs nicely with some of my current work on extracting useful information from code repositories. This feels like a good way to put together a quick tool using F#. I’ll also use this as an opportunity to show some F# along the way.

Read More

Today’s “data in motion” post is a visualization of earthquakes over time. I’ll use seismic data from the National Science Foundation. Keeping with the theme, I’ll use F# and FFmpeg to convert the raw data into a video of the data over time.

Read More

Today’s “data in motion” post is a quick population over time visualization. I’ll use U.S. census data over the last one-hundred-ish years. As is the theme in this series, I’ll convert the raw data into a video of the data over time using primarily F#.

Read More