{"id":6195,"date":"2018-08-01T12:37:00","date_gmt":"2018-08-01T10:37:00","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=6195"},"modified":"2019-09-01T11:29:30","modified_gmt":"2019-09-01T09:29:30","slug":"resumen-de-lecturas-compartidas-durante-julio-de-2018","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-julio-de-2018\/","title":{"rendered":"Resumen de lecturas compartidas durante julio de 2018"},"content":{"rendered":"<p>Esta entrada es una recopilaci\u00f3n de lecturas compartidas, durante julio de 2018, en <a href=\"https:\/\/twitter.com\/Jose_A_Alonso\">Twitter<\/a> sobre programaci\u00f3n funcional y demostraci\u00f3n asistida por ordenador fundamentalmente.<\/p>\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 class=\"org-ul\">\n<li><a href=\"http:\/\/philsci-archive.pitt.edu\/14825\/1\/comprm-2018-06-28.pdf\">Computational reverse mathematics and foundational analysis<\/a>. ~ Benedict Eastaugh #Logic #Math<\/li>\n<li><a href=\"http:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-octubre-de-2017\">GLC: Resumen de lecturas compartidas (octubre de 2017)<\/a>.<\/li>\n<li><a href=\"http:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-noviembre-de-201\">GLC: Resumen de lecturas compartidas (noviembre de 2017)<\/a>.<\/li>\n<li><a href=\"http:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-diciembre-de-2017\">GLC: Resumen de lecturas compartidas (diciembre de 2017)<\/a>.<\/li>\n<li><a href=\"http:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-enero-de-2018\">GLC: Resumen de lecturas compartidas (enero de 2018)<\/a>.<\/li>\n<li><a href=\"http:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-febrero-de-2018\">GLC: Resumen de lecturas compartidas (febrero de 2018)<\/a>.<\/li>\n<li><a href=\"https:\/\/www.ideals.illinois.edu\/bitstream\/handle\/2142\/100116\/K-semantics-tech-report.pdf\">IsaK: A complete semantics of K<\/a>. ~ L. Li, E.L. Gunter #ITP #IsabelleHOL #Logic<\/li>\n<li><a href=\"https:\/\/arthurxavierx.github.io\/RealWorldAppComonadicUI.pdf\">A real-world application with a comonadic user interface<\/a>. ~ Arthur Xavier #FunctionalProgramming #Haskell #PureScript<\/li>\n<li><a href=\"https:\/\/whatthefunctional.wordpress.com\/2018\/07\/01\/google-sheets-and-haskell\">Google Sheets and Haskell<\/a>. ~ Laurence Emms #Haskell<\/li>\n<li><a href=\"http:\/\/irreal.org\/blog\/?p=7312\">Zamansky 50: Presentations<\/a>. #Emacs<\/li>\n<li><a href=\"http:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-marzo-de-2018\">GLC: Resumen de lecturas compartidas durante marzo de 2018<\/a>.<\/li>\n<li><a href=\"http:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-abril-de-2018\">GLC: Resumen de lecturas compartidas durante abril de 2018<\/a>.<\/li>\n<li><a href=\"http:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-mayo-de-2018\">GLC: Resumen de lecturas compartidas durante mayo de 2018<\/a>.<\/li>\n<li><a href=\"http:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-junio-de-2018\">GLC: Resumen de lecturas compartidas durante junio de 2018<\/a>.<\/li>\n<li><a href=\"http:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-el-curso-2017-18\">GLC: Resumen de lecturas compartidas durante el curso 2017-18<\/a>.<\/li>\n<li><a href=\"https:\/\/dspace.library.uu.nl\/bitstream\/handle\/1874\/364837\/3705269.pdf\">Compiling an Haskell EDSL to C (A new C back-end for the Copilot runtime verification framework)<\/a>. ~ Frank Dedden Haskell<\/li>\n<li><a href=\"https:\/\/dspace.library.uu.nl\/bitstream\/handle\/1874\/364838\/thesis.pdf\">Implementing analytic tableaux for justification logic<\/a>. ~ N. Steenbergen #Haskell #Logic<\/li>\n<li><a href=\"https:\/\/github.com\/slakkenhuis\/judge\">judge: Tableau-based theorem prover for justification logic<\/a>. ~ N. Steenbergen #Haskell #Logic<\/li>\n<li><a href=\"https:\/\/identicalsnowflake.github.io\/Rank2Modeling.html\">Redis data modeling with rank 2 types<\/a>. #Haskell<\/li>\n<li><a href=\"https:\/\/culturacientifica.com\/2015\/07\/01\/el-problema-del-cambio-de-moneda\">El problema del cambio de moneda<\/a>. R. Ib\u00e1\u00f1ez #Matem\u00e1ticas<\/li>\n<li><a href=\"https:\/\/medium.com\/@Francesco_AI\/a-brief-history-of-ai-baf0f362f5d6\">A brief history of AI (An outline of what happened in the last 60 years in AI)<\/a>. ~ Francesco Corea #AI<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1608.02621v2\">The machine that builds itself: how the strengths of Lisp family languages facilitate building complex and flexible bioinformatic models<\/a>. ~ B.B. Khomtchouk, E. Weitz, C. Wahlestedt #Lisp<\/li>\n<li><a href=\"http:\/\/philsci-archive.pitt.edu\/14825\/1\/comprm-2018-06-28.pdf\">Computational reverse mathematics and foundational analysis<\/a>. ~ B. Eastaugh #Logic #Math<\/li>\n<li><a href=\"https:\/\/www.politesi.polimi.it\/bitstream\/10589\/140161\/1\/Tesi.pdf\">Toward a more expressive pattern matching in Haskell<\/a>. ~ G. Servadei #Haskell<\/li>\n<li><a href=\"http:\/\/www.inf.u-szeged.hu\/~cscs\/pdf\/cscs2018.pdf\">The 11th conference of PhD students in Computer Science (Volume of short papers)<\/a>.<\/li>\n<li><a href=\"https:\/\/www.preprints.org\/manuscript\/201806.0474\/download\/final_file\">Scope of Artificial Intelligence in Law<\/a>. ~ J. Dabass, B.S. Dabass #AI #MachineLearning #DeepLearning<\/li>\n<li><a href=\"http:\/\/www.csl.sri.com\/users\/rushby\/papers\/modalpvs.pdf\">PVS embeddings of propositional and quantified modal logic<\/a>. ~ J. Rushby #ITP #PVS #Logic<\/li>\n<li><a href=\"https:\/\/francis.naukas.com\/2012\/02\/19\/para-que-le-sirve-a-un-investigador-cientifico-estar-en-twitter\">Para qu\u00e9 le sirve a un investigador cient\u00edfico estar en Twitter<\/a>. ~ Francisco R. Villatoro (#Ciencia<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1202.2461\">How the scientific community reacts to newly submitted preprints: article downloads, Twitter mentions, and citations<\/a>. ~ X. Shuai, A. Pepe, J. Bollen #Science<\/li>\n<li><a href=\"https:\/\/medium.com\/@mikhail.barash.mikbar\/papers-on-programming-languages-ideas-from-70s-for-today-2931891d4dbd\">Papers on programming languages: ideas from 70&#8217;s for today<\/a>. ~ Mikhail Barash #Programming<\/li>\n<li><a href=\"http:\/\/tweetsverse.blogspot.com\/2018\/07\/why-i-love-haskell.html\">Why I love Haskell<\/a>. ~ @PLT_cheater #Haskell<\/li>\n<li><a href=\"http:\/\/mat.unb.br\/~ayala\/tcs_20171215i.pdf\">A formalisation of nominal \u03b1-equivalence with A, C, and AC function symbols<\/a>. ~ M. Ayala et als. #ITP #Coq<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1807.01456\">A purely functional computer algebra system embedded in Haskell<\/a>. ~ Hiromi Ishii #Haskell #CAS #Math<\/li>\n<li><a href=\"https:\/\/konn.github.io\/computational-algebra\/\">Computational algebra system in Haskell (Dependently-typed computational algebra system written in Haskell)<\/a>. ~ Hiromi Ishii #Haskell #CAS #Math<\/li>\n<li><a href=\"https:\/\/github.com\/konn\/fibs\">Benchmarks on various Fibonacci computation<\/a>. ~ Hiromi Ishii #Haskell #Algorithms #Math<\/li>\n<li><a href=\"https:\/\/github.com\/konn\/lk-proof-assistant\">Simple proof assistant for LK calculus (First-Order logic)<\/a>. ~ Hiromi Ishii #Haskell #Logic<\/li>\n<li><a href=\"https:\/\/doisinkidney.com\/posts\/2018-06-30-probability-5-ways.html\">Probability 5 ways<\/a>. ~ Donnacha Ois\u00edn Kidney #Haskell<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1807.01871\">Formalization in constructive type theory of the standardization theorem for the lambda calculus using multiple substitution<\/a>. ~ M. Copes, N. Szasz, A. Tasistro #ITP #Agda<\/li>\n<li><a href=\"http:\/\/bit.ly\/2u2EqRh\">Matem\u00e1tica misteriosa<\/a>. ~ Juan Arias de Reyna #Matem\u00e1ticas<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1807.01873\">Sharing a library between proof assistants: reaching out to the HOL family<\/a>. ~ F. Thir\u00e9 #ITP #OpenTheory # Coq #Matita<\/li>\n<li><a href=\"https:\/\/ifipwg21wiki.cs.kuleuven.be\/pub\/IFIP21\/Brandenburg\/Talk-Moa.pdf\">Theory exploration in Hipster (or how to automate an undergraduate AI&amp;CS student)<\/a>. ~ Moa Johansson #IsabelleHOL #Haskell<\/li>\n<li><a href=\"https:\/\/ifipwg21wiki.cs.kuleuven.be\/pub\/IFIP21\/Brandenburg\/wouter-slides.pdf\">From algebra to abstract machine<\/a>. ~ W. Swierstra, C. Tom\u00e9 Corti\u00f1as #Haskell<\/li>\n<li><a href=\"https:\/\/ifipwg21wiki.cs.kuleuven.be\/pub\/IFIP21\/Brandenburg\/slides_botta.pdf\">Specifications in small and large contexts<\/a>. ~ N. Botta [Slides] #Idris<\/li>\n<li><a href=\"https:\/\/ifipwg21wiki.cs.kuleuven.be\/pub\/IFIP21\/Brandenburg\/ifip_kuifje.pdf\">Kuifje: Quantified information flow with monads in Haskell<\/a>. ~ Tom Schrijvers #Haskell<\/li>\n<li><a href=\"http:\/\/reasonablypolymorphic.com\/blog\/prospecting-free-monads\/\">Static analysis of free monads<\/a>. #Haskell<\/li>\n<li><a href=\"http:\/\/www.di.uminho.pt\/~jno\/ps\/wg21-77a-sl.pdf\">Compiling quantamorphisms for the IBM Q-Experience<\/a>. ~ J.N. Oliveira, A. Neri, R.S. Barbosa #Haskell<\/li>\n<li><a href=\"http:\/\/www.cse.chalmers.se\/~patrikj\/talks\/WG2.1_Brandenburg_Jansson_slides.pdf\">Examples and results from a BSc-level course on domain specific languages of mathematics<\/a>. ~ P. Jansson et als. #Haskell #Math<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1806.04002\">Michael John Caldwell Gordon (FRS 1994), 28 February 1948 &#8211; 22 August 2017<\/a>. ~ Lawrence C Paulson #ITP #Biography<\/li>\n<li><a href=\"https:\/\/slideslive.com\/38908214\/differentiable-functional-programming\">Differentiable functional programming<\/a>. ~ Noel Welsh #DeepLearning #FunctionalProgramming #Scala<\/li>\n<li><a href=\"https:\/\/whatthefunctional.wordpress.com\/2018\/07\/08\/a-thought-experiment-category-theory-and-quantum-computing\/\">A thought experiment: category theory and quantum computing<\/a>. ~ Laurence Emms #Haskell #CategoryTheory #QuantumComputing<\/li>\n<li><a href=\"http:\/\/www.lavanguardia.com\/vida\/20180708\/45762804454\/alan-turing-genio-descodifico-naturaleza.html\">Alan Turing, el genio que descodific\u00f3 la naturaleza<\/a>. ~ N\u00faria Jar #Turing #Biograf\u00eda #Computaci\u00f3n v\u00eda @lavanguardia<\/li>\n<li><a href=\"http:\/\/neilmitchell.blogspot.com\/2018\/07\/inside-paper-build-systems-la-carte.html\">Inside the paper: Build systems \u00e0 la carte<\/a>. ~ Neil Mitchell #Haskell<\/li>\n<li><a href=\"http:\/\/blog.poisson.chat\/posts\/2018-07-08-deriving-twist.html\">Deriving instances with a twist<\/a>. ~ Xia Li-yao #Haskell<\/li>\n<li><a href=\"http:\/\/flaviomoura.mat.br\/files\/articles\/MSNorm.pdf\">A constructive formalisation of the modular strong normalisation theorem<\/a>. ~ FLC de Moura et als. #ITP #Coq<\/li>\n<li><a href=\"https:\/\/hal.inria.fr\/hal-01823507\/document\">Using SMT engine to generate symbolic automata<\/a>. ~ X. Qin et als. #SMT<\/li>\n<li><a href=\"https:\/\/devel.isa-afp.org\/entries\/Neumann_Morgenstern_Utility.html\">Von-Neumann-Morgenstern utility theorem in Isabelle\/HOL<\/a>. ~ J. Parsert, C. Kaliszyk #ITP #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/www.johndcook.com\/blog\/2018\/07\/08\/weak-groups\/\">Weakening the requirements of a group<\/a>. ~ J.D. Cook #Math<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1807.02192\">A survey of knowledge representation and retrieval for learning in service robotics<\/a>. ~ D. Paulius, Y. Sun #KRR<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1807.02957\">Scaling-up reasoning and advanced analytics on BigData<\/a>. ~ T. Condie et als. #LogicProgramming #BigData<\/li>\n<li><a href=\"http:\/\/blog.poisson.chat\/posts\/2018-07-09-type-gadt.html\">Type is an extensible GADT<\/a>. ~ Xia Li-yao #Haskell<\/li>\n<li><a href=\"https:\/\/www.abc.es\/ciencia\/abci-otro-millon-dolares-espera-201807100208_noticia.html\">Otro mill\u00f3n de d\u00f3lares te espera: \u00bfEs P = NP?<\/a> ~ Alfonso J. Poblaci\u00f3n #Matem\u00e1ticas #Computaci\u00f3n<\/li>\n<li><a href=\"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-94821-8_2.pdf\">Towards certified meta-programming with typed template-Coq<\/a>. ~ A. Anand et als. #ITP #Coq<\/li>\n<li><a href=\"http:\/\/eptcs.web.cse.unsw.edu.au\/paper.cgi?MSFP2018.3.pdf\">Relating idioms, arrows and monads from monoidal adjunctions<\/a>. ~ E. Rivas #Haskell<\/li>\n<li><a href=\"http:\/\/eptcs.web.cse.unsw.edu.au\/paper.cgi?MSFP2018.5.pdf\">Backward induction for repeated games<\/a>. ~ J. Hedges #FunctionalProgramming #Haskell<\/li>\n<li><a href=\"http:\/\/eptcs.web.cse.unsw.edu.au\/paper.cgi?MSFP2018.6.pdf\">Everybody\u2019s got to be somewhere<\/a>. ~ C. McBride #Agda<\/li>\n<li><a href=\"https:\/\/dev.to\/aspittel\/daily-coding-puzzles-4ce9\">Daily coding puzzles<\/a>. ~ Ali Spittel #CodingPuzzle<\/li>\n<li><a href=\"https:\/\/colmbaston.co.uk\/files\/Common-Knowledge.pdf\">The coinductive formulation of common knowledge<\/a>. ~ C. Baston, V. Capretta #ITP #Coq #Agda<\/li>\n<li><a href=\"http:\/\/www.ortegaygasset.edu\/admin\/descargas\/Rev_OccidenteJulio-Agosto2018_J_L_Suarez.pdf\">La nacionalizaci\u00f3n de la estrategia en torno a la inteligencia artificial<\/a>. (Estado, pol\u00edtica y futuro). ~ Juan Luis Su\u00e1rez #IA<\/li>\n<li><a href=\"https:\/\/abhinavsarkar.net\/posts\/fast-sudoku-solver-in-haskell-2\/\">Fast Sudoku solver in Haskell #2: A 200x faster solution<\/a>. ~ Abhinav Sarkar #Haskell<\/li>\n<li><a href=\"https:\/\/www.tweag.io\/posts\/2018-07-10-funflow-make.html\">Funflow example: emulating make<\/a>. ~ Divesh Otwani, Nicholas Clarke #Haskell<\/li>\n<li><a href=\"https:\/\/link.springer.com\/content\/pdf\/10.1186\/s40537-018-0132-9.pdf\">Categories for (Big) Data models and optimization<\/a>. ~ L. Thiry, H. Zhao, M. Hassenforder #BigData #CategoryTheory #FunctionalProgramming #Haskell<\/li>\n<li><a href=\"https:\/\/www21.in.tum.de\/~eberlm\/random_trees.pdf\">Verified analysis of random binary tree structures<\/a>. ~ M. Eberl, M.W. Haslbeck, T. Nipkow #ITP #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/carrv.github.io\/2018\/papers\/CARRV_2018_paper_5.pdf\">A formally verified cryptographic extension to a RISC-V processor<\/a>. ~ J.R. Kiniry et als. #FormalVerification<\/li>\n<li><a href=\"https:\/\/plato.stanford.edu\/entries\/artificial-intelligence\/\">Artificial Intelligence<\/a>. ~ Selmer Bringsjord #AI<\/li>\n<li><a href=\"https:\/\/people.csail.mit.edu\/jgross\/personal-website\/papers\/2018-reification-by-parametricity-itp-draft.pdf\">Reification by parametricity (Fast setup for proof by reflection, in two lines of Ltac)<\/a>. ~ J. Gross, A. Erbsen, A. Chlipala #ITP #Coq<\/li>\n<li><a href=\"https:\/\/icfp18.sigplan.org\/event\/icfp-2018-papers-mtac2-typed-tactics-for-backward-reasoning-in-coq\">Mtac2: Typed tactics for backward reasoning in Coq<\/a>. ~ J. Kaiser et als. #ITP #Coq<\/li>\n<li><a href=\"https:\/\/www21.in.tum.de\/~traytel\/papers\/frp\/frp.pdf\">A verified automatic prover based on ordered resolution<\/a>. ~ A. Schlichtkrull, J.C .Blanchette, D. Traytel #ITP #IsabelleHOL #SML #Logic<\/li>\n<li><a href=\"https:\/\/hal.inria.fr\/hal-01639819\/document\">A formal proof in Coq of a control function for the inverted pendulum<\/a>. ~ D. Rouhling #ITP #Coq<\/li>\n<li><a href=\"https:\/\/cakeml.org\/itp18.pdf\">Verifying the LTL to B\u00fcchi automata translation via very weak alternating automata<\/a>. ~ S. Jantsch, M. Norrish #ITP #HOL4<\/li>\n<li><a href=\"https:\/\/shemesh.larc.nasa.gov\/fm\/PRECiSA\/eliminating-unstable-tests-draft.pdf\">Eliminating unstable tests in floating-point programs<\/a>. ~ L. Titolo, C. Mu\u00f1oz, M.A. Feli\u00fa, M.M. Moscato #ITP #PVS<\/li>\n<li><a href=\"http:\/\/ksiresearchorg.ipage.com\/seke\/seke18paper\/seke18paper_24.pdf\">Reo2PVS: Formal specification and verification of component connectors<\/a>. ~ M.S. Nawaz, M. Sun #ITP #PVS<\/li>\n<li><a href=\"https:\/\/www.irif.fr\/~thib\/thesis.pdf\">Differential program semantics<\/a>. ~ T. Girka #ITP #Coq<\/li>\n<li><a href=\"https:\/\/markkarpov.com\/post\/lisp-and-haskell.html\">Lisp and Haskell<\/a>. ~ Mark Karpov #Lisp #Haskell<\/li>\n<li><a href=\"https:\/\/archive.alvb.in\/msc\/thesis\/reading\/typesafe-observable-sharing.pdf\">Type-safe observable sharing in Haskell<\/a>. ~ Andy Gill #Haskell<\/li>\n<li><a href=\"https:\/\/cacm.acm.org\/blogs\/blog-cacm\/229543-algorithms-have-been-around-for-4000-years\/fulltext\">Algorithms have been around for 4,000 years<\/a>. ~ Herbert Bruderer #Algorithms<\/li>\n<li><a href=\"http:\/\/www.andreas-lochbihler.de\/pub\/lochbihler2018itp.pdf\">Fast machine words in Isabelle\/HOL<\/a>. ~ A. Lochbihler #ITP #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/www.student.informatik.tu-darmstadt.de\/~xx00seba\/publications\/arrow-abstract-interp.pdf\">Compositional soundness proofs of abstract interpreters<\/a>. ~ S. Keidel, C.B. Poulsen, S. Erdweg #Haskell<\/li>\n<li><a href=\"https:\/\/www.ethz.ch\/content\/dam\/ethz\/special-interest\/infk\/inst-infsec\/information-security-group-dam\/research\/publications\/pub2018\/LochbihlerSchneider2018.pdf\">Relational parametricity and quotient preservation for modular (co)datatypes<\/a>. ~ A. Lochbihler, J. Schneider #ITP #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1807.05174\">First steps towards a formalization of Forcing<\/a>. ~ E. Gunther, M. Pagano, P. S\u00e1nchez #ITP #Isabelle #Logic<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1807.05054\">AI reasoning systems: PAC and applied methods<\/a>. ~ J. Cheng #AI #Logic<\/li>\n<li><a href=\"https:\/\/speakerdeck.com\/frasertweedale\/taming-the-c-monster-haskell-ffi-techniques\">Taming the C monster (Haskell FFI techniques)<\/a>. #Haskell<\/li>\n<li><a href=\"https:\/\/www21.in.tum.de\/~haslbema\/documents\/provingcontests_draft18.pdf\">Competitive proving for fun<\/a>. ~ M.P.L Haslbeck, S. Wimmer #ITP #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/books.google.es\/books?id=QNNjDwAAQBAJ&amp;printsec=frontcover&amp;hl=es#v=onepage&amp;q&amp;f=false%20\">Computational artifacts: Towards a philosophy of computer science<\/a>. ~ R. Turner #CompSci<\/li>\n<li><a href=\"http:\/\/cl-informatik.uibk.ac.at\/users\/griff\/publications\/Messner-Parsert-Schoepf-Sternagel-ITP18.pdf\">A formally verified solver for homogeneous linear diophantine equations<\/a>. ~ F. Me\u00dfner et als. #ITP #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/doisinkidney.com\/posts\/2018-07-17-probability-presentation.html\">Probabilistic functional programming<\/a>. ~ Donnacha Ois\u00edn Kidney #FunctionalProgramming #Haskell<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1807.05641\">The consistency of arithmetic<\/a>. ~ T.Y. Chow #Logic<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1807.05377\">SAT encodings for sorting networks, single-exception sorting networks and \u03b5\u2212halvers<\/a>. ~ J.A.R. Fonollosa #Logic #SAT<\/li>\n<li><a href=\"https:\/\/github.com\/jrclogic\/SMCDEL\/raw\/master\/SMCDEL.pdf\">SMCDEL: An implementation of symbolic model checking for dynamic epistemic logic with binary decision diagrams<\/a>. ~ M. Gattinger #Logic #Haskell<\/li>\n<li><a href=\"https:\/\/plato.stanford.edu\/entries\/type-theory\/\">Type theory<\/a>. ~ Thierry Coquand #Logic<\/li>\n<li><a href=\"https:\/\/hal.inria.fr\/hal-01703524\/document\">Formalizing implicative algebras in Coq<\/a>. ~ \u00c9. Miquey #ITP #Coq<\/li>\n<li><a href=\"http:\/\/irreal.org\/blog\/?p=7346\">Building an initial Emacs configuration<\/a>. #Emacs<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1805.06798\">Generic deriving of generic traversals<\/a>. ~ C. Kiss, M. Pickering, N. Wu #FunctionalProgramming #Haskell<\/li>\n<li><a href=\"https:\/\/medium.com\/@cdsmithus\/codeworld-update-july-14-2018-9fa5a2c27102\">CodeWorld update\u200a\u2014\u200aJuly 14, 2018<\/a>. ~ Chris Smith #Haskell #CodeWorld<\/li>\n<li><a href=\"https:\/\/medium.com\/@cdsmithus\/teaching-algebraic-expressions-with-tracking-arithmetic-fba090ea7fff\">Teaching algebraic expressions with tracking arithmetic<\/a>. ~ Chris Smith #Teaching #Math #Haskell #CodeWorld<\/li>\n<li><a href=\"https:\/\/anthonybonato.com\/2018\/07\/18\/mathematics-and-computation-2\/\">Mathematics and computation<\/a>. ~ A. Bonato #Math #CompSci<\/li>\n<li><a href=\"https:\/\/www.genbeta.com\/desarrollo\/test-automaticos-con-quickcheck-como-analizar-nuestro-codigo-en-busca-de-bugs\">Test autom\u00e1ticos con QuickCheck \u00bfC\u00f3mo analizar nuestro c\u00f3digo en busca de bugs?<\/a>. ~ @__josejuan__ #Programaci\u00f3n #QuickCheck<\/li>\n<li><a href=\"https:\/\/medium.com\/axiomzenteam\/functor-applicative-and-why-8a08f1048d3d\">Functor, Applicative and why<\/a>. ~ Leo Zhang #FunctionalProgramming #Haskell<\/li>\n<li><a href=\"https:\/\/nickhigham.wordpress.com\/2015\/10\/20\/the-rise-of-mixed-precision-arithmetic\/\">The rise of mixed precision arithmetic<\/a>. ~ Nick Higham #Programming<\/li>\n<li><a href=\"https:\/\/www.simonsfoundation.org\/2018\/07\/18\/ar2017-scott-aaronson\/\">The limits of classical and quantum computing<\/a>. ~ Scott Aaronson #CompSci<\/li>\n<li><a href=\"https:\/\/plus.maths.org\/content\/intuitionism\">Intuitive mathematics<\/a>. ~ Marianne Freiberger #Logic #Math<\/li>\n<li><a href=\"https:\/\/plus.maths.org\/content\/paradise\">Paradise lost and rescued<\/a>. ~ Marianne Freiberger #Logic #Math<\/li>\n<li><a href=\"https:\/\/anthonybonato.com\/2018\/07\/18\/mathematics-and-computation-2\/\">Mathematics and computation<\/a>. ~ Anthony Bonato #Math #CompSci<\/li>\n<li><a href=\"https:\/\/shemesh.larc.nasa.gov\/people\/cam\/publications\/ITP2018-draft.pdf\">Boosting the reuse of formal specifications<\/a>. ~ M.M. Moscato et als. #ITP #PVS<\/li>\n<li><a href=\"http:\/\/www.cs.nott.ac.uk\/~pszgmh\/mind-the-gap.pdf\">Closing the gap between correctness and efficiency<\/a>. ~ G. Hutton #FunctionalProgramming #Haskell<\/li>\n<li><a href=\"http:\/\/ksiresearchorg.ipage.com\/seke\/seke18paper\/seke18paper_23.pdf\">Towards formal modeling and verification of probabilistic connectors in Coq<\/a>. ~ X. Zhang, M. Sun #ITP #Coq<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/DiscretePricing.html\">Pricing in discrete financial models<\/a>. ~ M. Echenim #ITP #IsabelleHOL<\/li>\n<li><a href=\"http:\/\/www.unirioja.es\/cu\/jodivaso\/publications\/2018\/EACA_2018.pdf\">Towards a verified Smith normal form algorithm in Isabelle\/HOL<\/a>. ~ J. Divas\u00f3n, J. Aransay #ITP #IsabelleHOL #Math<\/li>\n<li><a href=\"https:\/\/vanemden.wordpress.com\/2018\/07\/21\/dijkstra-and-logic\/\">A bridge too far: E.W. Dijkstra and logic<\/a>. ~ Maarten van Emden #Logic #CompSci<\/li>\n<li><a href=\"https:\/\/chrispenner.ca\/posts\/intro-to-finger-trees\">A practical introduction to finger trees<\/a>. ~ Chris Penner #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/tren-de-potencias\/\">Exercitium: Tren de potencias<\/a>. #Haskell<\/li>\n<li><a href=\"http:\/\/ksiresearchorg.ipage.com\/seke\/seke18paper\/seke18paper_4.pdf\">A systematic approach for developing cyber physical systems<\/a>. ~ X. He, Z. Dong, Y. Fu #ITP #Coq<\/li>\n<li><a href=\"https:\/\/litx.io\/blog-instance-map.html\">Dependent typing and existential (de)serialization<\/a>. #Haskell<\/li>\n<li><a href=\"https:\/\/www.joachim-breitner.de\/blog\/742-WebGL,_Fragment_Shader,_GHCJS_and_reflex-dom\">WebGL, Fragment Shader, GHCJS and reflex-dom<\/a>. ~ Joachim Breitner #Haskell<\/li>\n<li><a href=\"https:\/\/hub.zhox.com\/posts\/chocolatey-introduction\/\">Haskell &amp; AppVeyor Chocolatey introduction<\/a>. ~ Tamar Christina #Haskell<\/li>\n<li>~ Chris Penner #Haskell<\/li>\n<li><a href=\"https:\/\/gist.github.com\/atondwal\/ee869b951b5cf9b6653f7deda0b7dbd8\">Popularity of Haskell extensions<\/a>. ~ Anish Tondwalkar #Haskell<\/li>\n<li><a href=\"https:\/\/openlibra.com\/es\/book\/mathematical-reasoning-writing-and-proof\">Mathematical reasoning<\/a>. Writing and proof. ~ Ted Sundstrom #eBook #Math<\/li>\n<li><a href=\"https:\/\/www.wlkl.ch\/literature\/docs\/KlKr14.pdf\">Supercompilation: ideas and methods<\/a>. ~ I. Klyuchnikov, D. Krustev #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/numero-medio\">Exercitium: N\u00famero medio<\/a>. #Haskell<\/li>\n<li><a href=\"http:\/\/www.ittc.ku.edu\/research\/thesis\/documents\/justin_dawson_thesis.pdf\">The remote monad<\/a>. ~ Justin Dawson #PhD_Thesis #Haskell<\/li>\n<li><a href=\"http:\/\/ceur-ws.org\/Vol-2095\/paper2.pdf\">A simple semi-automated proof assistant for first-order modal logics<\/a>. ~ T. Libal #Logic #ATP #Prolog<\/li>\n<li><a href=\"http:\/\/ceur-ws.org\/Vol-2095\/invited1.pdf\">Implementations of natural logics<\/a>. ~ Lawrence S. Moss #Logic #AutomatedReasoning<\/li>\n<li><a href=\"http:\/\/ceur-ws.org\/Vol-2095\/invited2.pdf\">Some thoughts about FOL-translations in Vampire<\/a>. ~ Giles Reger #AutomatedReasoning #Vampir<\/li>\n<li><a href=\"https:\/\/www.brucker.ch\/bibliography\/download\/2018\/brucker.ea-isabelle-ontologies-2018.pdf\">Using the Isabelle Ontology Framework<\/a> (Linking the formal with the informal). ~ A.D. Brucker et als. #ITP #Isabelle<\/li>\n<li><a href=\"http:\/\/www0.cs.ucl.ac.uk\/staff\/b.cook\/CAV18_invited.pdf\">Formal reasoning about the security of AWS (Amazon Web Services)<\/a>. ~ Byron Cook #AutomatedReasoning<\/li>\n<li><a href=\"http:\/\/www.cse.chalmers.se\/~slrn\/papers\/into_infinite.pdf\">Into the infinite-theory exploration for coinduction<\/a>. ~ S.H. Einarsd\u00f3ttir, M. Johansson, J.\u00c5. Pohjola #IsabelleHOL<\/li>\n<li><a href=\"http:\/\/www.cs.cmu.edu\/~aldrich\/papers\/interdisciplinary-pl-design.pdf\">Interdisciplinary programming language design<\/a>. ~ Michael Coblenz et als. #Programming<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1807.08711\">Constructive Galois connections<\/a>. ~ D. Darais, D. van Horn #ITP #Agda #Math<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1807.08058\">Learning heuristics for automated reasoning through deep reinforcement learning<\/a>. ~ G. Lederman et als. #MachineLearnig #AutomatedReasoning<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1807.08204\">Towards neural theorem proving at scale<\/a>. ~ P. Minervini et als. #AutomatedReasoning #MachineLearning<\/li>\n<li><a href=\"http:\/\/www.pl-enthusiast.net\/2018\/07\/24\/teaching-programming-languages\">Teaching programming languages<\/a>. ~ Michael Hicks #Programming #Teaching<\/li>\n<li><a href=\"http:\/\/mathesaurus.sourceforge.net\/matlab-python-xref.pdf\">Reference comparing R, Python, and MATLAB syntax<\/a>. #Python #Rstats #MatLAB<\/li>\n<li><a href=\"https:\/\/itsfoss.com\/apt-get-linux-guide\/\">Using apt-get commands in Linux (complete beginners guide)<\/a>. ~ A. Prakash #Linux<\/li>\n<li><a href=\"https:\/\/hal.inria.fr\/hal-01828344\/file\/main.pdf\">CoqTL: an internal DSL for model transformation in Coq<\/a>. ~ M. Tisi, Z. Cheng #ITP #Coq<\/li>\n<li><a href=\"https:\/\/hal.archives-ouvertes.fr\/hal-01832031\/file\/RLR-Coq.pdf\">Regular language representations in the constructive type theory of Coq<\/a>. ~ C. Doczkal, G. Smolka #ITP #Coq<\/li>\n<li><a href=\"https:\/\/xenaproject.wordpress.com\/2018\/07\/25\/quadratic-reciprocity-and-p2-1-8\/\">Quadratic reciprocity and (p^2-1)\/8<\/a>. ~ The Xena Project #ITP #Lean #Math<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1807.08588\">Automating verification of state machines with reactive designs and Isabelle\/UTP<\/a>. ~ S. Foster et als. #ITP #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/DAOconCoq\/index.php\/Demostraci%C3%B3n_Asistida_por_Ordenador_con_Coq\">DAOconCoq: Demostraci\u00f3n Asistida por Ordenador con Coq<\/a>. #DAO #Coq<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/DAOconCoq\/index.php\/Tema_1:_Programaci%C3%B3n_funcional_y_m%C3%A9todos_elementales_de_demostraci%C3%B3n_en_Coq\">DAOconCoq: Programaci\u00f3n funcional y m\u00e9todos elementales de demostraci\u00f3n en Coq<\/a>. #DAO #Coq<\/li>\n<li><a href=\"https:\/\/medium.com\/@cdsmithus\/patience-in-k-8-computer-science-5bc2eb9dc562\">Patience in K-8 Computer Science<\/a>. ~ Chris Smith #Teaching #Programming #CodeWorld<\/li>\n<li><a href=\"https:\/\/www.springerprofessional.de\/formally-verified-montgomery-multiplication\/15968616\">Formally verified Montgomery multiplication<\/a>. ~ C. Walther #ITP #VeriFun #Math<\/li>\n<li><a href=\"https:\/\/idus.us.es\/xmlui\/handle\/11441\/77572\">Teor\u00eda de categor\u00edas y programaci\u00f3n funcional<\/a>. ~ Diego Pedraza #Haskell #Matem\u00e1ticas<\/li>\n<li><a href=\"https:\/\/www.forbes.com\/sites\/quora\/2018\/07\/27\/why-purely-functional-programming-is-a-great-idea-with-a-misleading-name\">Why purely functional programming is a great idea with a misleading name<\/a>. ~ Tikhon Jelvis #FunctionalProgramming<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1807.09873\">Formalizing the Cox-Ross-Rubinstein pricing of European derivatives in Isabelle\/HOL<\/a>. ~ M. Echenim, H. Guiol, N. Peltier #ITP #IsabelleHOL<\/li>\n<li><a href=\"http:\/\/www.cs.swan.ac.uk\/~csetzer\/articles\/PPDP18\/PPDP18adelsbergerSetzerWalkingshawAccepted.pdf\">Declarative GUIs: simple, consistent, and verified<\/a>. ~ S. Adelsberger, A. Setzer, E. Walkingshaw #Agda<\/li>\n<li><a href=\"http:\/\/andreipopescu.uk\/pdf\/bindings.pdf\">Bindings are functors<\/a>. ~ J.C. Blanchette, L. Gheri, A. Popescu, D. Traytel #ITP #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/medium.com\/@cdsmithus\/novices-and-motivation-when-learning-to-code-19a35a5ff851\">Novices and motivation when learning to code<\/a>. ~ Chris Smith #Teaching #CodeWorld<\/li>\n<li><a href=\"https:\/\/terrytao.wordpress.com\/2018\/07\/28\/gamifying-propositional-logic-qed-an-interactive-textbook\">Gamifying propositional logic: QED, an interactive textbook<\/a>. ~ Terence Tao #Teaching #Logic<\/li>\n<li><a href=\"http:\/\/www.math.ucla.edu\/~tao\/QED\/QED.html\">QED: a short interactive text in propositional logic arranged in the format of a computer game<\/a>. ~ Terence Tao #Teaching #Logic<\/li>\n<li><a href=\"https:\/\/www.lirmm.fr\/~retore\/PRESENTATIONS\/UMjeudisRetoreLogique.pdf\">Une histoire de la logique math\u00e9matique (de la philosophie \u00e0 l\u2019informatique)<\/a>. ~ Christian Retor\u00e9 #Logic<\/li>\n<li><a href=\"https:\/\/www.cs.cornell.edu\/courses\/cs3110\/2017fa\/\">Course: Data structures and functional programming<\/a>. ~ Michael Clarkson #FunctionalProgramming #OCaml #ITP #Coq<\/li>\n<li><a href=\"https:\/\/raywang.tech\/2017\/09\/25\/formal-reasoning-in-coq\/\">Formal reasoning in Coq: a beginner&#8217;s guide<\/a>. ~ Ray Wang #ITP #Coq<\/li>\n<li><a href=\"https:\/\/github.com\/readablesystems\/cs260r-17\/blob\/master\/naivecoq.md\">Coq cheatsheet<\/a>. ~ Eddie Kohler #ITP #Coq<\/li>\n<li><a href=\"https:\/\/www.i-programmer.info\/news\/216-python\/11996-python-the-future-of-programming.html\">Python the future of programming?<\/a> ~ Mike James #Programming #Python<\/li>\n<li><a href=\"http:\/\/www.mgsloan.com\/posts\/ghcinception\/\">GHCinception: Running GHCi in GHCi<\/a>. ~ Michael Sloan #Haskell<\/li>\n<li><a href=\"http:\/\/cadenaser.com\/ser\/2018\/07\/27\/internacional\/1532719014_366615.html\">Un error inform\u00e1tico env\u00eda informaci\u00f3n confidencial a 1.500 criminales<\/a>. #Programaci\u00f3n<\/li>\n<li><a href=\"https:\/\/en.wikipedia.org\/wiki\/List_of_software_bugs\">List of software bugs<\/a>. ~ Wikipedia #Programming<\/li>\n<li><a href=\"https:\/\/github.com\/cpitclaudel\/company-coq\">Company-coq: A collection of extensions for Proof General&#8217;s Coq mode<\/a>. #Emacs #Coq<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1807.07892\">Bridging the gap between programming languages and hardware weak memory models<\/a>. ~ A. Podkopaev, O. Lahav, V. Vafeiadis #ITP #Coq<\/li>\n<li><a href=\"https:\/\/ac1235.github.io\/haskell.pdf\">Haskell for JavaScript developers<\/a>. ~ Anthony N Cipriano #Haskell #JavaScript<\/li>\n<li><a href=\"https:\/\/vaibhavsagar.com\/blog\/2018\/07\/29\/hamts-from-scratch\/\">HAMTs (Hash Array Mapped Tries) from scratch<\/a>. ~ Vaibhav Sagar #Haskell<\/li>\n<li><a href=\"https:\/\/plus.maths.org\/content\/constructivists-expert\">Constructivism: An expert&#8217;s view<\/a>. ~ Harvey Friedman #Logic #Math<\/li>\n<li><a href=\"http:\/\/www.enseignement.polytechnique.fr\/informatique\/INF551\/\">Computational logic: artificial intelligence in mathematical reasoning<\/a>. ~ S. Graham-Lengrand and R. Blanco #Course #Logic #FunctionalProgramming #OCaml #ITP #Coq<\/li>\n<li><a href=\"http:\/\/www-sop.inria.fr\/members\/Yves.Bertot\/courses\/coq-master1-1.pdf\">Verifying programs and proofs (Part I. describe algorithms)<\/a>. ~ Yves Bertot #ITP #Coq<\/li>\n<li><a href=\"https:\/\/team.inria.fr\/marelle\/en\/coq-winter-school-2018\/\">Coq Winter School 2018<\/a>. ~ Yves Bertot #Course #ITP #Coq<\/li>\n<li><a href=\"https:\/\/medium.freecodecamp.org\/the-art-of-computer-programming-by-donald-knuth-82e275c8764f\">&#8220;The art of computer programming&#8221; by Donald Knuth<\/a>. ~ Carl Tashian #Programming<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/DAOconCoq\/index.php\/Tema_2:_Demostraciones_por_inducci%C3%B3n_sobre_los_n%C3%BAmeros_naturales_en_Coq\">DAOconCoq T2: Demostraciones por inducci\u00f3n sobre los n\u00fameros naturales en Coq<\/a>. #ITP #Coq<\/li>\n<li><a href=\"http:\/\/cl-informatik.uibk.ac.at\/users\/swinkler\/research\/papers\/ZWM14.pdf\">Beyond polynomials and Peano arithmetic: automation of elementary and ordinal interpretations<\/a>. ~ H. Zankl, S. Winkler, A. Middeldorp #Logic #Math #ATP<\/li>\n<li><a href=\"http:\/\/danghica.blogspot.com\/2018\/03\/copying-vs-sharing-in-functional.html\">Copying vs. sharing in functional languages<\/a>. ~ Dan Ghica #FunctionalProgramming<\/li>\n<li><a href=\"https:\/\/doisinkidney.com\/posts\/2018-07-30-verified-avl.html\">Verified AVL trees in Haskell and Agda<\/a>. ~ Donnacha Ois\u00edn Kidney #Haskell #Agda<\/li>\n<li><a href=\"http:\/\/danghica.blogspot.com\/2018\/07\/haskell-if-monads-are-solution-what-is.html\">Haskell: If monads are the solution, what is the problem?<\/a> ~ Dan Ghica #FunctionalProgramming #Haskell<\/li>\n<li><a href=\"https:\/\/bartoszmilewski.com\/2018\/07\/30\/free-monoid-from-free-algebra-part-1\">Free Monoid from Free Algebra, Part 1: Free Algebras<\/a>. ~ Bartosz Milewski #Haskell #CategoryTheory<\/li>\n<li><a href=\"https:\/\/bartoszmilewski.com\/2018\/07\/30\/free-monoid-from-free-algebra-part-1\">Free Monoid from Free Algebra, Part 2: Free Monoids<\/a>. ~ Bartosz Milewski #Haskell #CategoryTheory<\/li>\n<li><a href=\"https:\/\/grain-lang.org\/\">Grain: a strongly-typed functional programming language built for the modern web<\/a>. #FunctionalProgramming<\/li>\n<li><a href=\"https:\/\/korban.net\/posts\/elm\/2018-07-31-learning-elm-2018-comprehensive-list-resources\">Learning Elm in 2018: comprehensive list of resources<\/a>. #FunctionalProgramming #Elm<\/li>\n<\/ul>\n<p>Una recopilaci\u00f3n de las anteriores lecturas se encuentra en <a href=\"https:\/\/github.com\/jaalonso\/Lecturas_GLC\">GitHub<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Esta entrada es una recopilaci\u00f3n de lecturas compartidas, durante julio 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,177],"tags":[178,292],"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\/6195"}],"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=6195"}],"version-history":[{"count":4,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/6195\/revisions"}],"predecessor-version":[{"id":6199,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/6195\/revisions\/6199"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=6195"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=6195"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=6195"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}