Ask HN: Who is hiring? (June 2020)

Sure, Inc | https://sureapp.com | Santa Monica, CA or New York, NY | Full Time | Onsite (Remote during COVID-19) | $120-$180k At Sure, our mission is to improve every aspect of insurance. Our teams have created the experiences that are changing how current and future generations get protected.

We're looking for team members who are big thinkers in all areas, including Backend, Frontend, Data, Devops, Design, Marketing, BD, Technical Account Management, and Product Management.

Roles: Frontend Engineer (React), Backend/Server (Python), Devops (AWS), Product Designers (Figma), Product Managers, QA Engineers, Technical Account Managers, etc.

Get in touch: https://jobs.lever.co/sure

PS: We have previously hired folks who reached out via HN. It really works!

Carta | Software Engineer, Site Reliability Engineer | SF, Palo Alto, Seattle, New York, Rio, Waterloo | ONSITE, VISA | FULLTIME

Carta is hiring experienced software engineers at the Senior, Staff, Senior Staff, and Principal levels in San Francisco, Palo Alto, Seattle, New York City, and Rio de Janeiro to build products and services powered by Carta’s ownership graph: the central registry of asset ownership across the globe.

Our stack is Python (Python 3!), Django, React, Postgres, Redis.

We offer competitive benefits:

  * Health, dental, vision, and life insurance
  * Competitive PTO and unlimited sick time
  * US & Rio: 401k matching program
  * Canada: RRSP matching
  * US & Rio: Commuter benefits
  * Catered lunch and unlimited snacks
  * Cell phone stipend
  * Unlimited reimbursement for work related books

Current Openings:

* Senior Software Engineer: https://grnh.se/3f6c29ad3us

* Site Reliability Engineer: https://grnh.se/827d18f93us

* Senior Product Designer: https://grnh.se/e3edc97d3us

Epirus | Electrical, Mechanical, and Systems Engineers (and others) | Los Angeles | On-site | Full-Time

Epirus is a venture-backed startup specializing in agile development of advanced defense systems. Our team combines decades of aerospace & defense experience with Silicon Valley innovation in order to address 21st century threats, such as drones and other asymmetric technologies.

We're growing fast, with great investor and customer support. We just moved into a new office/warehouse facility where we're building our first full-scale product, and we've got multiple new product lines in the works. Come help us build some awesome, innovative products and have fun with the exciting demos we put on for our customers!

Learn more at https://www.epirussystems.com/careers

Highstreet Mobile | Android Engineer | Utrecht (near Amsterdam), The Netherlands | Onsite/Remote (EU) | Full Time | https://jobs.highstreetmobile.com/android-engineer/en Highstreet Mobile's mission is to connect people to the brands they love. We are a team of makers and we've built a SaaS product for fashion brands. We enable brands to give an amazing shopping experience to their customers. Our customers get a native mobile shopping app for Android and iOS that we constantly refine and extend.

You'll be joining the team that is responsible for the core library that powers our Android apps. The core library provides all app capabilities, from API calls to UI, but can be extended to meet customer needs. We care deeply about the user experience and you'll be working closely with the design team when implementing new features and improvements. Our automated unit tests and extensive code reviews make sure code quality remains up to par.

Technologies we use: Kotlin / Java / RxJava / Dagger / OkHttp / Glide

Apply via the link above or contact me at thomas@highstreetmobile.com if you’d like to know more.

https://jobs.highstreetmobile.com/android-engineer/en

You're probably getting hung up on the "converting to base-128" part.

Here's my solution. I wouldn't normally post it publicly, but I've emailed OP multiple times over the last couple months to apply for this position and have received no response, so maybe this is actually the best way to get around the spam filter:

  from z3 import *
  s = Solver()
  x = Int('x')
  divisor1 = x / 611939
  divisor2 = x / 598463
  modconstraint1 = (x - (611939 * divisor1)) == 145767
  modconstraint2 = (x - (598463 * divisor2)) == 109572
  
  s.add(modconstraint1, modconstraint2, x > 0)
  s.check()
  
  email_bin = '{0:b}'.format(s.model()[x].as_long())
  email_b128 = []
  for i in xrange(0, len(email_bin), 7):
      email_b128.append('0' + email_bin[i : i+7])
  
  email_bytearr = map(lambda c: str(unichr(int(c, 2))), email_b128)
  print(reduce(lambda x, y: x + y, email_bytearr, '') + '@inpher.io')