Top network posts

• 32 find(1): how is the star wildcard implemented for it to fail on some filenames?
• 28 FO-definability of the integers in (Q, +, <)
• 23 Which recursively-defined predicates can be expressed in Presburger Arithmetic?
• 18 For a linear recurrence sequence $(u_n)_{n\geq 0}$, can $\{i \mid u_i > 0\}$ be the set of Fibonacci numbers?
• 13 Rotate a node but not its content: the case of the ellipse decoration
• 11 Default sans-serif for T1
• 11 A zero \parskip and an unusual \paragraph result in overlapping paragraphs
• View more network posts →