Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/jaalonso/jaalonso.github.io

Índice de repositorios.
https://github.com/jaalonso/jaalonso.github.io

coq functional-programming haskell isabelle lean logic-programming prolog proof-assistant

Last synced: 16 days ago
JSON representation

Índice de repositorios.

Awesome Lists containing this project

README 

        



Poesías compartidas



 <!--/*--><![CDATA[/*><!--*/

  .title  { text-align: center;

             margin-bottom: .2em; }

  .subtitle { text-align: center;

              font-size: medium;

              font-weight: bold;

              margin-top:0; }

  .todo   { font-family: monospace; color: red; }

  .done   { font-family: monospace; color: green; }

  .priority { font-family: monospace; color: orange; }

  .tag    { background-color: #eee; font-family: monospace;

            padding: 2px; font-size: 80%; font-weight: normal; }

  .timestamp { color: #bebebe; }

  .timestamp-kwd { color: #5f9ea0; }

  .org-right  { margin-left: auto; margin-right: 0px;  text-align: right; }

  .org-left   { margin-left: 0px;  margin-right: auto; text-align: left; }

  .org-center { margin-left: auto; margin-right: auto; text-align: center; }

  .underline { text-decoration: underline; }

  #postamble p, #preamble p { font-size: 90%; margin: .2em; }

  p.verse { margin-left: 3%; }

  pre {

    border: 1px solid #ccc;

    box-shadow: 3px 3px 3px #eee;

    padding: 8pt;

    font-family: monospace;

    overflow: auto;

    margin: 1.2em;

  }

  pre.src {

    position: relative;

    overflow: auto;

    padding-top: 1.2em;

  }

  pre.src:before {

    display: none;

    position: absolute;

    background-color: white;

    top: -10px;

    right: 10px;

    padding: 3px;

    border: 1px solid black;

  }

  pre.src:hover:before { display: inline; margin-top: 14px;}

  /* Languages per Org manual */

  pre.src-asymptote:before { content: 'Asymptote'; }

  pre.src-awk:before { content: 'Awk'; }

  pre.src-C:before { content: 'C'; }

  /* pre.src-C++ doesn't work in CSS */

  pre.src-clojure:before { content: 'Clojure'; }

  pre.src-css:before { content: 'CSS'; }

  pre.src-D:before { content: 'D'; }

  pre.src-ditaa:before { content: 'ditaa'; }

  pre.src-dot:before { content: 'Graphviz'; }

  pre.src-calc:before { content: 'Emacs Calc'; }

  pre.src-emacs-lisp:before { content: 'Emacs Lisp'; }

  pre.src-fortran:before { content: 'Fortran'; }

  pre.src-gnuplot:before { content: 'gnuplot'; }

  pre.src-haskell:before { content: 'Haskell'; }

  pre.src-hledger:before { content: 'hledger'; }

  pre.src-java:before { content: 'Java'; }

  pre.src-js:before { content: 'Javascript'; }

  pre.src-latex:before { content: 'LaTeX'; }

  pre.src-ledger:before { content: 'Ledger'; }

  pre.src-lisp:before { content: 'Lisp'; }

  pre.src-lilypond:before { content: 'Lilypond'; }

  pre.src-lua:before { content: 'Lua'; }

  pre.src-matlab:before { content: 'MATLAB'; }

  pre.src-mscgen:before { content: 'Mscgen'; }

  pre.src-ocaml:before { content: 'Objective Caml'; }

  pre.src-octave:before { content: 'Octave'; }

  pre.src-org:before { content: 'Org mode'; }

  pre.src-oz:before { content: 'OZ'; }

  pre.src-plantuml:before { content: 'Plantuml'; }

  pre.src-processing:before { content: 'Processing.js'; }

  pre.src-python:before { content: 'Python'; }

  pre.src-R:before { content: 'R'; }

  pre.src-ruby:before { content: 'Ruby'; }

  pre.src-sass:before { content: 'Sass'; }

  pre.src-scheme:before { content: 'Scheme'; }

  pre.src-screen:before { content: 'Gnu Screen'; }

  pre.src-sed:before { content: 'Sed'; }

  pre.src-sh:before { content: 'shell'; }

  pre.src-sql:before { content: 'SQL'; }

  pre.src-sqlite:before { content: 'SQLite'; }

  /* additional languages in org.el's org-babel-load-languages alist */

  pre.src-forth:before { content: 'Forth'; }

  pre.src-io:before { content: 'IO'; }

  pre.src-J:before { content: 'J'; }

  pre.src-makefile:before { content: 'Makefile'; }

  pre.src-maxima:before { content: 'Maxima'; }

  pre.src-perl:before { content: 'Perl'; }

  pre.src-picolisp:before { content: 'Pico Lisp'; }

  pre.src-scala:before { content: 'Scala'; }

  pre.src-shell:before { content: 'Shell Script'; }

  pre.src-ebnf2ps:before { content: 'ebfn2ps'; }

  /* additional language identifiers per "defun org-babel-execute"

       in ob-*.el */

  pre.src-cpp:before  { content: 'C++'; }

  pre.src-abc:before  { content: 'ABC'; }

  pre.src-coq:before  { content: 'Coq'; }

  pre.src-groovy:before  { content: 'Groovy'; }

  /* additional language identifiers from org-babel-shell-names in

     ob-shell.el: ob-shell is the only babel language using a lambda to put

     the execution function name together. */

  pre.src-bash:before  { content: 'bash'; }

  pre.src-csh:before  { content: 'csh'; }

  pre.src-ash:before  { content: 'ash'; }

  pre.src-dash:before  { content: 'dash'; }

  pre.src-ksh:before  { content: 'ksh'; }

  pre.src-mksh:before  { content: 'mksh'; }

  pre.src-posh:before  { content: 'posh'; }

  /* Additional Emacs modes also supported by the LaTeX listings package */

  pre.src-ada:before { content: 'Ada'; }

  pre.src-asm:before { content: 'Assembler'; }

  pre.src-caml:before { content: 'Caml'; }

  pre.src-delphi:before { content: 'Delphi'; }

  pre.src-html:before { content: 'HTML'; }

  pre.src-idl:before { content: 'IDL'; }

  pre.src-mercury:before { content: 'Mercury'; }

  pre.src-metapost:before { content: 'MetaPost'; }

  pre.src-modula-2:before { content: 'Modula-2'; }

  pre.src-pascal:before { content: 'Pascal'; }

  pre.src-ps:before { content: 'PostScript'; }

  pre.src-prolog:before { content: 'Prolog'; }

  pre.src-simula:before { content: 'Simula'; }

  pre.src-tcl:before { content: 'tcl'; }

  pre.src-tex:before { content: 'TeX'; }

  pre.src-plain-tex:before { content: 'Plain TeX'; }

  pre.src-verilog:before { content: 'Verilog'; }

  pre.src-vhdl:before { content: 'VHDL'; }

  pre.src-xml:before { content: 'XML'; }

  pre.src-nxml:before { content: 'XML'; }

  /* add a generic configuration mode; LaTeX export needs an additional

     (add-to-list 'org-latex-listings-langs '(conf " ")) in .emacs */

  pre.src-conf:before { content: 'Configuration File'; }



  table { border-collapse:collapse; }

  caption.t-above { caption-side: top; }

  caption.t-bottom { caption-side: bottom; }

  td, th { vertical-align:top;  }

  th.org-right  { text-align: center;  }

  th.org-left   { text-align: center;   }

  th.org-center { text-align: center; }

  td.org-right  { text-align: right;  }

  td.org-left   { text-align: left;   }

  td.org-center { text-align: center; }

  dt { font-weight: bold; }

  .footpara { display: inline; }

  .footdef  { margin-bottom: 1em; }

  .figure { padding: 1em; }

  .figure p { text-align: center; }

  .equation-container {

    display: table;

    text-align: center;

    width: 100%;

  }

  .equation {

    vertical-align: middle;

  }

  .equation-label {

    display: table-cell;

    text-align: right;

    vertical-align: middle;

  }

  .inlinetask {

    padding: 10px;

    border: 2px solid gray;

    margin: 10px;

    background: #ffffcc;

  }

  #org-div-home-and-up

   { text-align: right; font-size: 70%; white-space: nowrap; }

  textarea { overflow-x: auto; }

  .linenr { font-size: smaller }

  .code-highlighted { background-color: #ffff00; }

  .org-info-js_info-navigation { border-style: none; }

  #org-info-js_console-label

    { font-size: 10px; font-weight: bold; white-space: nowrap; }

  .org-info-js_search-highlight

    { background-color: #ffff00; color: #000000; font-weight: bold; }

  .org-svg { width: 90%; }

  /*]]>*/-->



// @license magnet:?xt=urn:btih:1f739d935676111cfff4b4693e3816e664797050&amp;dn=gpl-3.0.txt GPL-v3-or-Later

<!--/*--><![CDATA[/*><!--*/

     function CodeHighlightOn(elem, id)

     {

       var target = document.getElementById(id);

       if(null != target) {

         elem.classList.add("code-highlighted");

         target.classList.add("code-highlighted");

       }

     }

     function CodeHighlightOff(elem, id)

     {

       var target = document.getElementById(id);

       if(null != target) {

         elem.classList.remove("code-highlighted");

         target.classList.remove("code-highlighted");

       }

     }

    /*]]>*///-->

// @license-end





Poesías compartidas




Índice











1. Antonio Machado










1.1. Al borde del sendero un día nos sentamos





Al borde del sendero un día nos sentamos.

Ya nuestra vida es tiempo, y nuestra sola cuita

son las desesperantes posturas que tomamos

para aguardar.... Mas Ella no faltará a la cita.












1.2. He andado muchos caminos





He andado muchos caminos,

he abierto muchas veredas;

he navegado en cien mares,

y atracado en cien riberas.



En todas partes he visto

caravanas de tristeza,

soberbios y melancólicos

borrachos de sombra negra,

y pedantones al paño

que miran, callan, y piensan

que saben, porque no beben

el vino de las tabernas.



Mala gente que camina

y va apestando la tierra...



Y en todas partes he visto

gentes que danzan o juegan,

cuando pueden, y laboran

sus cuatro palmos de tierra.



Nunca, si llegan a un sitio,

preguntan adonde llegan.

Cuando caminan, cabalgan

a lomos de mula vieja,

y no conocen la prisa

ni aun en los días de fiesta.



Donde hay vino, beben vino;

donde no hay vino, agua fresca.



Son buenas gentes que viven,

laboran, pasan y sueñan,

y en un día como tantos,

descansan bajo la tierra.












1.3. Oh soledad





¡Oh soledad, mi sola compañía,

oh musa del portento, que el vocablo

diste a mi voz que nunca te pedía!,

responde a mi pregunta: ¿con quién hablo?



Ausente de ruidosa mascarada,

divierto mi tristeza sin amigo,

contigo, dueña de la faz velada,

siempre velada al dialogar conmigo.



Hoy pienso: este que soy será quien sea;

no es ya mi grave enigma este semblante

que en el íntimo espejo se recrea,

sino el misterio de tu voz amante.



Descúbreme tu rostro, que yo vea

fijos en mí tus ojos de diamante.












1.4. Recuerdo infantil





Una tarde parda y fría

de invierno. Los colegiales

estudian. Monotonía

de lluvia tras los cristales.



Es la clase. En un cartel

se representa a Caín

fugitivo, y muerto Abel,

junto a una mancha carmín.



Con timbre sonoro y hueco

truena el maestro, un anciano

mal vestido, enjuto y seco,

que lleva un libro en la mano.



Y todo un coro infantil

va cantando la lección;

mil veces ciento, cien mil,

mil veces mil, un millón.



Una tarde parda y fría

de invierno. Los colegiales

estudian. Monotonía

de la lluvia en los cristales.












1.5. Yo voy soñando caminos





Yo voy soñando caminos

de la tarde. ¡Las colinas

doradas, los verdes pinos,

las polvorientas encinas!...

¿Adonde el camino irá?

Yo voy cantando, viajero

a lo largo del sendero...

-- La tarde cayendo está --,

"En el corazón tenía

la espina de una pasión;

logré arrancármela un día:

ya no siento el corazón."



Y todo el campo un momento

se queda, mudo y sombrío,

meditando. Suena el viento

en los álamos del río.



La tarde más se obscurece;

y el camino que serpea

y débilmente blanquea,

se enturbia y desaparece.



Mi cantar vuelve a plañir:

"Aguda espina dorada,

quién te pudiera sentir

en el corazón clavada."














2. Sor Juana Ines de la Cruz










2.1. Finjamos que soy feliz





Finjamos que soy feliz,triste pensamiento, un rato;

quizá podréis persuadirme,aunque yo sé lo contrario,

que pues sólo en la aprehensión

dicen que estriban los daños,si os imagináis dichoso

no seréis tan desdichado.



Sírvame el entendimiento, alguna vez de descanso,

y no siempre esté el ingeniocon el provecho encontrado.

Todo el mundo es opiniones

de pareceres tan varios, que lo que el uno que es negro

el otro prueba que es blanco.



A unos sirve de atractivo, lo que otro concibe enfado;

y lo que éste por alivio, aquél tiene por trabajo.

El que está triste,censura al alegre de liviano;

y el que esta alegre se burlade ver al triste penando.

Los dos filósofos griegos, bien esta verdad probaron:

pues lo que en el uno risa, causaba en el otro llanto.



Célebre su oposición

ha sido por siglos tantos,sin que cuál acertó, esté

hasta agora averiguado.

Antes, en sus dos banderas, el mundo todo alistado,

conforme el humor le dicta,sigue cada cual el bando.

Uno dice que de risa,

sólo es digno el mundo vario;

y otro, que sus infortunios, son sólo para llorados.

Para todo se halla prueba

y razón en qué fundarlo;

y no hay razón para nada, de haber razón para tanto.



Todos son iguales jueces;

y siendo iguales y varios, no hay quien pueda decidir,

cuál es lo más acertado.

Pues, si no hay quien lo sentencie,

¿por qué pensáis, vos, errado,que os cometió

Dios a vos, la decisión de los casos?

O ¿por qué, contra vos mismo,

severamente inhumano, entre lo amargo y lo dulce,

queréis elegir lo amargo?



Si es mío mi entendimiento, ¿por qué siempre he de encontrarlo

tan torpe para el alivio,

tan agudo para el daño?

El discurso es un aceroque sirve para ambos cabos:

de dar muerte, por la punta,por el pomo, de resguardo.

Si vos, sabiendo el peligro

queréis por la punta usarlo, ¿qué culpa tiene el acero

del mal uso de la mano?



No es saber, saber hacer discursos sutiles,

vanos;que el saber consiste sólo, en elegir lo más sano.

Especular las desdichas, y examinar los presagios,

sólo sirve de que el malcrezca con anticiparlo.

En los trabajos futuros,

la atención, sutilizando,más formidable que el riesgos

uele fingir el amago.



Qué feliz es la ignorancia del que, indoctamente sabio,

halla de lo que padece,en lo que ignora, sagrado!

No siempre suben seguros vuelos del ingenio osados,

que buscan trono en el fuego y hallan sepulcro en el llanto.



También es vicio el saber, que si no se va atajando,

cuando menos se conoce es más nocivo el estrago;

y si el vuelo no le abaten, en sutilezas cebado,

por cuidar de lo curioso, olvida lo necesario.



Si culta mano no impide crecer al árbol copado,

quita la sustancia al frutola locura de los ramos.

Si andar a nave ligerano estorba lastre pesado,

sirve el vuelo de que sea, el precipicio más alto.



En amenidad inútil, ¿qué importa al florido campo,

si no halla fruto el otoño, que ostente flores el mayo?

¿De qué sirve al ingenio, el producir muchos partos,

si a la multitud se sigue el malogro de abortarlos?



Y a esta desdicha por fuerza ha de seguirse el fracaso,

de quedar el que produce, si no muerto, lastimado.

El ingenio es como el fuego, que, con la materia ingrato,

tanto la consume más cuando él se ostenta más claro.



Es de su propio Señor tan rebelado vasallo,

que convierte en sus ofensas las armas de su resguardo.

Este pésimo ejercicio,este duro afán pesado,

a los ojos de los hombres dio Dios para ejercitarlos.

¿Qué loca ambición nos llevade nosotros olvidados?



Si es para vivir tan poco, ¿de qué sirve saber tanto?

¡Oh, si como hay de saber, hubiera algún seminario o escuela

donde a ignorarse enseñaran los trabajos! ¡Qué felizmente viviera

el que, flojamente cauto, burlara las amenazas del influjo de los astros!



Aprendamos a ignorar, pensamiento, pues hallamos

que cuanto añado al discurso, tanto le usurpo a los años.