Index All Posts Tags Series About Feed Hire Me Support Me

Goals

Right now, this site is a slowly progressing spare time project. As much as I enjoy writing the occasional blog post about Idris, I would like to evolve this site into something more. My long term goals include writing a full on book on Idris and dependent types targeted to people with little to no experience in more mainstream languages, fostering a peer education community around these topics, and maybe even implementing a programming language of my own to bring my decade of in-the-field experience to the language design table.

I would like to eventually work on this site and associated projects as a part time job, and maybe even a full time job someday, but I am unwilling to display adds or accept commercial sponsorship to do so, so I will need your support to make that happen.

If I get a steady stream of income from donations going, I plan on starting streaming with some regularity. I already have a list of projects I would like to do on stream, including exploring what video game programming looks like in the dependently typed space, and finally getting around to reviving Asuran with an Idris rewrite.

One Time Donations

If you particularly enjoyed a post of mine, please consider sending a dollar or two my way. I currently have the following platforms setup for one time donations:

Recurring Donations

At this point in time, I do not yet have subscriber perks or a consistent posting schedule, but if you would like to take the leap of faith, I have the following platforms setup for recurring donations: