Honestly, I check people repos.
In your case, I was very interesting on chatting about what you are doing with TLA+ and some ideas for things we could apply to our own OSS/MIT project.
But I'm not the normal, I guess....
This is the only network with pastéis de nata. That should be more than enough