XSF Discussion - 2017-11-07


  1. Arc

    no its pretty much what we already have. as long as the characters are shown i think its good. KISS.

  2. Arc

    escape characters make it overly complex

  3. moparisthebest

    I always want to say something is KISS but I wasn't sure if it translated or might insult someone :)

  4. Arc

    Keep It Simple Stupid

  5. Arc

    thats a very old one.

  6. SamWhited

    *nods* sounds good to me.

  7. Arc

    i was putting together a media attachements xep last winter

  8. Arc

    i think we even added support for it

  9. Arc

    https://pastebin.ca/3905635

  10. Arc

    what we didnt resolve is ensuring that <thumb> accurately reflected the media being shared.

  11. Arc

    URLs are difficult regardless. you certainly cant have clients autoloading them because they can unmask anonymity

  12. pep.

    SamWhited, I honestly wonder if you are ignoring all feedback from the previous XHTML-IM thread. but then it's time to sleep, I'll try to post on the list tomorrow

  13. SamWhited

    I was wondering if everyone was ignoring my responses to all feedback from the previous thread.

  14. pep.

    :)

  15. SamWhited

    But maybe we shouldn't get into that, because that's going to be an unproductive discussion. Please explain what you think was ignored instead of making inflamatory statements.

  16. pep.

    Sure, I'll post on the list, going to bed now

  17. Arc

    I'm really not interested in arguments that xhtml-im can be hypothetically implemented in a secure manner. its been in use for a long, long time and I'm not aware of a single secure implementation of it.

  18. Arc

    the thin benefits it provides to users cannot possible outweigh the risks

  19. moparisthebest

    Xhtml-im's main benefit is it's easy

  20. moparisthebest

    That's also it's main downfall, easy to shoot yourself in the foot

  21. Arc

    we had a presentation at ctrlh two weeks ago on "sanitized" html

  22. Arc

    different browsers parse slightly different, and in those differences, you can sneak script through

  23. Arc

    in one of the examples he used a utf8 quote inside <img width=> to get the sanitizer to believe it was all part of the value, but then include a ton of extra stuff

  24. SamWhited

    that's a good one I haven't seen before

  25. Arc

    it was one of the trickier ones, and they all were limited to certain browsers

  26. Arc

    the other presentation was on a USB charging cable a guy had made with a GSM modem and SIM card slot hidden in it, and it would start uploading data from the users phone when they plugged it in

  27. Zash

    Arc: Would that still work after some round trips through an XML parser?

  28. Arc

    idk, i guess it depends on the exploit

  29. Arc

    some of them had quotes within quoted values

  30. Arc

    at least one of them relied on the sanitizer modifying the value to remove escapes

  31. Arc

    anyway they were all web-based examples and the main takeaway was if you need to allow html, put it in an iframe loaded from outside your trusted domain. such as every message from the same user from <user>.usermsg.mydomain so if they do manage to run javascript, it won't be able to access anything else

  32. Arc

    thats actually not a solution i had considered in dealing with the candy problem

  33. Arc

    ive been trying to find the video of the presentation but i dont think its been uploaded yet

  34. moparisthebest

    Arc: plain old CSP header doesn't protect you?

  35. Arc

    afaik that only works with an iframe

  36. Arc

    which means every msg must be in an iframe

  37. jonasw

    CSP could work, I think, if you say that no inline script whatsoever is allowed and all scripts you need for operation come via script tags

  38. jonasw

    (and then some strict policy where those scripts can come from etc.)

  39. Syndace

    About the proposed styling XEP: What do you need service discovery for? I thought a key point of this spec was, that it doesn't matter whether the receiver supports this XEP or not.

  40. daniel

    Syndace, yes I agree. I was meaning to propose getting rid of that. but it doesn't really hurt either so and there were more important things to talk about

  41. Flow

    Syndace, even if disco is not required by the protocol, it's still nice that you can use it to get an idea how widespread it is implemented

  42. Syndace

    Flow, but it's a MUST

  43. Flow

    Syndace, and that is problematic because? (Although I can see that a SHOULD may be ok too)

  44. Syndace

    I just personally don't see how the discovery should be used. My $client won't behave any different if it detects support or not. It won't strip out asterisks just because the reveicing person does not advertise support.

  45. Syndace

    IMO it's always a good idea to keep specifications as thin as possible, only including things that are needed for it to work.

  46. Syndace

    And disco is definitely not required for it to work

  47. Syndace

    I mean, all clients available probably support XEP-0030 so its no additional work in that specific case but still, why require something you don't need.

  48. Syndace

    Though I'm fine with looking at more important things first, as danial said

  49. Flow

    Syndace, as I said, it allows you to get an impression how widespread the xep is implemented

  50. Flow

    You may argue that it's more overhead for little benefit, but I think I would disagree with that

  51. moparisthebest

    if it's just for "an impression for how widespread it's implemented" then it should go away

  52. moparisthebest

    that's what looking at code is for, it's not like there are so many clients you can't tell

  53. Guus

    Discussions like these are why we can't have nice things, guys. Lets fine-tune later.

  54. zinid

    Guus: for example? :)

  55. Guus

    zinid: we (myself included) are bikeshedding to much, in my opinion. That causes us to not be very productive, which in turn fuels the argument that XMPP is outdated / obsolete.

  56. Guus

    I feel that we need to build momentum.

  57. moparisthebest

    rushing crappy specs to production is a problem at the other end of the spectrum though

  58. zinid

    isn't all this xhtml/mardown rantings a bikeshedding? :)

  59. dwd

    moparisthebest, I'd love our problem to be that we design and implement things too quickly.

  60. dwd

    zinid, Much of it, yes.

  61. zinid

    like this is the most serious problem in xmpp?

  62. zinid

    where are the priorities?

  63. zinid

    we don't have avatars working goddamit

  64. Guus

    moparisthebest: now that I have you: could you enlighten me on a SSHL confusion that I have

  65. Guus

    did the config file syntax change between 17 and 18, or am I missing a file?

  66. moparisthebest

    it didn't change, but the sni/alpn stuff was added in 18

  67. moparisthebest

    and you used to be able to get away without a config file and specify everything as command line args, but with alpn/sni you need the config file

  68. Guus

    aaah! Then that's likely it.

  69. moparisthebest

    I need to write up the page on the wiki again, I just lost everything and haven't got around to it

  70. Guus

    I think I got confused by the duplicate file name of /etc/default/sslh.conf and a missing file that likely should go in /etc/sslh ?

  71. moparisthebest

    normally it's /etc/default/sslh (which is a shell script) and /etc/sslh.conf or /etc/sslh/sslh.conf which is the config file

  72. moparisthebest

    not sure how debian packages it these days though

  73. Flow

    Guus, I don't think that this is the reason we are not productive

  74. moparisthebest

    Guus, until I get around to it there is a bit of an explanation here: https://wiki.debian.org/InstallingProsody#XMPP_over_HTTPS

  75. moparisthebest

    even though the section title is totally wrong, just ignore that :)

  76. Guus

    Thanks

  77. Guus

    Flow: every bit helps.

  78. Flow

    The reason is that we try to reach consensus on an to early stage. It should be normal to have multiple (partly) competiting experimental XEPs

  79. Flow

    It would probably help to get the MUC-NG thing that is currently restricted to just what MIXs experiments with

  80. dwd

    We should write a new file transfer protocol, too. Been a while since we did one of those.

  81. moparisthebest

    also how about SRV records for connecting over QUIC

  82. Kev

    Bittorrent is hot, I hear.

  83. dwd

    Kev, Not obscure enough for us. Maybe IPFS over XMPP?

  84. Ge0rG

    Can't we just add our chat messages to the blockchain and call it a day?

  85. Kev

    dwd: I'm referring to a particular summit discussion. 2007, maybe.

  86. Guus

    Kev: pics or it didn't happen.

  87. Kev

    It's a discussion that would have been better to not have happened.

  88. Kev

    So I'm ok with that.

  89. Guus

    :)

  90. dwd

    Kev, Ah... I think that might be the summit before I started doing anything serious.

  91. Guus

    You've been serious for 10 years now? auch!

  92. dwd

    Guus, Well, serious with XMPP is around 2004, actually. But I don't think I turned up to Summits straight away. Serious with Open Standards more generally goes back to 1997 or so.

  93. edhelas

    serious dwd is serious since 1997

  94. dwd

    Well, when I say "serious"...

  95. mathieui

    https://events.ccc.de/2017/11/04/people-34c3/ btw

  96. daniel

    mathieui: the people I talked to thus far aren't really interested in an actual assembly. (=having a physical space). I just submitted my xmpp talk to the fsfe assembly

  97. mathieui

    well, saying "let’s meet up at time X" should be good enough

  98. Guus

    oh, that's to bad. There's plenty of you going

  99. Ge0rG

    What is the accepted behavior for candidates in the vote on themselves? abstain once and vote 4 others? Vote 5 others? Not vote at all?

  100. daniel

    Just vote for yourself. Who cares

  101. MattJ

    As far as I understand, you're allowed to vote for yourself, so if you think you should be in, vote

  102. daniel

    Except if you believe you aren't suited for the job of course

  103. Ge0rG

    isn't that pretty awkward to candidate for a position you think you are not well-suited for?

  104. daniel

    That's the trump way

  105. Ge0rG

    that's a candidacy everyone else thinks you are not well-suited for.

  106. Ge0rG

    Okay, might be me for Council as well

  107. dwd

    Ge0rG, We have had people stand before specifically to make an election contested.

  108. Ge0rG

    dwd: wow. That's pretty crazy

  109. dwd

    Ge0rG, Presumably they felt they could do the job if selected, but I could see they might vote against themselves.

  110. dwd

    Or might have voted. It was some time ago.

  111. mathieui

    if I understand correctly I have a flamewar to catchup

  112. moparisthebest

    I tried to revive this page if anyone is interested https://wiki.xmpp.org/web/Tech_pages/XEP-0368

  113. nyco

    found this paper, has it been discussed already? https://eprint.iacr.org/2017/666.pdf

  114. SamWhited

    RE Styling, the thing I haven't gotten feedback on so far is the type of styling itself. Does this encompase peoples needs as far as IM goes? (I know some people want a full formatting and layout engine, but that's out of scope)

  115. SamWhited

    Or is it too much even? Eg. is there any point in having ~strikeout~ which I doubt anyone will ever use?

  116. Guus

    SamWhited: I

  117. Guus

    oops

  118. Guus

    I must admit I've not read it in detail, but as far as I'm concerned, a basic set (bold, underline, italic, with perhaps a couple of others) is more than enough for a boatload of usecases, therefor making it a practical XEP

  119. Guus

    There's likely other use-cases, but there's no need for one XEP to rule them all, right?

  120. jonasw

    SamWhited, under the assumption that proper layouting is not possible, I think the things you include there are sufficient.

  121. SamWhited

    Guus: is underline a requirement for you? Having that makes more sense to me than strikeout, but I don't have it right now

  122. jonasw

    I don’t think that underline is a good idea in general.

  123. SamWhited

    yah, I'm not sure how useful that one is either; just slightly more useful than centerline

  124. SamWhited

    (maybe)

  125. jonasw

    I’d say the opposite.

  126. jonasw

    we already have two ways to emphasise things in that protoxep

  127. SamWhited

    That's fair too, semantically they're probably the same

  128. SamWhited

    Now I'm even less sure :)

  129. moparisthebest

    I think _underline_ is supported in gajim though

  130. moparisthebest

    yep, that underlined it

  131. jonasw

    that some client supports it doesn’t make it a good thing

  132. moparisthebest

    why not, specify what's already implemented most places, make them all optional, done

  133. Zash

    you keep repeating "most places/clients"

  134. jonasw

    > We are not typing on typewriters any more. We are using computers. Word processors, HTML, CSS. Underlining means a hyperlink. Period. If you want to emphasize something, use bold, italics, indents, all caps, or any combination thereof.

  135. jonasw

    https://writers.stackexchange.com/a/4680 kinda funny

  136. Guus

    SamWhited: underline is not a requirement for me, but it's somewhat of a default featureset, right?

  137. Guus

    but, to be honest, I don't care to much. My point was: keeping it simple is good.

  138. jonasw

    I don’t think you can do that anymore in e.g. Markown or rST

  139. SamWhited

    Guus: I'm not sure; Slack and Whatsapp don't support it.

  140. SamWhited

    And I think they count as "most things" more than Gajim does.

  141. SamWhited

    I'll leave it off for now for the sake of simplicity; we can add something later if it's a problem.

  142. SamWhited

    Might take strikeout out too

  143. moparisthebest

    SamWhited, what about disco

  144. Guus

    SamWhited: as I said: I'm not bothered by the exact set. I'm just gratefull you're keeping it short/simplish.

  145. SamWhited

    moparisthebest: oh yah, I saw that discussion. I'm fine with removing it.

  146. SamWhited

    Doesn't matter to me either way

  147. SamWhited

    I was going to wait to see if it was accepted or not before pushing more changes

  148. daniel

    > Might take strikeout out too I think the ~ character is rare enough that it won't cause trouble and slack and whatsapp are doing it. So in the interest of making transports work I'd just leave it in.

  149. Zash

    Let me tell you about my ~/stuff

  150. moparisthebest

    that's fine you didn't put it twice

  151. moparisthebest

    wait is ~/stuff/~ a valid path?

  152. daniel

    Zash: that's lacking the closing keyword though

  153. moparisthebest

    I don't think I want to know...

  154. jonasw

    moparisthebest, it is

  155. Flow

    why shouldn't it be a valid path?

  156. moparisthebest

    dangerous to delete :)

  157. Flow

    jonasw, just upvoted https://writers.stackexchange.com/a/4680, nobody needs underline if you don't write on a board or on a paper

  158. jonasw

    Guus, could you cancel the second-newest build please? https://hub.docker.com/r/xmppxsf/xeps/builds/

  159. jonasw

    I may be stupid, but (re styling): > Matches MUST NOT extend over newlines and MUST start with a whitespace character or be the beginning of the line or the byte stream. how does that match with the example "*emphasized*foo*emphasized*" where "foo" is not emphasized?

  160. Guus

    cancelled

  161. jonasw

    Guus, thanks -- even though I don’t see it in the UI yet.

  162. SamWhited

    good eye, that's broken

  163. SamWhited

    I have those rules tweaked a bit based on feedback locally anyways

  164. jonasw

    SamWhited, re standards@: > A 100% solution with no false positives would be great, but I > can't think of a way to do it without significantly more complexity or a > formal markup language (which is against the requirements I drew up > based on previous discussions). what’s wrong with a formal markup language if we’re gonna need a parser which can handle context-free grammars anyways?

  165. daniel

    I'd love to know what matrix is doing and eventually try to convince them to use the same syntax (to make transports) but matrix is impossible to Google

  166. Guus

    (now I _really_ cancelled it)

  167. SamWhited

    jonasw: duplicate content, even more complexity, etc.

  168. jonasw

    IIRC from my compiler construction lectures you need an LR parser for a CFG which is already quite a complex beast.

  169. SamWhited

    It's really not

  170. SamWhited

    I don't think you need an LR parser here though

  171. jonasw

    would have to take a deeper look. In any case, writing down the grammar formally is probably a good idea

  172. SamWhited

    I think we're over thinking this. I've got an implementation which I'll push somewhere soon and it's relatively straight forward.

  173. SamWhited

    I'm not even bothering to build an AST (though doing that would make things much faster)

  174. jonasw

    Guus, yay :-)

  175. Zash

    What's that, just s/\*.*\*/<b>&</b>/ and stick it in innerHTML?

  176. Zash

    Good idea

  177. jonasw

    Zash, you forgot the \b before the \*, they must be on word boundaries (essentially)

  178. SamWhited

    Actually, if I remove escaping and strike out it may be possible to make a few minor tweaks and make this regular

  179. SamWhited

    That would simplify things a lot

  180. jonasw

    hm, doesn’t the precedence of block over monospace over other inline already make this non-regular?

  181. SamWhited

    ah yah, you're right, having block level things probably still make that impossible

  182. Ge0rG

    Just for reference. The last time I tried to escape on slack, I have given up after three futile correction attempts.

  183. SamWhited

    That's probably a good reason to remove the escape chars

  184. Ge0rG

    Maybe there are no escape chars on slack, and this is why I failed. We'll never know.

  185. SamWhited

    I did look at their docs and I don't remember any mention of a way to escape formatting chars

  186. Guus

    At this point, let's publish something and start experimenting with implementations

  187. Ge0rG

    Yeah. You can't escape slack

  188. SamWhited

    Guus: There are at least two implementations already :) (Daniel and I both have one)

  189. Guus

    awesome. This is in Conversations

  190. Guus

    /

  191. Guus

    ?

  192. Guus

    Foo *bar*

  193. SamWhited

    Guus: https://github.com/siacs/Conversations/tree/styling

  194. SamWhited

    It's just an experimental branch

  195. Guus

    ah ok :)

  196. SamWhited

    I don't think it's complete either. I also have one in library form that I will push somewhere "soon"

  197. Guus

    Cool. Let's start gaining experience with this, and discuss it from there.

  198. daniel

    Guus, SamWhited: the current beta has this.

  199. Ge0rG

    I'm sure it will freak out admins, developers and mathematicians

  200. Guus

    let's see if I can hack this in Spark real quick

  201. Guus

    test _foo_ *bar* ~foobar~

  202. Guus

    why's ~this~ bold and strikethrough?

  203. Guus

    ah, doesn't reset

  204. Guus

    okay. Split by whitespace, checking first and last character only - Not what's in the xep, but it'll give me some feelign on how this looks

  205. Guus

    so far, I'm not unhappy.

  206. Kev

    I've not looked at the protoXEP yet, been busy. Is it basically *bold* /italics/ _underline_ ?

  207. SamWhited

    *bold*, _italics_, and ~strikethrough~

  208. SamWhited

    (although I was thinking of removing ~strikethrough~)

  209. Kev

    Can we have /italics/ and _underline_ please? :)

  210. Kev

    If we do that, I have an implementation that predates the protoXEP by about 15 years.

  211. SamWhited

    /italics/ seems nice but also likely to conflict with paths and URLs, Slack and Whatsapp both do _italics_ so I felt it was best to immitate what they were doing, but I coudl be convinced otherwise

  212. Kev

    Slack and Whatsapp both annoy me for getting this wrong :)

  213. SamWhited

    I'd rather follow convention unless there's a compelling reason not to

  214. SamWhited

    (but I do agree that I think those make more sense)

  215. Kev

    See above - I've got about 15 years of convention for you :D

  216. Kev

    But it depends what you want.

  217. Tobias

    but silicon valley knows better

  218. Kev

    If what you want is an input format, it doesn't matter much.

  219. Kev

    If what you want is something that falls back to plain text gracefully, then /italic/ and _underline_ are better.

  220. dwd

    Kev, Gajim also does *bold* /italics/ and _underline_, but no ~strikethrough~.

  221. Guus

    /italics/ is sooo 1997

  222. Guus

    I've not seen that since.

  223. dwd

    Guus, Yes, and your point?

  224. Guus

    who said I had a point?

  225. SamWhited

    I'm not sure that they are better though, regardless of how nice they look people are used to Slack and Whatsapp I think. Then again, I'm not sure it really matters all that much either way.

  226. Kev

    SamWhited: Except Slack never renders this.

  227. Kev

    If you send *something* in Slack, you only ever see the bold, not the surrounding *

  228. Kev

    So people aren't used to seeing _somethingitalic_

  229. SamWhited

    Oh yah, it's a tiny bit different, but as far as the characters that people type goes they're used to writing _italic_

  230. Guus

    (I like how this is rendering for me now :P )

  231. SamWhited

    I assume… I haven't used Slack except very briefly, I just read their docs.

  232. Zash

    You beat

  233. Kev

    I'm used to writing /this/ in Slack and wondering why they don't support italics.

  234. Zash

    You mean <i>hello</i>path/ is what you see in places

  235. Kev

    This is not a hill for me to die on, but if we've got a 15 year old convention in existing clients, it seems weird to break that.

  236. SamWhited

    yah, I would say this is entirely bike sheddy, except that I do think the /path/to/foo is potentially an actual problem

  237. SamWhited

    What clients do this convention?

  238. SamWhited

    Gajim? Any others?

  239. dwd

    Kev, I have to admit that although /italics/ is far more natural to me, I never use it (or _underline_ either).

  240. Kev

    I put it in Psi about 15 years ago.

  241. moparisthebest

    it's not a problem if you leave all the characters always though SamWhited

  242. SamWhited

    That's also fair

  243. SamWhited

    I'm not saying that this should necessarily be a trendy popularity contest, but I suspect more people use Whatsapp and Slack than Psi and Gajim, so if it's just a matter of "people are used to this, it's a convention" then I'd still want to stick with what's in the protoxep now.

  244. jonasw

    people are used to the input convention, not to the wire format (they don’t care about it, but we should)

  245. jonasw

    finally the build finished: https://xmpp.org/extensions/inbox/markup.html

  246. SamWhited

    jonasw: what is the number in span start/end?

  247. jonasw

    it’s explained.

  248. jonasw

    (codepoint in XML character data)

  249. dwd

    jonasw, Read that already when I noticed the github notification. I'm undecided on that approach. I do think some of the failure cases with overlapping spans and blocks and so on are going to be weird.

  250. SamWhited

    ah sorry, I was just looking for that earlier and didn't see it

  251. SamWhited

    What happens if I put it in the middle of a grapheme cluster composed of multiple code points?

  252. jonasw

    SamWhited, it gets split when rendering.

  253. jonasw

    I presume

  254. dwd

    SamWhited, We've used a similar approach in <references/>, BTW.

  255. SamWhited

    *nods*

  256. jonasw

    depends on your rendering engine I think

  257. SamWhited

    I wondered about it in references too actually

  258. jonasw

    I was already wondering whether that is something which can be used as an exploit, but aside from splitting emojis and possibly cutting of accents from letters I don’t see how this could be abused

  259. jonasw

    but then again, unicode is weird.

  260. vanitasvitae

    jonasw: looks nice

  261. Guus

    good job on formulating an alternative, jonasw

  262. vanitasvitae

    jonasw: the introduction seems weird. I'm missing a "this approach thrives to solve the mentioned issues in the following way: ..."

  263. Guus

    on first glance, I'm inclined to prefer the less complex version, but I love to see a documented alternative

  264. jonasw

    vanitasvitae, I always forget that :)

  265. SamWhited

    minor nit: if you're sending an encrypted body this leaks information about the body. Probably not in any significant way, but it seems worth mentioning in the security considerations or somewhere.

  266. jonasw

    Guus, I like the simplicity of the *input format* Sam suggests. I don’t like having it as the wire foramt.

  267. Guus

    jonasw, understood

  268. Guus

    (also, should that have been bold?)

  269. jonasw

    no, my client can only into XHTML-IM and I’m too lazy to do that

  270. Ge0rG

    SamWhited: I think the biggest design failure of omemo is to only encrypt the body...

  271. daniel

    > minor nit: if you're sending an encrypted body this leaks information about the body. Probably not in any significant way, but it seems worth mentioning in the security considerations or somewhere. This is a problem with all the references and annotations XEPs

  272. jonasw

    SamWhited, good point. Admittedly, I was in a bit of a hurry because I only thought of this last night and I felt it’d be good to have the idea out before next council meeting.

  273. daniel

    But as Ge0rG said this is rather a problem with omemo than with those xeps

  274. Kev

    daniel: I think the reverse is actually true.

  275. Kev

    This is a problem with any encryption scheme that only encrypts the body.

  276. Kev

    Ah, which you then said :)

  277. jonasw

    isn’t that what daniel said?

  278. SamWhited

    As I've previously expressed, I think it only makes sense for OMEMO (or anything really) to encrypt text nodes, not actual XML (now you've got a weird mixed-mode stream and that's going to lead to worse security issues later)

  279. jonasw

    right

  280. Ge0rG

    We need to encrypt the meta data finally. That's what the services are after!

  281. Kev

    My hotel wifi here is *not* fast.

  282. SamWhited

    So even if it encrypted more than the body, I don't think it could encrypt this.

  283. SamWhited

    But that's a discussion for another time.

  284. Guus

    I'm off. goodnight everyone.

  285. Kev

    Night.

  286. SamWhited

    o/

  287. jonasw

    nighty Guus

  288. daniel

    > As I've previously expressed, I think it only makes sense for OMEMO (or anything really) to encrypt text nodes, not actual XML (now you've got a weird mixed-mode stream and that's going to lead to worse security issues later) It's a quite complicated problem. That's probably why nobody has solved it yet

  289. Ge0rG

    Mixing data and meta data is known to fail security since Captain Crunch. We should have learned from that by now.

  290. goffi

    jonasw: fantastic proposal, I really love it, thanks a lot for that !

  291. jonasw

    goffi, you’re welcome

  292. SamWhited

    jonasw: we've already discussed this a little bit I think, but what do you see as the benefits of doing it this way?

  293. moparisthebest

    it would be quite neat to do hop-based encryption, like encrypt entire thing so your server knows to send it to otherserver.net but not who@otherserver.net, and that server can see who to send it to but not who it came from or whatever

  294. jonasw

    SamWhited, I’m going to head to bed in a few minutes, so I don’t think we can discuss this at length now.

  295. moparisthebest

    that's getting more onion-routing-y though and is starting to sound like a protocol not-xmpp

  296. SamWhited

    sounds good

  297. Ge0rG

    moparisthebest: that fails for presence

  298. Ge0rG

    moparisthebest: there are protocols not xmpp that do it, like tox

  299. moparisthebest

    well tox is p2p without any hops right?

  300. moparisthebest

    no servers anyway, I think

  301. jonasw

    SamWhited, it provides the protocol break we need to make rich text safer (compared to XHTML-IM) and provides the formality which is needed to make it future-proofer (compared to ad-hoc text formats).

  302. Zash

    moparisthebest: p2p in the real world has servers, only they call them super nodes or something

  303. jonasw

    SamWhited, I think that we shouldn’t be mixing input conventions with wire-level markup.

  304. SamWhited

    jonasw: why not?

  305. jonasw

    this is somewhere between a matter of design principle and concern about interoperability.

  306. jonasw

    because input conventions only matter for humans, and may differ between different user interfaces

  307. SamWhited

    I don't see why interoperability would be better or worse with an XML based wire format vs. a plain-text-with-magic-characters based wire format

  308. moparisthebest

    I'm saying like xmpp setup is like A (client) -> B (server) -> C (server) -> D(client)

  309. moparisthebest

    B only needs to know it's coming from A and going to C, not about D, C only needs to know it's coming from B and going to D, not about A

  310. SamWhited

    I'm actually worried that making it more extensible and "future proof" as you put it will be a bad thing here. It's not necessary and I suspect will just lead to feature bloat in the long run

  311. jonasw

    SamWhited, when you start to define new meta-characters or obsolete existing ones, the messages are interpreted differently.

  312. moparisthebest

    and any content besides those specific routing instructions can be encrypted e2e so only A and D can see them

  313. SamWhited

    jonasw: that doesn't bother me at all

  314. jonasw

    SamWhited, I know.

  315. jonasw

    that’s what worries me.

  316. SamWhited

    that's already what happens when I add a new smiley or something, and it's a minor anoyance at worst

  317. Ge0rG

    It's a consistent annoyance.

  318. SamWhited

    True, but still a minor one.

  319. jonasw

    I don’t see why we have to buy that minor annoyance which is simply going to happen (I don’t approve of messengers which replace text with emoticons either, by the way) if there are alternatives.

  320. daniel

    fwiw i do see the benefit of jonasw approach. but i don't see me implementing this anytime soon due to the omemo problem

  321. SamWhited

    If there were good alternatives I'd agree, but I think the trade offs on the alternatives are worse.

  322. SamWhited

    And if it weren't such a minor problem that doesn't affect most people

  323. Ge0rG

    daniel: fix omemo then...

  324. jonasw

    SamWhited, let’s turn this around, what’s your problem with my approach?

  325. daniel

    Ge0rG, i do make some money with Conversations. but unfortunatly not enough to go down *that* rabbit hole

  326. SamWhited

    jonasw: It's a lot more complexity. How does it interact with message editing, for example?

  327. SamWhited

    How does it interact with OMEMO, OTR, etc? Does it leak information?

  328. jonasw

    SamWhited, do you mean message correction?

  329. SamWhited

    yah, that one

  330. jonasw

    message correction is clear on that one: the new <message/> replaces the old

  331. jonasw

    so you’d include the markup again.

  332. Ge0rG

    SamWhited: the corrected message needs to have its own markup xml

  333. SamWhited

    ah yah, that one actually makes sense I suppose

  334. jonasw

    SamWhited, interaction with OMEMO and OTR etc. is at least better than with XHTML-IM (instead of leaking the full plaintext (hi pidgin!) or having no markup at all, you can leak only the markup or have no markup at all. that’s a step forward or so...)

  335. daniel

    Ge0rG, also my last attempts in starting a discussion on stanza content encryption didn't go anywhere

  336. Ge0rG

    SamWhited: also you can just strip the markup and still have human readable body

  337. SamWhited

    Ge0rG: You can do that in either case

  338. Ge0rG

    And screen reader readable

  339. moparisthebest

    or, with SamWhited 's approach, you can do nothing and still have a human readable body

  340. Ge0rG

    And no false positives

  341. Ge0rG

    moparisthebest: for a limited subset of "human readable"

  342. jonasw

    daniel, can you point me to it? I can’t find it in my local archives.

  343. jonasw

    (a subject line or keyword to search for will do)

  344. moparisthebest

    works for everything else so

  345. SamWhited

    Anyways, I'm not saying that this is bad, just more complex and I don't see any significant benefit that's not outweighed by the disadvantages.

  346. moparisthebest

    I might have just missed it but is &gt; 1 index/character with respect to start/end or 4 ?

  347. jonasw

    moparisthebest, 1.

  348. jonasw

    "XML character data" => entities are already decoded

  349. jonasw

    sane XML parsers won’t hand you entities anyways

  350. Ge0rG

    But it seems that different users apply different weights to different disadvantages

  351. moparisthebest

    I saw XML character data, I didn't know what that meant though

  352. jonasw

    moparisthebest, in short, that what your XML library hands you when you ask for an elements text.

  353. moparisthebest

    the main disadvantage is all clients have to implement this or any formatting is lost

  354. moparisthebest

    wheras if I say something *really* important

  355. moparisthebest

    you get it regardless

  356. daniel

    jonasw, mail is in the 'omemo discussion summary 2017' thread and my particular mail is from june 22nd

  357. jonasw

    moparisthebest, that’s the better case I think

  358. jonasw

    moparisthebest, with Message Styling, all *sending* clients have to implement it or their message may be incorrectly and unexpectedly formatted

  359. moparisthebest

    no, sending clients don't have to implement it at all

  360. jonasw

    if we’re going to have incompatibilities between markup interpretation, I prefer them to be vanishing markup instead of markup which apperas out of nothing

  361. moparisthebest

    no one is using a WYSIWYG editor to bold something

  362. moparisthebest

    they are just typing *bold*

  363. jonasw

    moparisthebest, they do, if they don’t want their line which starts with "> " to be interpreted as blockquote.

  364. jonasw

    moparisthebest, you’re assuming that all clients are operated by humans.

  365. moparisthebest

    I feel like a broken record here, but again, everything has been doing it since way before xmpp

  366. moparisthebest

    so people are used to it, and it's fine

  367. jonasw

    anyways

  368. jonasw

    as promised, heading to bed

  369. moparisthebest

    email for example, IRC for another

  370. Ge0rG

    moparisthebest: and the sending client can convert that to bold in the input line and send well defined wire format. Or you can press undo and send ** instead

  371. SamWhited

    Yah, it seems like it's been firmly in the "good enough" category for many, many years.

  372. moparisthebest

    hmm then I have to care though

  373. daniel

    i can see myself adding jonasw markup to outgoing unencrypted messages on top of SamWhited's styling

  374. daniel

    it doesn't hurt

  375. Arc

    Tobias: IRT xep0385, I have an objection to table 2. First and most notable, Opus is an IETF standard for audio and was left out entirely.

  376. moparisthebest

    I do immensly prefer jonasw's solution as opposed to duplicating the text in a different element

  377. SamWhited

    I agree with that

  378. moparisthebest

    in fact, add all the xhtml-im features to that and publish

  379. SamWhited

    I do not agree with that and see it as the most significant downside to the spec

  380. moparisthebest

    it feels like a mandatory whitelist kind of

  381. moparisthebest

    I suppose mr. evil could still include <script> directly in the body

  382. moparisthebest

    but I guess that's always a danger for a dev dumb enough to .innerHTML it

  383. Ge0rG

    And then a client needs to put styling into the body, markup into a related xml and add xhtmlim

  384. moparisthebest

    I don't think so

  385. pep.

    moparisthebest, what you type as your input doesn't have to be what the client sends verbatim. If you want to use markdown (or whatever else, poezio uses ^C<key>) as your input format, fine. But don't send that on the wire and let the receiving client decide on what/how to display it

  386. moparisthebest

    pep., I get it, and totally agree for complicated formats, but don't overcomplicate something simple that has existed since before xmpp

  387. pep.

    How does that change anything to what I just said above. As a client I still want to decide what I display

  388. moparisthebest

    pep., do you understand that I meant to emphasize *this* in my message though?

  389. pep.

    "it's always been how we've done and it works fine". I don't have an example offhand but I'm sure this is not the best argument out there

  390. moparisthebest

    or do you need some fancy wire protocol to understand that?

  391. moparisthebest

    for the limited subset of markup in that one particular xep, it works perfectly fine

  392. pep.

    Still, what if I don't want to understand it, what if I can't understand it

  393. moparisthebest

    if you want to get more complicated, do so in some other way

  394. pep.

    As it's been said on the list already

  395. moparisthebest

    then I guess tough?

  396. moparisthebest

    at least you had a better chance than if you didn't get ** because your client didn't implement fancy-new-xep

  397. pep.

    Nice for an eXtensible protocol

  398. pep.

    SamWhited, Example 8, isn't the nested version missing a space?

  399. pep.

    Or maybe the sentence above can be reforumlated a bit

  400. SamWhited

    pep. no, I need to clarify that. If you parse the outer quote as a block, then parse the inner quote then it's the "start of the byte stream"

  401. pep.

    Or maybe the sentence above can be reformulated a bit

  402. pep.

    k

  403. SamWhited

    at least, that's how it ended up working in my little parser which recursively parses inside blocks, and it seems sane

  404. SamWhited

    I was debating if I needed to be strict about specifying that though or if that's just going to confuse people. Overspecifying is sometimes as bad as underspecifying.

  405. pep.

    But then some clients might render "> > " different from ">> "

  406. daniel

    SamWhited: the XEP could probably use a few more complicated examples at some point. Like something people could copy past into their unit tests

  407. SamWhited

    daniel: agreed. I started on a unit test suite as well which I'll push when I push out my implementation

  408. daniel

    But we should nail down the syntax and test everything a little bit more before going through the troubles

  409. SamWhited

    Indeed

  410. SamWhited

    Conveniently, the commonmark parsing rules are basically the same (I mostly stole them), so you can test things (albeit with slightly different characters) using their tools more or less

  411. SamWhited

    http://spec.commonmark.org/dingus/?text=no%20format%0A%0A%3E%20%60%60%60%0A%3E%20Preformatted%20text%20to%20the%20end%20of%0A%3E%20the%20block%20quote%0A%60%60%60ignored%20(not%20sure%20about%20adding%20this%20to%20the%20XEP%20or%20not)%0A%3E%20preformatted%20to%20the%20end%20of%20the%20body%20(not%20a%20block%20quote)

  412. moparisthebest

    pep., point is people have typed like this since before xmpp, type like this now, and will type like this later, whether someone standardizes the rules or not

  413. moparisthebest

    what exactly is the problem with it? not enough XML?

  414. SamWhited

    I think I'm going to move the block/span stuff into implementation details and make that non-normative. If a few clients have incompatible edge cases it's no worse than today (where lots of clients effectively implement this slightly differently), then I can still provide guidance without overly limiting people. </thinking outloud>

  415. pep.

    moparisthebest, you pollute the plaintext. As people have said already: it's not easily interoperable. Once you say italic is not // not __ anymore, what happens to __? people will still continue to display both because "tough luck"? (as you say) Not easily extensible. Adding more and more meta-characters removes choices from the selection of characters I can use to type text. Maybe for you it is "human readable", and for others in your own circles, but that's the extent of it. You are not taking into account other people, bots, you are not taking accessibility into account.

  416. SamWhited

    "not easily extensible" is a feature.

  417. pep.

    So you're fine cluttering client markups until the end of times

  418. SamWhited

    yes, although I wouldn't phrase it that way

  419. moparisthebest

    right you don't want it extendable at all

  420. moparisthebest

    it's a de-facto standard anyway

  421. pep.

    no it's not

  422. pep.

    I was reading just above Kev uses // for italics

  423. pep.

    You are using __

  424. moparisthebest

    this happens and will happen regardless of if we standardize

  425. pep.

    moparisthebest, no that's the point

  426. moparisthebest

    yea, I don't think it matters, I also use /italics/

  427. pep.

    if we standardize it shouldn't happen

  428. moparisthebest

    gajim supports that by the way

  429. pep.

    That's the whole point

  430. SamWhited

    pep. I think he meant that most things are already using some kind of indicator in the text and people will keep doing that. Not the specific indicators

  431. moparisthebest

    yes

  432. moparisthebest

    I mean most people write like that anyway, regardless of any client support

  433. moparisthebest

    and then also lots of xmpp and non-xmpp clients mark it up based on those

  434. pep.

    SamWhited, agreed, people have been using that, and as I said above I wouldn't mind the client using it as input, but I really not keen on sending that on the wire

  435. moparisthebest

    that's fine for something that isn't already widely used I guess

  436. SamWhited

    My IRC client, one of my XMPP clients, my email, and probably other things I'm forgetting already send that on the wire and it works pretty well.

  437. moparisthebest

    and as you said slack and whatscrap

  438. pep.

    No, it works for you and your circles, because they know

  439. moparisthebest

    I thought whatscrap was for the mom's of the world

  440. SamWhited

    It also works for every non-technical person who uses whatsapp that I know (and that's a lot more than the technical people in my XMPP circles)

  441. pep.

    Slack people don't know, Mattermost people don't know

  442. pep.

    They only have to click

  443. pep.

    normal people don't use IRC so I think I can safely discard that one. Or they use some fancy client that handles that for them, still you rarely see non-technically people willingly use it, Same for email actually, it's not the same usage at all between technical and non-technical people

  444. pep.

    Non-technical people often send html and there you have rich content

  445. pep.

    (and fancy colors, eww)

  446. moparisthebest

    are you saying XMPP has more users than email and IRC ?

  447. Ge0rG

    Non technical people don't use the markup characters in normal use, because they don't need to paste directory paths nor math formulas

  448. moparisthebest

    because uh, seems wrong

  449. pep.

    moparisthebest, not "more"

  450. pep.

    Different kind of users I believe, or at least aiui that's a target for the XEP

  451. pep.

    Because Slack and Whatsapp are cited a number of times

  452. moparisthebest

    what kind of users are you trying to target who's needs aren't met? I'm confused

  453. moparisthebest

    because you mentioned IRC which is more technical and whatsapp which is the exact opposite

  454. moparisthebest

    both implement this same thing

  455. pep.

    No I'm just trying to extrapolate who you are thinking the XEP is targetting

  456. pep.

    I didn't mention IRC, Sam did

  457. moparisthebest

    everyone on the internet does this type of thing

  458. moparisthebest

    ‎[04:48:57 PM] ‎pep.‎: normal people don't use IRC so I think I can safely discard that one.

  459. pep.

    Yes, read a sentence above now

  460. pep.

    SamWhited> My IRC client, one of my XMPP clients, my email, and probably other things I'm forgetting already send that on the wire and it works pretty well.

  461. moparisthebest

    I've never heard of an IRC client with a WYSIWYG editor

  462. moparisthebest

    they don't even have passwords without messaging a bot

  463. pep.

    maybe you don't know about sasl, but that's how of the scope for tonight

  464. moparisthebest

    that's a super recent extension not everything implements though :)

  465. moparisthebest

    and server-side, it still gets passed through to the nickserv bot

  466. SamWhited

    This went really off the rails in the time it took me to discuss something at work and then come back :)

  467. SamWhited

    I'll be interested to read the backlog and see how it got to SASL

  468. moparisthebest

    bottom line is if it's good enough for email, IRC, and whatsapp, then it's fair to say it's good enough for xmpp

  469. pep.

    SamWhited, same here :/

  470. moparisthebest

    because that covers the gamut of *all* internet users

  471. Kev

    SamWhited: No, it wouldn't.

  472. Kev

    No, you won't, rather.

  473. moparisthebest

    I'd love to hear about the internet user that doesn't use email or whatsapp

  474. Kev

    You might think you will, but it'll be a big disappointment when you get there.

  475. pep.

    Kev, :)

  476. SamWhited

    drat

  477. Kev

    OTOH, I just found a presence leak in 6121, so that's nice.

  478. SamWhited

    oh fun

  479. Kev

    Actually, it's not a presence leak, just an inconsistency. Drat.

  480. pep.

    SamWhited, otherwise, if you have time to answer my direct reply to your comments that'd be nice

  481. lovetox

    i could live with both approaches, if Sams approach is *really* simple, so nothing fancy like lists and stuff, keep it simple and readable even if a client doesnt support it

  482. SamWhited

    pep. direct reply?

  483. pep.

    like the small block of text before moparisthebest barged in

  484. moparisthebest

    hey I've been here the whole time :P

  485. moparisthebest

    oops :P was sent as text and rendered as a smiley, need a xep and new wire format

  486. SamWhited

    pep. I don't see it

  487. lovetox

    jonasw, approach i like because i dont need to write parsers for that, seems simple and its more of a replacement for xhtml

  488. pep.

    SamWhited, https://bpaste.net/raw/14760ce8f04d

  489. moparisthebest

    lovetox, completely agree there

  490. SamWhited

    Please hold, asking a friend who knows nothing about computers "How do you make text bold in Whatsapp?" to see what they say

  491. pep.

    SamWhited, yeah, one example won't discard all of this. I do agree I don't have statistics on this, but neither do you

  492. pep.

    SamWhited, yeah, one example won't discard all of this. I do admit I don't have statistics on this, but neither do you

  493. lovetox

    Sams approach also seems like a: Many clients do this anyway so lets make a XEP out of it

  494. moparisthebest

    yea, why not?

  495. edhelas

    because sometime it's not because a lot of persons are doing something that it's good ?

  496. lovetox

    i dont really feel that this needs a xep, a client can show this that way and have a config option to turn it off like gajim has for proably a decade

  497. SamWhited

    lovetox: I more or less agree with you, but I was told that we can't deprecate XHTML-IM until there's an alternative (and maybe if nothing else this will introduce a little consistency or broaden support for simple formatting)

  498. SamWhited

    pep. in that case if you're allowed to argue with no data and I'm not allowed to at least ask around, I'm not sure how you want me to respond to that. I don't think it's a problem, people use whatsapp, it does this. I don't think it has a bold button on Android (unless they've added one), and people still send bold text.

  499. SamWhited

    The people who really, really won't understand this aren't likely to use it, so no harm done. Unless you can demonstrate somewhere with a high rate of false positives where it would cause confusion?

  500. SamWhited

    Or, alternatively, people who really won't understand this can use a client with a bold button.

  501. pep.

    re: no data, fair enough.

  502. pep.

    Then I don't understand why you absolutely want to pass this on the wire

  503. lovetox

    i dont feel strong as other people about your approach because i simply think it will change nothing

  504. lovetox

    clients use this formatting already, and will conitnue

  505. SamWhited

    pep. because it's less complicated than adding an entirely new wire format, does what clients already do and what (I suspect, with limited data as you pointed out) people are already used to

  506. SamWhited

    It also follows a convention that's been in use for a long time across multiple types of media

  507. lovetox

    i think people will likely accept it more if its a : lets write down the status quo

  508. lovetox

    but if you mean, lets extend it later and add all kinds of stuff

  509. lovetox

    then i think jonas approach is better

  510. SamWhited

    I specifically want it to *not* be extended later with all kinds of stuff.

  511. pep.

    SamWhited, why?

  512. SamWhited

    pep. because that's the trap we always fall into: make everything as complicated and as extensible as possible. This leads to incompatibilities between clients, makes things harder to implement, etc.

  513. lovetox

    pep. because you get more and more styling elements into the plaintext

  514. SamWhited

    I want styleing, not layout

  515. SamWhited

    *styling, even

  516. pep.

    SamWhited, I am not willing to sacrifice <body> over a "I don't want to complicate things", I don't think that's something we can come back from

  517. SamWhited

    pep. it's already something people are doing, you're not changing or sacrificing anything.

  518. SamWhited

    It works today, it's simple, people are used to it. That's "good enough" as far as I'm concerned.

  519. edhelas

    jonasw interesting approach :)

  520. pep.

    I definitely prefer it to Styling as well. I find the whole thing futile in the first place, but I understand the security concerns and I think jonasw's proposal covers it

  521. Arc

    SamWhited: I think jonasw's approach is overcomplicated, however, it has some interesting side effects.

  522. Arc

    im trying to remember it, but there was a XEP published about a year ago (?) that allowed you to updated a previous message

  523. SamWhited

    Arc: we briefly discussed the message replacing one, you'd have to fully replace the message and the new one would have to have its own offsets

  524. SamWhited

    Unless this was something different?

  525. Arc

    what if it only updated the markup, or added to it.

  526. Arc

    something like this would have to survive numerous tests, such as whiteboarding

  527. Arc

    yours is obviously simpler, and I agree that its a good thing.

  528. Arc

    frankly i think this whole issue is a bikeshed that's only going to rage on until everyone's exhausted and the issue is dropped again

  529. Arc

    im sitting next to our UX guy and he's hard eyerolling at the whole issue

  530. pep.

    I think that's just a waste of time and we have other more interesting things to tackle

  531. Arc

    i think tackling xhtml-IM is important. but yes there's so many other issues.

  532. Arc

    the construction workers still need their bikeshed.

  533. SamWhited

    Yah, really this whole thing only exists because for some reason people think we can't deprecate XHTML-IM until there's something else vaguely similar

  534. Arc

    i like that inline images are no longer included in either proposal.

  535. pep.

    SamWhited, I think deprecating XHTML-IM is not the answer in the first place and that's what started this whole holy war.

  536. Arc

    pep.: there's strong feelings on either side of it. but the core point remains, until someone has solved the core issue with xhtml-im it is *not* worth user security for the rarely used features it offers

  537. Arc

    xhtml-im has had a decade of real world use, and the security issues are yet to be solved. most don't even try. that's the issue.

  538. SamWhited

    Indeed :(

  539. pep.

    Well if they don't even try they're not going to try much more with other implementations. But I've already been told to shut up for whatever reasons

  540. SamWhited

    pep. that's why we need specs that just don't have the same fundamental flaws, so that people who just don't try (or who do try but make a mistake) are less likely to shoot themselves in the foot

  541. Arc

    or in this case, shoot all their users in the foot.

  542. pep.

    Then I guess XHTML-IM is not the only XEP you should tackle, I hope you have time for the rest of every single XEP that tries to display something to the user

  543. Arc

    we're getting slaughtered on the UX front.

  544. daniel

    By the way. Conversations now supports code blocks as well. The next stable release will probably be tomorrow or the day after. And then we will get some real world feedback on the styling thing

  545. pep.

    And more cluttury interface :( I already hate the blockquote thing

  546. pep.

    When I don't explicitely ask for it

  547. Arc

    pep.: i agree there are many. and I think there's a large interest in addressing them, xhtml-im is just a low hanging fruit with massive security issues

  548. pep.

    I think jonasw's proposal answers the security concerns fairly well though

  549. pep.

    It may still be improved, but that's a step forward

  550. SamWhited

    pep. yes, both address the concerns with XHTML-IM as far as I can see.

  551. Arc

    I don't dislike his proposal. I see merits in it. We're not going to resolve it today, there'll be some time to consider and discuss.

  552. SamWhited

    daniel: nice, that was quick. I still haven't built the branch so maybe I'll just wait now

  553. pep.

    Arc, as you said earlier, I only see this resolve itself when everybody gets tired of it and one of the sides gives way

  554. pep.

    (or maybe it wasn't exactly what you meant)

  555. Arc

    there's a number of young XEPs now that deal with ranges demarking substrings within message bodies

  556. Arc

    pep.: not exactly. you and I? we're not client authors.

  557. Arc

    daniel is. he and others have the final say, regardless of whatever is published in the XEP. ideally the XEP that gets promoted reflects the consensus that evolves out of this discussion.

  558. pep.

    I liked goffi's point btw, against the "You can have the plaintext version differ from the rich content if you include both".

  559. pep.

    Arc, well he gets the final say for his client

  560. pep.

    And his client only. That will probably influence other clients though, or the war might continue to rage, I don't know

  561. Arc

    pep.: do you author a client?

  562. pep.

    In the process of

  563. Arc

    oh neat, what platform is it for

  564. Arc

    everything we're working on is web-based, tho i have next to no involvement with the frontend.

  565. pep.

    We're still a bit far to say that, I guess it'll run on whatever the authors use primarily. The code is in Rust, I'm not sure about the frontends yet, we're sorting the xmpp stuff out first

  566. Arc

    great to hear about someone using Rust, its a very cool language

  567. pep.

    It is indeed :)

  568. SamWhited

    nice; my little toy client is also in Rust, but I've never gotten it far enough along to want to publish it.

  569. Arc

    its a shame they haven't trimmed it down for embedded use tho, I'm still waiting on that

  570. pep.

    Arc, there are quite a few use cases for it in embedded already from what I hear, but I have no experience in it

  571. SamWhited

    Arc: you can actually build without the standard library which is where all the stuff that relies on the OS lives and you end up with a minimal core library which works great on embedded hardware

  572. Arc

    SamWhited: oh really? do you have a link to that?

  573. SamWhited

    yah, just a moment

  574. pep.

    You heard about TockOS? Also as SamWhited says, have a look at https://github.com/japaric/xargo

  575. SamWhited

    I'm not sure if there's a section in the rust book yet, but the stripped down version of the standard library with no OS stuff is called "core"

  576. pep.

    There's a guy that's quite keen on doing embedded stuff in the Cambridge Meetup

  577. SamWhited

    Arc: https://doc.rust-lang.org/book/first-edition/using-rust-without-the-standard-library.html might help

  578. pep.

    https://github.com/thejpster/stellaris-launchpad

  579. Arc

    Cambridge UK or Boston?

  580. pep.

    UK

  581. Arc

    SamWhited: that's excellent, i'll run some tests later

  582. Arc

    oh, and can you bundle assembly with rust?

  583. Arc

    either in-line or linked in different source files

  584. Arc

    sorry im lazywebbing

  585. SamWhited

    You can, search for the "rust nomicon", I think that has a chapter

  586. Arc

    https://doc.rust-lang.org/1.12.0/book/inline-assembly.html

  587. Arc

    very nice.

  588. SamWhited

    Obviously all safety guarantees go out the window at that point :)

  589. SamWhited

    Rust is a cool language, I wish I had more reason to use it day to day

  590. pep.

    I wish I had more opportunities, reasons I have plenty of :P

  591. Arc

    SamWhited: things like bitpacking and hashing routines are things i regularly optimize for

  592. Arc

    well. "regularly" is an overstatement. but still.

  593. Arc

    SamWhited: move to Portland, lets give you reasons to use it daily :-)

  594. SamWhited

    Arc: I can't, I watched the TV show and now I can't go to Portland without laughing uncontrollably

  595. SamWhited

    Also, I'm reasonably sure that it's a fictional place and that no one actually lives in Oregon.

  596. Arc

    Portlandia is unfortunately closer to the truth than any of us are comfortable with, but it is a real place.

  597. SamWhited

    If that show is any indication it actually reminds me a lot of Austin

  598. Arc

    I've heard that as a comparison, but Portland is certainly weirder. For example, Austin doesn't have nude beaches that are a central social spot to just hang out

  599. vanitasvitae

    Is anyone else getting the permanent notification that Flow isnt typing anymore in conversations?

  600. Arc

    or this (NSFW) https://pdxwnbr.org in which naked people basically take over the city, walk into a random convenience store or cafe and you're likely behind someone in their birthday suit

  601. SamWhited

    Arc: hah, I've heard of that, sounds… interesting.

  602. Arc

    CTRL-H held an after-party this year where naked people took over the hacker space

  603. SamWhited

    In a hacker space full of laiths and laser cutters a naked after party just seems dangerous …

  604. Arc

    the main room is a big coworking space and lounge. that's where I am now. all we have here is an occulus rift and a few 3d printers, totally fine for parties

  605. Arc

    ctrl-h is 5 buildings and a shared backyard.

  606. Arc

    http://www.sheut.net/CTRLH-2017-11-07.jpg