EduardoRFS

[Date] I talk about HoTT and you listen

EduardoRFS's Most Recent 15 Streams

Past stream logs

1y 6m 3m 1m
to
Download CSV
  • [Date] I talk about HoTT and you listen
    - streamed for 6 hours
    21
    avg viewers
    33
    peak viewers
    more data
  • [Teika] Thinking about names
    - streamed for 4 hours
    15
    avg viewers
    20
    peak viewers
    more data
  • [Teika] Thinking about free theorems
    - streamed for 4 hours
    19
    avg viewers
    26
    peak viewers
    more data
  • [Teika] Let's make values in a weird way
    - streamed for 1 hour
    15
    avg viewers
    22
    peak viewers
    more data
  • [Teika] Let's make values in a weird way
    - streamed for 9 hours
    21
    avg viewers
    30
    peak viewers
    more data
  • [Teika] Fazendo a melhor linguagem do mundo
    - streamed for 9 hours
    28
    avg viewers
    41
    peak viewers
    more data
  • [Teika] Let's go
    - streamed for 9 hours
    20
    avg viewers
    33
    peak viewers
    more data
  • [Teika] Let's go
    - streamed for 8 hours
    20
    avg viewers
    27
    peak viewers
    more data
  • [Teika] Let's go
    - streamed for 3 hours
    16
    avg viewers
    20
    peak viewers
    more data
  • [Teika] Let's go
    - streamed for 2 hours
    24
    avg viewers
    25
    peak viewers
    more data
  • [Teika] Let's go
    - streamed for 8 hours
    24
    avg viewers
    32
    peak viewers
    more data
  • [Grain] Let's go
    - streamed for 9 hours
    25
    avg viewers
    34
    peak viewers
    more data
  • [Teika] Let's go
    - streamed for 8 hours
    20
    avg viewers
    26
    peak viewers
    more data
  • [OCaml] Every-man should grind
    - streamed for 14 hours
    31
    avg viewers
    52
    peak viewers
    more data
  • [OCaml] Actually working for a change
    - streamed for 11 hours
    31
    avg viewers
    45
    peak viewers
    more data