Mika. Berlin based developer/designer/coagulator. Likes bouldering, black metal and bread.
Nettweorc eardode, sincfáge sel sweartum nihtum.
The community is amazing and the ecosystem is pretty great. I guess it's just more I don't know I did anything (or rather, had much confidence in the things I was doing) without ADTs and static types
It lets me write my dotfiles in dhall instead of just raw text (like my mbsync settings https://github.com/autophagy/antimber/blob/master/dotfiles/mail/mbsync-autophagy.dhall), then it compiles them to text/yaml/json and symlinks them. Seems to work pretty well for now!
Been playing around with Dhall a lot recently, so wrote a little prototype CLI tool in Haskell to manage my dotfiles with it, called Hord https://github.com/autophagy/hord
Hey all ! At the end of this month, I'll have left Crate.io and will be looking out for something new. Quick bio:
- Good with Python
- Secretly a big fan of functional programming and type systems, don't tell my python friends though
- Know my way around Kubernetes, docker, salt, terraform. Infrastructure stuff.
- Have successfully convinced computers to do things I want them to do
I'm Berlin based, but a big fan of full remote stuff. If y'all know anything, lmk!
As a follow up: it looks like in Jan i'll actually know what it felt like to work on the Ship of Theseus! 2nd most senior engineer by attrition baybeee
Also! I gave a talk at PyCon UK a few months ago about code styles, the value of consistency and Black - a python code formatted that i've contributed to and love very much! https://www.youtube.com/watch?v=qLoMFu14wmk
So far, my basil is doing... alarmingly well. My mint has sprouted, parsley is growing pretty quickly. Rosemary has a single sprout but not much activity, and today I seeded (a lot of) greek oregano. This is probably the hardest I've thrown myself into a DIY IRL project and I adore it
Added a page for Geard ! https://hraew.autophagy.io/geard/