Iain Hull

TIL you can swap your screens on your mac with some simple C code. I have two monitors at home and they seem to swap every time I connect them. I end up clicking in the settings to rearrange them. Here is a small command line tool to swap your monitors mac-swap-screens.

It is no secret that I love types and have been using Akka for a number of years, so I could not wait to play with Akka Typed. Akka Typed is quite different from its untyped cousin. Every time I reach for my favorite class or idiom I find it works differently or maybe doesn’t even exist at all. One of the big differences is that there is not TestKit for typed actors.

I hate debugging code, so I try really hard to produce correct code in the first place. As a result one of my main interests is automatic program verification. Initially for me this meant unit testing, then design by contract, later exploring how the type system can improve correctness. I was luck enough to attend an introduction to Idris with Edwin Brady at Functional Kats Conf in September. Idris is a dependently typed language, this means that types are first class citizens, they can interact with and depend on values.

I haven’t written anything in ages, but felt my blog needed a face lift, so I changed-up the theme. I have applied the Clean Blog theme with some calming photos from a old trip to Japan.

I haven’t had any time to blog recently, work has been too busy, which is just the way I like it :-). I have spent the past year or so thinking about types in general and Scala’s type system in particular, so here is a quick update on what I have been doing. Wrapping simple values to add semantics and typesafety I managed to find some time to write a blog post on the Workday developer blog