caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Diego Olivier Fernandez Pons <dofp.ocaml@gmail.com>
To: Lukasz Stafiniak <lukstafi@gmail.com>
Cc: OCaml Mailing List <caml-list@inria.fr>
Subject: Re: [Caml-list] print_int is too slow
Date: Mon, 25 Jun 2012 02:09:47 +0200	[thread overview]
Message-ID: <CAHqiZ-K6QnrmsQKJaMTahKO_Z1enNvbdnG31EZ8O9anmq9_Psw@mail.gmail.com> (raw)
In-Reply-To: <CAJMfKEWeOWTKgFvB4KDyzXaGs94L9ppcvA7WQqyDSdBEOQ0bVA@mail.gmail.com>

    Lukasz,

> You haven't needed to flush output when debugging?

That's called MODERNITY...

This website sits I don't know where in the world, takes my source
code, runs it on data I don't know how it got (random ? predefined and
preloded on a toplevel perpetually up ? read from the web in some XML
file), compares it with a result I don't know how (diffs with existing
flat files ? runs a code known to be correct and compares results ?)
and tells me how my code performed on a testbed, the point where it
started diverging from expected outputs and diffs, while also allowing
me to create my own testbeds. There is also step-by-step execution
(for examples only, hope it will be extended to user code). I also
miss on-hover inspection of variables which I have in other
environments.

On it 17 000 kids I don't know learn programming and algorithms
(mostly in C/C++ but they can choose Caml, Java, Python, etc) and
probably just like me they don't have any compiler installed on their
laptop.

Here is a website I like to program on (http://codepad.org/) as well
as the usual suspects (http://try.ocamlpro.com/,
http://www.tryfsharp.org/).

There is a little trick however... I work mostly in combinatorial
optimization. If your input takes more than 1s to read or write, it
will take the age of the universe to solve given combinatorial
algorithms are exponential in the input size. And there is little
point in putting a printf on a branch-and-bound algorithm that opens
10^6 nodes.


        Diego Olivier

  parent reply	other threads:[~2012-06-25  0:09 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-06-24 18:40 Diego Olivier Fernandez Pons
2012-06-24 18:59 ` Gabriel Scherer
2012-06-24 19:08   ` Diego Olivier Fernandez Pons
2012-06-24 19:18     ` Oliver Bandel
2012-06-24 19:26       ` Diego Olivier Fernandez Pons
2012-06-24 19:48         ` Adrien
     [not found]         ` <20120624.220220.2022399462583597382.Christophe.Troestler@umons.ac.be>
2012-06-24 22:19           ` Diego Olivier Fernandez Pons
2012-06-24 23:06             ` Lukasz Stafiniak
2012-06-24 23:52               ` Anthony Tavener
2012-06-25  0:09               ` Diego Olivier Fernandez Pons [this message]
2012-06-25 11:39                 ` oliver
2012-06-25 13:04                   ` Gabriel Scherer
2012-06-25 14:25                     ` oliver
2012-06-25 17:31             ` Florian Weimer
2012-06-25 10:07     ` Goswin von Brederlow

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=CAHqiZ-K6QnrmsQKJaMTahKO_Z1enNvbdnG31EZ8O9anmq9_Psw@mail.gmail.com \
    --to=dofp.ocaml@gmail.com \
    --cc=caml-list@inria.fr \
    --cc=lukstafi@gmail.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).