Fix up data

[ryanmuller]

• Labels for everything
• Names for definitions and theorems (cross-referenced with Rudin text)
• Remove superfluous labels
• Check for mistakes
• Make sure video syncs are correct
• Type up theorems and definitions not covered in video

[npisenti]

How far did you get on this...? Looks like everything is categorized now; is there any other editing that needs to be done?

[ryanmuller]

Don't remember how far I got with associations, but not sure we'll even use those... Just general make sure stuff isn't sloppy/wrong/etc. But we can work those out as we find them.

2012/3/13 Neal Pisenti < reply@reply.github.com

How far did you get on this...? Looks like everything is categorized now; is there any other editing that needs to be done?

---

Reply to this email directly or view it on GitHub: https://github.com/cicatriz/rudini/issues/1#issuecomment-4467567

[ryanmuller]

Going to reopen for naming everything, and also doing more cleanup, especially by adding linebreaks.

For things without obvious names: we could go by the definition/theorem number in the book. Then should we do that for everything for search purposes?

[npisenti]

Maybe we could add a "hidden" name field which would contain the book definition/theorem number to be searched, but not display visibly to the user.

On Thu, Mar 15, 2012 at 10:36 AM, cicatriz < reply@reply.github.com

wrote:

Going to reopen for naming everything, and also doing more cleanup, especially by adding linebreaks.

For things without obvious names: we could go by the definition/theorem number in the book. Then should we do that for everything for search purposes?

---

Reply to this email directly or view it on GitHub: https://github.com/cicatriz/rudini/issues/1#issuecomment-4524751

Neal Pisenti npisenti@gmail.com

[npisenti]

What are your thoughts on the commentary? We could make it display depending on a user setting, or on a toggle button on the main page, or leave it out entirely (currently what's happening)...?

[npisenti]

We seem to be missing notes from lecture 14...

[ryanmuller]

Just grabbed it from the server. I'll work on sorting it out.

2012/3/15 Neal Pisenti < reply@reply.github.com

We seem to be missing notes from lecture 14...

---

Reply to this email directly or view it on GitHub: https://github.com/cicatriz/rudini/issues/1#issuecomment-4529083

[ryanmuller]

Whaaaat... looks like 14 got mislabeled as 13 and they are currently interleaved but separable by video id. Fixing that now.

2012/3/15 Ryan Muller cognitionmachine@gmail.com

Just grabbed it from the server. I'll work on sorting it out.

2012/3/15 Neal Pisenti < reply@reply.github.com

We seem to be missing notes from lecture 14...

---

Reply to this email directly or view it on GitHub: https://github.com/cicatriz/rudini/issues/1#issuecomment-4529083

[npisenti]

Other things to look for: there are some items with missing ( ) LaTeX braces. This'll probably take paging through all of the items on the server, and looking for ones that didn't render properly.