{"id":6098,"date":"2018-06-01T10:39:07","date_gmt":"2018-06-01T08:39:07","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=6098"},"modified":"2018-07-10T10:05:42","modified_gmt":"2018-07-10T08:05:42","slug":"resumen-de-lecturas-compartidas-durante-mayo-de-2018","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-mayo-de-2018\/","title":{"rendered":"Resumen de lecturas compartidas durante mayo de 2018"},"content":{"rendered":"<div id=\"content\">Esta entrada es una recopilaci\u00f3n de lecturas compartidas, durante mayo 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\/sumas-de-subconjuntos\">Exercitium: &#8220;Sumas de subconjuntos&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/www.cl.cam.ac.uk\/~caw77\/papers\/mechanising-and-verifying-the-webassembly-specification.pdf\">Mechanising and verifying the WebAssembly specification<\/a>. ~ C. Watt #IsabelleHOL #WebAssembly<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/WebAssembly.html\">WebAssembly in Isabelle\/HOL<\/a>. ~ C. Watt #IsabelleHOL #WebAssembly<\/li>\n<li><a href=\"https:\/\/mmhaskell.com\/blog\/2018\/4\/25\/dockerizing-our-haskell-app\">Dockerizing our Haskell app<\/a>. ~ James Bowen (@james_OWA) #Haskell #Docker<\/li>\n<li><a href=\"https:\/\/computinged.wordpress.com\/2018\/04\/30\/indian-supreme-court-rules-that-cs-degrees-cannot-be-provided-on-line\">Indian Supreme Court rules that CS degrees cannot be provided on-line<\/a>. ~ Mark Guzdial (@guzdial) #Education #CompSci<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1804.10520\">Using machine learning to improve cylindrical algebraic decomposition<\/a>. ~ Z. Huang, M. England, D. Wilson, J.H. Davenport, L.C. Paulson #MachineLearning #Logic<\/li>\n<li><a href=\"http:\/\/www.i-programmer.info\/news\/150-training-a-education\/11751-mathematical-thinking.html\">Courses on mathematical thinking now underway<\/a>. ~ Sue Gee #Math #Logic #CompSci<\/li>\n<li><a href=\"https:\/\/escher.ntr.nl\/en\">The Metamorphosis of Escher through tours<\/a>.<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/subconjuntos-con-suma-dada\">Exercitium: &#8220;Subconjuntos con suma dada&#8221;<\/a>. #Haskell #I1M2017 #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1805.00304\">Gr\u00f6bner bases of modules and Faug\u00e8re&#8217;s F4 algorithm in Isabelle\/HOL<\/a>. ~ A. Maletzky, F. Immler #ITP #IsabelleHOL #Math<\/li>\n<li><a href=\"https:\/\/github.com\/adjoint-io\/aos-signature\">Abe-Ohkubo-Suzuki linkable ring signatures<\/a>. ~ A. Centelles, S. Diehl #Haskell<\/li>\n<li><a href=\"http:\/\/www.abc.es\/ciencia\/abci-matematicas-descifraron-maquina-enigma-nazis-201804301647_noticia.html\">Las matem\u00e1ticas que descifraron la m\u00e1quina \u00abEnigma\u00bb de los nazis<\/a>. ~ Paz Jim\u00e9nez Seral y Manuel V\u00e1zquez Lapuente #Matem\u00e1ticas<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1805.00068\">Exploiting Answer Set Programming with external sources for meta-interpretive learning<\/a>. ~ T. Kaminski, T. Eiter, K. Inoue #ASP #ILP<\/li>\n<li><a href=\"http:\/\/www.doc.ic.ac.uk\/~rak\/papers\/swish.pdf\">Using SWISH to realise interactive web based tutorials for logic based languages<\/a>. ~ J. Wielemaker, F. Riguzzi, R. Kowalski, T. Lager, F. Sadri, M. Calejo. #LogicProgramming #Prolog #SWISH<\/li>\n<li><a href=\"http:\/\/cattheory.com\/editTimeTacticsDraft.pdf\">Edit-time tactics in Idris<\/a>. ~ Joomy Korkut (@cattheory). #Idris<\/li>\n<li><a href=\"http:\/\/reduction.io\/essays\/rosetta-haskell.html\">Rosetta Haskell<\/a> (how abstractions are used by sequentially rewriting a program to do exactly the same thing using different techniques). ~ Chas Leichner #Haskell<\/li>\n<li><a href=\"https:\/\/blog.d46.us\/advanced-emacs-startup\">Advanced techniques for reducing Emacs startup time<\/a>. ~ Joe Schafer #Emacs<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/diccionario-inverso\">Exercitium: &#8220;Diccionario inverso&#8221;<\/a>. #Haskell #I1M2017 #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/personal.cis.strath.ac.uk\/fredrik.nordvall-forsberg\/papers\/variationsIR_mfcs2017.pdf\">Variations on inductive-recursive definitions<\/a>. ~ N. Ghani et als. #Agda<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/VerifyThis2018.html?utm_source=dlvr.it&amp;utm_medium=twitter\">VerifyThis 2018 &#8211; Polished Isabelle solutions<\/a>. ~ P. Lammich and S. Wimmer #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/operaciones-con-series-de-potencias\">Exercitium: &#8220;Operaciones con series de potencias&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"http:\/\/blog.ploeh.dk\/2018\/04\/30\/parametrised-unit-tests-in-haskell\">Parametrised unit tests in Haskell<\/a>. ~ Mark Seemann #Haskell<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1805.00808v1\">Formal process virtual machine for smart contracts verification<\/a>. ~ Z. Yang, H. Lei #Coq<\/li>\n<li><a href=\"http:\/\/www.andrew.cmu.edu\/user\/avigad\/Papers\/learning_logic_and_proof.pdf\">Learning logic and proof with an interactive theorem prover<\/a>. ~ J. Avigad #Logic #ITP #Lean<\/li>\n<li><a href=\"http:\/\/leanprover.github.io\/logic_and_proof\">Logic and proof (Release 0.1)<\/a>. ~ J. Avigad, R.Y. Lewis, F. van Doorn #Logic #ITP #Lean<\/li>\n<li><a href=\"http:\/\/irreal.org\/blog\/?p=7168\">Writing LaTeX with Org Mode<\/a>. #Emacs #OrgMode #LaTeX<\/li>\n<li><a href=\"https:\/\/github.com\/hugrubsan\/Offline-Handwriting-Recognition-with-TensorFlow\">Sistema de Deep Learning para el reconocimiento de palabras manuscritas implementado en TensorFlow y entrenado con IAM Handwriting Database<\/a>. ~ Hugo Rubio #DeepLearning<\/li>\n<li><a href=\"https:\/\/www.toptal.com\/machine-learning\/de-resolver-ecuaciones-a-aprendizaje-profundo-un-tutorial-de-tensorflow-python\/es\">De resolver ecuaciones a aprendizaje profundo: Un tutorial de TensorFlow Python<\/a>. ~ Oliver Holloway #DeepLearning<\/li>\n<li><a href=\"https:\/\/www.toptal.com\/machine-learning\/tensorflow-python-tutorial\">From solving equations to Deep Learning: A TensorFlow Python tutorial<\/a>. ~ Oliver Holloway #DeepLearning<\/li>\n<li><a href=\"https:\/\/doisinkidney.com\/posts\/2018-05-05-induction.html\">Type-level induction in Haskell<\/a>. ~ Donnacha Ois\u00edn Kidney (@oisdk) #Haskell<\/li>\n<li><a href=\"https:\/\/plato.stanford.edu\/entries\/lambda-calculus\/\">The lambda calculus<\/a>. ~ J. Alama, J. Korbmacher #Logic<\/li>\n<li><a href=\"https:\/\/news.stanford.edu\/2018\/05\/04\/deep-learning-comes-full-circle\/\">Deep learning comes full circle<\/a>. ~ N. Collins #DeepLearning<\/li>\n<li><a href=\"https:\/\/cardanodocs.com\/technical\/formal-specification-for-a-cardano-wallet\/\">Formal specification for a Cardano wallet<\/a>. ~ D. Coutts, E. de Vries #Cardano<\/li>\n<li><a href=\"http:\/\/www.sciencemag.org\/news\/2018\/05\/ai-researchers-allege-machine-learning-alchemy\">AI researchers allege that machine learning is alchemy<\/a>. ~ M. Hutson #MachineLearnig<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/las-sucesiones-de-loomis\">Exercitium: &#8220;Las sucesiones de Loomis&#8221;<\/a>. #Haskell #I1M2017 #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/whatthefunctional.wordpress.com\/2018\/05\/07\/making-an-ecosystem-simulation-in-haskell-part-1\/\">Making an ecosystem simulation in Haskell (Part 1)<\/a>. ~ Laurence Emms (@wtfunctional) #Haskell<\/li>\n<li><a href=\"http:\/\/travis.athougies.net\/posts\/2018-05-05-dynamic-programming-is-recursion.html\">Dynamic programming in Haskell is just recursion<\/a>. ~ Travis Athougies #Haskell<\/li>\n<li>Machine learning tutorial:\n<ul>\n<li><a href=\"http:\/\/bit.ly\/2FS50zv\">ML basics and experimenting<\/a><\/li>\n<li><a href=\"http:\/\/bit.ly\/2FQbjUc\">From text to features and NLP-oriented intro to selected learning algorithms<\/a>.<\/li>\n<li><a href=\"http:\/\/bit.ly\/2FQ2ZUE\">Mallet in UIMA: experiments with ClearTK and Lab<\/a>.<\/li>\n<li><a href=\"http:\/\/bit.ly\/2FQ37DC\">WEKA API brief and highlight of further topics<\/a>.<\/li>\n<\/ul>\n<\/li>\n<li><a href=\"https:\/\/github.com\/luqui\/polyrhythmia\">Procedural generation of polyrhythmic beats<\/a>. ~ Luke Palmer (@luqui) #Haskell<\/li>\n<li><a href=\"https:\/\/byorgey.wordpress.com\/2018\/05\/06\/conversations-with-a-six-year-old-on-functional-programming\">Conversations with a six-year-old on functional programming<\/a>. ~ Brent Yorgey #FunctionalProgramming<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/polinomio-digital\">Exercitium: &#8220;Polinomio digital&#8221;<\/a>. #Haskell #I1M2017 conjunto dado&#8221;]]. #Haskell #I1M2017<\/li>\n<li><a href=\"http:\/\/ul.io\/nb\/2018\/04\/30\/literate-analytics-with-org-babel\">A brief introduction to literate analytics with Org-Babel<\/a>. ~ Nick Barnwell #Emacs #OrgMode<\/li>\n<li><a href=\"https:\/\/github.com\/PythonistaMX\/py101\">Introducci\u00f3n a la programaci\u00f3n con Python 3<\/a>. ~ Jos\u00e9 Luis Chiquete Valdivieso #Python<\/li>\n<li><a href=\"https:\/\/queue.acm.org\/detail.cfm?id=3212479\">C is not a low-level language (Your computer is not a fast PDP-11)<\/a>. ~ David Chisnall #Programming<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/clausura-respecto-de-una-operacion-binaria\">Exercitium: &#8220;Clausura respecto de una operaci\u00f3n binaria&#8221;<\/a>. #Haskell #I1M2017 #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/unpocologico.wordpress.com\/2018\/05\/08\/the-humanities-of-maths-computer-science\">The Humanities of Maths\/Computer Science<\/a>. ~ L.P. Cruz #Math #CompSci<\/li>\n<li><a href=\"http:\/\/nautilus.cs.miyazaki-u.ac.jp\/~skata\/MagicHaskeller.html\">MagicHaskeller: An inductive functional programming system for casual\/beginner Haskell programmers<\/a>. ~ Susumu Katayama #Haskell<\/li>\n<li><a href=\"https:\/\/blog.jle.im\/entry\/const-applicative-and-monoids.html\">The Const Applicative and Monoids<\/a>. ~ Justin Le (@mstk) #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/maximos-de-expresiones-aritmeticas\">Exercitium: &#8220;M\u00e1ximos de expresiones aritm\u00e9ticas&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"http:\/\/briansteffens.com\/2017\/02\/20\/from-math-to-machine.html\">From math to machine: translating a function to machine code<\/a>. ~ Brian Steffens #Programming #Math #Haskell #Imperative_language #Assembly_language #Machine_code #I1M2017<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/Modular_Assembly_Kit_Security.html\">An Isabelle\/HOL formalization of the modular assembly kit for security properties<\/a>. ~ O. Bra\u010devac et als. #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/abhiroop.github.io\/vectorization.pdf\">Vectorization in Haskell<\/a>. ~ Abhiroop Sarkar #Haskell<\/li>\n<li><a href=\"https:\/\/github.com\/TechBookHunter\/Free-Haskell-Books\">A curated collection of free eBooks about Haskell<\/a>. #Haskell<\/li>\n<li><a href=\"http:\/\/adrianmejia.com\/blog\/2018\/04\/05\/most-popular-algorithms-time-complexity-every-programmer-should-know-free-online-tutorial-course\">8 time complexities that every programmer should know<\/a>. ~ Adri\u00e1n Mej\u00eda (@amejiarosario) #Algorithmic<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1805.03496\">Revisiting decision diagrams for SAT<\/a>. ~ T. van Dijk, R. Ehlers, A. Biere #Logic #ATP #SAT<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1805.03107\">Machine learning guidance and proof certification for connection tableau<\/a>. ~ M. F\u00e4rber, C. Kaliszyk, J. Urban #MachineLearning #ATP #Prolog<\/li>\n<li><a href=\"https:\/\/github.com\/DanBurton\/runmemo\/blob\/cccc5a378264b3fe002d73089ad7c690f39cb86f\/examples\/lcs.hs\">Explicit memoization can be elegant; a response to &#8220;Dynamic programming in Haskell is just recursion&#8221;<\/a>. ~ Dan Burton #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/sucesiones-suaves\">Exercitium: &#8220;Sucesiones suaves&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/doisinkidney.com\/posts\/2018-05-05-induction.html\">Type-level induction in Haskell<\/a>. ~ Donnacha Ois\u00edn Kidney (@oisdk) #Haskell<\/li>\n<li><a href=\"http:\/\/reasonablypolymorphic.com\/blog\/follow-the-denotation\/\">Follow the denotation<\/a>. ~ Sandy Maguire #Haskell<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1705.04680\">Proof mining with dependent types<\/a>. ~ E. Komendantskaya, J. Heras #ITP #Coq #MachineLearning<\/li>\n<li><a href=\"http:\/\/h2.jaguarpaw.co.uk:8000\/posts\/hkd-pattern-type-level-ski\">The HKD pattern and type-level SKI<\/a>. ~ Tom Ellis #Haskell<\/li>\n<li><a href=\"https:\/\/www.oreilly.com\/ideas\/machine-learning-a-quick-and-simple-definition\">Machine learning: A quick and simple definition<\/a>. ~ James Furbush (@JamesFurbush) #AI #MachineLearning<\/li>\n<li><a href=\"http:\/\/bit.ly\/2G8iRC0\">La hip\u00f3tesis de Riemann y el problema P = NP<\/a>. ~ Juan Arias de Reyna #Matem\u00e1ticas #Computaci\u00f3n<\/li>\n<li><a href=\"http:\/\/eptcs.web.cse.unsw.edu.au\/paper.cgi?TFPIE2017.3\">Functional baby talk: Analysis of code fragments from novice Haskell programmers<\/a>. ~ J. Singer (@jsinger_compsci), B. Archibald #Haskell<\/li>\n<li><a href=\"https:\/\/github.com\/miguelibagar\/EulerianPath\">Los puentes de K\u00f6nigsberg: Estudio y resoluci\u00f3n con Haskell<\/a>. ~ Miguel Ib\u00e1\u00f1ez #Hakell #Matem\u00e1ticas<\/li>\n<li><a href=\"https:\/\/www.cl.cam.ac.uk\/events\/arw2018\/arw2018-proc.pdf\">Proceedings of the 25th Automated Reasoning Workshop (Bridging the Gap between Theory and Practice)<\/a>. #ATP<\/li>\n<li><a href=\"https:\/\/elpais.com\/tecnologia\/2018\/05\/09\/actualidad\/1525854596_328159.html\">Qu\u00e9 hacer ante la &#8220;tecnupidez&#8221;<\/a>. ~ Mario Bunge #Ciencia #Tecnolog\u00eda<\/li>\n<li><a href=\"http:\/\/www.laetoli.es\/las-dos-culturas\/155-que-es-la-tecnologia-9788492422999.html\">\u00bfQu\u00e9 es la tecnolog\u00eda?<\/a> ~ Dominique Raynaud #Ciencia #Tecnolog\u00eda<\/li>\n<li><a href=\"http:\/\/ruleml.org\/talks\/FrancescoRicca-ASPinIndustrContxt-RuleMLWebinar-2018-03-23.pdf\">ASP in industrial contexts: applications and toolchain<\/a>. ~ Francesco Ricca #Logic #Programming #ASP<\/li>\n<li><a href=\"http:\/\/bit.ly\/2jSW30v\">Writing bug-free code using theorem provers<\/a>. ~ Aaron Stump #ITP<\/li>\n<li><a href=\"http:\/\/bit.ly\/2GdYX8G\">Proof assistants: from symbolic logic to real mathematics?<\/a> ~ Lawrence C Paulson #ITP #Logic #Math<\/li>\n<li><a href=\"https:\/\/www.eff.org\/deeplinks\/2018\/05\/math-cant-solve-everything-questions-we-need-be-asking-deciding-algorithm-answer\">Math can\u2019t solve everything: questions we need to be asking before deciding an algorithm is the answer<\/a>. ~ J. Williams, L. Gunn #Algorithms<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/numero-de-triangulaciones-de-un-poligono\">Exercitium: &#8220;N\u00famero de triangulaciones de un pol\u00edgono&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"http:\/\/www.robots.ox.ac.uk\/~gunes\/assets\/pdf\/baydin-2018-ad-machinelearning.pdf\">Automatic differentiation in machine learning: a survey<\/a>. ~ At\u0131l\u0131m G\u00fcne\u015f Baydin et als. #AD #AutomaticDifferentiation #ML #MachineLearning<\/li>\n<li><a href=\"https:\/\/github.com\/ekmett\/ad\">Automatic differentiation<\/a>. ~ Edward Kmett (@kmett) #Haskell #AD #AutomaticDifferentiation<\/li>\n<li><a href=\"http:\/\/lab.elmundo.es\/inteligencia-artificial\/que-es.html\">La Inteligencia Artificial no es como en las pel\u00edculas. \u00bfQu\u00e9 es?<\/a> #IA<\/li>\n<li><a href=\"https:\/\/www.gnu.org\/gnu\/rms-lisp.html\">My Lisp experiences and the development of GNU Emacs<\/a>. ~ Richard Stallman #Lisp #Emacs<\/li>\n<li><a href=\"http:\/\/binaire.blog.lemonde.fr\/2018\/05\/14\/intelligence-artificielle-et-pensee-humaine\">Intelligence artificielle et pens\u00e9e humaine<\/a>. ~ Margarida Romero (@margaridaromero) #IA<\/li>\n<li><a href=\"http:\/\/repositorium.sdum.uminho.pt\/bitstream\/1822\/54476\/1\/exercicios-sbc3.pdf\">Exerc\u00edcios resolvidos em Prolog sobre sistemas baseados em conhecimento<\/a>. ~ Paulo Cortez #Prolog<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/numeros-construidos-con-los-digitos-de-un-conjunto-dado\">Exercitium: &#8220;N\u00fameros construidos con los d\u00edgitos de un conjunto dado&#8221;<\/a>. #Haskell #I1M2017 #I1M2017<\/li>\n<li><a href=\"https:\/\/blog.jle.im\/entry\/purely-functional-typed-models-1.html\">A purely functional typed approach to trainable models (Part 1)<\/a>. ~ Justin Le (@mstk) #Haskell #MachineLearning<\/li>\n<li><a href=\"http:\/\/www.cs.cmu.edu\/~rwh\/papers\/lfmtp18.pdf\">The RedPRL proof assistant<\/a>. ~ C. Angiuli, E. Cavallo, K.B. Hou, R. Harper, J. Sterling. #ITP<\/li>\n<li><a href=\"https:\/\/venturebeat.com\/2018\/05\/10\/carnegie-mellon-university-starts-first-ai-degree-program-in-u-s\/\">Carnegie Mellon University starts first AI degree program in U.S.<\/a> ~ K. Johnson @kharijohnson #AI<\/li>\n<li><a href=\"https:\/\/www.cs.cmu.edu\/bs-in-artificial-intelligence\/curriculum\">Bachelor of Science in Artificial Intelligence (CMU): Curriculum<\/a>. #AI<\/li>\n<li><a href=\"http:\/\/andrew-wohlgemuth.com\/DMmathed.pdf\">Deductive mathematics (an introduction to proof and discovery for mathematics education)<\/a>. ~ A. Wohlgemuth #eBook #Math<\/li>\n<li><a href=\"http:\/\/revue.sesamath.net\/spip.php?article1096\">Pens\u00e9e informatique et g\u00e9om\u00e9trie<\/a>. ~ A. Busser, P. Debrabant, S. Gonifei #Math #Programming<\/li>\n<li><a href=\"https:\/\/www.eldiario.es\/tecnologia\/Dimite-Google-aplicacion-inteligencia-artificial_0_771673028.html\">Dimiten varios empleados de Google por la aplicaci\u00f3n de su inteligencia artificial a un proyecto militar<\/a>. #AI v\u00eda @eldiariotec<\/li>\n<li><a href=\"https:\/\/www.bloomberg.com\/news\/articles\/2018-05-14\/inside-google-a-debate-rages-should-it-sell-artificial-intelligence-to-the-military\">Inside Google, a debate rages: should it sell Artificial Intelligence to the military?<\/a>. ~ Mark Berge #AI<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/mayor-numero-de-atracciones-visitables\">Exercitium: &#8220;Mayor n\u00famero de atracciones visitables&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/www.haskell.org\/communities\/05-2018\/html\/report.html\">Haskell communities and activities report (May 2018)<\/a>. #Haskell<\/li>\n<li><a href=\"http:\/\/jips-k.org\/file\/down?pn=545%20\">Verifying code toward trustworthy software<\/a>. ~ Hyong-Soon Kim and Eunyoung Lee #FormalVerification<\/li>\n<li><a href=\"http:\/\/www.mais.informatik.tu-darmstadt.de\/WebBibPHP\/papers\/2018\/TUD-CS-2018-0056-I-MAKS-Tr.pdf\">I-MAKS (A framework for information-flow security in Isabelle\/HOL)<\/a>. ~ S Grewe, H Mantel, M Tasch, R Gay, H Sudbrock #ITP #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1805.03740\">High-level signatures and initial semantics<\/a>. ~ B. Ahrens, A. Hirschowitz, A. Lafont, M. Maggesi #ITP #Coq<\/li>\n<li><a href=\"http:\/\/irreal.org\/blog\/?p=7198\">Emacs tools for writers<\/a>. #Emacs<\/li>\n<li><a href=\"https:\/\/opensource.com\/article\/18\/5\/emacs-modes-writers\">5 Emacs modes for writers<\/a>. ~ Scott Nesbit (@ScottWNesbitt) #Emacs<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/problema-de-las-jarras\">Exercitium: &#8220;Problema de las jarras&#8221;<\/a>. #Haskell #I1M2017 #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/www.quantamagazine.org\/to-build-truly-intelligent-machines-teach-them-cause-and-effect-20180515\/\">To build truly intelligent machines, teach them cause and effect<\/a>. #AI<\/li>\n<li><a href=\"https:\/\/www.kdnuggets.com\/2018\/05\/pearl-book-science-cause-effect.html\">The book of why (The new science of cause and effect)<\/a>. ~ Judea Pearl, Dana Mackenzie #Science #AI<\/li>\n<li><a href=\"https:\/\/medium.com\/@olxc\/catamorphisms-and-f-algebras-b4e91380d134\">Catamorphisms and F-algebras<\/a>. ~ Alexey Avramenko (@vvviiimmm) #Haskell<\/li>\n<li><a href=\"https:\/\/medium.com\/coinmonks\/create-blockchain-in-haskell-e65df30878bc\">Create Blockchain in Haskell<\/a>. ~ Gaurav Agrawal (@gaurav_zen) #Haskell #Blockchain<\/li>\n<li><a href=\"https:\/\/www.cs.princeton.edu\/~appel\/papers\/wand-frame.pdf\">Proof pearl: Magic wand as frame<\/a>. ~ Qinxiang Cao, Shengyi Wang, Aquinas Hobor, and Andrew W. Appel #ITP #Coq<\/li>\n<li><a href=\"https:\/\/mmhaskell.com\/blog\/2018\/5\/14\/advanced-github-webhooks-and-automation\">Advanced Github: Webhooks and automation<\/a>. ~ James Bowen (@james_OWA) #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/sucesion-de-recaman\">Exercitium: &#8220;Sucesi\u00f3n de Recam\u00e1n&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"http:\/\/www.joachim-breitner.de\/blog\/740-Proof_reuse_in_Coq_using_existential_variables\">Proof reuse in Coq using existential variables<\/a>. ~ J. Breitner (@nomeata) #ITP #Coq<\/li>\n<li><a href=\"https:\/\/hal.inria.fr\/hal-01728828\/document\">A Coq formalization of digital filters<\/a>. ~ Diane Gallois-Wong, Sylvie Boldo, and Thibault Hilaire #ITP #Coq<\/li>\n<li><a href=\"https:\/\/hal.inria.fr\/hal-01483457\/document\">Formalization of the arithmetization of euclidean plane geometry and applications<\/a>. ~ Pierre Boutry, Gabriel Braun, Julien Narboux #ITP #Coq #Math<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1803.00403\">A general formal memory framework in Coq for verifying the properties of programs based on higher-order logic theorem proving with increased automation, consistency, and reusability<\/a>. ~ Zheng Yang, Hang Lei #ITP #Coq<\/li>\n<li><a href=\"http:\/\/reasonablypolymorphic.com\/blog\/ecstasy-case-study\/index.html\">Performance and feature case studies in ecstasy<\/a>. ~ Sandy Maguire #Haskell<\/li>\n<li><a href=\"https:\/\/www.carnegiecouncil.org\/publications\/articles_papers_reports\/artificial-intelligences-ethical-challenges\">Artificial Intelligence&#8217;s ethical challenges<\/a>. ~ L. Zacharias #AI #Ethics<\/li>\n<li><a href=\"https:\/\/idontgetoutmuch.wordpress.com\/2018\/05\/19\/cartography-in-haskell\">Cartography in Haskell<\/a>. ~ Dominic Steinitz (@idontgetoutmuch) #Haskell<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1805.06869\">Revisiting the tree edit distance and its backtracing: A tutorial<\/a>. ~ B. Paa\u00dfen #Algorithms<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1805.06502\">First experiments with neural translation of informal to formal mathematics<\/a>. ~ Q. Wang, C. Kaliszyk, J. Urban #MachineLearning #Math<\/li>\n<li><a href=\"https:\/\/bartoszmilewski.com\/2018\/05\/16\/free-monoidal-functors-categorically\/amp\/\">Free monoidal functors, categorically!<\/a> ~ Bartosz Milewski (@BartoszMilewski) #haskell #CategoryTheory<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/grafo-de-divisibilidad\/\">Exercitium: &#8220;Grafo de divisibilidad&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"http:\/\/www.tom-ridge.com\/resources\/doc\/whitington17ocaml_workshop_post_proceedings-ocamli.pdf\">Direct interpretation of functional programs for debugging<\/a>. ~ J. Whitington, T. Ridge #FunctionalProgramming<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1805.05124v1\">Vector Programming using structural recursion (An introduction to vectors for beginners)<\/a>. ~ M.T. Moraz\u00e1n #Racket<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1805.05125v1\">Using Elm to introduce algebraic thinking to K-8 students<\/a>. ~ C. d&#8217;Alves et als. #Elm<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1805.05127v1\">Teaching Erlang through the Internet: an experience report<\/a>. ~ S. Adams #Erlang<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/el-problema-de-las-celebridades\">Exercitium: &#8220;El problema de las celebridades&#8221;<\/a>. #Haskell #I1M2017 #I1M2017<\/li>\n<li><a href=\"http:\/\/www.haskellforall.com\/2018\/05\/how-i-evaluate-haskell-packages.html\">How I evaluate Haskell packages<\/a>. ~ G. Gonzalez (@GabrielG439) #Haskell<\/li>\n<li><a href=\"https:\/\/whatthefunctional.wordpress.com\/2018\/05\/21\/making-an-ecosystem-simulation-in-haskell-part-2\/amp\/\">Making an ecosystem simulation in Haskell (Part 2)<\/a>. ~ Laurence Emms (@wtfunctional) #Haskell<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1805.07433\">DeepLogic: end-to-end logical reasoning<\/a>. ~ N. Cingillioglu, A. Russo #Logic #MachineLearnig<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1805.07563\">Reinforcement learning of theorem proving<\/a>. ~ C. Kaliszyk, J. Urban, H. Michalewski, M. Ol\u0161\u00e1k #Logic #ATP #MachineLearnig<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1805.07431\">Can machine learning identify interesting mathematics? An exploration using empirically observed laws<\/a>. ~ Chai Wah Wu #MachineLearning #Math<\/li>\n<li><a href=\"https:\/\/www.brucker.ch\/bibliography\/download\/2018\/brucker.ea-standard-compliance-testing-2018.pdf\">Formalizing (Web) standards: an application of test and proof<\/a>. ~ A.D. Brucker, M. Herzberg #ITP #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/problema-del-domino\">Exercitium: &#8220;Problema del domin\u00f3&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1805.07494\">Number sequence prediction problems and computational powers of neural network models<\/a>. ~ H. Nam, S. Kim, K. Jung #MachineLearning #Math<\/li>\n<li><a href=\"https:\/\/cacm.acm.org\/blogs\/blog-cacm\/228006-teaching-two-programming-languages-in-the-first-cs-course\/fulltext\">Teaching two programming languages in the first CS course<\/a>. ~ M. Guzdial #Teaching #Programming<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/sustitucion-de-pares-de-elementos-consecutivos-iguales\">Exercitium: &#8220;Sustituci\u00f3n de pares de elementos consecutivos iguales&#8221;<\/a>. #Haskell #I1M2017 #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/caminos-en-un-grafo\">Exercitium: &#8220;Caminos en un grafo&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/www.quantamagazine.org\/a-classical-math-problem-gets-pulled-into-the-modern-world-20180523\/\">A classical math problem gets pulled into the modern world<\/a>. ~ K. Hartnett #Math<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/Probabilistic_Timed_Automata.html\">Probabilistic timed automata in Isabelle\/HOL<\/a>. ~ S. Wimmer, J. H\u00f6lzl #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/Hidden_Markov_Models.html\">Hidden Markov models<\/a>. ~ S. Wimmer #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/ro-che.info\/articles\/2018-05-25-quickcheck-vs-smallcheck\">QuickCheck vs SmallCheck<\/a>. ~ R. Cheplyaka (@shebang) #Haskell<\/li>\n<li><a href=\"https:\/\/elpais.com\/elpais\/2018\/05\/18\/ciencia\/1526642306_475745.html\">Polinomios contra ordenadores cu\u00e1nticos<\/a>. ~ I. Luengo #Matem\u00e1ticas #Computaci\u00f3n<\/li>\n<li><a href=\"https:\/\/two-wrongs.com\/technical-writing-learning-from-kernighan\">Technical writing: Learning from Kernighan<\/a>. ~ Two Wrongs #Programming<\/li>\n<li><a href=\"https:\/\/www.technologyreview.com\/s\/611138\/microsoft-is-creating-an-oracle-for-catching-biased-ai-algorithms\">Microsoft is creating an oracle for catching biased AI algorithms<\/a>. ~ W. Knight #AI<\/li>\n<li><a href=\"https:\/\/www.technologyreview.com\/s\/611146\/the-us-military-is-funding-an-effort-to-catch-deepfakes-and-other-ai-trickery\">The US military is funding an effort to catch deepfakes and other AI trickery<\/a>. ~ W. Knight #AI<\/li>\n<li><a href=\"http:\/\/www.cs.nmsu.edu\/~epontell\/ALP\/uploads\/alp_Amelia_Harrison.pdf\">Proving program correctness using the AG semantics: an example with n-Queens<\/a>. ~ A. Harrison #ASP<\/li>\n<li><a href=\"http:\/\/www.i-programmer.info\/news\/150-training-a-education\/11822-free-ai-course-from-finland.html\">Free AI course from Finland<\/a>. ~ S. Gee #AI<\/li>\n<li><a href=\"https:\/\/github.com\/takenobu-hs\/haskell-symbol-search-cheatsheet\">Haskell\/GHC symbol search cheatsheet<\/a>. ~ Takenobu Tani #Haskell<\/li>\n<li><a href=\"https:\/\/books.google.es\/books?id=Y3nRBQAAQBAJ\">Combinatorics of permutations<\/a>. ~ M. Bona #Math<\/li>\n<li><a href=\"https:\/\/vynm.github.io\/Comutations\/posts\/2018-05-25-00Introduction.html\">Combinatorics of permutations in Haskell: Introduction<\/a>. ~ Vinay Madhusudanan #Haskell #Math<\/li>\n<li><a href=\"http:\/\/hsyl20.fr\/home\/files\/talks\/shenry-2013-02-05-haskell-intro.pdf\">Haskell: an introduction<\/a>. ~ Sylvain Henry #Haskell<\/li>\n<li><a href=\"http:\/\/hsyl20.fr\/home\/posts\/2018-05-22-extensible-adt.html\">Extensible ADT (EADT)<\/a>. ~ Sylvain Henry #Haskell<\/li>\n<li><a href=\"https:\/\/blog.roman-gonzalez.ca\/post\/174140457777\/fast-haskell-coding-with-cushions\">Fast Haskell coding with cushions<\/a>. ~ Roman Gonzalez #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/polinomios-de-fibonacci\">Exercitium: &#8220;Polinomios de Fibonacci&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/Irrationality_J_Hancl.html\">Irrational rapidly convergent series in Isabelle\/HOL<\/a>. ~ A. Koutsoukou Argyraki, W. Li #ITP #IsabelleHOL #Math<\/li>\n<li><a href=\"https:\/\/medium.com\/urbint-engineering\/haskell-lens-operator-onboarding-a235481e8fac\">Haskell Lens Operator Onboarding<\/a>. ~ Russell Matney (@RussMatney) #Haskell<\/li>\n<li><a href=\"https:\/\/en.wikipedia.org\/wiki\/Definitions_of_mathematics\">Definitions of mathematics<\/a>. #Math<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1805.08059\">One Monad to prove them all (Functional pearl)<\/a>. ~ J- Christiansen, S. Dylus, F. Teegen #ITP #Coq #Haskell<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1805.07797\">One formalization of virtue ethics via learning<\/a>. ~ N.S. Govindarajulu, S. Bringjsord, R. Ghosh #AI<\/li>\n<li><a href=\"https:\/\/hal.inria.fr\/hal-01783851\/document\">A toolchain to produce correct-by-construction OCaml programs<\/a>. ~ J.C. Filli\u00e2tre et als. #FunctionalProgramming #OCaml #Why3<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/representaciones-de-grafos\">Exercitium: &#8220;Representaciones de grafos&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/AxiomaticCategoryTheory.html\">Axiom systems for category theory in free logic<\/a>. ~ C. Benzm\u00fcller and D. Scott #ITP #IsabelleHOL #Math #Logic<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1805.07239\">Translation of algorithmic descriptions of discrete functions to SAT with applications to cryptanalysis problems<\/a>. ~ A Semenov et als. #SAT<\/li>\n<li><a href=\"http:\/\/www.comlab.ox.ac.uk\/ralf.hinze\/publications\/ICFP09.pdf\">Functional pearl: La tour d\u2019Hano\u00ef<\/a>. ~ R. Hinze #FuncionalProgramming #Haskell<\/li>\n<li><a href=\"https:\/\/scss.tcd.ie\/publications\/theses\/diss\/2015\/TCD-SCSS-DISSERTATION-2015-068.pdf\">Simulation of mathematical games using functional programming<\/a>. ~ D. Murphy #FuncionalProgramming #Haskell #Math #Games<\/li>\n<li><a href=\"https:\/\/books.goalkicker.com\/LaTeXBook\/LaTeXNotesForProfessionals.pdf\">LaTeX notes for professionals book<\/a>. #LaTeX<\/li>\n<li><a href=\"http:\/\/mrhonner.com\/archives\/18665\">Visualizing Cantor\u2019s zig zag<\/a>. ~ Patrick Honner (@MrHonner) #Math<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1804.00485v1\">Lisp, Jazz, Aikido (three expressions of a single essence)<\/a>. ~ Didier Verna #FunctionalProgramming #Lisp<\/li>\n<li><a href=\"http:\/\/kitchingroup.cheme.cmu.edu\/blog\/2018\/05\/14\/f-strings-in-emacs-lisp\">f-strings in emacs-lisp<\/a>. ~ John Kitchin (@johnkitchin) #Emacs #Elisp<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1805.09938\">Automated verification of neural networks: Advances, challenges and perspectives<\/a>. ~ F. Leofante et als. #AutomatedReasoning #MachineLearning<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/problema-de-las-3-jarras\">Exercitium: &#8220;Problema de las 3 jarras&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/Monad_Memo_DP.html\">Monadification, memoization and dynamic programming in Isabelle\/HOL<\/a>. ~ S. Wimmer, S. Hu and T. Nipkow #ITP #IsabelleHOL #Algorithms<\/li>\n<li><a href=\"https:\/\/github.com\/seroron\/hblock\">Block puzzle in Haskell<\/a>. ~ @__seroron #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/descomposiciones-de-n-como-sumas-de-1-3-o-4\">Exercitium: &#8220;Descomposiciones de N como sumas de 1, 3 \u00f3 4&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/www.lix.polytechnique.fr\/Labo\/Dale.Miller\/papers\/cada-draft.pdf\">Computation-as-deduction in Abella: work in progress<\/a>. ~ K. Chaudhuri, U. G\u00e9rard, D. Miller #ITP #Abella<\/li>\n<li><a href=\"https:\/\/research.fb.com\/announcing-the-facebook-testing-and-verification-request-for-research-proposals\/\">Announcing the Facebook Testing and Verification request for research proposals<\/a>.<\/li>\n<li><a href=\"https:\/\/www.eldiario.es\/hojaderouter\/robots\/Realidad-ficcion-algoritmos-enganan-magia_0_776572603.html\">\u00bfRealidad o ficci\u00f3n? Inteligencia artificial que nos enga\u00f1a como por arte de magia<\/a>. ~ Cristina S\u00e1nchez (@CristinaSanzM) #IA<\/li>\n<li><a href=\"https:\/\/mmhaskell.com\/blog\/2018\/5\/21\/nix-haskell-concepts-for-package-managment\">Nix: Haskell concepts for package managment<\/a>. ~ James Bowen (@james_OWA) #Haskell #Nix<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1805.11799\">Automated proof synthesis for propositional logic with deep neural networks<\/a>. ~ T. Sekiyama, K. Suenaga #Logic #ATP #DeepLearning<\/li>\n<li><a href=\"https:\/\/two-wrongs.com\/purely-functional-avl-trees-in-common-lisp\">Purely functional AVL trees in Common Lisp<\/a>. #CommonLisp<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1805.10872\">DeepProbLog: Neural probabilistic logic programming<\/a>. ~ R. Manhaeve et als. #LogicProgramming #DeepLearning<\/li>\n<li><a href=\"https:\/\/www.scientificamerican.com\/article\/how-close-are-we-really-to-building-a-quantum-computer\">How close are we\u2014really\u2014to building a quantum computer?<\/a> ~ Larry Greenemeier #CompSci<\/li>\n<li><a href=\"https:\/\/plato.stanford.edu\/entries\/mathematics-constructive\/\">Constructive Mathematics<\/a>. ~ D. Bridges #Logic #Math<\/li>\n<li><a href=\"http:\/\/www.microsiervos.com\/archivo\/ordenadores\/mainframe-ibm-1401-fortran.html\">Un mainframe IBM 1401 de 1959 compilando Fortran<\/a>. ~ @Alvy #Programaci\u00f3n #Computaci\u00f3n<\/li>\n<li><a href=\"https:\/\/en.wikipedia.org\/wiki\/History_of_programming_languages\">History of programming languages<\/a>. #Programming #CompSci<\/li>\n<li><a href=\"https:\/\/en.wikipedia.org\/wiki\/Timeline_of_programming_languages\">Timeline of programming languages<\/a>. #Programming #CompSci<\/li>\n<\/ul>\n<div id=\"postamble\"><\/div>\n","protected":false},"excerpt":{"rendered":"<p>Esta entrada es una recopilaci\u00f3n de lecturas compartidas, durante mayo 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\/6098"}],"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=6098"}],"version-history":[{"count":2,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/6098\/revisions"}],"predecessor-version":[{"id":6152,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/6098\/revisions\/6152"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=6098"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=6098"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=6098"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}