Meeting summary notes: May 11, 2009

[Igal Koshevoy]

We had a great pdxfunc meeting. Thanks to John for presenting, and to all those that participated in the discussions at the talk and afterward.

EVENTS

• May 12: Portland Pythoneers Distributed Version Control Showcase (hg, git, bzr, darcs, etc): http://calagator.org/events/1250457166
• May 20-22: WebVisions conference for web design, user experience and business strategy: http://webvisionsevent.com/ & http://calagator.org/events/1250455591
• June 8-10: Arith 19, the 19th IEEE Symposium on Computer Arithmetic: http://www.ac.usc.es/arith19/program & http://calagator.org/events/1250457198
• June 17-19: Open Source Bridge conference offering ~80 sessions on a wide range of open source technology topics, including talks on functional programming, Scala, Lift, Clojure: http://opensourcebridge.org/ & http://calagator.org/events/1250456646

PRESENTATION

• John Harrison talked about his recently-published OCaml-based automated theorem-proving textbook, "Handbook of Practical Logic and Automated Reasoning": http://www.cambridge.org/9780521899574
  
• He wrote his book with a practical emphasis and provided complete, executable code implementing the methods described
  
• His homepage: http://www.cl.cam.ac.uk/~jrh13/
• Source code samples for the book: http://www.cl.cam.ac.uk/~jrh13/atp/index.html
• He would like to see code rewritten in another language. F# should be easy, and Haskell work is in progress.
  

MISCELLANEOUS

• MIT open courses: Locals are interested in cooperating to work together on free MIT courses. See discussion at http://groups.google.com/group/open-tech-space
• CodePad lets you execute code in various languages (e.g., OCaml) by entering it into a form using a web browser, without installing any other software.
  
• Intel Decision Procedure Toolkit: http://dpt.sourceforge.net/
• Intel FL (Functional Language), an imperative lazy language: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.7823
• Intel reFLect modernized FL language: http://lambda-the-ultimate.org/node/1865 and http://www.comlab.ox.ac.uk/tom.melham/res/reflect.html
• Intel Forte3 formal verification system: http://web.comlab.ox.ac.uk/tom.melham/res/forte.html
• Factor programming language: http://en.wikipedia.org/wiki/Factor_%28programming_language%29
  
• ne text editor: http://en.wikipedia.org/wiki/Ne_%28text_editor%29 & http://help.unc.edu/187
• FVWM window manager: http://en.wikipedia.org/wiki/FVWM