Stream: wg-traits

Topic: traits video chat


tmandry (Jan 08 2019 at 20:01, on Zulip):

@nikomatsakis are we meeting now?

nikomatsakis (Jan 08 2019 at 20:03, on Zulip):

Hi! :wave: Yep, I just about to open a topic. I'm not sure whether it'd be better to talk about the "salsa-ification of chalk" or the "universe map", but I'm guessing the former.

nikomatsakis (Jan 08 2019 at 20:03, on Zulip):

seems a bit more straightforward and gives us a chance to explore chalk's setup

nikomatsakis (Jan 08 2019 at 20:03, on Zulip):

https://appear.in/i-heart-rust

nikomatsakis (Jan 08 2019 at 20:05, on Zulip):

cc @Keith Yeung @Josh Huber @Sunjay Varma @scalexm, all people who expressed interest in the thread yesterday

Sunjay Varma (Jan 08 2019 at 20:06, on Zulip):

trying to join

nikomatsakis (Jan 08 2019 at 20:08, on Zulip):

ssh to ssh EzQ44Au069j7dG8exQ15GLXfE@ny2.tmate.io

Sunjay Varma (Jan 08 2019 at 20:48, on Zulip):

Had to run!

Sunjay Varma (Jan 08 2019 at 20:49, on Zulip):

Arc all the things!

nikomatsakis (Jan 08 2019 at 21:03, on Zulip):

That video seems like it was worth posting

nikomatsakis (Jan 08 2019 at 21:04, on Zulip):

i.e., I could imagine the discussion of specialization etc being useful to folks who weren't able to watch

nikomatsakis (Jan 08 2019 at 21:05, on Zulip):

Screen-Shot-2019-01-08-at-4.05.31-PM.png

nikomatsakis (Jan 08 2019 at 21:05, on Zulip):

random screenshot :point_up:

nikomatsakis (Jan 08 2019 at 21:06, on Zulip):

now you can see how annoyingly small your screen was .. WHOEVER YOU WERE

nikomatsakis (Jan 08 2019 at 21:06, on Zulip):

compared to my external monitor :P

scalexm (Jan 08 2019 at 21:07, on Zulip):

lol

scalexm (Jan 08 2019 at 21:07, on Zulip):

I thought it was you @nikomatsakis

scalexm (Jan 08 2019 at 21:07, on Zulip):

(with the small screen)

nikomatsakis (Jan 08 2019 at 21:07, on Zulip):

:)

nikomatsakis (Jan 08 2019 at 21:07, on Zulip):

no

scalexm (Jan 08 2019 at 21:07, on Zulip):

I was assuming that it was taking the monitor of the hoster or something

scalexm (Jan 08 2019 at 21:08, on Zulip):

cause I was seeing the same thing as you locally

nikomatsakis (Jan 08 2019 at 21:08, on Zulip):

it takes the intersection of all people connected

nikomatsakis (Jan 08 2019 at 21:08, on Zulip):

afaik

nikomatsakis (Jan 08 2019 at 21:08, on Zulip):

also, tmate is so cool

tmandry (Jan 08 2019 at 21:11, on Zulip):

yes, super useful

Keith Yeung (Jan 08 2019 at 21:12, on Zulip):

oh, maybe it was me

Keith Yeung (Jan 08 2019 at 21:13, on Zulip):

i used my terminal window that is solely reserved for typing commands

nikomatsakis (Jan 08 2019 at 21:33, on Zulip):

opened https://github.com/rust-lang-nursery/chalk/pull/197

Keith Yeung (Jan 08 2019 at 21:36, on Zulip):

who will be working on the salsaification btw?

nikomatsakis (Jan 08 2019 at 21:36, on Zulip):

I was going to ask that

Keith Yeung (Jan 08 2019 at 21:36, on Zulip):

if there are no takers, i'm happy to work on it

nikomatsakis (Jan 08 2019 at 21:36, on Zulip):

seems like something we can also do incrementally -- i.e., maybe we just put in an hour or two at a time to do a step etc

Sunjay Varma (Jan 08 2019 at 21:50, on Zulip):

I am happy to help!

Sunjay Varma (Jan 08 2019 at 21:50, on Zulip):

