ogregoire

Configure Git to use a proxy

##In Brief

You may need to configure a proxy server if you're having trouble cloning or fetching from a remote repository or getting an error like unable to access '...' Couldn't resolve host '...'.

Consider something like:

ogregoire

import bisect

class NFA(object):
  EPSILON = object()
  ANY = object()
  
  def __init__(self, start_state):
    self.transitions = {}
    self.final_states = set()
    self._start_state = start_state

ogregoire

import org.apache.commons.math3.analysis.interpolation.NevilleInterpolator;

public class WtfCreator {
    public static void main(String[] args) {
        var text = "Hello, world!\n";

        double[] x = new double[text.length() + 1];
        double[] y = new double[text.length() + 1];
        for(var i = 0; i < text.length(); i++) {
            x[i] = i;