Ruby

Formal methods
Hi, I want to try to prove some parts of my programs formally. Does anyone have any experience with the combination of formal methods and Ruby? -- Posted via http://www.ruby-forum.com/. ... 29 Apr 2010 13:31

transfer GBK into UTF-8 in csv file
here is my programm programm1: require 'csv' require 'iconv' CSV.open('/home/pt/test/shbaseback.csv', 'w') do |wrow| CSV.open('/home/pt/test/shbase.csv', 'r') do |row| wrow << Iconv.iconv('UTF-8','GBK',row) end end wrong message: /usr/local/ruby/lib/ruby/1.9.1/csv.rb:1988:in `=~': invalid byte sequence in ... 15 Apr 2010 10:15

my vim and cream can't work!
i have installed vim and cream,Make install ruby myself. now ,in my console: pt(a)pt-laptop:~$ vim vim: error while loading shared libraries: libruby1.8.so.1.8: cannot open shared object file: No such file or directory pt(a)pt-laptop:~$ vi vi: error while loading shared libraries: libruby1.8.so.1.8: cannot open shar... 16 Apr 2010 18:26

Update a particular Field in a csv file
Hi Friends, I am having a role.csv file as like emp_id,dep_id,role,salary,accepted 1,1,SSE,10000,YES 2,2,SSE,11000,NO 3,1,SSE,9000,YES 4,2,SSE,12000,YES 5,1,SSE,8000,NO Now, I need to update this role.csv file as like below emp_id,dep_id,role,salary,accepted 1,1,SSE,10000,NO 2,2,SSE,11000,YES 3,1,SS... 15 Apr 2010 10:15

1.9's New Methods
First a big shout-out to Marc-Andre Lafortune and his <a href="http:// github.com/marcandre/backports">backports</a> project. Nice work. Now I want to ask if others have noticed all the new methods being add to 1.9+? I'm quite happy about vast majority of it, but there was at least one method I thought pretty pec... 17 Apr 2010 19:38

[ANN/ADV] Early-bird rate for Compleat Rubyist training, Chicago,June 18-19
Hi all -- The early-bird rate is in effect all this month for The Compleat Rubyist, being held in the Chicago area in June. You can also save if you sign up as a group of five or more -- which can be from one company, a user group, etc. The Compleat Rubyist is a two-day Ruby training event for Rubyists who ar... 15 Apr 2010 06:55

memory leak
In a .net windows application the form might have resource leaks though it is running with managed codes. We can use the below procedure to check if a form is having resource leak. Open Windows Task Manager Click on Process tab. Select "View" in the menu and then select "Select Columns" menu item. Check the US... 15 Apr 2010 04:49

MacRuby help...?
I am confused - everything I have read tells me 0.5 should run sinatra, etc fine but... can someone please share the magic recipe to get something like... macgem install sinatra to maybe somehow actually work. RB -- Posted via http://www.ruby-forum.com/. ... 15 Apr 2010 00:28

Safer monkey-patching?
Sometimes (or often, depending on your use) it is useful to add or override methods to an already existing class, aka monkey-patching. Would it be useful to subclass an existing object, while still using the same class-name - in essence, creating an extended local version of the class: String = Class.new(Stri... 15 Apr 2010 08:02

Extend Class to include attr?
Can I extend a class to add an attr_accessor? So that getter & setter are created? MarkT ... 15 Apr 2010 02:38