I have, sadly they are basically worthless and often worse then worthless as they negatively impact the site.
Interesting. Care to list them here so that we all can learn.
They say "... can scrape any website—not even Cloudflare can detect it."
https://legalclarity.org/is-web-scraping-legal-a-look-at-the...
https://en.wikipedia.org/wiki/HiQ_Labs_v._LinkedIn
Or you could base your business in Denmark: https://en.wikipedia.org/wiki/Web_scraping#European_Union
At Formal [0], we’re rethinking serverless from scratch: we’re building a new computing stack for instant, globally available, truly elastic, soundly isolated execution. We leverage formal methods and languages to build OS interfaces with low overhead, formally verified isolation without containers or VMs. Our immediate goal is to write a new programming language to replace eBPF and build the world's first serverless networking infrastructure.
We are a 5-person, VC-funded team with PhDs from Stanford, UW, OSU, and Brown, advised by professors from MIT and UWaterloo. We are currently hiring for the following four positions:
- [1] Staff Software Engineer: Compilers, Programming Languages, and Verification (≥ $200k + ≥ 0.5%)
- [2] Formal Verification Engineer: Formal Methods and Programming Languages ($120k - $200k + ≥ 0.25%)
- [3] Software Engineer: Compilers and Programming Languages ($100k - $175k + ≥ 0.2%)
- [4] Formal Methods PhD Intern: Formal Methods and Programming Languages (≥ $5k / month)
Please see [5] for general information. To apply, email us at (work at formalstack dot com) and let us know how your experiences fit the role and its requirements.
[0]: https://formalstack.com [1]: https://formalstack.com/jobs/09-2025/staff-software-engineer... [2]: https://formalstack.com/jobs/09-2025/formal-verification-eng... [3]: https://formalstack.com/jobs/09-2025/software-engineer-v.pdf [4]: https://formalstack.com/jobs/09-2025/formal-methods-phd-inte... [5]: https://formalstack.com/jobs/09-2025/info.pdf
Who are your customers?
> we’re rethinking serverless from scratch:
What are the use cases that you target?