Hacker News Reader

I think I need to give it a second try now that I read the comments.

I usually work with TexWorks or texstudio.

You can give a look at TeXmacs' twitter account for example of what it can do: https://twitter.com/gnu_texmacs