News for hackers. Stuff that matters.
Re:Have you ever asked yourself “how did research get done b... by brzozowski on Thursday May 28, 2020 @01:32PM (#23340032)
Have you tried the TeXiFy IDEA plugin? It's well-maintained and has saved me a bunch of time.

https://github.com/Hannah-Sten/TeXiFy-IDEA

https://plugins.jetbrains.com/plugin/9473-texify-idea

Re:Have you ever asked yourself “how did research get done b... by michaelcampbell on Friday May 29, 2020 @10:33AM (#23350351)
That's...amazing. Didn't even think to look there. Will totally be checking that out.