dpc on master
Bump min rust version (compare)
dpc on master
Upgrade deps (compare)
/usr/lib/x86_64-linux-gnu/pkgconfig/libgcrypt.pcis present in the Debian Sid package, but absent in Debian Buster one.
laurencegaSeems like Github identities could be a viable identifier - it would provide easy discovery of default proof repositories, already supports hosting a set of public keys for a user (not just one), can be identified by human-readable usernames and pretty much every developer has an account. Thoughts?
dpcIs there anything else than just github url?
laurencegait's not a special thing, I just didn't know what else to call it haha. It's just your public Github account
dpcIt's not much different from
dpcAnd it's a little bit of special-casing, for the monopolist. :D
laurencegaand yes, adds to Github's monopoly 😅
laurencegabut that's each individual's choice if we offer as an extra option, right?
laurencegaif it's a viable and convenient method of identification, I think it's worth considering
dpcI don't understand how key management situation changes?
dpcWe 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.
dpcOr eventually have aggregators and and services that filter proofs etc.
laurencega > <@dpc:matrix.org> I don't understand how key management situation changes?
Yeah, 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
laurencegaI 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?
laurencegait 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
chrysnSlides 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.)
Danilo (@dbrgn:matrix.coredump.ch)Would someone of you be up to presenting crev at a virtual Rust Zürich meetup? https://www.meetup.com/de-DE/Rust-Zurich/
Danilo (@dbrgn:matrix.coredump.ch)(First web based meeting will take place in a week.)
Danilo (@dbrgn:matrix.coredump.ch)(Afterwards we don't yet have any plans)
chrysn(Can do German or English, depending on what's common in your meetups)
Danilo (@dbrgn:matrix.coredump.ch)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.
chrysnBy 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.
Danilo (@dbrgn:matrix.coredump.ch)Yep, that's the plan for us as well :)
dpc > <@chrysn:chat.weho.st> 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.)
How do you get such an awesome presentation format?
dpc > <@chrysn:chat.weho.st> 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.
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.
chrysnthe 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.)
chrysnsure, 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)