Record · corpus.blog/posts/01a0872a-c4a3-72c7-b2ed-d622beec0511

Reviewing the second year of OCaml Labs in 2014

anil.recoil.org · published 2 April 2015

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at anil.recoil.org Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 264
Words captured: 6,995

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

http://www.cl.cam.ac.uk

cl.cam.ac.uk

http://www.cl.cam.ac.uk/projects/ocamllabs/news/index.html

cl.cam.ac.uk

http://caml.inria.fr/

caml.inria.fr

https://queue.acm.org/detail.cfm?id=2566628

queue.acm.org

http://ocamlpro.com

ocamlpro.com

http://janestreet.com

janestreet.com

http://lexifi.com

lexifi.com

http://citrix.com

citrix.com

OPAM 1.1.1 released Read at the source ↗

opam.ocaml.org

https://github.com/ocaml/opam-repository

github.com

https://github.com/ocaml/opam-repository/pulls

github.com

http://travis-ci.org/ocaml/opam-repository

travis-ci.org

http://docs.travis-ci.com/user/osx-ci-environment/

docs.travis-ci.com

http://xapi-project.github.io/

xapi-project.github.io

http://ocsigen.org

ocsigen.org

http://openmirage.org

openmirage.org

http://erratique.ch

erratique.ch

http://ocaml.info/

ocaml.info

https://blogs.janestreet.com/category/ocaml/

blogs.janestreet.com

https://github.com/ocaml/opam-repository/pulls?utf8=%E2%9C%93&q=is%3Apr+author%3Adiml+

github.com

https://github.com/ocaml/opam-repository/pull/3570

github.com

https://code.facebook.com/posts/264544830379293/hack-a-new-programming-language-for-hhvm/

code.facebook.com

https://github.com/facebook/flow

github.com

https://github.com/facebook/pfff

github.com

OPAM 1.2: Repository Pinning Read at the source ↗

opam.ocaml.org

https://github.com/ocaml/opam/wiki/Distributions

github.com

Binary distribution with 0install Read at the source ↗

opam.ocaml.org

https://github.com/mirage/mirage-vagrant-vms

github.com

OPAM 1.2.0 Released Read at the source ↗

opam.ocaml.org

OPAM 1.2.1 Released Read at the source ↗

opam.ocaml.org

http://coq-blog.clarus.me/use-opam-for-coq.html

coq-blog.clarus.me

https://coq.inria.fr/

coq.inria.fr

http://opam.ocaml.org

opam.ocaml.org

Why we use OPAM for XenServer development Read at the source ↗

opam.ocaml.org

Turn your editor into a full fledged OCaml IDE Read at the source ↗

opam.ocaml.org

UTop: a much improved interface to the OCaml toplevel Read at the source ↗

opam.ocaml.org

https://github.com/ocaml/platform-blog/issues

github.com

https://ocaml.org/meetings/ocaml/2014/ocaml2014_7.pdf

ocaml.org

https://ocaml.org/meetings/ocaml/2014/ocl-platform-2014-slides.pdf

ocaml.org

https://www.youtube.com/watch?v=jxhtpQ5nJHg&list=UUP9g4dLR7xt6KzCYntNqYcw

youtube.com

http://harvard.edu

harvard.edu

http://cornell.edu

cornell.edu

http://princeton.edu

princeton.edu

http://www.cl.cam.ac.uk/teaching/1415/L28/

cl.cam.ac.uk

http://lists.ocaml.org/listinfo/teaching

lists.ocaml.org

http://ocaml.org/learn/teaching-ocaml.html

ocaml.org

https://github.com/AltGr

github.com

http://launchpad.net/~avsm

launchpad.net

https://build.opensuse.org/package/show/home:ocaml/opam

build.opensuse.org

http://jon.recoil.org

jon.recoil.org

http://dave.recoil.org

dave.recoil.org

http://lists.ocaml.org/pipermail/opam-devel/2015-January/000910.html

lists.ocaml.org

