Inklings: a tumblelog

Linear types make performance more predictable

🕑 2018-08-04T17:03:06+00:00; via lobste.rs; try the Wayback Machine | edit

PureScript by Example

🕑 2018-08-04T19:36:00+00:00; try the Wayback Machine | edit

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

Kiwi - a 68k Homebrew Computer

🕑 2018-08-04T19:46:19+00:00; try the Wayback Machine | edit

Type-Driven Development with Idris

🕑 2018-08-04T20:22:58+00:00; via lobste.rs; try the Wayback Machine | edit

For if I ever get a chance to learn Idris.

Learning Rust With Entirely Too Many Linked Lists

🕑 2018-08-04T20:25:03+00:00; try the Wayback Machine | edit

Also, the accompanying git repo.

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

🕑 2018-08-04T20:32:12+00:00; via news.ycombinator.com; try the Wayback Machine | edit

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

🕑 2018-08-04T20:36:04+00:00; try the Wayback Machine | edit

There’s RC2014 Life In The TMS9918A Display Chip Yet

🕑 2018-08-05T00:16:58+00:00; via lobste.rs; try the Wayback Machine | edit

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

🕑 2018-08-05T11:44:35+00:00; try the Wayback Machine | edit

Worth a try, at least.

Introducing Thanos: Prometheus at Scale

🕑 2018-08-05T11:54:45+00:00; via news.ycombinator.com; try the Wayback Machine | edit

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

The repo is here.

Pattern-Oriented Software Architecture, vol. 1-5

🕑 2018-08-15T20:14:38+00:00; via lobste.rs; try the Wayback Machine | edit

I hope this is legit.