polivier

> When this solver backjumps, it forgets the failure as soon as it lands, so if the same dead end comes up in a different part of the search it gets rediscovered from scratch.

Modern solvers such as CP-SAT combine some SAT features with a CP solver, based of the work of Peter Stuckey I think.

  Location: Canada
  Remote: Preferred (could do ~2 days/week on-site)
  Willing to relocate: No
  Technologies: Various optimization tools (CPLEX, Gurobi, OR-Tools, etc), Python, C++, some Common Lisp, Bash, Linux, and others
  Résumé/CV: https://github.com/PhilippeOlivier/curriculum-vitae/blob/main/OLIVIER_Philippe_CV_en.pdf
  Website/blog: https://www.pedtsr.ca
  Email: See CV or website

I'm Phil and I have a PhD in computer engineering, specializing in operations research: mathematical optimization (MILP, etc), constraint programming, and others. For the past several years I've worked as a consultant, implementing custom, production-ready solutions for a variety of problems (scheduling, routing, and so on). Recent work includes a constraint programming solution for goal-based selection of indexes in Postgres, a heuristics-based scheduling tool used in hundreds of vehicle workshops around the world, and an optimization model used for scheduling autoclave cycles in a drug manufacturing facility. I'm looking for consulting/contract work.

I do feel like we as a society are moving in the direction discussed by the article, as a general trend. But this is not my personal experience. We live in typical suburbs, and we are lucky enough that our street has a bunch of like-minded young families that let their kids play outside. Our street really feels like what you would imagine if you were thinking of a typical street in the 1960s. Kids aged 5 to around 10 playing ball in the street, going in each other's yards/houses, etc. There's a Catholic church less than 1km away, and at 6pm every day the bells ring. All the kids go back to their houses for supper when they hear the bells. It's great.

There's a kid (7-8 years old I think) a few houses down that carries a walkie-talkie with him during the summer. He'll be out for several hours (probably not farther than 10 houses away from his own house), and his mom checks on him every now and then using the walkie-talkie. I'll buy a set for own kids this summer for the exact same purpose.

The only thing I'm kind of scared of are the cars, because they tend to drive too fast (for my taste) and kids tend to not always look when they cross the street when they're too excited playing their games.

Edit: I just remembered that a few years ago, the cops showed up because there was a complaint about our kids being left unsupervised. They were playing in the backyard, which is completely fenced off, while we were inside cooking supper. Our kitchen window faces the yard so we could see them, and the window was open so we could hear them. At least the cops realized that the complaint was BS and didn't even come inside to check for anything. We live in Canada.

  Location: Canada
  Remote: Preferred (could do ~2 days/week on-site)
  Willing to relocate: No
  Technologies: Various optimization tools (CPLEX, Gurobi, OR-Tools, etc), Python, C++, some Common Lisp, Bash, Linux, and others
  Résumé/CV: https://github.com/PhilippeOlivier/curriculum-vitae/blob/main/OLIVIER_Philippe_CV_en.pdf
  Website/blog: https://www.pedtsr.ca
  Email: See CV or website

I'm Phil and I have a PhD in computer engineering, specializing in operations research: mathematical optimization (MILP, etc), constraint programming, and others. For the past several years I've implemented custom, production-ready solutions for a variety of problems (scheduling, routing, and so on). Recent work includes a constraint programming solution for goal-based selection of indexes in Postgres, a heuristics-based scheduling tool used in hundreds of vehicle workshops around the world, and an optimization model used for scheduling autoclave cycles in a drug manufacturing facility. I'm also open to freelancing.

  Location: Canada (Montreal)
  Remote: Preferred (could do ~2 days/week on-site)
  Willing to relocate: No
  Technologies: Various optimization tools (CPLEX, Gurobi, OR-Tools, etc), Python, C++, Bash, Linux, and others
  Résumé/CV: https://github.com/PhilippeOlivier/curriculum-vitae/blob/main/OLIVIER_Philippe_CV_en.pdf
  Website: https://www.pedtsr.ca
  Email: See CV or website

I'm Phil and I have a PhD in computer engineering, specializing in operations research: mathematical optimization (MILP, etc), constraint programming, etc. For the past several years I've implemented custom, production-ready solutions for a variety of problems (scheduling, routing, etc). Recent work includes a constraint programming solution for goal-based selection of indexes in Postgres, a heuristics-based scheduling tool used in hundreds of vehicle workshops around the world, and an optimization model used for scheduling autoclave cycles in a drug manufacturing facility. I'm also open to freelancing.

You can force a Proton version in the game settings. "Proton Experimental" almost always fixes any issue you may have.

A common issue with most package managers is that if you have A installed, and then you install B which depends on C, and that C happens to also be an optional dependency of A, then uninstalling B will not uninstall C as C won't be orphaned (because of A).

> And that's the real problem for the nay-sayers. They know that they don't have to live forever if they don't want to. They just don't want other people to live forever. They want to live in a world where other people die.

If one can make a good argument that people living forever would have too many downsides in the long run, one might reasonably not want others to live forever. This is similar to environmental policies. Even though one may not live through most downsides of current bad environmental policies, one may still want good environmental policies for the sake of their children.

I have found that duplicated tabs can be useful e.g. for pages where footnotes are not hyperlinked in the text. When this happens I open a duplicate tab and scroll to the bottom of the page on it.

I remember this from a taxi ride in the early 2000s. Even then they were pretty rare.