http://lists.centos.org/pipermail/centos-devel/2014-November/012375.html

lists.centos.org

https://github.com/ocaml/opam-depext

github.com

https://github.com/OCamlPro/opam-user-setup

github.com

https://github.com/ocaml/opam/issues/1035

github.com

https://github.com/ocaml/opam/issues

github.com

https://github.com/jordwalke/CommonML

github.com

http://lists.ocaml.org/pipermail/opam-devel/2015-February/000975.html

lists.ocaml.org

OPAM 1.2 and Travis CI Read at the source ↗

opam.ocaml.org

https://github.com/ocaml/ocaml-travisci-skeleton

github.com

https://github.com/mirage/ocaml-cohttp/blob/master/.travis.yml

github.com

https://github.com/mirage/ocaml-cohttp

github.com

http://docker.com

docker.com

http://avsm.github.io/ocaml-dockerfile

avsm.github.io

http://irmin.io

irmin.io

http://en.wikipedia.org/wiki/Camlp4

en.wikipedia.org

https://github.com/janestreet/type_conv

github.com

https://github.com/ocaml/opam-repository/pull/2558

github.com

https://github.com/ocaml/opam-repository/pulls?utf8=%E2%9C%93&q=camlp4+requires+is%3Apr+

github.com

https://twitter.com/vincenthz/status/563108158907097089

twitter.com

https://github.com/avsm/ocaml-github

github.com

http://gallium.inria.fr/blog/patch-review-on-github/

gallium.inria.fr

http://caml.inria.fr/mantis/view_all_bug_page.php

caml.inria.fr

https://github.com/ocaml/camlp4

github.com

https://github.com/ocaml

github.com

http://lists.ocaml.org/pipermail/platform/2015-February/000539.html

lists.ocaml.org

https://github.com/dsheets/codoc

github.com

http://ocaml.org/meetings/ocaml/2014/ocaml2014_7.pdf

ocaml.org

http://ocaml.org/meetings/ocaml/2014/ocl-platform-2014-slides.pdf

ocaml.org

http://dsheets.github.io/codoc

dsheets.github.io

https://github.com/dsheets/codoc/issues

github.com

Improving the OCaml documentation toolchain Read at the source ↗

opam.ocaml.org

http://ocaml.org

ocaml.org

http://amirchaudhry.com/towards-governance-framework-for-ocamlorg/

amirchaudhry.com

http://github.com/ocaml/oasis

github.com

http://projects.camlcity.org/projects/findlib.html

projects.camlcity.org

https://ocaml.org/learn/tutorials/ocamlbuild/

ocaml.org

https://github.com/the-lambda-church/merlin

github.com

https://github.com/samoht/assemblage

github.com

https://github.com/samoht/assemblage/labels/design

github.com

http://erratique.ch/software/bos

erratique.ch

https://ocaml.org/releases/4.02.html

ocaml.org

http://caml.inria.fr/pub/distrib/ocaml-4.02/notes/Changes

caml.inria.fr

https://blogs.janestreet.com/ocaml-4-02-everything-else/

blogs.janestreet.com

http://ocamllabs.github.io/compiler-hacking/2014/02/04/handler-case.html

ocamllabs.github.io

http://caml.inria.fr/mantis/view.php?id=6318

caml.inria.fr

http://caml.inria.fr/pub/docs/manual-ocaml/extn.html

caml.inria.fr

https://github.com/janestreet/sexplib/blob/1bd69553/lib/conv.ml

github.com

https://github.com/janestreet/sexplib

github.com

https://blogs.janestreet.com/rethinking-univ/

blogs.janestreet.com

http://mlton.org/UniversalType

mlton.org

http://www.andres-loeh.de/OpenDatatypes.pdf

andres-loeh.de

http://caml.inria.fr/mantis/view.php?id=5584

caml.inria.fr

https://github.com/janestreet/core_kernel/blob/43ee3eef/lib/type_equal.ml

github.com

