Bookmarks for October 8th through October 20th

These are my links for October 8th through October 20th:

  • sed, a stream editor – sed is a stream editor. A stream editor is used to perform basic text transformations on an input stream (a file or input from a pipeline). While in some ways similar to an editor which permits scripted edits (such as ed), sed works by making only one pass over the input(s), and is consequently more efficient. But it is sed’s ability to filter text in a pipeline which particularly distinguishes it from other types of editors.
  • Best of Wikipedia – A twice-daily updated collection of some of the best reading on Wikipedia
  • Axiom of Choice – The Axiom of Choice (AC) was formulated about a century ago, and it was controversial for a few of decades after that; it might be considered the last great controversy of mathematics. It is now a basic assumption used in many parts of mathematics.

Leave a comment

Your email address will not be published.