Consider this following simple compiler:
cp $1.stl $1.py
This is a source-to-source compiler. It just copies the SETL source file to an identical Python source file.
This provides almost a complete implementation of the SETL language. All that is missing is some syntactic sugar for the set-theoretic constructs such as “for all,” “exists,” set-formers, and so forth.
I don’t [...]
Daily Archives: April 1st, 2009
A Simple SETL Compiler Both Based On Python and Written in Python
Ruby Derailed
I’m a regular follower of Sam Ruby’s Planet Intertwingly.
I have noticed of late an increasing number of posts about Rails and Ruby.
I just don’t get it. I know that one of them is a programming language and the other is a framework for building websites, but the language is as bizarre as Planet Meepzor. [...]
Using LinkedIn to Say Thank You
I just noted that another member of the Courant Institute of Mathematical Sciences (CIMS) network worked at Memorial Sloan Kettering Hospital in New York City.
I sent her the following note:
I’m writing just to say that I really appreciate that you are working at MSK. I had prostate cancer last year — I’m fine now — [...]
Mt. Kisco Athletic Club (MAC) Presentation: How to Market Yourself on the Web
Marketing Yourself on the Web
, in suggested order for a presentation
To Be Written: Marketing Yourself on the Web: Divide and Conquer
Announcing a new
LinkedIn Group: Class of 2009
Marketing
Yourself on the Web: If Your Don’t Market Yourself on the Web, Then Who Will?
Marketing Yourself on the Web: Be Your Own Marketing Manager
Marketing
Yourself on the Web: Partner with [...]
On Cloud Standards Breakthrough: New Cloud Source License
A few minutes ago I came across the latest post from Redmonk’s James Governor, about the new “Cloud Source License.” [1]
The use of CPL for the CloudLeft Public License will undoubtedly cause confusion, as the Open Source Initiative has already approved the Common Public License (CPL).
I am left-handed and I studied Latin in high [...]

Tuxer's
Welcome