Recall SAT is in NP because if \(\phi \in \text{SAT}\), then there is a short (poly-n space), efficiently (poly-time) checkable proof (by just reading out the satisfying assignment).

Goal: for a bunch of satellite with

\begin{equation} \alpha \qty(\beta) = \text{argmax}_{x \in X}\sum_{i=1}^{n} \sum_{j=1}^{m} \beta_{ij}x_{ij} \end{equation}

where there’s benefit matrix of Agent assigned to Task, \(\beta\). This is greedy and can be soled with Hungarian Method. But, this becomes hard when satellites MOVE and becomes sequential! and stuff starts running out of time: it becomes sequential with dependenices of past to future.

Solution: Multi-Agent RL. But, vanilla solution will conflict because the dominants strategy maybe the same for each agent.

• adding emails need sequential typing
• hitting enter should move on to the next page
• date selection
• “Monday next week” doesn’t NLP
• reading calendar output isn’t sorted

bugs

• reading other people’s calendars isn’t working

• need some information about that the heck is actually happening on the scheduling

• show other people’s overall availibliity in the scheduling page

• the weight number doesn’t make sense—correct alt-text and make the number work

• have the idea of a “meeting owner”, and we only reach out to them to confirm final date + have an ability to add a message; also allow the message owner to change to alternate schedules on that date

• adding emails need sequential typing
• hitting enter should move on to the next page
• date selection
• “Monday next week” doesn’t NLP
• reading calendar output isn’t sorted

bugs

• reading other people’s calendars isn’t working
• need some information about that the heck is actually happening on the scheduling
• show other people’s overall availibliity in the scheduling page
• idea of “budget”

next actions

• scheduling multiple people is broken. ah.
• have the idea of a “meeting owner”, and we only reach out to them to confirm final date + have an ability to add a message (with templates); also allow the message owner to change to alternate schedules on that date
• the weight number doesn’t make sense—correct alt-text and make the number work

• adding emails need sequential typing
• hitting enter should move on to the next page
• date selection
• “Monday next week” doesn’t NLP
• reading calendar output isn’t sorted

bugs

• reading other people’s calendars isn’t working
• need some information about that the heck is actually happening on the scheduling
• show other people’s overall availibliity in the scheduling page
• idea of “budget”

next actions

• scheduling multiple people is broken. ah.
• have the idea of a “meeting owner”, and we only reach out to them to confirm final date + have an ability to add a message (with templates); also allow the message owner to change to alternate schedules on that date (have default notifications in the iCal invite)
  • somehow remind people after the fact that the meeting is scheduled
  • tie in evite abilities (this will be nice for your party, etc.)
    • event planning built in? type in a budget and find vendors for the party.
    • age range?
• the weight number doesn’t make sense—correct alt-text and make the number work

home page

• “the front page looks like that for an OB-GYN” — feels like ZocDoc
• it is also not that fun
• maybe some kind of memphis design