Watch YouTube videos with embedded <strong>totem</strong>, <strong>mplayer</strong> or <strong>vlc</strong> player. YouTotem allows you to watch YouTube videos with totem, mplayer or vlc. This script is for Linux users.
"Generalized Algebraic Data Structures" have become a a hot new topic. They have recently been added to the GHC compiler. They support the construction, maintenance, and propagation of semantic properties of programs using powerful old ideas about types (the Curry-Howard Isomorphism) in surprisingly easy to understand new ways. The language Omega was designed and implemented to demonstrate their utility. Here a a few talks I gave that explains how they work. Also class lectures
Noam Chomsky is perhaps the United States’ best-known anarchist. There’s a certain irony to this, however; for just as St. Augustine once prayed, “Grant me chastity and continence, but not yet,” Chomsky’s aim is in effect anarchy, but not yet. Chomsky’s reason for the “not yet” is that a powerful central government is currently necessary as a bulwark against the power of the corporate elite; thus it will not be safe to abolish or even scale b