Inklings: a tumblelog

Linear types make performance more predictable

PureScript by Example

If I ever do any client-side development again, PureScript looks interesting.

Kiwi - a 68k Homebrew Computer

Type-Driven Development with Idris

For if I ever get a chance to learn Idris.

Learning Rust With Entirely Too Many Linked Lists

Also, the accompanying git repo.

Loom (or, how Brian Moriarty Proved That Less is Sometimes More)

How to Do 90% of What Plugins Do (With Just Vim)

There’s RC2014 Life In The TMS9918A Display Chip Yet

The RC2014 is a nifty Z80-based modular homebrew machine. With a rc9918 card, it can run MSX and ColecoVision software.

How to Fall Asleep in 120 Seconds

Worth a try, at least.

Introducing Thanos: Prometheus at Scale

Builds on Prometheus to avoid aggregating metrics into a central store.

The repo is here.

Pattern-Oriented Software Architecture, vol. 1-5

I hope this is legit.