inferara/inferara.com

An official website

inferara.com

inferara.com's Issues

Copy blogs from Telegram channel to the `/blogs/` path

In order to increase the volume of the content on inferara.com it makes sense to copy existing blogs from the telegram channel to the inferara.com/blogs/.

I have already prepared the branch with 1 blog copied, so it is needed to step in and complete copying other articles.
It helps understand how Hugo – a static website render engine we use, works.

• LTL and CTL application for smart contracts security
• Small-step semantics and big-step semantics

Automate a new (post or blog) publication process

It would be great if there was a GitHub action that can help us with propagating information about new blogs and posts among social medias. I do not think that it is a good idea to publish posts automatically, because if something went wrong, we would need to rollback this post, etc.

So I suggesting thinking about some kind of a GitHub action that can produce "ready to copy-paste and publish" posts for various social media we notify about our progress on. It can publish the output as artifacts wherever it makes sense (how about sending a message to the special telegram channel with useful tags?).

Anyways, I suggest approaching this task with a certain level of imagination and think what could be the best and the most useful.

Here is the list of social networks we publish to (need to keep in mind the max post length, because it varies from platform to platform; these platforms do not support KaTeX rendering):

• X
• Telegram
• Reddit
• LinkedIn
• Medium
• Zulip

If it is required to clarify something, please ask.