Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

miniKanren'19 pratice talk: Kuang-Chen Lu #17

Open
RyanGlScott opened this issue Aug 7, 2019 · 6 comments
Open

miniKanren'19 pratice talk: Kuang-Chen Lu #17

RyanGlScott opened this issue Aug 7, 2019 · 6 comments

Comments

@RyanGlScott
Copy link
Member

Leave feedback here.

@RyanGlScott
Copy link
Member Author

Mention IU somewhere in the opening slide! :)

@vollmerm
Copy link

vollmerm commented Aug 7, 2019

Up front phrases like "allocation of resources" in conjunction and disjunction, not explained.

@RyanGlScott
Copy link
Member Author

It would be helpful to include a legend (around slide 14) explaining what the colors represent. You explain this with words, but it's easy for the audience to miss this.

@RyanGlScott
Copy link
Member Author

RyanGlScott commented Aug 7, 2019

On slide 30, indicate visually which search strategies are new in your work.

@jsiek
Copy link

jsiek commented Aug 7, 2019

skip the first slides with bullet points and go straight to the examples

slide 22: unfair disjunction
two shades of green are too close, hard to distinguish
picture didn't really show lack of fairness

which kinds of fairness are old and which ones are new?
i.e. what is the contribution of this paper?

slide 28/29: expand, go slower. I didn't understand what I guess was the main point... which
is how to implement fair search.

slide 30: this slide should come much sooner

@samth
Copy link

samth commented Aug 7, 2019

3. avoid blank slides
5. start with examples
13. which did you do? what are your contributions?
13. Signposting!
24. Can these be represented more like code?
31. this should be much earlier
32. have a final slide with the takeaways

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

4 participants