Idea Transcript
The goal of OCaml Labs is to push OCaml and functional programming forward as a platform, making it a more effective tool for current users (including significant industrial users) and at the same time growing the appeal of the language, broadening its applicability and popularity by a combination of technological advancements, creation of community infrastructure, and public communications.
OCaml Labs
This effort is run across multiple groups in the Computer Laboratory, primarily the SRG and PLS, and including collaborators from the Security, CompArch and DTG groups. We would like to especially thank our primary funder, Jane Street, for their generous support. Home
testing ocaml-migrate-parsetree with `ppx_deriving_crowbar` »
A Deep Dive Into Multicore OCaml Garbage Collector 20 July 2017, Thursday
14 December 2017, Thursday
testing ocaml-migrate-parsetree with ppx_deriving_crowbar Windows Unicode Support - A Bug-Fix 12 Years in the Making » (Only) 12 years after the initial Mantis issues - and with thanks to a huge community effort - we now have Windows support in the OCaml 4.06.0 release candidate! Read more in David’s detailed blog post and follow the conversation on our Discuss forum.
FOSDEM 2017 Trip Report 28 February 2017, Tuesday
Stephen Dolan recently presented crowbar at the 2017 OCaml Workshop. Crowbar bridges a gap between property-based testing frameworks and instrumentation-based automated testing techniques. Tests written in Crowbar can be executed by the wildly popular and successful American Fuzzy Lop fuzzer. (For more on testing OCaml code with AFL, see the afl-persistent README, Crowbar’s examples, or a user’s DHCP library tests.)
Testing Your Own Fork With OCaml's GitHub CI »
27 September 2017, Wednesday
There are various Continuous Integration (CI) systems monitoring OCaml. The most publicly visible of these are the two which run on our GitHub repository: Travis, which tests GNU/Linux in 32-bit and 64-bit configurations and also performs a few sanity checks on pull requests, and AppVeyor which tests some of the native Windows ports.
Platforms, Packaging, Progress »
04 September 2017, Monday
Richard Mortier recently decided to refresh and update his ocal command-line calendaring package, and took the opportunity to use the new packaging and build features present in opam: topkg and jbuilder.
Merlin 3.0.0 on Windows »
25 August 2017, Friday
David Allsopp has previously contributed patches for native Windows support to Merlin, and after the release of Merlin 3.0.0 back in July, he’s been working with Frédéric Bour to port the new features to Windows.
A New Implementation of Git »
27 July 2017, Thursday
Displaying his own true sense of style, Romain Calascibetta added an incredibly detailed (and hilariously funny) PR for integrating his new Git implementation into ocaml-git - using the new implementation!
Major Releases of Cohttp, Conduit, DNS and TCP/IP Libraries » 19 July 2017, Wednesday
Whilst porting a large portion of Mirage libraries to use Jbuilder, the MirageOS core team realised it was also a great opportunity to reorganise the package structure of some specific libraries, update/remove old code and improve overall functionality.
Community People Papers Talks
Effective I/O 29 June 2017, Thursday Jbuilder Demonstration 25 May 2017, Thursday
24 October 2017, Tuesday
Projects
A Deep Dive Into Multicore OCaml Garbage Collector 30 June 2017, Friday
30 October 2017, Monday
Fuzzing for CI Workflows »
News
About RSS
Modular Macros for OCaml 07 February 2017, Tuesday Polymorphism, subtyping and type inference in MLsub 16 December 2016, Friday Getting higher network performance on MirageOS 15 November 2016, Tuesday Irrelevant Classical Logic Agda 09 November 2016, Wednesday Polymorphism, Subtyping and Type Inference in MLsub 08 November 2016, Tuesday Distributed Consensus: Making the Impossible Possible 04 November 2016, Friday Effective parallelism with Reagents 14 September 2016, Wednesday Approximate Computing 19 July 2016, Tuesday OCaml Multicore and Programming with Reagents 14 June 2016, Tuesday The functional innards of Docker for Mac and Windows 14 June 2016, Tuesday Towards Compilation of Affine Algebraic Effect Handlers 26 April 2016, Tuesday Jackline: A secure instant messaging application, functional from the ground up 19 February 2016, Friday Managing Infrastructure as code with Puppet 16 February 2016, Tuesday Composing Network Operating Systems 04 February 2016, Thursday Unanimous Revisited: Distributed consensus for georeplication 02 February 2016, Tuesday
OCaml 4.05.0 Released »
13 July 2017, Thursday
Following some minor releases in the last month, OCaml 4.05.0 was released today and is available as an opam switch, or from source.
Intel Hyper-Threading Bug Uncovered by OCaml Developers » 26 June 2017, Monday
The OCaml community has helped uncover a serious microcode defect on Intel Skylake and Kaby Lake processors with hyperthreading enabled. Debian have issued a security advisory encouraging users of systems with the affected processors to apply the BIOS/UEFI update, or disable hyper-threading.
Archive
Content © 2012-2017 under a CC0 license. Theme based on Jekyll-Simple by wildflame.