Here is the latest Caml Weekly News, for the week of September 21 to 28, 2010.
Archive: http://groups.google.com/group/fa.caml/browse_thread/thread/07285a0dca9c392f#Yoann Padioleau announced:
For the people who refuse to vomit while watching a video, here are a few screenshots of the visualizer applied on the linux kernel source, the ocaml source, and the source of pfff itself: http://padator.org/software/pfff/pfff_linux_source.jpg http://padator.org/software/pfff/pfff_ocaml_source.jpg http://padator.org/software/pfff/pfff_ocaml_source2.jpg http://padator.org/software/pfff/pfff_ocaml_source3.jpg http://padator.org/software/pfff/pfff_pfff_source.jpg The screenshots can not show the integration with Emacs though. You'll have to suffer and watch the videos for that. If you don't have git, you can still download pfff by following this link: http://github.com/facebook/pfff/archives/master
Archive: http://groups.google.com/group/fa.caml/browse_thread/thread/385328219b9682d9#Ian Horrocks announced:
OXFORD UNIVERSITY COMPUTING LABORATORY INFORMATION SYSTEMS GROUP POST-DOCTORIAL RESEARCH ASSISTANT POSTS The Computing Laboratory has a vacancy for three postdoctoral research assistants to work in the Information Systems Group. The posts are funded by EPSRC as part of the LogMap project (1 post) and ExODA project (2 posts) - see http://www.comlab.ox.ac.uk/projects/LogMap/ and http://web.comlab.ox.ac.uk/projects/ExODA/ for more information. The posts are available immediately and will be of 24 months (for LogMap) or 36 months (for ExODA) duration. Applicants should have, or expect shortly to obtain, a PhD in computer science or some other relevant discipline, and should have a strong background in theoretical computer science. Experience in some or all of the following areas would be useful but is not essential: logics and automated reasoning; databases and database theory; ontologies and ontology languages; knowledge representation. Implementation experience would also be useful. The posts will require occasional travel to international conferences and workshops. The successful applicants will join an internationally leading and rapidly growing research group led by Professor Georg Gottlob and Professor Ian Horrocks - see http://web.comlab.ox.ac.uk/research/is/ - and with more than 25 doctoral and post-doctoral researchers working on a range of projects in the area of databases and knowledge representation and reasoning. Further particulars, including details of how to apply, are available from http://www.comlab.ox.ac.uk/news/documents/info-syst-posts-fps.pdf The closing date for applications is 22nd October 2010.
Archive: http://groups.google.com/group/fa.caml/browse_thread/thread/0adcf6c6e8d0457f#Jean-Jacques Levy announced:
The Microsoft Research-INRIA Joint Centre welcomes applications for a post-doctoral position or graduate internship in the area of tools for interactive theorem proving. The 1-year scholarship can start from fall 2010. The successful candidate will contribute to the development of the GUI of the TLA+ proof system. TLA+ is Lamport's logic for specification and verification of programs. The system is already developed and distributed at http://www.msr-inria.inria.fr/Projects/tools-for-formal-specs The candidate should be able to program in Java + Eclipse. Knowledge in mathematical logic is also recommended. The work will be performed inside the "Tools for Formal Specs" group [Damien Doligez, Denis Cousineau, Leslie Lamport, Stephan Merz] at MSR-INRIA Joint Centre in Orsay (south of Paris, France). It will be a prolongation of the interface already developed by Kaustuv Chaudury, Simon Zambrosky, and Dan Ricketts. Applications should include a curriculum vitae in pdf format and should be sent to Centre de Recherche Commun INRIA-Microsoft Research, Parc Orsay Université, 28, rue Jean Rostand, 91893 Orsay Cedex, France Telephone: +33 1 69 35 69 70 Fax: +33 1 69 35 69 69 E-mails: email@example.com, http://lamport.org Please email me for any further questions about the position and the related project.
Thanks to Alp Mestan, we now include in the Caml Weekly News the links to the recent posts from the ocamlcore planet blog at http://planet.ocamlcore.org/. Liquidsoap at ON2: Test signals, October, 22-23 2010 in Berlin: http://blog.rastageeks.org/liquidsoap/article/liquidsoap-at-on2-test-signals Programming with effects II: Introducing eff: http://math.andrej.com/2010/09/27/programming-with-effects-ii-introducing-eff/ Programming with effects I: Theory: http://math.andrej.com/2010/09/27/programming-with-effects-i-theory/ On the State of API Documentation: http://gaiustech.wordpress.com/2010/09/27/api-documentation/ lazy me, BronKerbosh algorithm revisited: https://mancoosi.org/~abate/lazy-me-bronkerbosh-algorithm-revisited Enhanced Ocaml Documentation Version 3.12: http://www.wisdomandwonder.com/link/5310/enhanced-ocaml-documentation-version-3-12 Resources for Learning CamlP4: http://www.wisdomandwonder.com/link/5302/resources-for-learning-camlp4 LDAP / Scope in database code (3): http://gaiustech.wordpress.com/2010/09/24/ldap-1-scope-in-database-code-3/ kprintf and failwith: https://mancoosi.org/~abate/kprintf-and-failwith Onotify 0.6 : the first public release !: http://forge.ocamlcore.org/forum/forum.php?forum_id=688
If you happen to miss a CWN, you can send me a message and I'll mail it to you, or go take a look at the archive or the RSS feed of the archives.
If you also wish to receive it every week by mail, you may subscribe online.