polivier

7 dagen geledendiscuss

> 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.

polivier

3 maanden geledendiscuss

  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.

polivier

3 maanden geledendiscuss

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.

polivier

4 maanden geledendiscuss

Kind of: https://bitcoin.stackexchange.com/questions/7966/what-are-ta...

polivier

4 maanden geledendiscuss

  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.

polivier

7 maanden geledendiscuss

  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.

polivier

7 maanden geledendiscuss

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

polivier

7 maanden geledendiscuss

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).

polivier

8 maanden geledendiscuss

> 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.

polivier

9 maanden geledendiscuss

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.

polivier

10 maanden geledendiscuss

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

polivier

10 maanden geledendiscuss

https://en.m.wikipedia.org/wiki/Competitive_programming

polivier

11 maanden geledendiscuss

SEEKING WORK | Canada | Remote | Operations Research

I'm Phil and I have a PhD in computer engineering, specializing in operations research (mathematical optimization, constraint programming, mixed-integer 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.

Résumé/CV: https://github.com/PhilippeOlivier/curriculum-vitae/blob/mai...

Website: https://www.pedtsr.ca

polivier

11 maanden geledendiscuss

Are you talking about the patterns found in the linked website of the parent comment? Because there clear patterns there.

polivier

12 maanden geledendiscuss

I switched from Arch to NixOS and I know many others who did too. For users inclined to use a distro such as Arch, NixOS feels like the natural next step.

polivier

12 maanden geledendiscuss

Kind of, in the sense that you need to make a decision about something mid-way when there is still some unknown information ahead of you.

polivier

12 maanden geledendiscuss

These are probably the only exceptions.

polivier

12 maanden geledendiscuss

> This is why we have a justice system, so that there is one place where you can say "that is wrong" and "that is right".

In most (all?) Western countries, cheating on your spouse is not illegal. But 99% of the people would say that "it is wrong".

polivier

12 maanden geledendiscuss

polivier

12 maanden geledendiscuss

> would just be a very heavy bike for the rest of the stage

Bikes in the Tour de France have a minimum weight of 6.8kg imposed by the UCI. So if you manage to build a normal bike that weights 5kg, you still have 1.8kg of weight available to try to add some more hidden power "without adding more weight to the bike" (small battery+engine, small compressed air tank, whatever).

Submissions

Mouse cursor disappears when my refrigerator turns off

Khufu Ship

The Evolution of Cooperation [pdf]

TLDR Pages

Learn Nix the Fun Way

Show HN: A solver for the recent Huewords game

Letter from Chairman Khrushchev to President Kennedy, October 26, 1962

Generating Crossword Grids Using Constraint Programming

Solving domino fit using constraint programming

Long-lost Timesplitters 4 prototype saved from aging PS3 dev kit

Enhancing Factorio with SAT solvers

The First Crepe Made with Cellular Wheat

Glider: A HN Client for Android

comments