document.write("«&nbsp;<a href='/news/view?id=139740'>A decoding algorithm for binary linear codes using Groebner bases. (arXiv:1810.04536v1 [cs.IT])</a>");document.write(" | ");document.write("<a href='/news/view?id=139742'>A packaging tutorial for Guix</a>&nbsp;»");