Michael's Blog Posts

Transparency

Transparency

Some thoughts I'd like to share on building open communities based on the principle of transparency

Force your code to break

Force your code to break

I prefer using Haskell and Rust, first and foremost, because of strong typing. I like languages and tools that protect me from myself. That's why I love it when my code breaks.

Homeschool on PowerPoint

Homeschool on PowerPoint

With Coronavirus continuing to keep our kids home for some of their education, we're getting an opportunity to teach them some additional skills they aren't getting in school. We wanted to share some success with teaching them PowerPoint.

Stackage for Rust?

Stackage for Rust?

A discussion of what Stackage is, why it exists for Haskell, why it might make sense for Rust, and my reasons for mostly thinking it's not worth it.

New book available: Begin Rust

New book available: Begin Rust

Miriam and I are happy to announce a new book, Begin Rust, for teaching Rust as a first programming language.

A Lazy Rust Compiler

A Lazy Rust Compiler

I've begun work on a new compiler for the Rust programming language, adding a vital language feature missing in the official compiler.

Making nutrition decisions

Making nutrition decisions

I've been trying out a new dietary pattern recently. This post is about how I make decisions on what to try, and some general rules I've been converging on.

The Warp Executable

The Warp Executable

Ever need a quick web server for some static files? Use the warp executable!

Boring Haskell Manifesto

Boring Haskell Manifesto

Haskell is revolutionary. But we're ignoring that. Instead: how to get Haskell into your organization, and how to make your organization more productive and profitable with better engineering

Haskell kata: withTryFileLock

Haskell kata: withTryFileLock

A Haskell code kata to sharpen your skills. Rewrite withTryFileLock to have a different type signature.

How to lose weight

How to lose weight

A short guide on approaches you may take on losing weight, and my recommendations for getting started. Targeted at newcomers to the health and fitness world.