Formal Methods in Practice: Using TLA+ at eSpark Learning

How do we harden a system against race conditions? When it uses a complex cache? When it requires a global state? We could blanket our system in tests, hope we’ve covered every possible edge case, and pray that nothing new happens…

Do these 3 Things Before You Take a Machine Learning Course

Launching Projects with Elm and Elixir

Sometimes the most painful part of learning a new language isn’t picking up the new syntax…

Decoding an Elm 0.19 History Export

This is an Elm 0.19 version of the second post in a series of posts about Elm’s exportable app…

Elm Gives Us Human-Level Event Logging Almost for Free

Building Better Writers With Machine Learning

Students in school today will be graduating into a world in which written…

How We Distributed a Personalized iOS Curriculum to Students Across the U.S.

When I think back to elementary school, one of the few things I remember clearly is being frustrated at the pace of class. Some things (like fractions) I just got, while others (like measurements)…