1Dot https://mithril.js.org/autoredraw.html
It re-renders.
But don't use it in the view method because your code will fall into an infinite loop.
1Dot Yes and its same in this Jugaad Posts Realtime Polling extension
I have checked your extension code and I know why the problem occurs for you. Because you have written the extension in such a way that when the redraw happens, it only fetches the posts
