Stream: Miscellaneous

Topic: Anyone from Latvia?


view this post on Zulip Lessness (Dec 14 2022 at 01:34):

Cheers! I'm from this country. :) Anyone else?
I am thinking of making some kind of learning club which maybe gets together once a month, or smth like that.

If am the only one from my country, that means I have to make other ones (interested about Coq, formal methods etc.).
Any suggestions how to do that the best way? Feel free to comment if you have something related to say etc. :)

P.S. I am still a beginner. I just want to socialize, it seems. If someone is more experienced and wants to do that, I'm happy to support and help as much as I do.

view this post on Zulip Huỳnh Trần Khanh (Dec 14 2022 at 01:49):

here's a suggestion: start with friends. you don't have to promote formal verification to internet strangers. casually suggest that formal verification is the solution to their problems. for example, if your friends are ICPC participants you can sell formal verification to them. then patiently explain formal verification concepts and how they can be applied to real life problems. don't be too formal at the beginning, this stuff is real tough. you don't have to organize a formal club, just do your best to spread the word

view this post on Zulip Alexander Gryzlov (Dec 14 2022 at 18:48):

I used to live in Lithuania from 2015 to 2019, during which time I started to get increasingly more interested in dependent types, we even had some FP Vilnius meetups with talks on Idris and Coq. One of my ex-colleagues is a part-time lecturer in Vilnius and writes a bit of Agda and Coq, not sure if you're interested in contacting him, I know it's a different country after all :)


Last updated: Jun 13 2024 at 06:01 UTC