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

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

  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

  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

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.

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

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

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

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.

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.

These are probably the only exceptions.

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

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

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

`org-mode` used with Emacs is the tinkerer's dream playgound. Apart from the basic markdown stuff, there are so many wild things you can do. For example, org code blocks are not just the basic markdown code blocks that show formatted code. Org code blocks can actually be executed and can show the output of the code, inline. So you can write code blocks (that may include data found in variables/tables/etc elsewhere in the org file), then "refresh" your org file and all the inline outputs of the code blocks will be updated.

When my wife was pregnant and had to stop working, she got bored so I got her this game. At first she said she didn't like it "because the graphics suck". A couple days later she was totally immersed in the game and had made spreadsheets to track the whereabouts of every character over time. It is a really well-made game.

I started looking into bitcoin when it was at around $3, but never made a move to buy any. I have some regrets, but when I stop to think about it, I would clearly have sold everything when it reached $10 or something. So I haven't passed up the opportunity to make millions, I only passed up the opportunity to make a couple hundred bucks.

Deps are kind of like seven 11. We have a large chain of deps in Quebec called Couche-Tard, but there are tons of no name independent deps, especially in Montreal. You'll often find that many of these mom and pop deps are located on the ground floor of multi-story houses in lower income residential areas, with the owners living in the upper floors.

Most of the sales in deps are cigarettes, beer, soda and snacks. Deps generally appeal to younger people and the working class.

I've used your pinouts a ton in the past for my small Raspberry Pi projects, good job and thank you!

It is hard to explain, but there is something soothing about rituals, whatever they may be. Like watching a movie that you love for the n-th time, feeling safe in knowing how things will play out.

About 20 years ago I bought an expensive bottle of cognac on a whim. But then I wasn't sure when to drink it, or under what circumstances. After some thought I decided to drink from it only on notable occasions. Note that I'm not talking about "special occasions" (birthdays, New Year's Eve, etc), although there is some overlap between notable and special occasions.

I have defined a notable occasion as being a life-altering event: the birth of a child, the purchase of a house, retiring, etc. But a notable occasion can also be sad: the death of a parent or a friend, a bad medical diagnosis, and so on. I don't drink from it every year, and the bottle is still about 2/3 full. Although I've mostly drank from it due to the notable occasions being happy, some were sad. It turns out that (for me) the mere sight of the bottle gives me a feeling of peace. It helps me accept the past, but it also helps me dream of the future.

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

The first time I used `uv`, I was sure that I had made a mistake or typed something wrong because the process finished so much more quickly than anything I had ever experienced with `pip`.

I don't recall if we asked him why he did this, but we did make it clear that he should never leave the house alone at his age. Curiosity-wise, however, we generally let our kids explore the world on their own terms as long as it's not dangerous. And "dangerous", in our view, is understood to be "lasting permanent damage" (doing something that can lead to losing an eye is dangerous, doing something that can lead to breaking a finger is not dangerous).

I almost went for the Ikea ones, but in the end I went with Aqara. More expensive, but very small/reliable, and the battery holds up very well.