One computer scientist’s “stunning” proof is the first progress in 50 years on one of the most famous questions in computer ...

An open source Tkinter GUI for python's difflib comparing two text files or two directory trees, complete with highlighting of differences and line numbers. You can open File -> Compare Files to diff ...