My musings

Fast Accumulation on Streams (2018)

📃 Blog post | 01/02/23

Explore an algorithm to take advantage of parallelism when combining a large amount of data streaming in over time. We were able to come up with a solution that scales up to any throughput optimally while simultaneously minimizing latency and space usage.

Concurrency Categorization (2015)

📃 Blog post | 12/31/20

(2015) If you agree with my assumptions that I’ll outline in the post, I believe that at its core, there are six dimensions to consider when evaluating a method for performing and handling asynchronous work. In this post, I provide a survey of concurrency primitives in the mobile app space categorized along these axes.

Data Abstraction in Dhall

📃 Blog post | 04/30/20

System-F, the core theory that underlies idealized data abstraction also underlies Dhall, a programmable configuration language. This post enables scholars to better understand data abstraction via an executable description and shows Dhall coders how to use data abstraction to tame complexity.

Data Abstraction: Theory And Practice

📃 Blog post | 03/30/20

Complexity in a growing codebase can be tamed through strategic information hiding -- you may know this as encapsulation, modularization, or data abstraction. Knowing how to use data abstraction is important in the short term, but understanding the general concepts equips you to understand these tools as our languages evolve and change.

A Gameboy Emulator Debugging Parable

📃 Blog post | 03/20/20

A debugging parable that will teach us about using partial isomorphisms to build powerful tools and synthesize tests. And will show that sometimes it takes a long while to discover a simple mistake.

Reducers are Monoids on Functions

📃 Blog post | 02/19/20

Reducers, a tool for handling state changes, help engineers manage complexity in their applications. But why is this such a great tool for managing this complexity?

Semigroups and Monoids

📃 Blog post | 02/16/20

Semigroups and monoids are the two algebraic structures that are most useful to the working engineer. Discovering the algebra in our APIs give rise to a minimally complex and maximally expressive interface, and the shared vocabulary of these terms give rise to productive teams.

Writer monads for knowledge tracking in OCaml

📃 Blog post | 01/27/20

Tracking knowledge across large areas of a codebase is a fairly common task. If we model knowledge monoidally, we can use a writer monad to track this knowledge without boilerplate in a simple and threadsafe manner.

Introducing Barbq

📃 Blog post | 01/19/20

Barbq is a simple, no frills, terminal-based (TUI) status bar for macOS