# Is @antron OK? (maybe off topic)

**URL:** <https://discuss.ocaml.org/t/is-antron-ok-maybe-off-topic/10598>\
**Category:** Community\
**Created:** [October 10, 2022, 6:17pm UTC](https://discuss.ocaml.org/t/is-antron-ok-maybe-off-topic/10598 "2022-10-10T18:17:37Z")\
**Posts on this page:** 8\
**Page:** 1

<div class="post-metadata">

**Author:** ![Haudegen](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/haudegen/32/716_2.png) [@Haudegen](https://discuss.ocaml.org/u/Haudegen)\
**Post date:** [October 10, 2022, 6:17pm UTC](https://discuss.ocaml.org/t/is-antron-ok-maybe-off-topic/10598/1 "2022-10-10T18:17:37Z")

</div>

Some weeks ago I stumbled about a [profile page](https://conf.researchr.org/profile/conf/antonbachin) 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](https://github.com/aantron) since april, no [tweets](https://twitter.com/antron__) since may. A week ago, I sent him a DM here in the forum, no answer.

Does anybody know if he is OK?

---

<div class="post-metadata">

**Author:** ![dinosaure](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/dinosaure/32/16_2.png) [@dinosaure](https://discuss.ocaml.org/u/dinosaure)\
**Post date:** [October 10, 2022, 8:00pm UTC](https://discuss.ocaml.org/t/is-antron-ok-maybe-off-topic/10598/2 "2022-10-10T20:00:06Z")

</div>

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.

---

<div class="post-metadata">

**Author:** ![cemerick](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/cemerick/32/1383_2.png) [@cemerick](https://discuss.ocaml.org/u/cemerick)\
**Post date:** [October 10, 2022, 8:25pm UTC](https://discuss.ocaml.org/t/is-antron-ok-maybe-off-topic/10598/3 "2022-10-10T20:25:27Z")

</div>

[His last public message in the Reason discord was just a couple weeks ago FWIW](https://discord.com/channels/235176658175262720/859879512061902908/1023961540589785188).

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.

---

<div class="post-metadata">

**Author:** ![bluddy](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/bluddy/32/104_2.png) [@bluddy](https://discuss.ocaml.org/u/bluddy)\
**Post date:** [October 11, 2022, 5:45am UTC](https://discuss.ocaml.org/t/is-antron-ok-maybe-off-topic/10598/4 "2022-10-11T05:45:00Z")

</div>

As far as I know @antron is doing well. I don’t know when (or if) he’ll return to contributing to OCaml though, and we need to proceed as such.

---

<div class="post-metadata">

**Author:** ![Haudegen](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/haudegen/32/716_2.png) [@Haudegen](https://discuss.ocaml.org/u/Haudegen)\
**Post date:** [October 11, 2022, 8:36am UTC](https://discuss.ocaml.org/t/is-antron-ok-maybe-off-topic/10598/5 "2022-10-11T08:36:03Z")

</div>

I’m happy to hear that. Let’s hope he’ll find his way back to this community some day.

---

<div class="post-metadata">

**Author:** ![antron](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/antron/32/62_2.png) [@antron](https://discuss.ocaml.org/u/antron)\
**Post date:** [October 11, 2022, 3:01pm UTC](https://discuss.ocaml.org/t/is-antron-ok-maybe-off-topic/10598/6 "2022-10-11T15:01:24Z")

</div>

Thanks 🙂 I am indeed fine, and can make my way back to the community rather quickly, at least in principle 🙂

---

<div class="post-metadata">

**Author:** ![Haudegen](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/haudegen/32/716_2.png) [@Haudegen](https://discuss.ocaml.org/u/Haudegen)\
**Post date:** [October 11, 2022, 3:05pm UTC](https://discuss.ocaml.org/t/is-antron-ok-maybe-off-topic/10598/7 "2022-10-11T15:05:58Z")

</div>

I’m glad to hear that! My best wishes, take care!

---

<div class="post-metadata">

**Author:** ![aryx](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/aryx/32/2356_2.png) [@aryx](https://discuss.ocaml.org/u/aryx)\
**Post date:** [October 14, 2022, 7:59am UTC](https://discuss.ocaml.org/t/is-antron-ok-maybe-off-topic/10598/8 "2022-10-14T07:59:03Z")

</div>

@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.
