Next week, from the 19th May to the 30th we are starting a two week sprint effort on the subject of language servers for languages coded in OCaml.The goal is to get a common engineering platform (code, tooling and skills) to start building and maintaining Language Server Protocol (LSP) based…
WSL2 stands for Windows Subsytem for Linux, version 2. It lets one use a Linux environment on a Windows machine without the burden of using double boot or explicit virtual machine setup. This is a great tool, but one might experience very low performance under some situations. The good news…
This document explains how to migrate from GitLab to Github including git history, issues, milestones, labels and merge requests as well as github pages and using GitHub workflow actions to be used instead of Jenkins or GitLab runners. Here are the steps that need to be followed respectively. 1. Migrate…
Here is a new series of interesting articles: PEGASUS: A State-of-the-Art Model for Abstractive Text Summarization from Google. Their hypothesis is that a pre-training task that’s closer to the final task will make the model better. To test this, their pre-training consist at trying to guess missing sentences (ex with…
For this month, here is what I found interesting EfficientNet This paper talk about scaling up networks. Once you have a small model working fine, you usually wants to scale it up to have better performances. You can scale up the width (wider layers), the depth (more layers) or the…
Here are this month articles: Hydra A fresh look at configuration for machine learning projects Hydra is a recently released open-source Python framework developed at Facebook AI that simplifies the development of research and other complex applications. Great when you want to launch the same code with different options: python…
GPU cards were originally designed for graphics. Over years, their powerful massively parallel architectures became used for AI and HPC computations. High level frameworks, like Tensorflow or Pytorch in the deep-learning field, permitted wide adoption by hiding complexity from lower programming layers like CUDA. Now OpenACC or OpenMP permit easy…
This post is a copy from a thread on stackoverflow It was found that the –tree-filter option used in other answers can be very slow, especially on larger repositories with lots of commits. Here is the method that one can use to completely remove a directory from the git history…
