South Korea

Stream: Geographic locality

[Bulhwi Cha]

National IT Industry Promotion Agency (NIPA)'s Open Source Software Support Center (Open UP) is recruiting developers to guide mentees in contributing to open-source software.

Recruitment notice (Korean): https://www.oss.kr/notice/show/eac6d5c8-01c1-4cc0-b2d1-1a88e96942e2

I want to organize a team of mentors who will teach how to use Lean with Mathlib to mentees in KR and contribute to porting Mathilb4 together. The deadline is May 7, so we don't have much time. I didn't plan to apply for this support program because I already did for another one run by Open Up.

If any of Korean Lean users, including @Jineon Baek, @Seewoo Lee, and @Jihoon Hyun, want to join me, please tell me.

[Notification Bot]

A message was moved here from #Geographic locality > Seoul, South Korea by Bulhwi Cha.

[Seewoo Lee]

Unfortunately, I won't be able to join. Since it appears to be an annual event, I might be able to attend next time (if you plan on organizing it again).

[Bulhwi Cha]

@Seewoo Lee I fear it'll be much harder to contribute to Mathlib4 next year. Mentees will have to create new Mathlib files themselves. But I guess we can try.

[Bulhwi Cha]

I wasn't selected for Open Frontier developers. I guess I'll keep contributing to Mathlib4 porting with no money.