http://docs.scala-lang.org/tutorials/tour/implicit-parameters.html

docs.scala-lang.org

http://www.mpi-sws.org/~dreyer/papers/mtc/main-long.pdf

mpi-sws.org

http://andrewray.github.io/iocamljs/modimp_show.html

andrewray.github.io

https://sites.google.com/site/mlworkshoppe/modular-implicits.pdf?attredirects=0

sites.google.com

https://www.youtube.com/watch?v=3wVUXTd4WNc

youtube.com

http://www.lpw25.net/ml2014.pdf

lpw25.net

https://andrewray.github.io/iocamljs/

andrewray.github.io

https://andrewray.github.io/iocamljs/modimp_show.html

andrewray.github.io

https://github.com/stedolan/ocaml

github.com

http://kcsrk.info/papers/mmscc_marc12.pdf

kcsrk.info

http://fable.io

fable.io

http://www.cl.cam.ac.uk/~sd601/papers/multicore_slides.pdf

cl.cam.ac.uk

https://www.youtube.com/watch?v=FzmQTC_X5R4

youtube.com

https://ocaml.org/meetings/ocaml/2014/ocaml2014_1.pdf

ocaml.org

http://www.chargueraud.org/softs/pasl/

chargueraud.org

http://kcsrk.info/

kcsrk.info

http://multimlton.cs.purdue.edu/mML/Welcome.html

multimlton.cs.purdue.edu

https://github.com/ocamllabs/ocaml-ctypes

github.com

https://realworldocaml.org/v1/en/html/foreign-function-interface.html

realworldocaml.org

https://github.com/ocamllabs/ocaml-ctypes/releases

github.com

https://sourceware.org/libffi/

sourceware.org

http://icfpconference.org/2015

icfpconference.org

http://caml.inria.fr/pub/docs/manual-ocaml/intfc.html

caml.inria.fr

http://openssl.org

openssl.org

https://github.com/mirage/ocaml-tls

github.com

https://github.com/yallop/ocaml-ctypes-inverted-stubs-example

github.com

Xmlm 1.0.0 Read at the source ↗

erratique.ch

http://research.microsoft.com/en-us/collaboration/global/phd_projects2015.aspx

research.microsoft.com

https://github.com/ocamllabs/ocaml-ctypes/pull/190

github.com

https://github.com/ocamllabs/ocaml-ctypes/pull/231

github.com

https://github.com/ocamllabs/ocaml-ctypes/pull/238

github.com

https://github.com/ocamllabs/ocaml-ctypes/pull/220

github.com

https://github.com/ocamllabs/ocaml-ctypes/pull/143

github.com

https://github.com/braibant

github.com

http://cryptosense.com/the-team/

cryptosense.com

http://www.economist.com/news/science-and-technology/21647269-automating-search-loopholes-software-hacking-hackers

economist.com

https://github.com/dsheets/profuse

github.com

http://cryptosense.com

cryptosense.com

http://ocaml.janestreet.com

ocaml.janestreet.com

https://github.com/ocamllabs/ocaml-ctypes/wiki

github.com

http://lists.ocaml.org/listinfo/ctypes

lists.ocaml.org

http://icfpconference.org

icfpconference.org

https://www.youtube.com/watch?v=UEIHfXLMtwA

youtube.com

http://icfpconference.org/icfp2014/

icfpconference.org

cufp.org

qconsf.com

oscon.com

ccc.de

https://operatingsystems.io/

operatingsystems.io

http://functionalconf.com

functionalconf.com

https://skillsmatter.com/conferences/1819-functional-programming-exchange

skillsmatter.com

https://fosdem.org/2014/

fosdem.org

http://decks.openmirage.org

decks.openmirage.org

http://cufp.org/2011/t3-building-functional-os.html

cufp.org

http://cufp.org/2013/t2-yaron-minsky-anil-madhavapeddy-ocaml-tutorial.html

cufp.org

http://cufp.org/2012/t1-real-world-ocaml-anil-madhavapeddy-university-c.html

