294 reputation
39
bio website axel22.github.com
location Lausanne, Switzerland
age 28
visits member for 2 years, 11 months
seen Dec 12 '13 at 5:15

A doctoral assistant at the EPFL and a member of the Scala team, interested in programming languages, data structures, concurrent and distributed computing.


Jun
14
comment XOR and II (concatenation) summation symbols
I saw these guys using concatenation summation: schneier.com/skein.pdf, pages 17,18.
May
27
comment Tikz arrow starting exactly in the center
@Martin Scharrer: Ok, thanks!
May
27
comment Tikz arrow starting exactly in the center
Interesting - I would have thought that shorten shortens the line in the direction it is pointing to. However, what it does is, it just lifts it directly up a little bit, when its starting point is set to center. Thanks!
May
27
comment Tikz arrow starting exactly in the center
@Martin Scharrer: Should that be so in general, or just in figures? The LNCS styleguide says that I should use the verbatim package for code examples.
May
27
comment Tikz arrow starting exactly in the center
You're right, I should do that. I'm on it.
May
13
comment Defining custom labels
Thanks a lot - this can help!
May
13
comment Defining custom labels
Thanks! I was aware of the \linelabel directive, unfortunately, it does not work within figure environments, even if you use \internallinenumbers in the beginning.
May
13
comment Defining custom labels
Brilliant - not only does this work, but it also creates a label inside figure environments, which can be referenced outside of them. This means that I can take lineno's directive \LineNumber and use it to generate a line number within a figure - like this: \customlabel{labelname}{\LineNumber}. Thanks a lot!
May
13
comment Defining custom labels
I was using the lineno package to do line numbering, but defining labels based on line numbers within figure environments doesn't work there. I would settle with defining the line numbers for the labels manually in some way - just so that if something changes, I only have to update the label definitions, and not the refs too. If there is some other, non-label related way to do it, I would be satisfied with that as well.