{"id":6080,"date":"2018-03-01T13:07:43","date_gmt":"2018-03-01T12:07:43","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=6080"},"modified":"2018-07-10T10:07:15","modified_gmt":"2018-07-10T08:07:15","slug":"resumen-de-lecturas-compartidas-febrero-de-2018","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-febrero-de-2018\/","title":{"rendered":"Resumen de lecturas compartidas (febrero de 2018)"},"content":{"rendered":"<div id=\"content\">Esta entrada es una recopilaci\u00f3n de lecturas compartidas, durante febrero de 2018, en <a href=\"https:\/\/twitter.com\/Jose_A_Alonso\">Twitter<\/a> sobre programaci\u00f3n funcional y demostraci\u00f3n asistida por ordenador fundamentalmente.<\/div>\n<p>Las lecturas est\u00e1n ordenadas seg\u00fan su fecha de publicaci\u00f3n en <a href=\"https:\/\/twitter.com\/Jose_A_Alonso\">Twitter<\/a>.<\/p>\n<p>Al final de cada art\u00edculo se encuentran etiquetas relativas a los sistemas que usa o a su contenido.<br \/>\n<!--more--><\/p>\n<ul>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/sucesion-de-lichtenberg\">Exercitium: &#8220;Sucesi\u00f3n de Lichtenberg&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"http:\/\/diginole.lib.fsu.edu\/islandora\/object\/fsu:407377\/datastream\/PDF\/view\">Homotopy type theory, univalent foundation, and binary trees<\/a>. ~ R. Beauvile #ITP #Coq #HoTT<\/li>\n<li><a href=\"http:\/\/www.cse.chalmers.se\/~patrikj\/talks\/DSLsofMath_FP_WM_2018_Jansson.pdf\">DSLsofMath: typing mathematics<\/a>. ~ Patrik Jansson (@patrikja), Cezar Ionescu #Haskell #Math<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1801.10513\">The Elfe system: Verifying mathematical proofs of undergraduate students<\/a>. ~ Maximilian Dor\u00e9, Krysia Broda #Math #Elfe<\/li>\n<li><a href=\"https:\/\/www.slideshare.net\/nckumar\/ai-for-marketing-presentation-by-chandrakumar\">AI for marketing<\/a>. ~ Chandrakumar #AI<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/relacion-definida-por-un-arbol\">Exercitium: &#8220;Relaci\u00f3n definida por un \u00e1rbol&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1802.00405\">HOL Light QE<\/a>. ~ Jacques Carette, William M. Farmer, Patrick Laskowski #ITP #HOL_Light<\/li>\n<li><a href=\"https:\/\/medium.com\/@robbie0630\/dissecting-the-state-monad-with-operational-and-free-monads-3b965479f13c\">Dissecting the State monad with Operational and Free monads<\/a>. ~ Robbie Langer #Haskell<\/li>\n<li><a href=\"http:\/\/www.lcc.uma.es\/~blas\/apuntes\/PDAv\/lambdaC.pdf\">El \u03bb\u2013c\u00e1lculo (sin tipos y con tipos)<\/a>. ~ B.C. Ruiz y P. Guerrero #Matem\u00e1ticas #Computaci\u00f3n<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1503.09060\">A tutorial introduction to the lambda calculus<\/a>. ~ Raul Rojas #Logic #CompSci<\/li>\n<li><a href=\"http:\/\/www.ist.tugraz.at\/projects\/isac\/publ\/RR_neuper.pdf\">&#8220;Speaking&#8221; mathematics with &#8220;systems that explain themselves&#8221;<\/a>. ~ Walther Neuper #ITP #Math<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/ra2017-deduccion-natural-proposicional-con-isabellehol\">RA2017: Deducci\u00f3n natural proposicional con Isabelle\/HOL<\/a>. #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1801.08766\">Relational equivalence proofs between imperative and MapReduce algorithms<\/a>. ~ B. Beckert et als. #ITP #Coq<\/li>\n<li><a href=\"http:\/\/www.joachim-breitner.de\/blog\/735-The_magic_%E2%80%9CJust_do_it%E2%80%9D_type_class\">The magic \u201cJust do it\u201d type class<\/a>. ~ J. Breitner (@nomeata) #Haskell<\/li>\n<li><a href=\"https:\/\/github.com\/mikkokotila\/jupyter4kids\">Numerical computing is fun (A guide to principles of computer science and numerical computing for all ages)<\/a>. ~ Mikko Kotila #CompSci #Python #Jupiter<\/li>\n<li><a href=\"http:\/\/learn.hfm.io\/fractals.html\">Spirals, snowflakes &amp; trees: Recursion in pictures<\/a>. ~ G. Keller (@gckeller) &amp; M.M.T. Chakravarty (@TacticalGrace) #Haskell #Fractals<\/li>\n<li><a href=\"https:\/\/gregheartsfield.com\/fractal-hs\/\">Fractals in Haskell (Escape-time fractals created with Haskell and GD)<\/a>. ~ Greg Heartsfield #Haskell #Fractals<\/li>\n<li><a href=\"http:\/\/fhtr.blogspot.com.es\/2008\/12\/drawing-tree-with-haskell-and-cairo.html\">Drawing trees with Haskell and Cairo<\/a>. ~ Ilmari Heikkinen #Haskell #Fractals<\/li>\n<li><a href=\"https:\/\/github.com\/fniessen\/refcard-org-beamer\">Org Beamer reference card<\/a>. ~ Fabrice Niessen #Emacs #OrgMode #LaTeX<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/LLL_Basis_Reduction.html\">A verified Lenstra-Lenstra-Lov\u00e1sz basis reduction algorithm in Isabelle\/HOL<\/a>. ~ J. Divas\u00f3n, S. Joosten, R. Thiemann and A. Yamada #ITP #IsabelleHOL #Math<\/li>\n<li><a href=\"https:\/\/medium.com\/@sahabi\/haskelling-bitcoin-7e7128a9d4b4\">Haskelling Bitcoin (The case for Bitcoin development in Haskell)<\/a>. ~ M. Alshiekh (@MAlashiekh) #Haskell #Bitcoin<\/li>\n<li><a href=\"https:\/\/jncf2018.lip6.fr\/files\/lecture-notes\/jncf2018-mahboubi.pdf\">Calcul formel et preuves formelles<\/a>. ~ Assia Mahboubi #ITP #Mizar #ACL2 #IsabelleHOL #HOL_Light #Coq #Agda #Lean<\/li>\n<li><a href=\"https:\/\/dl.acm.org\/citation.cfm?id=3167090\">A monadic framework for relational verification: Applied to information security, program equivalence, and optimizations<\/a>. ~ N. Grimm et als. #SMT #Fsharp<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/maxima-distancia-en-arbol\">Exercitium: &#8220;M\u00e1xima distancia en \u00e1rbol&#8221;<\/a>. #Haskell #I1M2017 #I1M2017<\/li>\n<li><a href=\"https:\/\/dl.acm.org\/ft_gateway.cfm?id=3167103&amp;type?pdf\">Efficient certification of complexity proofs: formalizing the Perron\u2013Frobenius theorem<\/a>. ~ J. Divas\u00f3n et als. #ITP #IsabelleHOL<\/li>\n<li><a href=\"http:\/\/bit.ly\/2s78m03\">Ciencias de la Computaci\u00f3n (mejores programas y programadores)<\/a>. ~ Lourdes del Carmen Gonz\u00e1lez Huesca #Computaci\u00f3n<\/li>\n<li><a href=\"https:\/\/sites.google.com\/ciencias.unam.mx\/lcomp172-7040\/inicio\">Curso: L\u00f3gica computacional<\/a>. ~ Lourdes del Carmen Gonz\u00e1lez Huesca #L\u00f3gica #Computaci\u00f3n #Haskell #Prolog #Coq<\/li>\n<li><a href=\"http:\/\/vaibhavsagar.com\/blog\/2018\/02\/04\/revisiting-monadic-parsing-haskell\">Revisiting &#8216;Monadic parsing in Haskell&#8217;<\/a>. ~ Vaibhav Sagar #Haskell<\/li>\n<li><a href=\"https:\/\/dodisturb.me\/posts\/2018-01-28-Cellular-Christmas-Tree.html\">Cellular Christmas Tree<\/a>. ~ Mistral Contrastin (@madgen_) #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/relaciones-arboreas\">Exercitium: &#8220;Relaciones arb\u00f3reas&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/dl.acm.org\/citation.cfm?id=3167091\">A Coq formalization of normalization by evaluation for Martin-L\u00f6f type theory<\/a>. ~ P. Wieczorek, D. Biernacki #ITP #Coq<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1705.02601\">Logic lectures: G\u00f6del\u2019s basic logic course at Notre Dame<\/a>. #Logic<\/li>\n<li><a href=\"http:\/\/www.haskellforall.com\/2018\/02\/the-wizard-monoid.html\">The wizard monoid<\/a>. ~ G. Gonz\u00e1lez #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/recorrido-del-robot\">Exercitium: &#8220;Recorrido del robot&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1802.01795\">A Lean formalization of Matiyasevi\u010d&#8217;s theorem<\/a>. ~ Mario Carneiro #ITP #Lean<\/li>\n<li><a href=\"https:\/\/github.com\/lnds\/9d9l\">9 desaf\u00edos en 9 lenguajes de programaci\u00f3n (#Clojure, #Erlang, #Fsharp, #Go, #Haskell, #Kotlin, #Rust, #Scala y #Swift)<\/a>. ~ Eduardo D\u00edaz Cort\u00e9s<\/li>\n<li><a href=\"http:\/\/kaygun.tumblr.com\/post\/170534412629\/egyptian-fractions\">Egyptian fractions<\/a>. ~ Atabey Kaygun (@Atabey_Kaygun) #CommonLisp #Math<\/li>\n<li><a href=\"https:\/\/www.tweag.io\/posts\/2018-02-05-free-monads.html\">Free monads for cheap interpreters<\/a>. ~ James Haydon #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/exponentes-de-hamming\">Exercitium: &#8220;Exponentes de Hamming&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/First_Order_Terms.html\">First-order terms in Isabelle\/HOL<\/a>. ~ Christian Sternagel, Ren\u00e9 Thiemann #ITP #IsabelleHOL<\/li>\n<li><a href=\"http:\/\/scholarship.claremont.edu\/cgi\/viewcontent.cgi?article=1369&amp;context=jhm\">Predicting the next US President by simulating the electoral college<\/a>. ~ B. Kostadinov #Rstats #DataScience #CompSci<\/li>\n<li><a href=\"http:\/\/ilyasergey.net\/pnp\/pnp.pdf\">Programs and proofs (Mechanizing Mathematics with dependent types)<\/a>. ~ Ilya Sergey (@ilyasergey) #ITP #Coq #Math<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/digitos-iniciales\">Exercitium: &#8220;D\u00edgitos iniciales&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/Treaps.html\">Treaps in Isabelle\/HOL<\/a>. ~ Manuel Eberl, Max Haslbeck and Tobias Nipkow #ITP #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/ra2017-deduccion-natural-de-primer-orden-con-isabellehol\">RA2017: Deducci\u00f3n natural de primer orden con Isabelle\/HOL<\/a>. #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/ra2017-demostracion-en-isabelle-de-la-correccion-de-un-compilador\">RA2017: Demostraci\u00f3n en Isabelle\/HOL de la correcci\u00f3n de un compilador<\/a>. #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/matrices-en-haskell-2\/\">I1M2017: Matrices en Haskell<\/a>. #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-ejercicios-sobre-vectores-y-matrices-en-haskell\">I1M2017: Ejercicios sobre vectores y matrices en Haskell<\/a>. #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2017-presentacion-del-curso-de-logica-matematica-y-fundamentos-2\/\">LMF2017: Presentaci\u00f3n del curso de \u201cL\u00f3gica matem\u00e1tica y fundamentos\u201d<\/a>. #L\u00f3gica<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2017-sintaxis-y-semantica-de-la-logica-proposicional-3\/\">LMF2017: Sintaxis y sem\u00e1ntica de la l\u00f3gica proposicional<\/a>. #L\u00f3gica<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/Error_Function.html\">The error function in Isabelle\/HOL<\/a>. ~ Manuel Eberl #ITP #IsabelleHOL<\/li>\n<li><a href=\"http:\/\/kaygun.tumblr.com\/post\/170645268864\/linus-sequence\">Linus sequence<\/a>. ~ Atabey Kaygun (@Atabey_Kaygun) #CommonLisp<\/li>\n<li><a href=\"https:\/\/github.com\/olligobber\/lambdacalc\">Lambda calculus tools and interpreter written in Haskell<\/a>. #Haskell #LambdaCalculus<\/li>\n<li><a href=\"http:\/\/blog.computationalcomplexity.org\/2018\/02\/for-love-of-algorithms.html\">For the love of algorithms<\/a>. ~ Lance Fortnow (@fortnow)<\/li>\n<li><a href=\"https:\/\/lexi-lambda.github.io\/blog\/2018\/02\/10\/an-opinionated-guide-to-haskell-in-2018\">An opinionated guide to Haskell in 2018<\/a>. ~ Alexis King (@lexi_lambda) #Haskell<\/li>\n<li><a href=\"https:\/\/github.com\/berewt\/twerk\">Twerk, a twitter archive parser with pipes utilities (in Haskell)<\/a>. ~ Nicolas B. (@BeRewt) #Haskell<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/LLL_Factorization.html\">A verified factorization algorithm for integer polynomials with polynomial complexity<\/a>. ~ Jose Divas\u00f3n, Sebastiaan Joosten, Ren\u00e9 Thiemann and Akihisa Yamada #ITP #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1802.01738\">Formal verification of spacecraft control programs using a metalanguage for state transformers<\/a>. ~ A. Mokhov, G. Lukyanov, J. Lechner #Haskell<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1802.00588\">When good components go bad: formally secure compilation despite dynamic compromise<\/a>. ~ G. Fachini et als. #ITP #Coq<\/li>\n<li><a href=\"http:\/\/www1.eafit.edu.co\/asr\/courses\/ffpl-CM0848\/ffpl-slides.pdf\">Foundations of functional programming languages<\/a>. ~ Andr\u00e9s Sicard Ram\u00edrez #FunctionalProgramming #LambdaCalculus<\/li>\n<li><a href=\"http:\/\/www1.eafit.edu.co\/asr\/pubs\/others\/acevedo-acosta--echeverri-jurado-2017.una-formalisacion-del-sistema-de-los-numeros-reales-pantalla.pdf\">Una formalizaci\u00f3n del sistema de los n\u00fameros reales<\/a>. ~ Jorge O. Acevedo y Jos\u00e9 L. Echeverri #ITP #Agda #Math<\/li>\n<li><a href=\"https:\/\/www.campusmvp.es\/recursos\/post\/que-lenguajes-de-programacion-se-usan-mas-los-fines-de-semana.aspx\">\u00bfQu\u00e9 lenguajes de programaci\u00f3n se usan m\u00e1s los fines de semana?<\/a> ~ Julia Silge (@juliasilge) #DataScience #Haskell via @jeiped12<\/li>\n<li><a href=\"https:\/\/stackoverflow.blog\/2017\/02\/07\/what-programming-languages-weekends\">What programming languages are used most on weekends?<\/a> ~ Julia Silge (@juliasilge) #DataScience #Haskell via @jeiped12<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/celdas-interiores-de-una-reticula\">Exercitium: &#8220;Celdas interiores de una ret\u00edcula&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/ts.data61.csiro.au\/publications\/nicta_full_text\/8655.pdf\">Verified over-approximation of the diameter of propositionally factored transition systems<\/a>. ~ M. Abdulaziz, C. Gretton, M. Norrish #ITP #HOL4<\/li>\n<li><a href=\"https:\/\/github.com\/jonaprieto\/stlctalk\/raw\/master\/slides\/slides.pdf\">The simply typed lambda calculus (in Agda)<\/a>. ~ Jonathan Prieto-Cubides #ITP #Agda #LambdaCalculus<\/li>\n<li><a href=\"http:\/\/doisinkidney.com\/posts\/2018-02-11-monadic-list.functions.html\">Monadic list functions<\/a>. ~ Donnacha Ois\u00edn Kidney (@oisdk) #Haskell<\/li>\n<li><a href=\"http:\/\/bit.ly\/2G9xoOv\">Sn\u030aarkl: Somewhat practical, pretty much declarative verifiable computing in Haskell<\/a>. ~ G. Stewart, S. Merten, L. Leland #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/division-equitativa\">Exercitium: &#8220;Divisi\u00f3n equitativa&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/hal.archives-ouvertes.fr\/hal-01684093\/document\">Hydra Ludica: Une preuve d&#8217;impossibilit\u00e9 de prouver simplement<\/a>. ~ P. Cast\u00e9ran #ITP #Coq<\/li>\n<li><a href=\"https:\/\/blog.jle.im\/entry\/introducing-the-backprop-library.html\">Introducing the backprop library<\/a>. ~ Justin Le (@mstk) #Haskell<\/li>\n<li><a href=\"https:\/\/blog.desdelinux.net\/puede-blockchain-hacernos-mas-libres\">\u00bfC\u00f3mo puede \u201cBlockchain\u201d hacernos m\u00e1s libres?<\/a> #Blockchain<\/li>\n<li><a href=\"https:\/\/github.com\/weirdNox\/org-noter\">Org-noter: A synchronized, Org-mode, document annotator<\/a>. ~ Gon\u00e7alo Santos (@weirdNox) #Emacs<\/li>\n<li><a href=\"http:\/\/www.cl.cam.ac.uk\/archive\/mjcg\/plans\/Coinduction.html\">Corecursion and coinduction: what they are and how they relate to recursion and induction<\/a>. ~ Mike Gordon<\/li>\n<li><a href=\"https:\/\/www.forbes.com\/sites\/quora\/2018\/02\/12\/what-i-wish-id-known-when-i-started-functional-programming\/#1ef1884348e1\">What I Wish I&#8217;d Known When I Started Functional Programming<\/a>. ~ Tikhon Jelvis (@tikhonjelvis) #FunctionalProgramming<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1712.03894\">Coqatoo: Generating natural language versions of Coq proofs<\/a>. ~ A. Bedford #ITP #Coq<\/li>\n<li><a href=\"https:\/\/github.com\/expipiplus1\/exact-real\">Exact real arithmetic implemented by fast binary Cauchy sequences<\/a>. ~ Joe Hermaszewski (@expipiplus1) #Haskell #Math<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2017-sintaxis-y-semantica-de-la-logica-proposicional-2-2\">LMF2017: Sintaxis y sem\u00e1ntica de la l\u00f3gica proposicional (2)<\/a>. #L\u00f3gica<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/huecos-binarios\">Exercitium: &#8220;Huecos binarios&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1802.01336\">Verifying asymptotic time complexity of imperative programs in Isabelle\/HOL<\/a>. ~ B. Zhan, M.P.L. Haslbeck #ITP #IsabelleHOL<\/li>\n<li><a href=\"http:\/\/www.cl.cam.ac.uk\/archive\/mjcg\/plans\/Backpropagation.html\">My attempt to understand the backpropagation algorithm for training neural networks<\/a>. ~ Mike Gordon<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1802.02732\">The higher-order prover Leo-III<\/a>. ~ A. Steen, C. Benzm\u00fcller #ITP<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/recorrido-de-arboles-en-espiral\">Exercitium: &#8220;Recorrido de \u00e1rboles en espiral&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"http:\/\/www.cs.princeton.edu\/~appel\/papers\/wand-frame.pdf\">Proof pearl: Magic wand as frame<\/a>. ~ Q. Cao, S. Wang, A. Hobor, A.W. Appel #ITP #Coq<\/li>\n<li><a href=\"https:\/\/codearsonist.com\/reading-for-programmers\">Reading for programmers<\/a>. ~ P. Limanowski (@peel) #Emacs<\/li>\n<li><a href=\"http:\/\/blog.acthompson.net\/2018\/02\/quotes-about-programming-and-computer.html\">Quotes about programming and computer science<\/a>. ~ A. Thompson (@alfredtwo) #Quote #Programming #CompSci<\/li>\n<li><a href=\"http:\/\/kaygun.tumblr.com\/post\/170731635904\/van-ecks-sequence\">Van Eck\u2019s sequence<\/a>. ~ Atabey Kaygun (@Atabey_Kaygun) #CommonLisp #Math<\/li>\n<li><a href=\"https:\/\/mmhaskell.com\/blog\/2018\/2\/12\/applicative-parsing-i-building-the-foundation\">Applicative parsing I: building the foundation<\/a>. ~ James Bowen (@james_OWA) #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/periodos-de-fibonacci\">Exercitium: &#8220;Per\u00edodos de Fibonacci&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"http:\/\/www.cs.princeton.edu\/~appel\/papers\/VST-Floyd.pdf\">VST-Floyd: A separation logic tool to verify correctness of C programs<\/a>. ~ Q. Cao, L. Beringer, S. Gruetter, J. Dodds, A.W. Appel #ITP #Coq<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1802.03292\">Mathematical Logic in Computer Science<\/a>. ~ A. Kfoury #Logic #CompSci<\/li>\n<li><a href=\"https:\/\/cacm.acm.org\/news\/225322-do-computers-really-think\/fulltext\">Do computers really think?<\/a> ~ R. Colin Johnson #AI<\/li>\n<li><a href=\"http:arxiv.org\/abs\/1802.05340\">From gameplay to symbolic reasoning: Learning SAT solver heuristics in the style of Alpha(Go) Zero<\/a>. ~ F. Wang, T. Rompf #ATP #SAT<\/li>\n<li><a href=\"http:\/\/matryoshka.gforge.inria.fr\/pubs\/supdata_paper.pdf\">Superposition with datatypes and codatatypes<\/a>. ~ J.C. Blanchette, N. Peltier, S. Robillard #ATP #Vampire<\/li>\n<li><a href=\"http:\/\/kenta.blogspot.com.es\/2018\/02\/omqzhxkn-lagrange-four-square-theorem.html\">Lagrange four-square theorem examples<\/a>. ~ Ken T Takusagawa #Haskell #Math<\/li>\n<li><a href=\"https:\/\/dzone.com\/articles\/conventional-interfaces-in-functional-programming\">Conventional interfaces in functional programming<\/a>. ~ Carlos Morera #Haskell<\/li>\n<li><a href=\"https:\/\/emanueleviola.wordpress.com\/2018\/02\/16\/i-believe-pnp\">I believe P=NP<\/a>. ~ Emanuele Viola #CompSci #Math<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-modulos-en-haskell\">I1M2017: M\u00f3dulos en Haskell<\/a>. #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-las-librerias-de-vectores-y-matrices-en-haskell\/\">I1M2017: Las librer\u00edas de vectores y matrices<\/a>. #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-estadistica-descriptiva-y-functores-aplicativos-en-haskell\/\">I1M2017: Estad\u00edstica descriptiva (y functores aplicativos)<\/a>. #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-ejercicios-de-estadistica-descriptiva-con-las-librerias-de-haskell\">I1M2017: Ejercicios de estad\u00edstica descriptiva con las librer\u00edas<\/a>. #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2017-ejercicios-de-sintaxis-y-semantica-de-la-logica-proposicional\">LMF2017: Ejercicios de sintaxis y sem\u00e1ntica de la l\u00f3gica proposicional<\/a>. #L\u00f3gica<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1802.03685\">Learning a SAT solver from single-bit supervision<\/a>. ~ D. Selsam et als. #ATP #SAT #NeuralNetwork<\/li>\n<li><a href=\"https:\/\/github.com\/hubbards\/group-theory-haskell\">Group theory in Haskell<\/a>. ~ Spencer Hubbard #Haskell #Math<\/li>\n<li><a href=\"https:\/\/bartoszmilewski.com\/2018\/02\/17\/free-monoidal-functors\">Free monoidal functors<\/a>. ~ Bartosz Milewski (@BartoszMilewski) #Haskell #CategoryTheory<\/li>\n<li><a href=\"https:\/\/github.com\/lehins\/massiv\">massiv: Efficient Haskell arrays featuring parallel computation<\/a>. ~ Alexey Kuleshevich #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/numeros-trimorficos\">Exercitium: &#8220;N\u00fameros trim\u00f3rficos&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1802.04007\">ProofWatch: Watchlist guidance for large theories in E<\/a>. ~ Z. Goertzel, J. Jakub\u016fv, S. Schulz, J. Urban #APT<\/li>\n<li><a href=\"https:\/\/github.com\/hubbards\/relational-algebra-haskell\">Relational algebra in Haskell<\/a>. ~ Spencer Hubbard #Haskell #Math<\/li>\n<li><a href=\"https:\/\/github.com\/lehins\/haskell-exercises\">Haskell exercises with automatic tests<\/a>. ~ Alexey Kuleshevich #Haskell<\/li>\n<li><a href=\"http:\/\/neilmitchell.blogspot.com.es\/2018\/02\/atomic-expressions-generically.html\">Atomic expressions generically<\/a>. ~ Neil Mitchell #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/menor-numero-divisible-por-10n-cuyos-digitos-suman-n\">Exercitium: &#8220;Menor n\u00famero divisible por 10^n cuyos d\u00edgitos suman n&#8221;<\/a>. #Haskell #I1M2017 #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1802.03375\">ATPboost: Learning premise selection in binary setting with ATP feedback<\/a>. ~ B. Piotrowski, J. Urban #ATP #ML<\/li>\n<li><a href=\"https:\/\/github.com\/hubbards\/stlc-haskell\">Simply typed lambda calculus in Haskell<\/a>. ~ Spencer Hubbard #Haskell #Math<\/li>\n<li><a href=\"https:\/\/dl.acm.org\/citation.cfm?id=3133911\">A verified messaging system<\/a>. ~ W. Mansky, A.W. Appel, A. Nogin #ITP #Coq<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2017-consecuencia-logica-y-demostrabilidad\/\">LMF2017: Consecuencia l\u00f3gica y demostrabilidad<\/a>. #L\u00f3gica<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/arboles-binarios-completos\">Exercitium: &#8220;\u00c1rboles binarios completos&#8221;<\/a>. #Haskell #I1M2017 #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/hal.archives-ouvertes.fr\/hal-01703922\/document\">A formal proof of the minor-exclusion property for treewidth-two graphs<\/a>. ~ C. Doczkal, G. Combette, D. Pous #ITP #Coq<\/li>\n<li><a href=\"https:\/\/bartoszmilewski.com\/2018\/02\/20\/free-monoidal-profunctors\">Free monoidal profunctors<\/a>. ~ Bartosz Milewski (@BartoszMilewski) #Haskell #CategoryTheory<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/numeros-que-no-son-cuadrados\">Exercitium: &#8220;N\u00fameros que no son cuadrados&#8221;<\/a>. #Haskell #I1M2017 #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1802.04315\">Higher groups in Homotopy Type Theory<\/a>. ~ U. Buchholtz, F. van Doorn, E. Rijke #ITP #Lean #Math #HoTT<\/li>\n<li><a href=\"https:\/\/hal.inria.fr\/hal-01707376\/document\">Journ\u00e9es francophones des langages applicatifs 2018 (JFLA 2018)<\/a>. ~ S. Boldo, N. Magaud<\/li>\n<li><a href=\"https:\/\/www.cs.kent.ac.uk\/people\/staff\/sjt\/TTFP\/\">Type theory and functional programming<\/a>. ~ S. Thompson #eBook #FunctionalProgramming #TypeTheory<\/li>\n<li><a href=\"https:\/\/blog.infinitenegativeutility.com\/2017\/12\/some-notes-about-how-i-write-haskell\">Some notes about how I write Haskell<\/a>. ~ @aisamanra #Haskell<\/li>\n<li><a href=\"http:\/\/www.cs.cornell.edu\/courses\/cs6180\/2017fa\/notes\/week4\/lecture8\/Martin-Lof-ConstructiveMathematicsAndComputerProgramming\">Constructive mathematics and computer programming<\/a>. ~ P. Martin-L\u00f6f #Math #CompSci<\/li>\n<li><a href=\"http:\/\/www.cs.cornell.edu\/courses\/cs6180\/2017fa\/notes\/week14\/CS6180-Lect26.pdf\">Automated reasoning and ultra-intuitionism<\/a>. ~ R.L. Constable #Logic #ATP #ITP<\/li>\n<li><a href=\"http:\/\/www.scitepress.org\/Papers\/2017\/62578\/62578.pdf\">Educating computer science educators online (A Racket MOOC for elementary math teachers of Finland)<\/a>. ~ T. Partanen, P. Niemel\u00e4, L. Mannila, T. Poranen #Racket<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/vertices-de-un-cuadrado\">Exercitium: &#8220;V\u00e9rtices de un cuadrado&#8221;<\/a>. #Haskell #I1M2017 #I1M2017<\/li>\n<li><a href=\"http:\/\/www.cmm.uchile.cl\/~mbodin\/paperoj\/coqpl18.pdf\">A Coq formalisation of a core of R<\/a>. ~ M. Bodin #ITP #Coq #Rstats<\/li>\n<li><a href=\"https:\/\/www.slideshare.net\/JarekRatajski\/eta-88717991\">Beauty and the beast (Eta Haskell for JVM)<\/a>. ~ Jarek Ratajski (@jarek000000) #Haskell<\/li>\n<li><a href=\"https:\/\/elpais.com\/elpais\/2018\/02\/19\/ciencia\/1519033592_636265.html\">David Hilbert y la defensa del rigor matem\u00e1tico<\/a>. ~ F. Bombal #Matem\u00e1ticas<\/li>\n<li><a href=\"https:\/\/janmasrovira.gitlab.io\/ascetic-slug\/post\/ascii-fractals\/\">ASCII fractals in Haskell<\/a>. ~ Jan Mas Rovira #Haskell<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1802.07284\">Logic programming applications: What are the abstractions and implementations?<\/a> ~ Y.A. Liu #LogicProgramming<\/li>\n<li><a href=\"https:\/\/hal.archives-ouvertes.fr\/hal-01702815\/document\">Making agile development processes fit for V-style certification procedures<\/a>. ~ S. Bezzecchi, P. Crisafulli, C. Pichot, B. Wolff #ITP #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/github.com\/MaiaVictor\/cedille-core\">A minimal (&lt;500 LOC) programming language capable of proving theorems about its own terms<\/a>. #Haskell #Logic<\/li>\n<li><a href=\"http:\/\/www.microsiervos.com\/archivo\/espacio\/fallo-programacion-desvio-primer-ariane-5-2018-de-trayectoria.html\">Un fallo de programaci\u00f3n desvi\u00f3 al primer Ariane 5 de 2018 de su trayectoria<\/a>. ~ @Wicho #Programaci\u00f3n<\/li>\n<li><a href=\"https:\/\/cacm.acm.org\/blogs\/blog-cacm\/225148-lets-not-forget-the-science-in-computer-science\/fulltext\">Let&#8217;s not forget the &#8216;Science&#8217; in &#8216;Computer Science&#8217;<\/a>. ~ W.S. Saba #CompSci<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1707.05371\">Comparing classical and relativistic kinematics in first-order logic<\/a>. ~ K. Lefever, G. Sz\u00e9kely #Logic #Physics<\/li>\n<li><a href=\"http:\/\/openlogicproject.org\/2018\/02\/22\/modal-logic-propositional-logic-tableaux\/\">Modal logic! Propositional logic! Tableaux!<\/a> ~ R. Zach (@RrrichardZach) #Logic via @OpenLogicProj<\/li>\n<li><a href=\"http:\/\/builds.openlogicproject.org\/courses\/boxes-and-diamonds\/bd-screen.pdf\">Boxes and diamonds (An open introduction to modal logic)<\/a>. ~ R. Zach (@RrrichardZach) #eBook #Logic<\/li>\n<li><a href=\"https:\/\/www.jstatsoft.org\/article\/view\/v046i03\/v46i03.pdf\">A multi-language computing environment for literate programming and reproducible research<\/a>. ~ E. Schulte, D. Davison, T. Dye, C. Dominik #Emacs<\/li>\n<li><a href=\"https:\/\/github.com\/erikriverson\/org-mode-R-tutorial\/blob\/master\/org-mode-R-tutorial.org\">Org-mode and R: An introduction<\/a>. ~ Erik Iverson #Emacs #OrgMode #Rstats<\/li>\n<li><a href=\"https:\/\/www.r-project.org\/conferences\/useR-2011\/TalkSlides\/Contributed\/16Aug_1115_FocusI_4-ReportingWorkflows_3-Leha.pdf\">The emacs org-mode (Reproducible research and beyond)<\/a>. ~ A. Leha #Emacs #OrgMode #Rstats<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-combinatoria-en-haskell\">I1M2017: Combinatoria en Haskell<\/a>. #Haskell #Matem\u00e1ticas<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-calculo-numerico-en-haskell\">I1M2017: C\u00e1lculo num\u00e9rico en Haskell<\/a>. #Haskell #Matem\u00e1ticas<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-calculo-simbolico-con-maxima\">I1M2017: C\u00e1lculo simb\u00f3lico con Maxima<\/a>. #Maxima #Matem\u00e1ticas<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2017-deduccion-natural-proposicional-1-2\">LMF2017: Deducci\u00f3n natural proposicional (1)<\/a>. #L\u00f3gica<\/li>\n<li><a href=\"http:\/\/www21.in.tum.de\/~nipkow\/pubs\/dp.pdf\">Verified memoization and dynamic programming<\/a>. ~ S. Wimmer, S. Hu, T. Nipkow #ITP #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/github.com\/jwbuurlage\/category-theory-programmers\">Notes on category theory in the context of (functional) programming<\/a>. ~ J.W. Buurlage #FunctionalProgramming #Haskell #CategoryTheory<\/li>\n<li><a href=\"http:\/\/chrispenner.ca\/posts\/asts-with-fix-and-free.html\">ASTs with Fix and Free<\/a>. ~ Chris Penner #Haskell<\/li>\n<li><a href=\"https:\/\/youtu.be\/SzA2YODtgK4\">Getting started with Org mode<\/a>. ~ Harry Schwartz #Emacs #OrgMode<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/slc2018-presentacion-del-seminario-de-logica-computacional-2018\/\">SLC2018: Presentaci\u00f3n del \u201cSeminario de L\u00f3gica Computacional\u201d (2018)<\/a>.<\/li>\n<li><a href=\"https:\/\/idontgetoutmuch.wordpress.com\/2018\/02\/25\/reproducibility-and-old-faithful\">Reproducibility and Old Faithful<\/a>. ~ Dominic Steinitz (@idontgetoutmuch) #Haskell #DataScience<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/matrices-dispersas\">Exercitium: &#8220;Matrices dispersas&#8221;<\/a>. #Haskell #I1M2017 #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1802.08437\">Abstract completion, formalized<\/a>. ~ N. Hirokawa, A. Middeldorp, C. Sternagel, S. Winkler #IsabelleHOL<\/li>\n<li><a href=\"http:\/\/archive.indianstatistics.org\/tools\/orgpapers.pdf\">Using Emacs, Org-mode and R for research writing in social sciences<\/a> (A toolkit for writing reproducible research papers and monographs). ~ Vikas Rawal #Emacs #OrgMode #Rstats<\/li>\n<li><a href=\"https:\/\/github.com\/andrew-bedford\/coqatoo\">Coqatoo: Generates natural language versions of Coq proofs<\/a>. ~ Andrew Bedford #ITP #Coq<\/li>\n<li><a href=\"https:\/\/liquid.kosmikus.org\/\">Liquid Haskell tutorial<\/a>. ~ Andres L\u00f6h #Haskell #LiquidHaskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/representacion-reducida-de-matrices-dispersas\">Exercitium: &#8220;Representaci\u00f3n reducida de matrices dispersas&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1802.08454\">Faithful semantical embedding of a dyadic deontic logic in HOL<\/a>. ~ C. Benzm\u00fcller, A. Farjami, X. Parent #ITP #IsabelleHOL #Logic<\/li>\n<li><a href=\"https:\/\/www.cs.auckland.ac.nz\/~cristian\/crispapers\/56250217.pdf\">Formal proof: reconciling correctness and understanding<\/a>. ~ C.S. Calude, C. M\u00fcller #ITP #Logic<\/li>\n<li><a href=\"http:\/\/eschulte.github.io\/org-scraps\">A collection of short Org-mode snippets demonstrating the usage of code blocks<\/a>. ~ Eric Schulte #Emacs #OrgMode<\/li>\n<li><a href=\"http:\/\/www.livemint.com\/Sundayapp\/zDSjhU5IzcuI7ypo6W4WtL\/Why-data-science-is-simply-the-new-astrology.html\">Why data science is simply the new astrology<\/a>. ~ Karthik Shashidhar #DataScience<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/representacion-ampliada-de-matrices-dispersas\">Exercitium: &#8220;Representaci\u00f3n ampliada de matrices dispersas&#8221;<\/a>. #Haskell #I1M2017 x pero no por y&#8221;]]. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/Hoare_Time.html\">Hoare logics for time bounds<\/a>. ~ M.P.L. Haslbeck, T. Nipkow #ITP #IsabelleHOL #SLC2018<\/li>\n<li><a href=\"https:\/\/github.com\/norvig\/paip-lisp\">Paradigms of artificial intelligence programming: case studies in Common Lisp<\/a>. ~ Peter Norvig #eBook #AI #CommonLisp<\/li>\n<li><a href=\"https:\/\/pdfs.semanticscholar.org\/1820\/ffb9149248fd1673b7db8749db0171c412e2.pdf\">A categorical manifesto<\/a>. ~ J.A. Goguen #CategoryTheory #CompSci #Math<\/li>\n<li><a href=\"https:\/\/lispcast.com\/lambdup-2017-theory-functional-programming\">A theory of functional programming<\/a>. ~ Eric Normand (@ericnormand) #FunctionalProgramming<\/li>\n<li><a href=\"https:\/\/www.math.uh.edu\/~tomforde\/Links-Math.html\">Links to some of the most famous articles about mathematics<\/a>. #Math<\/li>\n<li><a href=\"https:\/\/www.math.uh.edu\/~tomforde\/Articles\/DeathOfProof.pdf\">The death of proof<\/a>. ~ John Horgan #Math<\/li>\n<li><a href=\"https:\/\/www.math.uh.edu\/~tomforde\/Articles\/Immortaility-of-Proof.pdf\">The immortaility of proof<\/a>. ~ Steven G. Krantz #Math<\/li>\n<li><a href=\"https:\/\/machinelearning.technicacuriosa.com\/2017\/03\/19\/a-darpa-perspective-on-artificial-intelligence\/\">A DARPA perspective on Artificial Intelligence<\/a>. ~ John Launchbury #AI<\/li>\n<li><a href=\"https:\/\/christophm.github.io\/interpretable-ml-book\">Interpretable machine learning (A guide for making black box models explainable)<\/a>. ~ Christoph Molnar (@ChristophMolnar) #MachineLearning #XAI<\/li>\n<li><a href=\"https:\/\/en.wikipedia.org\/wiki\/Timeline_of_artificial_intelligence\">Timeline of artificial intelligence<\/a>. #AI<\/li>\n<li><a href=\"https:\/\/www.tweag.io\/posts\/2018-02-28-bazel-haskell.html\">Build large polyglot projects with Bazel \u2026 now with Haskell support<\/a>. ~ M. Boespflug, M. Karpov, M. Kowalczyk #Haskell #Bazel<\/li>\n<li><a href=\"https:\/\/cs.famaf.unc.edu.ar\/~hoffmann\/rio18\/\">El sistema de tipos de Haskell\/GHC y sus extensiones<\/a>. ~ Guillaume Hoffmann (@guion19) #Haskell<\/li>\n<\/ul>\n<div id=\"postamble\"><\/div>\n","protected":false},"excerpt":{"rendered":"<p>Esta entrada es una recopilaci\u00f3n de lecturas compartidas, durante febrero de 2018, en Twitter sobre programaci\u00f3n funcional y demostraci\u00f3n asistida por ordenador fundamentalmente. Las lecturas est\u00e1n ordenadas seg\u00fan su fecha de publicaci\u00f3n en Twitter. Al final de cada art\u00edculo se encuentran etiquetas relativas a los sistemas que usa o a su contenido.<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"footnotes":"","_jetpack_memberships_contains_paid_content":false},"categories":[6],"tags":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_likes_enabled":false,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/6080"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/comments?post=6080"}],"version-history":[{"count":3,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/6080\/revisions"}],"predecessor-version":[{"id":6155,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/6080\/revisions\/6155"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=6080"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=6080"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=6080"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}