Teapots! - Speaker Deck

Slide 1

Slide 1 text

Teapots! Georgios Gousios & Erik Meijer TU Delft

Slide 2

Slide 2 text

Draw this in pure HTML + CSS!

Slide 3

Slide 3 text

div{ background:Black; position:absolute; width:9px; }

...

Slide 4

Slide 4 text

My borders are bigger than yours

Slide 5

Slide 5 text

Could do any triangle with ver2cal or horizontal leg

Slide 6

Slide 6 text

Make right border zero width Make bo8om border zero width

Slide 7

Slide 7 text

Slide 8

Slide 8 text

No content

Slide 9

Slide 9 text

No content

Slide 10

Slide 10 text

No content

Slide 11

Slide 11 text

No content

Slide 12

Slide 12 text

No content

Slide 13

Slide 13 text

No content

Slide 14

Slide 14 text

No content

Slide 15

Slide 15 text

No content

Slide 16

Slide 16 text

No content

Slide 17

Slide 17 text

No content

Slide 18

Slide 18 text

No content

Slide 19

Slide 19 text

α (1,4) β(4, 1) γ(6, 7)

Slide 20

Slide 20 text

10 f(x) = αx + β analy2c geometry 101

Slide 21

Slide 21 text

10 f(x) = αx + β analy2c geometry 101 φ α = tan(φ)

Slide 22

Slide 22 text

10 f(x) = αx + β analy2c geometry 101 φ α = tan(φ) }β

Slide 23

Slide 23 text

10 f(x) = αx + β analy2c geometry 101 φ α = tan(φ) }β μ(5,4) v(4,3)

Slide 24

Slide 24 text

10 f(x) = αx + β analy2c geometry 101 φ α = tan(φ) }β μ(5,4) v(4,3) α = (μ.y -‐ ν.y) / (μ.x -‐ ν.x) β = μ.y -‐ α * (μ.x)

Slide 25

Slide 25 text

11 f(x) = αx + β g(x) = γx + δ analy2c geometry 101

Slide 26

Slide 26 text

11 f(x) = αx + β g(x) = γx + δ analy2c geometry 101 (x, (f(x)|g(x))

Slide 27

Slide 27 text

11 f(x) = αx + β g(x) = γx + δ analy2c geometry 101 (-Long.MaxValue to Long.MaxValue).find(x => f(x) == g(x)) (x, (f(x)|g(x))

Slide 28

Slide 28 text

11 f(x) = αx + β g(x) = γx + δ analy2c geometry 101 (-Long.MaxValue to Long.MaxValue).find(x => f(x) == g(x)) (x, (f(x)|g(x)) (min(β,δ) to max(β,δ)).find(x => f(x) == g(x))

Slide 29

Slide 29 text

11 f(x) = αx + β g(x) = γx + δ analy2c geometry 101 (-Long.MaxValue to Long.MaxValue).find(x => f(x) == g(x)) αx + β = γx + δ <=> αx -‐ γx = δ -‐ β <=> x = (δ -‐ β)/(α -‐ γ) (x, (f(x)|g(x)) (min(β,δ) to max(β,δ)).find(x => f(x) == g(x))

Slide 30

Slide 30 text

No content

Slide 31

Slide 31 text

α (1,4) β(4, 1) γ(6, 7) α’ (6,4) δ (5,4)

Slide 32

Slide 32 text

No content

Slide 33

Slide 33 text

α (1,4) β(4, 1) γ(6, 7) δ (5,4)

Slide 34

Slide 34 text

α (1,4) β(4, 1) δ (5,4)

Slide 35

Slide 35 text

α (1,4) β(4, 1) δ (5,4)

Slide 36

Slide 36 text

α (1,4) β(4, 1) δ (5,4)

Slide 37

Slide 37 text

α (1,4) β(4, 1) δ (5,4)

Slide 38

Slide 38 text

α (1,4) β(4, 1) δ (5,4) ε (4,4)

Slide 39

Slide 39 text

α (1,4) β(4, 1) δ (5,4) ε (4,4)

Slide 40

Slide 40 text

α (1,4) β(4, 1) δ (5,4) ε (4,4) WIN!

Slide 41

Slide 41 text

α (1,4) β(4, 1) δ (5,4) ε (4,4) WIN! WIN!

Slide 42

Slide 42 text

α (1,4) γ(6, 7) δ (5,4)

Slide 43

Slide 43 text

α (1,4) γ(6, 7) δ (5,4)

Slide 44

Slide 44 text

α (1,4) γ(6, 7) δ (5,4)

Slide 45

Slide 45 text

α (1,4) γ(6, 7) δ (5,4)

Slide 46

Slide 46 text

α (1,4) γ(6, 7) δ (5,4)

Slide 47

Slide 47 text

α (1,4) γ(6, 7) δ (5,4)

Slide 48

Slide 48 text

α (1,4) γ(6, 7) δ (5,4)

Slide 49

Slide 49 text

α (1,4) γ(6, 7) δ (5,4)

Slide 50

Slide 50 text

α (1,4) γ(6, 7) δ (5,4)

Slide 51

Slide 51 text

α (1,4) γ(6, 7) δ (5,4)

Slide 52

Slide 52 text

α (1,4) γ(6, 7) δ (5,4)

Slide 53

Slide 53 text

α (1,4) γ(6, 7) δ (5,4) Stop when too small to see, e.g. when area is 1 or when line is 1 pixel

Slide 54

Slide 54 text

Slide 55

Slide 55 text

Slide 56

Slide 56 text

Slide 57

Slide 57 text

The challenge • Teams of 2 • Convert code to Hack gist:gousiosg/6871500 • Speed it up • Add types • Use Hack containers • Optimize triangle generation • Fastest (relative) speed up wins t-shirt! • Extra hacker’s tie-dye t-shirt if output is HTML!

Slide 58

Slide 58 text

Rules • The code must produce exactly the same number of triangles as base case • Results are reported as mean of 5 runs • Don’t remove assertions • Don’t change triangle generation cutoff • No busy loops in base case :-)