How can you ping a user?

Like as in “@user” or a welcome message. Is there a way I can make the bot do that?

you could use the get user block or <@UserID>

Thanks!