Mika Naylor @autophagy@merveilles.town
Pinned toot
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
I try not to be a language zealot but, over the last year or so, I've fallen out of love with Python a little bit. After writing more things in Haskell & playing around with Rust, I'm not entirely sure I can go back outside some specific use cases (small scripts, maybe tools, prototyping)
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
Lord have mercy, it's hard to find anywhere hiring functional programming developers. Why is everyone using golang all of a sudden?! 😖
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!
Looks very likely that i'll not be working for a few months from January onwards, so if anyone has any interesting Open Source projects that could maybe benefit from a Python developer with devops skills (+ a love of functional programming langs/paradigms) please hmu!
Finding that one of the things that's helping me (mostly) keep my head on my shoulders during the pandemic is having a daily structure/routine/rhythm. I'm making a little phone app to gently remind me about my desired daily/weekly structure. I know, I know, colours...
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
First time making pasta with my pasta machine... Made (far, far too wide) tagliatelle
Seems like I'll probably have to start looking for a new job in 3/4 months time, but everything in Berlin look so.... boring? I'm not sure what to do. Wonder if I can just retreat into the hills and dispense mushroom-based wisdom to people from a cave
The last 4-5 months have felt like having my head slammed in a car door over and over again, but it brightens my heart to see the Merveilles Town still active and nice 😊
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
Mika Naylor
boosted
ello ello ello, wots all this then
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/