cufp.org

http://cufp.org/2014/t7-leo-white-introduction-to-ocaml.html

cufp.org

http://ocsigen.org/js_of_ocaml

ocsigen.org

http://andrewray.github.io/iocamljs/

andrewray.github.io

2048 Read at the source ↗

gabrielecirulli.github.io

https://github.com/ocamllabs/2048-tutorial

github.com

http://erratique.ch/software/vg

erratique.ch

New Cambridgian summer Read at the source ↗

erratique.ch

http://erratique.ch/software/useri

erratique.ch

http://erratique.ch/software/gg

erratique.ch

http://ocamllabs.github.io/2048-tutorial/

ocamllabs.github.io

http://functionalconf.com/

functionalconf.com

http://gazagnaire.org/fuconf14/

gazagnaire.org

https://fosdem.org/2015/

fosdem.org

http://amirchaudhry.com/unikernel-arm-demo-fosdem/

amirchaudhry.com

https://www.cst.cam.ac.uk/people/jdy22

cst.cam.ac.uk

https://github.com/lpw25

github.com

https://www.cl.cam.ac.uk/~am21/

cl.cam.ac.uk

http://en.wikipedia.org/wiki/Lent_term

en.wikipedia.org

http://www.cl.cam.ac.uk/teaching/1415/L28/materials.html

cl.cam.ac.uk

https://sympa.inria.fr/sympa/arc/caml-list/2015-04/msg00001.html

sympa.inria.fr

http://ocamllabs.github.io/compiler-hacking/

ocamllabs.github.io

https://github.com/ocamllabs/compiler-hacking/wiki

github.com

http://ocamllabs.github.io/compiler-hacking/2014/06/24/highlights-from-recent-sessions.html

ocamllabs.github.io

http://lists.ocaml.org/listinfo/cam-compiler-hacking

lists.ocaml.org

https://gnome.org/opw/

gnome.org

https://www.gnome.org/outreachy/

gnome.org

http://www.somerandomidiot.com/

somerandomidiot.com

http://www.somerandomidiot.com/blog/categories/ocaml/

somerandomidiot.com

https://www.google-melange.com/

google-melange.com

http://openmirage.org/blog/applying-for-gsoc2014

openmirage.org

https://github.com/moonlightdrive

github.com

https://1000hippos.wordpress.com/

1000hippos.wordpress.com

https://github.com/mirage/mirage-www/wiki/Pioneer-Projects

github.com

http://hh360.user.srcf.net/blog/

hh360.user.srcf.net

http://www.syslog.cl.cam.ac.uk/2015/01/14/programming-languages-mentoring-workshop-plmw/

syslog.cl.cam.ac.uk

https://github.com/dsheets

github.com

http://www.syslog.cl.cam.ac.uk/2014/11/25/new-directions-in-operating-systems/

syslog.cl.cam.ac.uk

http://www.syslog.cl.cam.ac.uk/2014/09/05/ocaml-2014/

syslog.cl.cam.ac.uk

http://www.cl.cam.ac.uk/projects/ocamllabs/blogs/

cl.cam.ac.uk

http://roscidus.com/blog/

roscidus.com

http://0install.net

0install.net

http://roscidus.com/blog/blog/2014/06/06/python-to-ocaml-retrospective/

roscidus.com

http://roscidus.com/blog/blog/2014/02/13/ocaml-what-you-gain/

roscidus.com

Securing the Unikernel Read at the source ↗

roscidus.com

http://www.skjegstad.com/

skjegstad.com

http://www.skjegstad.com/blog/2015/03/25/mirageos-vm-per-url-experiment/

skjegstad.com

http://www.skjegstad.com/blog/2015/01/19/mirageos-xen-virtualbox/

skjegstad.com

http://amirchaudhry.com

amirchaudhry.com

http://amirchaudhry.com/writing-planet-in-pure-ocaml/

amirchaudhry.com

