|30 Mar 2020|
|01:28:40||laurencega||if it's a viable and convenient method of identification, I think it's worth considering|
|01:29:00||dpc||I don't understand how key management situation changes?|
|01:30:13||dpc||We can not have github users not generate keys etc. Other users need to be able to eg. copy someone else's proof and put it into their repo etc.|
|01:30:50||dpc||Or eventually have aggregators and and services that filter proofs etc.|
In reply to @laurencega:matrix.orggithub usernames are not stable
In reply to @ralith:ralith.comThat's true! Good point. All Github accounts do have a stable ID though, so I suppose that's what would be used. At least you could write like "trust @username" and it could resolve to the ID.
|15:15:57||chrysn||how do you generally expect crev to be pronounced? "see-rev"? "krev"?|
In reply to @dpc:matrix.orgYeah, keys still need to be generated. But, a user can re-use their existing Github keys if they have them.
They can also use multiple keys for the same identity. I think with current crev IDs the only way to do this is now is making trust chains to your other keys, right? A Github account collapses that chain into a unified identity
|01:51:26||laurencega||I don't think this stops someone copy someone else's proof into their own repo? What implications are you thinking it may have for aggregators and such?|
|01:52:26||laurencega||it would just mean a proof is signed by one of the keys associated with a user's Github account. Doesn't have to even be in a git repo on Github, still the same decoupling as there is now|
|16:07:45||dpc||I hope people will tell me. I only ever type it. :D|
|31 Mar 2020|
|09:08:33||gitter_laurencega joined the room.|
|09:08:34||gitter_laurencega||My assumption was always "krev" 🤷♂️|
|22:38:37||Danilo joined the room.|
|1 Apr 2020|
|12:24:37||chrysn||By the way, I've finally presented crev at our meetup on Monday. Not much feedback gathered, as we're still getting to grips with the remote modes, but I hope to have attracted a few more users.|
|12:25:19||chrysn||Slides at https://christian.amsuess.com/presentations/2020/crev/ , just in case anyone wants to make more of them. (On their own without the talk track, they're probably only useful to people already familiar with crev, who might adapt them.)|
|14:29:53||Danilo||Would someone of you be up to presenting crev at a virtual Rust Zürich meetup? https://www.meetup.com/de-DE/Rust-Zurich/|
|14:30:19||Danilo||(First web based meeting will take place in a week.)|
|14:30:29||Danilo||(Afterwards we don't yet have any plans)|
|15:02:41||chrysn||Danilo: I'm by no means a crev expert (just happen to be the first one using it in the Vienna meetup), but hey I have a 15-20' talk at hand, so if you'd like to have a presentation and dpc can't make it, I could come by.|
|15:03:23||chrysn||(Can do German or English, depending on what's common in your meetups)|
|15:04:57||Danilo||chrysn: that sounds pretty cool :) I'll suggest it to the organizers (I'm only partially involved with the meetup). english would be preferred, zürich has a lot of expats.|
|15:07:15||chrysn||By the way, as you'll have your first Jitsi meetup just as we did last in Vienna: Worked OK for us with about ten participants; it really pays to check the "participants start muted and without video" option.|
|15:07:33||Danilo||Yep, that's the plan for us as well :)|
|2 Apr 2020|
In reply to @chrysn:chat.weho.stAwesome!
In reply to @chrysn:chat.weho.stHow do you get such an awesome presentation format?
In reply to @chrysn:chat.weho.st
I think you should totally do it.
Myself, I'm stuck in an apartment in San Jose in shelter-in-place with my whole family (kids running wild) in San Jose and trying to do a good dayjob work remotely.
|01:33:46||dpc||Can I share this presentation around? :)|
|06:25:56||chrysn||the presentation format is hovercraft (it converts a restructuredtext source to impress.js), which i've tried out for the first time. i'm a sucker for plaintext versionable source formats, and so far did my presentations in latex, but css does make "but i want it that way" easier to realize than latex. (on the downside, it makes creating pdf slides ... dunno, impossible? hard?, -- and that's occasionally a requirement, especially when doing lightning talks where slides are spooled for easy switchover.)|
|06:26:35||chrysn||sure, share it around -- by link, or with any modifications (it's cc-by-sa licensed as per last page, and the source rst is linked there as well)|