Lemmesee

@Lemmesee@lemm.ee

• ⁨Comment⁩ on ⁨Chad scraper⁩ ⁨⁨1⁩ ⁨year⁩ ago⁩:

  Good point. This is also possible to overcome with one additional HTTP request and some HTML parsing. Still less overhead than running Selenium! In any event, I was replying in a general sense: Selenium is easy to understand and seems like an intuitive solution to a simple problem. In 99% of cases some additional effort will result in a more efficient solution.

• ⁨Comment⁩ on ⁨Chad scraper⁩ ⁨⁨1⁩ ⁨year⁩ ago⁩:

  Using Selenium for this is probably overkill. You might be better off sending direct HTTP requests with your form data. This way you don’t actually have to spin up an entire browser to perform that simple operation for you.

  That said, if it works - it works!

• ⁨Comment⁩ on ⁨Lean 4.0⁩ ⁨⁨1⁩ ⁨year⁩ ago⁩:

  Quite bizarre and annoying that the maintainers don’t explain what their project is about front and center. I have no idea what Lean is and would like to know. Where should I be looking if not at the Github README?