polivier

9 ms·

91.
by polivier 3y ago
It is possible that something like CP-SAT ( https://developers.google.com/optimization/cp ) would have scaled well in your case. This solver easily handles an absurd amount of variables and constraints, and has excellent
92.
by polivier 3y ago
For those interested, HN user hakank (Hakan Kjellerstrand), who is a very active member of the constraint programming community (among others), has a ton of Picat resources and examples on his website: http://www.hakank.org/
93.
Enhancing Factorio with SAT solvers(github.com)
376 points by polivier 3y ago|119 comments
94.
by polivier 3y ago
Location: Canada Remote: Only 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/curr
95.
by polivier 3y ago
SEEKING WORK | Canada | Remote I have a PhD in computer engineering, focusing on operations research (OR). I specialize in developing solutions to OR problems and advising on OR matters for startups. In other words, I can translate real-wor
96.
by polivier 3y ago
SEEKING WORK | Canada | Remote I have a PhD in computer engineering, focusing on operations research (OR). I specialize in consulting and advising on OR matters for startups. In short, I can translate a real-world problem into a mathematica
97.
by polivier 3y ago
Mindustry is such a great game. I sunk tons of hours in both campaigns with a friend of mine. For those who come from a Factorio background, Mindustry has less automation and more combat. Also a Mindustry map does not take 50 hours to compl
98.
by polivier 3y ago
I think that was the joke.
99.
The First Crepe Made with Cellular Wheat(medium.com)
1 points by polivier 3y ago|0 comments
100.
by polivier 3y ago
I understand that there is a lot of hype around ML/DL, but that is not really my field of expertise, and I don't want to oversell my skills :) Optimization solves tons of really interesting real-world problems, though.
101.
by polivier 3y ago
SEEKING WORK | Canada | Remote I have a PhD in computer engineering, focusing on operations research (OR). I specialize in consulting and advising on OR matters for startups. In short, I can translate a real-world problem into a mathematica
102.
by polivier 3y ago
Location: Canada Remote: Only 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/curr
103.
by polivier 3y ago
Yes, Laurent was nice enough to add this feature. I'm curious to see the difference in performance this will have over the workaround that I used.
104.
by polivier 3y ago
I'm not too familiar with MDD constraints, but there may indeed be better ways to model this. In particular, I'd be very curious to see if any improvement can be achieved using regular constraints (one for each row/column). P
105.
by polivier 3y ago
This is fascinating, I had no idea about the gridgate scandal!
106.
by polivier 3y ago
The problem mentioned in the Gecode documentation example is different than the one I solve. In their case, they start with a WxH grid with known black square positions, and their model essentially answers the following question: "Giv
107.
by polivier 3y ago
I use Inkscape to create simple yet high-quality SVG images for technical presentations/talks. It's great and it integrates somewhat easily with LaTeX too.
108.
by polivier 3y ago
Crossword puzzles! They make very interesting combinatorial problems (both for solving and creating grids). I recently had a ton of fun writing a constraint programming model that generates grids, including the automatic placement of black
109.
by polivier 3y ago
I wrote one in elisp for publishing my blog directly from org-mode files in Emacs (because of course). It is super minimalist and works great for my specific use case.
110.
by polivier 3y ago
I've never really been into home automation, but when I stumbled upon Philips Hue bulbs on sale for $5 at Home Depot a few years ago, I went ahead a bought a few. It turns out that they are great to wake up the kids on a schedule in th
111.
by polivier 3y ago
SEEKING WORK | Canada | Remote I have a PhD in computer engineering, focusing on operations research (OR). I specialize in consulting and advising on OR matters for startups. In short, I can translate a real-world problem into a mathematica
112.
by polivier 3y ago
Location: Canada Remote: Only 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/curr
113.
by polivier 3y ago
SEEKING WORK | Canada | Remote I have a PhD in computer engineering, focusing on operations research (OR). I specialize in consulting and advising on OR matters for startups. In short, I can translate a real-world problem into a mathematica
114.
by polivier 3y ago
Location: Canada Remote: Only 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/curr
115.
by polivier 3y ago
Location: Canada Remote: Only 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/curr
116.
by polivier 3y ago
SEEKING WORK | Canada | Remote I have a PhD in computer engineering, focusing on operations research (OR). I specialize in consulting and advising on OR matters for startups. In short, I can translate a real-world problem into a mathematica
117.
by polivier 3y ago
SEEKING WORK | Canada | Remote I have a PhD in operations research---essentially, I solve optimization problems. You can give me a real-world problem and I can translate it into a mathematical model that can be solved (often optimally) via
118.
by polivier 3y ago
Location: Canada Remote: Only 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/cur
119.
by polivier 3y ago
https://pedtsr.ca Personal projects, optimization, and Linux/Emacs.
120.
by polivier 3y ago
SEEKING WORK | Canada | Remote I have a PhD in operations research---essentially, I solve optimization problems. You can give me a real-world problem and I can translate it into a mathematical model that can be solved (often optimally) via

More ›