Choose a Membership Level
Hello! I'm a slightly mad software developer living in the netherlands. Over the years I've done quite a lot of things (many of them FLOSS!). Perhaps most notably I used to build fediverse software and rust libraries and sometimes I like to tackle hard but interesting research-driven development. Recently, a lot of my time has been spent helping ordinary developers learn Idris through a new tutorial and a support group. Existing idris learning materials assume a lot of prior knowledge that is difficult to acquire and existing community spaces can be intimidating to outsiders. Long-term research projects include: * Type-theoretic programming languages (two! for different purposes) * A database designed to store free-form data I'm considering building fedi software again. Your support would encourage me! I also take commissions for custom libraries and such.
Help dysfun by sharing this page anywhere!
{{ tier.Description }}
We sent a verification code to: {{ emailSignup.email }}
Check your Gmail inbox.
If you don't get the email after a few minutes, tap below to resend.