« first day (1238 days earlier)      last day (3696 days later) » 

10:59 AM
 
@PauloCereda Morning
 
@JosephWright Good morning, good sir! :) How are things? :)
 
@PauloCereda I'm at work
 
@JosephWright Oh no. :( Exploding things, at least?
 
@PauloCereda No, interview day for prospective students
 
11:02 AM
@JosephWright Oh cool! :) Any TeX-related question?
 
@PauloCereda No: I'm not interviewing in any case (demos for me)
 
Hey I heard in the dark alley that picture mode has a bug!
@JosephWright ooh! :)
@DavidCarlisle: ^^
 
@JosephWright Or prospective bombers.
@PauloCereda Documented feature.
 
11:22 AM
@egreg Oh! :)
Yesterday I left São Paulo hungry (no time to have dinner), wet (because of the heavy rain), tired (traffic), and sick. :) And arrived home at 1:30AM. :)
 
@PauloCereda Wow, really a nice trip! It reminds me of this movie: imdb.com/title/tt0066193/?ref_=nm_flmg_act_44
 
@egreg :)
 
@PauloCereda Do you know that movie?
 
@egreg I actually do! :)
@egreg: there's a line about living out town, and the guy says, "you are lucky". :)
 
@PauloCereda :)
 
11:34 AM
@egreg Pretty much my thoughts. :) I had an excellent fish for lunch, though. :)
@egreg: oh and the menu was written in Italian! :)
 
@PauloCereda So you couldn't understand your own order.
 
@egreg au contraire. :)
@egreg: it was a "merlano napoletano". :)
 
@PauloCereda no it was a new user makng a syntax error.
 
@DavidCarlisle ooh a newbie! :)
 
11:49 AM
@PauloCereda yes he's only had 30 years experience
 
@DavidCarlisle :P
 
@PauloCereda Never heard of it.
 
@egreg Neither did I. :) Apparently, baked merlano, carrots, potatoes, tomatoes.
 
@PauloCereda Never heard of merlano.
 
@egreg Not an Italian word?! Holy cow!
 
11:53 AM
@PauloCereda Was it merluzzo, perhaps?
 
@egreg No, it's a fish called badejo in Portuguese.
But I dunno its name in English. And now not sure in Italian. :)
 
@PauloCereda The dictionary has merlango (also merlano): Merlangius merlangus
Merlangius merlangus, commonly known as whiting, is an important food fish in the eastern North Atlantic Ocean and the northern Mediterranean, western Baltic, and Black Seas. In English-speaking countries outside the whiting's natural range, the name has been applied to various other species of fish. Description Merlangius merlangus has three dorsal fins with a total of 30 to 40 soft rays and two anal fins with 30 to 35 soft rays. The body is long and the head small and a chin barbel, if present, is very small. This fish can reach a maximum length of about 70 cm (28 inches). The colour m...
 
@egreg ooh that one!
 
@PauloCereda While it is said to live also in the northern Adriatic sea, I've never heard of it.
 
@egreg ooh we could have one for lunch when you come visit me. :)
 
 
3 hours later…
2:42 PM
lalalalalalalalalalala
 
@PauloCereda Na na na na, na na na na, hey hey hey, goodbye
 
 
1 hour later…
3:52 PM
user image
5
made with TeX :)
 
@topskip ooh! :)
 
user image
2
Just implemented this feature yesterday
 
 
2 hours later…
5:27 PM
@topskip Ehi! That's nice!
 
 
1 hour later…
6:34 PM
@topskip *is impressed*
 
7:13 PM
I have to admit it's not LaTeX, but my own baked system. There are some restrictions, but the process works fully automatically.
The system keeps track of used/allocated grid cells calculates the parshape for the text. The allocation of the image is simply based on white / non-white areas.
 
7:59 PM
@topskip Measure the graphic first or line-by-line, and also how is the graphic measured/defined?
@topskip Reason I ask is that I think the l3galley code can manage the shaping quite happily, but the graphic measurement seems to require an external tool, and I then wonder how you tie in line height
 
@JosephWright I preprocess the image first, generate an XML file with the "black" (used) segments
with imagemagick and some Go code
 
@topskip Ah right
@topskip Perfectly logical
 
and then inside the LuaTex run, I generate the parshape parameters
 
@topskip So does the XML know the line height or do you use thin slices and fine the max-per-line in LuaTeX?
 
But I use a grid system anyway
I generate an xml file without knowing the required line height.
 
8:12 PM
@topskip Right: even with a grid you'd still need to know the grid spacing otherwise
 
convert <image> -monochrome -resize 40x40 out.png
and then I get segments and map them to the resulting grid (not 1:1)
The result can be improved by using a finer grid during the convertrun
And this is the Go code:
(first shot, but seems to work fine)
 
 
2 hours later…
10:14 PM
@JosephWright Do you know if Javier Bezos maintains a public development site for babel?
 
@egreg I believe bug reports still go to Gnats via the team site
 
10:37 PM
@JosephWright In the beamer manual (section 17.6), for \setbeamercovered it lists transparent=⟨opaqueness⟩ for one of the options, but the description first uses ⟨opaqueness⟩ and then ` ⟨percentage⟩. Is ⟨percentage⟩` the same as ⟨opaqueness⟩?
 
@NicolaTalbot Almost certainly :-)
 
@JosephWright :-) I'm beginning to think I took on more than I bargained for with this new LaTeX book. It's already bigger than volume 1, and I've only just started on the chapter about beamer!
(5 more chapters to go after that, but I may drop the last one.)
 
@JosephWright Bug report filed.
 
11:19 PM
Hi all! I've been using tkz-graph lately to create graphs. Lately I've been wondering if it would be possible to create a graph where I have pictures inside of vertices, in this case, other graphs (this way could represent say graph decomposition)
I'm pretty sure there is some way to have any image as a background for a vertex or something like that, but what would be a good way to create that? I suppose I probably need to start using tikz instead of tkz-graph here too maybe
 
11:53 PM
My cat seems to be addicted on electronics. She loves sleeping over my tablets and notebooks. :)
 
@PauloCereda I think I'm about to fall asleep on my keyboard! :-)
@Juho I haven't used tkz-graph. I've always created graphs just using tikz directly.
 
@NicolaTalbot Nah, it's not that dangerous. :) You are safaeshzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzz‌​zzzzzzzz
 

« first day (1238 days earlier)      last day (3696 days later) »