Some of my Favorite Tools
(This list is in progress.)
Web Search
- Marginalia Search: I’m not really using it yet, but I enormously appreciate the initiative.
LaTeX
- Detexify: Convert scribblings to LaTeX symbols
Citation management & bibliography
- Online Bibtex Converter: Convert bibTeX to textual references.
- doi2bib: Convert DOI to bibTeX entry
- Analog Library Premium Edition™: Distraction-free DOI pages for ACM papers