Last Saturday, one of our laptops running Ubuntu 16.04 zesty suddenly couldn’t get on the Internet anymore. It connected to the router and could ping IPs, but DNS lookups failed, so no browsing…
Last Saturday, one of our laptops running Ubuntu 16.04 zesty suddenly couldn’t get on the Internet anymore. It connected to the router and could ping IPs, but DNS lookups failed, so no browsing…
recently, i noticed that the locate command on my ubuntu system didn’t work as expected. it simply didn’t list files located in my $HOME dir, while it did still list files in the…
Update 23. April 2020: I made a slightly updated version of the keyboard layout, which is now at version 0.6. This post has been updated accordingly. As a historical linguist dealing with Old…
our copy machines at the university can scan documents and send them to an email address. how convenient! however, when you scan pages from a book, the page-size will most likely not match…
“If a company designs both hardware and software, it can build much better systems than if they only design the software. That’s why Apple’s iPhone is so much better than Microsoft phones.” this…
I have recently learned about texworks, a project started by Jonathan Kew to come up with an easy-to-use PDF-centric cross-platform LaTeX editor. A praisworthy effort, imho. The feature that I am most excited…