http://amirchaudhry.com/from-jekyll-to-unikernel-in-fifty-lines/

amirchaudhry.com

http://openmirage.org/blog/announcing-mirage-20-release

openmirage.org

http://openmirage.org/blog/2014-in-review

openmirage.org

http://caml.inria.fr/mantis/view.php?id=5528

caml.inria.fr

https://sympa.inria.fr/sympa/arc/caml-list/2015-02/msg00150.html

sympa.inria.fr

http://caml.inria.fr

caml.inria.fr

https://ocaml.org/meetings/

ocaml.org

https://ocaml.org/learn/teaching-ocaml.html

ocaml.org

http://yansnotes.blogspot.co.uk/2014/11/good-news-everyone-ocamlorg-teaching.html

yansnotes.blogspot.co.uk

https://www.irill.org/videos/oups-december-2014/Modular_implicits

irill.org

https://github.com/mirage/merge-queues

github.com

https://github.com/mirage/merge-ropes

github.com

http://jfla.inria.fr/2015/

jfla.inria.fr

Uucp 0.9.0 Read at the source ↗

erratique.ch

http://erratique.ch/software/uucp/doc/Uucp.html

erratique.ch

https://github.com/ocaml/ocaml/pull/80

github.com

Tgls 0.8.0 Read at the source ↗

erratique.ch

http://erratique.ch/log/2014-05-18

erratique.ch

http://github.com/mirleft

github.com

http://amirchaudhry.com/bitcoin-pinata/

amirchaudhry.com

https://github.com/Chris00

github.com

http://github.com/diml

github.com

https://github.com/andrewray

github.com

https://gist.github.com/avsm/18450004ae19c2facf7a

gist.github.com

http://talks.cam.ac.uk/show/archive/8316

talks.cam.ac.uk

http://www.cse.iitb.ac.in/~uday/

cse.iitb.ac.in

http://okmij.org/ftp/

okmij.org

http://talks.cam.ac.uk/talk/index/51144

talks.cam.ac.uk

http://www.cl.cam.ac.uk/projects/ocamllabs/papers/index.html

cl.cam.ac.uk

http://trilogy2.it.uc3m.es/

trilogy2.it.uc3m.es

http://usercentricnetworking.eu/

usercentricnetworking.eu

https://www.usenix.org/conference/nsdi15/

usenix.org

http://openmirage.org/blog/introducing-xen-minios-arm

openmirage.org

http://arxiv.org/abs/1412.4638

arxiv.org

https://www.youtube.com/watch?v=DSzvFwIVm5s

youtube.com

http://wiki.xen.org/wiki/XenStore

wiki.xen.org

http://decks.openmirage.org/xendevsummit14

decks.openmirage.org

http://yansnotes.blogspot.co.uk/2015/01/work-summary-ocaml-labs.html

yansnotes.blogspot.co.uk

http://kcsrk.info/papers/quelea_pldi15.pdf

kcsrk.info

https://github.com/ocamllabs/higher

github.com

http://www.lpw25.net/flops2014.pdf

lpw25.net

http://nymote.org

nymote.org

http://arxiv.org/abs/1501.04737

arxiv.org

http://www.theguardian.com/technology/2015/feb/01/control-personal-data-databox-end-user-agreement

theguardian.com

http://www.mccrc.eu/about-us

mccrc.eu

http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-863.pdf

cl.cam.ac.uk

http://rems.io

rems.io

http://www.naas-project.org/

naas-project.org

https://github.com/ocaml/opam/wiki/1.3-Roadmap

github.com

http://lists.ocaml.org/pipermail/opam-devel/2015-February/000940.html

lists.ocaml.org

http://www.cl.cam.ac.uk/projects/ocamllabs/people/index.html

cl.cam.ac.uk

https://doi.org/10.48550/arXiv.1412.4638

doi.org

https://doi.org/10.48550/arXiv.1501.04737

doi.org

https://opam.ocaml.org/builds

opam.ocaml.org