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…
Intro On reprend les mêmes et on recommence. Le post précédent m’a permis d’obtenir un temps de boot raisonnable. Mais il se trouve que depuis le dernier update de mon système, l’interface GRUB a ressurgi de nulle part avec un timeout de 30s… ne nous énervons pas… Je n’ai rien…
