SlideShare uma empresa Scribd logo
1 de 22
Baixar para ler offline
OCaml Labs
                         & ocaml.org
                          Anil Madhavapeddy

                         OCaml Consortium Meeting
                             November 2012


Monday, 26 November 12
Anil Madhavapeddy (PI): Xen, Mirage, OpenBSD
                         Alan Mycroft (PI): head of Programming Language group
                         Ian Leslie (PI): embedded systems, ex-head of Computer Lab
                         Jon Crowcroft: head of Systems Research Group
                         Amir Chaudhry: program manager, neuroscience PhD
                         Leo White: postdoc, type system and tools (GADTs, open types)
                         Raphael Proust: PhD student, linear type systems
                         Balraj Singh: PhD student, Mirage developer, networking expert
                         Julian Chesterfield: storage architect, OnApp
                         Dave Scott: chief architect of Xen, Citrix
                         Mark Shinwell: Jane Street
                         Yaron Minsky: head of technology, Jane Street
                         http://www.cl.cam.ac.uk/projects/ocamllabs/people.html




Monday, 26 November 12
Varied Funding Sources:
                         Industrial partners:

                           Jane Street (main platform grant)

                           Citrix (equipment and staff)

                         UK Research Councils:

                          RCUK Horizon Digital Economy program

                         European Union:

                          FP7 STREP, Trilogy 2

                         DARPA:

                          Mission Critical Resilient Clouds (MRC2)
                           (with SRI International)




Monday, 26 November 12
What we won’t do

                         We don’t want to build another empire
                         We don’t want to fragment the community
                         We don’t want to lose the existing great
                         aspects of OCaml




Monday, 26 November 12
What we will do
                         Primary Goal: create an OCaml Platform
                         that combines the core compiler with an
                         effective set of libraries, tools and docs.
                         • Initially work with key stakeholders (OCaml
                            Consortium) and eventually the community.
                         • Currently collaborating heavily with OCamlPro
                            on a lot of this.
                         • Kick off ocaml.org infrastructure.


Monday, 26 November 12
What is ocaml.org?
                         www. ocaml.org      -- public facing site
                         mirror. ocaml.org -- mirror of repos
                         opam. ocaml.org -- package manager
                         docs. ocaml.org     -- documentation
                         lists. ocaml.org    -- mailing lists
                         events. ocaml.org -- events listing


Monday, 26 November 12
www.ocaml.org
                         verson 1 is already live: great effort by
                         Ashish Agarwal and Christophe Troestler!
                         version 2:
                         • Profession design input (already underway)
                         • Blog aggregation (planet_ocaml, reddit, etc)
                         Community edits currently via pull requests
                         on Github (more on this later)


Monday, 26 November 12
opam.ocaml.org
                         80%+ approval rating and still pre-release
                         (more popular than Obama!!!)
                            • v0.9 public beta in December
                            • v1.0 stable version in February
                            • v1.1 in Summer 2013
                         Blog to highlight a
                         Package of the Month


Monday, 26 November 12
opam.ocaml.org
                         Tool: cross-compilation, Windows, build system
                         integration, more regression tests, binary packages,
                         Platform integration
                         Meta-data: regression tests (windows etc),
                         checking consistency of external libraries.
                         Website: better design, statistics, dynamic
                         content (comments etc), blog/wiki, display meta-data
                         for authors and maintainers



Monday, 26 November 12
opam.ocaml.org
          Available operating systems:
            • Linux (x86_32, x86_64, armv6, armv7, ppc64)
            • FreeBSD (x86_32, x86_64)
            • OpenBSD (x86_32, x86_64, sparc64, ppc32)
            • MacOS X (10.8 x86_64)
            • Windows (TBD)
          Raspberry Pi build farm!
          Nice feature: ocaml.org will build and test your
          packages for you (via a Xen build farm hosted by
          Citrix)
Monday, 26 November 12
mirror.ocaml.org
            Read-only mirror of OCaml
            (mirror of github.com/ocaml)
            OPAM has shown that OCaml Github
            projects can succeed:
                   • 350+ issues closed
                   • 40+ 3rd-party branches
            Can also mirror 3rd party packages


Monday, 26 November 12
docs.ocaml.org
            Creative Commons O’Reilly Book
                    • interactive website
                         with user comments

                    • interactive top-level
                    • translations
                    • private feedback RSN!


Monday, 26 November 12
docs.ocaml.org
                         Platform documentation
                         • unified ocamldoc (Leo White)
                         • IDE integration (medium term)
                         • interactive top-level (js_of_ocaml)
                         • tutorials

Monday, 26 November 12
lists.ocaml.org
                         Only two mailing lists at start:
                         •   infrastructure@...
                         •   platform@...
                         Can also hosts lists for
                         Platform-related projects
                         Planning migration from OCamlForge with
                         Sylvain’s help.


Monday, 26 November 12
What is the Platform?
                         Key components:
                           OPAM package management
                           Unified OCamlDoc++ online
                           Namespaces for stdlib management
                           Regression testing and long-term support
                           establishes a quality bar for inclusion.



Monday, 26 November 12
Who is Platform for?




                                                                     e d
                                                                  ut
                                                 c


                                                          s
                                   sis


                                             ifi


                                                       em
                                                                              b
                         al




                                                                 rib
                                                                            e



                                           nt
                               aly
              rm




                                                     st


                                                              ist
                                            ie
                                                                           W
                              An
            Fo




                                                     Sy
                                         Sc




                                                              D
                 Coq         BioCaml Xen Lwt Ocsigen
                  Compcert           Mirage           Eliom
                      Frama-C              Jane Street
                                                        OPA
                 Pffff CIL            Acunu Unison
                  Why CCured            Arakoon CDuce
                                        Liquidsoap
Monday, 26 November 12
maintain                      6 monthly
                                           releases                                    reliability
           upstream                                                                      audit

          evaluate                        community                                       fault
                                                                             ARM       tolerance
                                          OCamlPro            JS             MIPS
        experiment                                           mobile          32/64    disaggregated
                                                                                           Xen

                                      Typerex                nigori       CHERI
      multicore            LLVM       OPAM       database   perscon      illuminate
                                                                                           mirage
        regions           inlining     web        logging   signposts       rPi
        linearity        open types    book       actor      mirage     embedded         Xen

      Runtime            Compiler     Tools     Libraries   Horizon C-Aware            Citrix


             Toolchain                   Platform                       Systems
Monday, 26 November 12
events.ocaml.org
                         OCaml 2013
                         chaired by Michel Mauny
                         Place to publicise events
                         (meet-ups, user-groups etc)
                         Hackathons
                         (e.g NYC, Cambridge, Paris, ICFP)
                         Events management software?


Monday, 26 November 12
How we communicate
                         Regular status updates every 2 weeks
                         •   Open for people to join via videoconf ?
                         •   Results/notes/slides online after meeting
                         Mantis for core OCaml discussions.
                         The 2 mailing lists on ocaml.org
                         Monthly platform updates emailed publicly.


Monday, 26 November 12
Get Involved
                         • Direct support:
                            Commercial contracts with OCamlPro
                            will help this effort hugely.
                            OCaml Labs can accept charitable gifts
                            that are tax efficient also.
                         • Needs gathering:
                            Respond, criticize, test the Platform
                            betas as they emerge.
Monday, 26 November 12
Summary
             By the next Consortium meeting,
             we aim to:
               • Have a first released Platform
               • Move to ocaml.org
               • Have a hosted OPAM package
                         system
               • Host at least one hackathon
                         somewhere
Monday, 26 November 12
Feedback?



Monday, 26 November 12

Mais conteúdo relacionado

Destaque

J Ruby Whirlwind Tour
J Ruby Whirlwind TourJ Ruby Whirlwind Tour
J Ruby Whirlwind Touroscon2007
 
Os Ellistutorial
Os EllistutorialOs Ellistutorial
Os Ellistutorialoscon2007
 
Os Keysholistic
Os KeysholisticOs Keysholistic
Os Keysholisticoscon2007
 
