Some weeks ago I stumbled about a profile page stating that @antron is from Russia. I can’t verify that and even if it’s true it doesn’t necessarily mean he lives there.
@antron hasn’t posted in this forum for a while, there are no commits on Github since april, no tweets since may. A week ago, I sent him a DM here in the forum, no answer.
As far as I can say, the last public message from him was on the Reason ML discord (26/09). However, I will not say that everything is fine. According to what news (urkraine/russia) said, we definitely should be worries about him.
That’s not to say that all is well for him, of course; it’s not at all unreasonable to wonder about his welfare given current events and the drop-off of his presence online.
@antron would you be interested by some contracting work for my company (R2C). We’re making the
semgrep command-line tools and we’re always looking for competent ocaml programmers.
Let me know.