Daily Shaarli
March 27, 2021
A long list of data sources, divided by general topics, and of varying quality.
Another, more gentle and longer, introduction to the idea of python generators (yield
)
Yesterday was a great day for the vim universe, especially if you write as many LaTeX documents as I do: a new version of vimTeX was released.
This gave me a reason to dive into its documentation once again and so I found a feature that I didn't even know existed: a grammar check in LaTeX.
How it works
To use this, you will need to download the following software:
Language Tool
For some years, there has been an amazing free software project to check natural languages: Language Tool (LT).
However, this works on plain text files and can't filter out the LaTex stuff.
YaLafi
Enter Yet Another LaTeX filter (YaLafi).
This tool extracts the plain text and performs the grammar check using LT, but it keeps track of the original position of the text!
VimTeX integration
YaLafi provides a vim compiler called vlty (I don't know where this name comes from) to use these tools and VimTeX makes configuration ridiculously easy: see :h vimtex-grammar-vlty
.
Once everything is installed and you linked vimTeX to the directory containing the LT .jar file, you can populate and open the quickfixlist as follows:
:compiler vlty | make | copen
(It takes a few seconds.)
Issues
Now, obviously I just have been trying this out for a day, but so far I'm impressed to say the least.
However, in my opinion the YaLafi documentation is not always clear/easy to get started with:
- how to handle multi-file documents
- how to suppress certain warnings
- how to handle user-defined macros
- ...
Getting to know both LT and YaLafi better will probably solve my problems.
Conclusion
Awesome software:
- vim
- vimTeX
- YaLafi
- Language Tool
I hope some of you can integrate this into your workflow and maybe this post inspires you to make some PR to YaLafi or to write tutorials for less technical users like me to use the advanced options.
Huge collection of computable, curated data from demographics to language, science & math, politics, social media. Many formats: numerical, time series, image, audio, geospatial. Can be exported as simple csv, or worked with in python notebooks on the page.
Research Guides: Social Science Data Sources & Statistical Methods: Free Data Sources
A collection of free sources of various kinds of data, on recommendation-basis from EMU.