FregeDay: Roadmap for resolving differences between Haskell and Frege (Ingo W...
FregeDay: Roadmap for resolving differences between Haskell and Frege (Ingo W...FregeDay: Roadmap for resolving differences between Haskell and Frege (Ingo W...
FregeDay: Roadmap for resolving differences between Haskell and Frege (Ingo W...Dierk König
 
FregeFX - JavaFX with Frege, a Haskell for the JVM
FregeFX - JavaFX with Frege, a Haskell for the JVMFregeFX - JavaFX with Frege, a Haskell for the JVM
FregeFX - JavaFX with Frege, a Haskell for the JVMDierk König
 
Software Transactional Memory (STM) in Frege
Software Transactional Memory (STM) in Frege Software Transactional Memory (STM) in Frege
Software Transactional Memory (STM) in Frege Dierk König
 
FregeDay: Design and Implementation of the language (Ingo Wechsung)
FregeDay: Design and Implementation of the language (Ingo Wechsung)FregeDay: Design and Implementation of the language (Ingo Wechsung)
FregeDay: Design and Implementation of the language (Ingo Wechsung)Dierk König
 
Frege - consequently functional programming for the JVM
Frege - consequently functional programming for the JVMFrege - consequently functional programming for the JVM
Frege - consequently functional programming for the JVMDierk König
 
Frege Tutorial at JavaOne 2015
Frege Tutorial at JavaOne 2015Frege Tutorial at JavaOne 2015
Frege Tutorial at JavaOne 2015Dierk König
 
Using functional programming within an industrial product group: perspectives...
Using functional programming within an industrial product group: perspectives...Using functional programming within an industrial product group: perspectives...
Using functional programming within an industrial product group: perspectives...Anil Madhavapeddy
 
Camomile : A Unicode library for OCaml
Camomile : A Unicode library for OCamlCamomile : A Unicode library for OCaml
Camomile : A Unicode library for OCamlYamagata Yoriyuki
 
Introduction to functional programming using Ocaml
Introduction to functional programming using OcamlIntroduction to functional programming using Ocaml
Introduction to functional programming using Ocamlpramode_ce
 
Mirage: ML kernels in the cloud (ML Workshop 2010)
Mirage: ML kernels in the cloud (ML Workshop 2010)Mirage: ML kernels in the cloud (ML Workshop 2010)
Mirage: ML kernels in the cloud (ML Workshop 2010)Anil Madhavapeddy
 
An Introduction to Functional Programming using Haskell
An Introduction to Functional Programming using HaskellAn Introduction to Functional Programming using Haskell
An Introduction to Functional Programming using HaskellMichel Rijnders
 

Destaque (20)

J Ruby Whirlwind Tour
J Ruby Whirlwind TourJ Ruby Whirlwind Tour
J Ruby Whirlwind Tour
 
Os Ellistutorial
Os EllistutorialOs Ellistutorial
Os Ellistutorial
 
Os Keysholistic
Os KeysholisticOs Keysholistic
Os Keysholistic
 
Os Napier
Os NapierOs Napier
Os Napier
 
Os Harkins
Os HarkinsOs Harkins
Os Harkins
 
FregeDay: Roadmap for resolving differences between Haskell and Frege (Ingo W...
FregeDay: Roadmap for resolving differences between Haskell and Frege (Ingo W...FregeDay: Roadmap for resolving differences between Haskell and Frege (Ingo W...
FregeDay: Roadmap for resolving differences between Haskell and Frege (Ingo W...
 
FregeFX - JavaFX with Frege, a Haskell for the JVM
FregeFX - JavaFX with Frege, a Haskell for the JVMFregeFX - JavaFX with Frege, a Haskell for the JVM
FregeFX - JavaFX with Frege, a Haskell for the JVM
 
Software Transactional Memory (STM) in Frege
Software Transactional Memory (STM) in Frege Software Transactional Memory (STM) in Frege
Software Transactional Memory (STM) in Frege
 
FregeDay: Design and Implementation of the language (Ingo Wechsung)
FregeDay: Design and Implementation of the language (Ingo Wechsung)FregeDay: Design and Implementation of the language (Ingo Wechsung)
FregeDay: Design and Implementation of the language (Ingo Wechsung)
 
Frege - consequently functional programming for the JVM
Frege - consequently functional programming for the JVMFrege - consequently functional programming for the JVM
Frege - consequently functional programming for the JVM
 
Frege Tutorial at JavaOne 2015
Frege Tutorial at JavaOne 2015Frege Tutorial at JavaOne 2015
Frege Tutorial at JavaOne 2015
 
Os Raysmith
Os RaysmithOs Raysmith
Os Raysmith
 
Using functional programming within an industrial product group: perspectives...
Using functional programming within an industrial product group: perspectives...Using functional programming within an industrial product group: perspectives...
Using functional programming within an industrial product group: perspectives...
 
Camomile : A Unicode library for OCaml
Camomile : A Unicode library for OCamlCamomile : A Unicode library for OCaml
Camomile : A Unicode library for OCaml
 
Ocaml
OcamlOcaml
Ocaml
 
Introduction to functional programming using Ocaml
Introduction to functional programming using OcamlIntroduction to functional programming using Ocaml
Introduction to functional programming using Ocaml
 
Haskell - Functional Programming
Haskell - Functional ProgrammingHaskell - Functional Programming
Haskell - Functional Programming
 
Mirage: ML kernels in the cloud (ML Workshop 2010)
Mirage: ML kernels in the cloud (ML Workshop 2010)Mirage: ML kernels in the cloud (ML Workshop 2010)
Mirage: ML kernels in the cloud (ML Workshop 2010)
 
An Introduction to Functional Programming using Haskell
An Introduction to Functional Programming using HaskellAn Introduction to Functional Programming using Haskell
An Introduction to Functional Programming using Haskell
 
計算数学
計算数学計算数学
計算数学
 

Semelhante a OCaml Labs introduction at OCaml Consortium 2012

Open Writing ! - Collaborative Authoring on Apache’s First Open-Source Cloud ...
Open Writing ! -	Collaborative Authoring on Apache’s First Open-Source Cloud ...Open Writing ! -	Collaborative Authoring on Apache’s First Open-Source Cloud ...
Open Writing ! - Collaborative Authoring on Apache’s First Open-Source Cloud ...Radhika Puthiyetath
 
OpenStack 101 - All Things Open 2015
OpenStack 101 - All Things Open 2015OpenStack 101 - All Things Open 2015
OpenStack 101 - All Things Open 2015Mark Voelker
 
Openstackoverview-DEC2013
Openstackoverview-DEC2013Openstackoverview-DEC2013
Openstackoverview-DEC2013Michael Lessard
 
Leonid Vasilyev "Building, deploying and running production code at Dropbox"
Leonid Vasilyev  "Building, deploying and running production code at Dropbox"Leonid Vasilyev  "Building, deploying and running production code at Dropbox"
Leonid Vasilyev "Building, deploying and running production code at Dropbox"IT Event
 
Why Extension Programmers Should Stop Worrying About Parsing and Start Thinki...
Why Extension Programmers Should Stop Worrying About Parsing and Start Thinki...Why Extension Programmers Should Stop Worrying About Parsing and Start Thinki...
Why Extension Programmers Should Stop Worrying About Parsing and Start Thinki...David Beazley (Dabeaz LLC)
 
Openstack In Real Life
Openstack In Real LifeOpenstack In Real Life
Openstack In Real LifePaul Guth
 
E Afgan - Zero to a bioinformatics analysis platform in four minutes
E Afgan - Zero to a bioinformatics analysis platform in four minutesE Afgan - Zero to a bioinformatics analysis platform in four minutes
E Afgan - Zero to a bioinformatics analysis platform in four minutesJan Aerts
 
Ceph Day Seoul - Ceph: a decade in the making and still going strong
Ceph Day Seoul - Ceph: a decade in the making and still going strong Ceph Day Seoul - Ceph: a decade in the making and still going strong
Ceph Day Seoul - Ceph: a decade in the making and still going strong Ceph Community
 
Python Data Ecosystem: Thoughts on Building for the Future
Python Data Ecosystem: Thoughts on Building for the FuturePython Data Ecosystem: Thoughts on Building for the Future
Python Data Ecosystem: Thoughts on Building for the FutureWes McKinney
 
Yahoo! Hadoop User Group - May 2010 Meetup - Apache Hadoop Release Plans for ...
Yahoo! Hadoop User Group - May 2010 Meetup - Apache Hadoop Release Plans for ...Yahoo! Hadoop User Group - May 2010 Meetup - Apache Hadoop Release Plans for ...
Yahoo! Hadoop User Group - May 2010 Meetup - Apache Hadoop Release Plans for ...Hadoop User Group
 
DataScience Meeting I - Cloud Elephants and Witches: A Big Data Tale from Men...
DataScience Meeting I - Cloud Elephants and Witches: A Big Data Tale from Men...DataScience Meeting I - Cloud Elephants and Witches: A Big Data Tale from Men...
DataScience Meeting I - Cloud Elephants and Witches: A Big Data Tale from Men...datascience_at
 
Open stack private cloud panel
Open stack private cloud panelOpen stack private cloud panel
Open stack private cloud panellaurabeckcahoon
 
Open stack private cloud panel
Open stack private cloud panelOpen stack private cloud panel
Open stack private cloud panellaurabeckcahoon
 
Weekly lecture appsterdam_19mar2014
Weekly lecture appsterdam_19mar2014Weekly lecture appsterdam_19mar2014
Weekly lecture appsterdam_19mar2014Microsoft
 

Semelhante a OCaml Labs introduction at OCaml Consortium 2012 (20)

Open Writing ! - Collaborative Authoring on Apache’s First Open-Source Cloud ...
Open Writing ! -	Collaborative Authoring on Apache’s First Open-Source Cloud ...Open Writing ! -	Collaborative Authoring on Apache’s First Open-Source Cloud ...
Open Writing ! - Collaborative Authoring on Apache’s First Open-Source Cloud ...
 
Plan 9: Not (Only) A Better UNIX
Plan 9: Not (Only) A Better UNIXPlan 9: Not (Only) A Better UNIX
Plan 9: Not (Only) A Better UNIX
 
OpenStack 101
OpenStack 101OpenStack 101
OpenStack 101
 
OpenStack 101 - All Things Open 2015
OpenStack 101 - All Things Open 2015OpenStack 101 - All Things Open 2015
OpenStack 101 - All Things Open 2015
 
Openstackoverview-DEC2013
Openstackoverview-DEC2013Openstackoverview-DEC2013
Openstackoverview-DEC2013
 
Squeak
SqueakSqueak
Squeak
 
Leonid Vasilyev "Building, deploying and running production code at Dropbox"
Leonid Vasilyev  "Building, deploying and running production code at Dropbox"Leonid Vasilyev  "Building, deploying and running production code at Dropbox"
Leonid Vasilyev "Building, deploying and running production code at Dropbox"
 
Why Extension Programmers Should Stop Worrying About Parsing and Start Thinki...
Why Extension Programmers Should Stop Worrying About Parsing and Start Thinki...Why Extension Programmers Should Stop Worrying About Parsing and Start Thinki...
Why Extension Programmers Should Stop Worrying About Parsing and Start Thinki...
 
Openstack In Real Life
Openstack In Real LifeOpenstack In Real Life
Openstack In Real Life
 
E Afgan - Zero to a bioinformatics analysis platform in four minutes
E Afgan - Zero to a bioinformatics analysis platform in four minutesE Afgan - Zero to a bioinformatics analysis platform in four minutes
E Afgan - Zero to a bioinformatics analysis platform in four minutes
 
Ceph Day Seoul - Ceph: a decade in the making and still going strong
Ceph Day Seoul - Ceph: a decade in the making and still going strong Ceph Day Seoul - Ceph: a decade in the making and still going strong
Ceph Day Seoul - Ceph: a decade in the making and still going strong
 
Developing Distributed Semantic Systems
Developing Distributed Semantic SystemsDeveloping Distributed Semantic Systems
Developing Distributed Semantic Systems
 
Python Data Ecosystem: Thoughts on Building for the Future
Python Data Ecosystem: Thoughts on Building for the FuturePython Data Ecosystem: Thoughts on Building for the Future
Python Data Ecosystem: Thoughts on Building for the Future
 
Yahoo! Hadoop User Group - May 2010 Meetup - Apache Hadoop Release Plans for ...
Yahoo! Hadoop User Group - May 2010 Meetup - Apache Hadoop Release Plans for ...Yahoo! Hadoop User Group - May 2010 Meetup - Apache Hadoop Release Plans for ...
Yahoo! Hadoop User Group - May 2010 Meetup - Apache Hadoop Release Plans for ...
 
Art of nodejs
Art of nodejsArt of nodejs
Art of nodejs
 
DataScience Meeting I - Cloud Elephants and Witches: A Big Data Tale from Men...
DataScience Meeting I - Cloud Elephants and Witches: A Big Data Tale from Men...DataScience Meeting I - Cloud Elephants and Witches: A Big Data Tale from Men...
DataScience Meeting I - Cloud Elephants and Witches: A Big Data Tale from Men...
 
Open stack private cloud panel
Open stack private cloud panelOpen stack private cloud panel
Open stack private cloud panel
 
Open stack private cloud panel
Open stack private cloud panelOpen stack private cloud panel
Open stack private cloud panel
 
Weekly lecture appsterdam_19mar2014
Weekly lecture appsterdam_19mar2014Weekly lecture appsterdam_19mar2014
Weekly lecture appsterdam_19mar2014
 
opensourceiaas
opensourceiaasopensourceiaas
opensourceiaas
 

Último

Computer 10: Lesson 10 - Online Crimes and Hazards
Computer 10: Lesson 10 - Online Crimes and HazardsComputer 10: Lesson 10 - Online Crimes and Hazards
Computer 10: Lesson 10 - Online Crimes and HazardsSeth Reyes
 
Salesforce Miami User Group Event - 1st Quarter 2024
Salesforce Miami User Group Event - 1st Quarter 2024Salesforce Miami User Group Event - 1st Quarter 2024
Salesforce Miami User Group Event - 1st Quarter 2024SkyPlanner
 
UWB Technology for Enhanced Indoor and Outdoor Positioning in Physiological M...
UWB Technology for Enhanced Indoor and Outdoor Positioning in Physiological M...UWB Technology for Enhanced Indoor and Outdoor Positioning in Physiological M...
UWB Technology for Enhanced Indoor and Outdoor Positioning in Physiological M...UbiTrack UK
 
Empowering Africa's Next Generation: The AI Leadership Blueprint
Empowering Africa's Next Generation: The AI Leadership BlueprintEmpowering Africa's Next Generation: The AI Leadership Blueprint
Empowering Africa's Next Generation: The AI Leadership BlueprintMahmoud Rabie
 
Meet the new FSP 3000 M-Flex800™
Meet the new FSP 3000 M-Flex800™Meet the new FSP 3000 M-Flex800™
Meet the new FSP 3000 M-Flex800™Adtran
 
Artificial Intelligence & SEO Trends for 2024
Artificial Intelligence & SEO Trends for 2024Artificial Intelligence & SEO Trends for 2024
Artificial Intelligence & SEO Trends for 2024D Cloud Solutions
 
Bird eye's view on Camunda open source ecosystem
Bird eye's view on Camunda open source ecosystemBird eye's view on Camunda open source ecosystem
Bird eye's view on Camunda open source ecosystemAsko Soukka
 
OpenShift Commons Paris - Choose Your Own Observability Adventure
OpenShift Commons Paris - Choose Your Own Observability AdventureOpenShift Commons Paris - Choose Your Own Observability Adventure
OpenShift Commons Paris - Choose Your Own Observability AdventureEric D. Schabell
 
Apres-Cyber - The Data Dilemma: Bridging Offensive Operations and Machine Lea...
Apres-Cyber - The Data Dilemma: Bridging Offensive Operations and Machine Lea...Apres-Cyber - The Data Dilemma: Bridging Offensive Operations and Machine Lea...
Apres-Cyber - The Data Dilemma: Bridging Offensive Operations and Machine Lea...Will Schroeder
 
UiPath Community: AI for UiPath Automation Developers
UiPath Community: AI for UiPath Automation DevelopersUiPath Community: AI for UiPath Automation Developers
UiPath Community: AI for UiPath Automation DevelopersUiPathCommunity
 
VoIP Service and Marketing using Odoo and Asterisk PBX
VoIP Service and Marketing using Odoo and Asterisk PBXVoIP Service and Marketing using Odoo and Asterisk PBX
VoIP Service and Marketing using Odoo and Asterisk PBXTarek Kalaji
 
activity_diagram_combine_v4_20190827.pdfactivity_diagram_combine_v4_20190827.pdf
activity_diagram_combine_v4_20190827.pdfactivity_diagram_combine_v4_20190827.pdfactivity_diagram_combine_v4_20190827.pdfactivity_diagram_combine_v4_20190827.pdf
activity_diagram_combine_v4_20190827.pdfactivity_diagram_combine_v4_20190827.pdfJamie (Taka) Wang
 
Cybersecurity Workshop #1.pptx
Cybersecurity Workshop #1.pptxCybersecurity Workshop #1.pptx
Cybersecurity Workshop #1.pptxGDSC PJATK
 
Secure your environment with UiPath and CyberArk technologies - Session 1
Secure your environment with UiPath and CyberArk technologies - Session 1Secure your environment with UiPath and CyberArk technologies - Session 1
Secure your environment with UiPath and CyberArk technologies - Session 1DianaGray10
 
ADOPTING WEB 3 FOR YOUR BUSINESS: A STEP-BY-STEP GUIDE
ADOPTING WEB 3 FOR YOUR BUSINESS: A STEP-BY-STEP GUIDEADOPTING WEB 3 FOR YOUR BUSINESS: A STEP-BY-STEP GUIDE
ADOPTING WEB 3 FOR YOUR BUSINESS: A STEP-BY-STEP GUIDELiveplex
 
Connector Corner: Extending LLM automation use cases with UiPath GenAI connec...
Connector Corner: Extending LLM automation use cases with UiPath GenAI connec...Connector Corner: Extending LLM automation use cases with UiPath GenAI connec...
Connector Corner: Extending LLM automation use cases with UiPath GenAI connec...DianaGray10
 
20230202 - Introduction to tis-py
20230202 - Introduction to tis-py20230202 - Introduction to tis-py
20230202 - Introduction to tis-pyJamie (Taka) Wang
 
Machine Learning Model Validation (Aijun Zhang 2024).pdf
Machine Learning Model Validation (Aijun Zhang 2024).pdfMachine Learning Model Validation (Aijun Zhang 2024).pdf
Machine Learning Model Validation (Aijun Zhang 2024).pdfAijun Zhang
 

Último (20)

20230104 - machine vision
20230104 - machine vision20230104 - machine vision
20230104 - machine vision
 
Computer 10: Lesson 10 - Online Crimes and Hazards
Computer 10: Lesson 10 - Online Crimes and HazardsComputer 10: Lesson 10 - Online Crimes and Hazards
Computer 10: Lesson 10 - Online Crimes and Hazards
 
Salesforce Miami User Group Event - 1st Quarter 2024
Salesforce Miami User Group Event - 1st Quarter 2024Salesforce Miami User Group Event - 1st Quarter 2024
Salesforce Miami User Group Event - 1st Quarter 2024
 
UWB Technology for Enhanced Indoor and Outdoor Positioning in Physiological M...
UWB Technology for Enhanced Indoor and Outdoor Positioning in Physiological M...UWB Technology for Enhanced Indoor and Outdoor Positioning in Physiological M...
UWB Technology for Enhanced Indoor and Outdoor Positioning in Physiological M...
 
Empowering Africa's Next Generation: The AI Leadership Blueprint
Empowering Africa's Next Generation: The AI Leadership BlueprintEmpowering Africa's Next Generation: The AI Leadership Blueprint
Empowering Africa's Next Generation: The AI Leadership Blueprint
 
20150722 - AGV
20150722 - AGV20150722 - AGV
20150722 - AGV
 
Meet the new FSP 3000 M-Flex800™
Meet the new FSP 3000 M-Flex800™Meet the new FSP 3000 M-Flex800™
Meet the new FSP 3000 M-Flex800™
 
Artificial Intelligence & SEO Trends for 2024
Artificial Intelligence & SEO Trends for 2024Artificial Intelligence & SEO Trends for 2024
Artificial Intelligence & SEO Trends for 2024
 
Bird eye's view on Camunda open source ecosystem
Bird eye's view on Camunda open source ecosystemBird eye's view on Camunda open source ecosystem
Bird eye's view on Camunda open source ecosystem
 
OpenShift Commons Paris - Choose Your Own Observability Adventure
OpenShift Commons Paris - Choose Your Own Observability AdventureOpenShift Commons Paris - Choose Your Own Observability Adventure
OpenShift Commons Paris - Choose Your Own Observability Adventure
 
Apres-Cyber - The Data Dilemma: Bridging Offensive Operations and Machine Lea...
Apres-Cyber - The Data Dilemma: Bridging Offensive Operations and Machine Lea...Apres-Cyber - The Data Dilemma: Bridging Offensive Operations and Machine Lea...
Apres-Cyber - The Data Dilemma: Bridging Offensive Operations and Machine Lea...
 
UiPath Community: AI for UiPath Automation Developers
UiPath Community: AI for UiPath Automation DevelopersUiPath Community: AI for UiPath Automation Developers
UiPath Community: AI for UiPath Automation Developers
 
VoIP Service and Marketing using Odoo and Asterisk PBX
VoIP Service and Marketing using Odoo and Asterisk PBXVoIP Service and Marketing using Odoo and Asterisk PBX
VoIP Service and Marketing using Odoo and Asterisk PBX
 
activity_diagram_combine_v4_20190827.pdfactivity_diagram_combine_v4_20190827.pdf
activity_diagram_combine_v4_20190827.pdfactivity_diagram_combine_v4_20190827.pdfactivity_diagram_combine_v4_20190827.pdfactivity_diagram_combine_v4_20190827.pdf
activity_diagram_combine_v4_20190827.pdfactivity_diagram_combine_v4_20190827.pdf
 
Cybersecurity Workshop #1.pptx
Cybersecurity Workshop #1.pptxCybersecurity Workshop #1.pptx
Cybersecurity Workshop #1.pptx
 
Secure your environment with UiPath and CyberArk technologies - Session 1
Secure your environment with UiPath and CyberArk technologies - Session 1Secure your environment with UiPath and CyberArk technologies - Session 1
Secure your environment with UiPath and CyberArk technologies - Session 1
 
ADOPTING WEB 3 FOR YOUR BUSINESS: A STEP-BY-STEP GUIDE
ADOPTING WEB 3 FOR YOUR BUSINESS: A STEP-BY-STEP GUIDEADOPTING WEB 3 FOR YOUR BUSINESS: A STEP-BY-STEP GUIDE
ADOPTING WEB 3 FOR YOUR BUSINESS: A STEP-BY-STEP GUIDE
 
Connector Corner: Extending LLM automation use cases with UiPath GenAI connec...
Connector Corner: Extending LLM automation use cases with UiPath GenAI connec...Connector Corner: Extending LLM automation use cases with UiPath GenAI connec...
Connector Corner: Extending LLM automation use cases with UiPath GenAI connec...
 
20230202 - Introduction to tis-py
20230202 - Introduction to tis-py20230202 - Introduction to tis-py
20230202 - Introduction to tis-py
 
Machine Learning Model Validation (Aijun Zhang 2024).pdf
Machine Learning Model Validation (Aijun Zhang 2024).pdfMachine Learning Model Validation (Aijun Zhang 2024).pdf
Machine Learning Model Validation (Aijun Zhang 2024).pdf
 

OCaml Labs introduction at OCaml Consortium 2012

  • 1. OCaml Labs & ocaml.org Anil Madhavapeddy OCaml Consortium Meeting November 2012 Monday, 26 November 12
  • 2. Anil Madhavapeddy (PI): Xen, Mirage, OpenBSD Alan Mycroft (PI): head of Programming Language group Ian Leslie (PI): embedded systems, ex-head of Computer Lab Jon Crowcroft: head of Systems Research Group Amir Chaudhry: program manager, neuroscience PhD Leo White: postdoc, type system and tools (GADTs, open types) Raphael Proust: PhD student, linear type systems Balraj Singh: PhD student, Mirage developer, networking expert Julian Chesterfield: storage architect, OnApp Dave Scott: chief architect of Xen, Citrix Mark Shinwell: Jane Street Yaron Minsky: head of technology, Jane Street http://www.cl.cam.ac.uk/projects/ocamllabs/people.html Monday, 26 November 12
  • 3. Varied Funding Sources: Industrial partners: Jane Street (main platform grant) Citrix (equipment and staff) UK Research Councils: RCUK Horizon Digital Economy program European Union: FP7 STREP, Trilogy 2 DARPA: Mission Critical Resilient Clouds (MRC2) (with SRI International) Monday, 26 November 12
  • 4. What we won’t do We don’t want to build another empire We don’t want to fragment the community We don’t want to lose the existing great aspects of OCaml Monday, 26 November 12
  • 5. What we will do Primary Goal: create an OCaml Platform that combines the core compiler with an effective set of libraries, tools and docs. • Initially work with key stakeholders (OCaml Consortium) and eventually the community. • Currently collaborating heavily with OCamlPro on a lot of this. • Kick off ocaml.org infrastructure. Monday, 26 November 12
  • 6. What is ocaml.org? www. ocaml.org -- public facing site mirror. ocaml.org -- mirror of repos opam. ocaml.org -- package manager docs. ocaml.org -- documentation lists. ocaml.org -- mailing lists events. ocaml.org -- events listing Monday, 26 November 12
  • 7. www.ocaml.org verson 1 is already live: great effort by Ashish Agarwal and Christophe Troestler! version 2: • Profession design input (already underway) • Blog aggregation (planet_ocaml, reddit, etc) Community edits currently via pull requests on Github (more on this later) Monday, 26 November 12
  • 8. opam.ocaml.org 80%+ approval rating and still pre-release (more popular than Obama!!!) • v0.9 public beta in December • v1.0 stable version in February • v1.1 in Summer 2013 Blog to highlight a Package of the Month Monday, 26 November 12
  • 9. opam.ocaml.org Tool: cross-compilation, Windows, build system integration, more regression tests, binary packages, Platform integration Meta-data: regression tests (windows etc), checking consistency of external libraries. Website: better design, statistics, dynamic content (comments etc), blog/wiki, display meta-data for authors and maintainers Monday, 26 November 12
  • 10. opam.ocaml.org Available operating systems: • Linux (x86_32, x86_64, armv6, armv7, ppc64) • FreeBSD (x86_32, x86_64) • OpenBSD (x86_32, x86_64, sparc64, ppc32) • MacOS X (10.8 x86_64) • Windows (TBD) Raspberry Pi build farm! Nice feature: ocaml.org will build and test your packages for you (via a Xen build farm hosted by Citrix) Monday, 26 November 12
  • 11. mirror.ocaml.org Read-only mirror of OCaml (mirror of github.com/ocaml) OPAM has shown that OCaml Github projects can succeed: • 350+ issues closed • 40+ 3rd-party branches Can also mirror 3rd party packages Monday, 26 November 12
  • 12. docs.ocaml.org Creative Commons O’Reilly Book • interactive website with user comments • interactive top-level • translations • private feedback RSN! Monday, 26 November 12
  • 13. docs.ocaml.org Platform documentation • unified ocamldoc (Leo White) • IDE integration (medium term) • interactive top-level (js_of_ocaml) • tutorials Monday, 26 November 12
  • 14. lists.ocaml.org Only two mailing lists at start: • infrastructure@... • platform@... Can also hosts lists for Platform-related projects Planning migration from OCamlForge with Sylvain’s help. Monday, 26 November 12
  • 15. What is the Platform? Key components: OPAM package management Unified OCamlDoc++ online Namespaces for stdlib management Regression testing and long-term support establishes a quality bar for inclusion. Monday, 26 November 12
  • 16. Who is Platform for? e d ut c s sis ifi em b al rib e nt aly rm st ist ie W An Fo Sy Sc D Coq BioCaml Xen Lwt Ocsigen Compcert Mirage Eliom Frama-C Jane Street OPA Pffff CIL Acunu Unison Why CCured Arakoon CDuce Liquidsoap Monday, 26 November 12
  • 17. maintain 6 monthly releases reliability upstream audit evaluate community fault ARM tolerance OCamlPro JS MIPS experiment mobile 32/64 disaggregated Xen Typerex nigori CHERI multicore LLVM OPAM database perscon illuminate mirage regions inlining web logging signposts rPi linearity open types book actor mirage embedded Xen Runtime Compiler Tools Libraries Horizon C-Aware Citrix Toolchain Platform Systems Monday, 26 November 12
  • 18. events.ocaml.org OCaml 2013 chaired by Michel Mauny Place to publicise events (meet-ups, user-groups etc) Hackathons (e.g NYC, Cambridge, Paris, ICFP) Events management software? Monday, 26 November 12
  • 19. How we communicate Regular status updates every 2 weeks • Open for people to join via videoconf ? • Results/notes/slides online after meeting Mantis for core OCaml discussions. The 2 mailing lists on ocaml.org Monthly platform updates emailed publicly. Monday, 26 November 12
  • 20. Get Involved • Direct support: Commercial contracts with OCamlPro will help this effort hugely. OCaml Labs can accept charitable gifts that are tax efficient also. • Needs gathering: Respond, criticize, test the Platform betas as they emerge. Monday, 26 November 12
  • 21. Summary By the next Consortium meeting, we aim to: • Have a first released Platform • Move to ocaml.org • Have a hosted OPAM package system • Host at least one hackathon somewhere Monday, 26 November 12