Post by Adam FunkThere used to be a decent number of fiction/literature books
(treeware) in modern languages with facing English translation. I wish
they would publish those again.
I've cottoned on that "easy" ain't always what it's cracked up
to be. Kids' books can be a tough nut to crack, 'cause they're
chock-full of words every tyke who grew up speaking the lingo
knows, but us language learners are left high and dry.
(Take "jay" for instance - every little tike in the Golden State
could point one out, but newbies to English? Forget about it!)
On the flip side, I found Bourbaki's French a piece of cake to
read, same goes for a certain Spanish text about markup languages.
(Mind you, I never really hit the books for French or Spanish!)
Maybe we could boil this down to some straight-up advice:
"Keep your nose in the books from your field of expertise!"
|Une théorie Y' est dite plus forte qu'une théorie Y si tous
|les signes de Y sont des signes de Y', si tous les axiomes
|explicites de Y sont des théorèmes de Y', et si les schémas de
|Y sont des schémas de Y'.
|
|C4. Si une théorie Y' est plus forte qu'une théorie Y, tous
|les théorèmes de Y sont des théorèmes de Y'.
|
|Soit R_1, R_2, . . ., R_n une démonstration de Y. On va voir de
|proche en proche que chaque R_i, est un théorème de Y', ce qui
|établira le critère. Supposons notre assertion établie pour
|les relations précédant R_k, et établissons-la pour R_k. Si R_k,
|est un axiome de Y, c'est un théorème de Y' par hypothèse. Si
|R_k, est précédée par des relations R_i et R_i => R_k, on sait déjà
|que R_i et R_i => R_k, sont des théorèmes de Y', donc R_k, est un
|théorème de Y' d'après C1.
|
|Si chacune des deux théories Y et Y' est plus forte que
|l'autre, on dit que Y et Y' sont équivalentes. Alors, tout
|théorèmc de Y est un théorème de Y' et viceversa.
(Is this clicking for me just 'cause I've already got some
math under my belt, or would even Joe Schmoe be able
to wrap his head around it, seeing as Bourbaki's lingo
is as clear as a Silicon Valley startup pitch?)
|Las últimas versiones de WordPress han popularizado entre los
|editores de contenidos el uso de un lenguaje de marcado
|conocido como /Markdown/, al que se identifica como un
|“lenguaje de marcado ligero” (lightweight markup language).
|Y no es la única plataforma de este tipo que puede hacer uso
|de /Markdown/. Dado el volumen de sedes web que se desarrollan
|sobre este sistema de gestión de contenidos, tarde o temprano
|puede extenderse su utilización en la edición y publicación
|de contenidos en otras plataformas.
|/Markdown/ no es el único lenguaje de marcado ligero existente.
|El /CamelCase/ que todavía puede usarse en wikis es otro ejemplo
|de ello. /BBCode/ puede usarse en foros de opinión desde hace
|dos décadas, y fue especialmente diseñado a tal fin.
|Gran parte de la documentación que acompaña a diferentes
|herramientas de software, y que está disponible en internet,
|ha sido etiquetada y procesada utilizando /reStructuredText/.