Sorry I had to run out in the middle

Sunjay Varma (Jan 08 2019 at 21:51, on Zulip):

Someone offered to help me learn how to do my job and given that my job pays my bills so I can work on open source it was important :laughing:

nikomatsakis (Jan 08 2019 at 21:56, on Zulip):

https://youtu.be/Sg_8lrzUft8

Sunjay Varma (Jan 08 2019 at 22:02, on Zulip):

video is unavailable

Sunjay Varma (Jan 08 2019 at 22:02, on Zulip):

probably still need to wait

Sunjay Varma (Jan 08 2019 at 22:02, on Zulip):

unless you didn't make it public

nikomatsakis (Jan 08 2019 at 22:04, on Zulip):

it just hadn't quite finished

nikomatsakis (Jan 08 2019 at 22:04, on Zulip):

should be available now

Sunjay Varma (Jan 08 2019 at 22:07, on Zulip):

Does not appear to be available

Sunjay Varma (Jan 08 2019 at 22:08, on Zulip):

pasted image

Keith Yeung (Jan 08 2019 at 22:09, on Zulip):

not for me either

nikomatsakis (Jan 08 2019 at 22:10, on Zulip):

huh

nikomatsakis (Jan 08 2019 at 22:10, on Zulip):

try again?

Sunjay Varma (Jan 08 2019 at 22:11, on Zulip):

Try changing it from private to public

Sunjay Varma (Jan 08 2019 at 22:11, on Zulip):

like public to private and then back

Keith Yeung (Jan 08 2019 at 22:12, on Zulip):

it's working!

nikomatsakis (Jan 08 2019 at 22:12, on Zulip):

I toggled it a few times already

nikomatsakis (Jan 08 2019 at 22:12, on Zulip):

but this time I did it via a different link

nikomatsakis (Jan 08 2019 at 22:12, on Zulip):

and it seemed to work I gues :)

Keith Yeung (Jan 08 2019 at 22:12, on Zulip):

but i think it's now public?

Sunjay Varma (Jan 08 2019 at 22:17, on Zulip):

okay it's public now :smile:

tmandry (Jan 08 2019 at 22:19, on Zulip):

I'm interested in working on something, it can be salsaification or something else

lqd (Jan 08 2019 at 22:19, on Zulip):

the code in the video is a bit small :)

nikomatsakis (Jan 08 2019 at 22:20, on Zulip):

I guess I could have upped my font size :P

lqd (Jan 08 2019 at 22:20, on Zulip):

on the flip side it works as a podcast as well :)

nikomatsakis (Jan 08 2019 at 22:21, on Zulip):

hmm yeah it looks like it was scaled down or something

nikomatsakis (Jan 08 2019 at 22:21, on Zulip):

I might be able to fix that :)

lqd (Jan 08 2019 at 22:21, on Zulip):

tmate over asciinema could be an interesting combination

nikomatsakis (Jan 08 2019 at 22:21, on Zulip):

but I don't know how

nikomatsakis (Jan 08 2019 at 22:22, on Zulip):

woah

nikomatsakis (Jan 08 2019 at 22:22, on Zulip):

I was unaware of that

lqd (Jan 08 2019 at 22:22, on Zulip):

oh I'm not sure it's a thing that exists (the combination, that is)

nikomatsakis (Jan 08 2019 at 22:22, on Zulip):

won't record audio I guess

lqd (Jan 08 2019 at 22:23, on Zulip):

yeah true

nikomatsakis (Jan 08 2019 at 22:24, on Zulip):

I thnk i'll just up my font size next time =)

nikomatsakis (Jan 08 2019 at 22:24, on Zulip):

not sure why I didn't think of that

nikomatsakis (Jan 08 2019 at 22:24, on Zulip):

presumably I can also clip the recording somehow

nikomatsakis (Jan 08 2019 at 22:24, on Zulip):

er, crop

lqd (Jan 08 2019 at 22:26, on Zulip):

and there's the chalk PR to read anyways :thumbs_up:

lqd (Jan 08 2019 at 22:39, on Zulip):

(thank you all for making that video, it will be interesting I'm sure)

Last update: Nov 12 2019 at 15:30UTC