{"id":6095,"date":"2018-05-01T10:17:25","date_gmt":"2018-05-01T08:17:25","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=6095"},"modified":"2018-07-10T10:06:10","modified_gmt":"2018-07-10T08:06:10","slug":"resumen-de-lecturas-compartidas-durante-abril-de-2018","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-abril-de-2018\/","title":{"rendered":"Resumen de lecturas compartidas durante abril de 2018"},"content":{"rendered":"<div id=\"content\">\n<p>Esta entrada es una recopilaci\u00f3n de lecturas compartidas, durante abril 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>.<\/div>\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=\"http:\/\/www.elmundo.es\/ciencia-y-salud\/ciencia\/2018\/03\/29\/5abd1886e5fdeaf1328b45bc.html\">Francia invertir\u00e1 1.500 millones de euros en inteligencia artificial<\/a>. #IA<\/li>\n<li><a href=\"https:\/\/byorgey.wordpress.com\/2018\/03\/30\/parametricity-for-bifunctor\">Parametricity for Bifunctor<\/a>. ~ Brent Yorgey #Haskell<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1803.06636\">Complexity problems in enumerative combinatorics<\/a>. ~ Igor Pak #Math #CompSci<\/li>\n<li><a href=\"https:\/\/interstices.info\/jcms\/p_95018\/l-algorithme-quantique-de-shor\">L&#8217;algorithme quantique de Shor<\/a>. ~ Andr\u00e9 Chailloux #CompSci<\/li>\n<li><a href=\"http:\/\/vaibhavsagar.com\/blog\/2018\/03\/31\/ihaskell-mybinder\/\">IHaskell on mybinder.org<\/a> ~ Vaibhav Sagar #Haskell #Jupyter #IHaskell<\/li>\n<li><a href=\"http:\/\/reasonablypolymorphic.com\/blog\/free-lenses\">Free lenses for higher-kinded data<\/a>. ~ Sandy Maguire #Haskell<\/li>\n<li><a href=\"https:\/\/pjreddie.com\/coq-tactics\/\">Coq tactics index<\/a>. ~ Joe Redmon (@pjreddie) #ITP #Coq<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/multiplos-repitunos\">Exercitium: &#8220;M\u00faltiplos repitunos&#8221;<\/a>. #Haskell #I1M2017 #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/changelog.complete.org\/archives\/9898-emacs-4-automated-emails-to-org-mode-and-org-mode-syncing\">Emacs #4: Automated emails to org-mode and org-mode syncing<\/a>. ~ John Goerzen (@jgoerzen) #Emacs #OrgMode<\/li>\n<li><a href=\"https:\/\/yetanothermathblog.com\/2018\/04\/01\/ring-theory-via-coding-theory-and-cryptography\/\">Ring theory, via coding theory and cryptography<\/a>. ~ W. David Joyner #eBook #Math #Sagemath<\/li>\n<li><a href=\"https:\/\/yetanothermathblog.com\/2018\/04\/01\/calculus-on-graphs\/amp\/\">Calculus on graphs<\/a>. ~ W. David Joyner #eBook #Math #Sagemath<\/li>\n<li><a href=\"https:\/\/terrytao.wordpress.com\/career-advice\/theres-more-to-mathematics-than-rigour-and-proofs\">There\u2019s more to mathematics than rigour and proofs<\/a>. ~ Terence Tao #Math<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/numeros-tetranacci\">Exercitium: &#8220;N\u00fameros tetranacci&#8221;<\/a>. #Haskell #I1M2017 d\u00edgitos&#8221;]]. #Haskell #I1M2017<\/li>\n<li><a href=\"http:\/\/www.robertvesco.com\/blog\/2015-01-emacs-for-data-science.html\">Emacs for Data Science<\/a>. ~ Robert Vesco (@robertvesco) #Emacs #DataScience<\/li>\n<li><a href=\"https:\/\/ahsanijaz.github.io\/2016-09-20-Emacs\/\">Emacs for Data Science<\/a>. ~ Ahsan Ijaz #Emacs #DataScience<\/li>\n<li><a href=\"https:\/\/github.com\/dfeich\/org-babel-examples\">Examples using emacs org mode babel inline source code with different backend languages<\/a>. ~ Derek Feichtinger #Emacs #OrgMode<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/operaciones-binarias-con-matrices\">Exercitium: &#8220;Operaciones binarias con matrices&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/sucesiones-de-numeros-consecutivos-con-suma-dada\">Exercitium: &#8220;Sucesiones de n\u00fameros consecutivos con suma dada&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1804.01172\">Applying computer algebra systems and SAT solvers to the Williamson conjecture<\/a>. ~ C. Bright, I. Kotsireas, V. Ganesh #Logic #SAT #Math #CAS<\/li>\n<li><a href=\"https:\/\/www.cs.us.es\/~jalonso\/apuntes\/Emacs_para_ciencias_del_dato\/Emacs_para_ciencias_del_dato.html\">Emacs para ciencias del dato<\/a>. #Emacs #OrgMode<\/li>\n<li><a href=\"https:\/\/misshula.org\/articles\/cunyHask.html\">Why teaching FP to undergrads is important<\/a>. ~ Evan Misshula (@emisshula) #FunctionalProgramming #Haskell<\/li>\n<li><a href=\"https:\/\/plus.maths.org\/content\/unreasonable-relationship-between-mathematics-and-physics\">The unreasonable relationship between mathematics and physics<\/a>. ~ David Tong #Math #Physics<\/li>\n<li><a href=\"https:\/\/github.com\/rstudio\/RStartHere\">RStartHere: A guide to some of the most useful R Packages that we know about, organized by their role in data science<\/a>. #Rstat #DataScience<\/li>\n<li><a href=\"https:\/\/www.youtube.com\/playlist?list=PLVtKhBrRV_ZkPnBtt_TD1Cs9PJlU0IIdE\">OrgMode tutorial<\/a>. ~ Rainer K\u00f6nig #Emacs #OrgMode<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/arbol-de-subconjuntos\">Exercitium: &#8220;\u00c1rbol de subconjuntos&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"http:\/\/tomasp.net\/academic\/papers\/monads\/monads-programming.pdf\">What we talk about when we talk about monads<\/a>. ~ T. Petricek #Haskell<\/li>\n<li><a href=\"https:\/\/www.cs.us.es\/~fsancho\/?p=seminario-ia3\">Seminario (I+A)A (Inteligencia Artificial + Aprendizaje Autom\u00e1tico)<\/a> #IA #AA<\/li>\n<li><a href=\"https:\/\/www.theregister.co.uk\/2018\/04\/05\/openai_challenge_developers_to_play_sonic_the_hedgehog_with_ai\">OpenAI challenges you to beat 1990s classic Sonic the Hedgehog using machine learning<\/a>. ~ #AI<\/li>\n<li><a href=\"https:\/\/techcrunch.com\/2018\/04\/05\/cometml-wants-to-do-for-machine-learning-what-github-did-for-code\">Comet.ml wants to do for machine learning what GitHub did for code<\/a>. ~ F. Lardinois (@fredericl) #IA #ML<\/li>\n<li><a href=\"https:\/\/www.kosmikus.org\/DerivingVia\/deriving-via-paper.pdf\">Deriving Via (or, how to turn hand-written instances into an anti-pattern)<\/a>. ~ B. Bl\u00f6ndal, A. L\u00f6h, R. Scott #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2017-deduccion-natural-en-logica-de-primer-orden\/\">LMF2017: Deducci\u00f3n natural en l\u00f3gica de primer orden<\/a>. #L\u00f3gica<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2017-deduccion-natural-de-primer-orden-con-isabellehol\/\">LMF2017: Deducci\u00f3n natural de primer orden con Isabelle\/HOL<\/a>. #L\u00f3gica #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-el-tad-de-los-conjuntos-en-haskell\">I1M2017: El TAD de los conjuntos en Haskell<\/a>. #Haskell #Algor\u00edtmica<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-las-librerias-de-conjuntos-y-de-diccionarios-en-haskell\/\">I1M2017: Las librer\u00edas de conjuntos y de diccionarios en Haskell<\/a>. #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-el-tad-de-los-polinomios-en-haskell\/\">I1M2017: El TAD de los polinomios en Haskell<\/a>. #Haskell #Algor\u00edtmica #Matem\u00e1ticas<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1804.00596\">Learning to prove with tactics<\/a>. ~ T. Gauthier, C. Kaliszyk, J. Urban, R. Kumar, M. Norrish #ITP #HOL4 #ML<\/li>\n<li><a href=\"https:\/\/github.com\/EvanMisshula\/rr\">Org-mode and reproducible research<\/a>. ~ Evan Misshula (@emisshula) #Emacs #OrgMode<\/li>\n<li><a href=\"https:\/\/www.aiforhumanity.fr\/\">AI for humanity<\/a>. #AI<\/li>\n<li><a href=\"https:\/\/www.technologyreview.com\/s\/610379\/heres-how-the-us-needs-to-prepare-for-the-age-of-artificial-intelligence\/amp\/\">Here\u2019s how the US needs to prepare for the age of artificial intelligence<\/a>. ~ Will Knight #AI<\/li>\n<li><a href=\"http:\/\/binaire.blog.lemonde.fr\/2018\/04\/05\/quel-langage-pour-le-secondaire\">Quel langage pour le secondaire?<\/a> ~ Laurent Bloch #Programming<\/li>\n<li><a href=\"https:\/\/dl.acm.org\/citation.cfm?id=3110252\">A unified approach to solving seven programming problems (functional pearl)<\/a>. ~ W.E. Byrd, M. Ballantyne, G. Rosenblatt, M. Might #FunctionalProgramming #Racket<\/li>\n<li><a href=\"https:\/\/www.dataquest.io\/blog\/jupyter-notebook-tutorial\">Jupyter notebook for beginners: a tutorial<\/a>. ~ Benjamin Pryke (@BenjaminPryke) #Jupyter #Python<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1801.05894\">Deep Learning: an introduction for applied mathematicians<\/a>. ~ C.F. Higham, D.J. Higham #AI #ML #DeepLearning<\/li>\n<li><a href=\"https:\/\/hub.packtpub.com\/plotting-haskell\/\">Plotting in Haskell<\/a>. ~ James Church #FunctionalProgramming #Haskell<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1804.00746\">The simple essence of automatic differentiation (Differentiable functional programming made easy)<\/a>. ~ Conal Elliott (@conal) #FunctionalProgramming #Haskell<\/li>\n<li><a href=\"https:\/\/www.irif.fr\/_media\/users\/cauderlier\/article_itp18.pdf\">Tactics and certificates in Meta Dedukti<\/a>. ~ R. Cauderlier #ITP #Dedukti<\/li>\n<li><a href=\"http:\/\/www.cs.jhu.edu\/~roe\/root.pdf\">Toward a tool to verify complex data structure invariants<\/a>. ~ K.D. Roe #PhD_Thesis #ITP #Coq<\/li>\n<li><a href=\"https:\/\/www.metalevel.at\/swiclpb.pdf\">The boolean constraint solver of SWI-Prolog: system description<\/a>. ~ M. Triska (@MarkusTriska) #Prolog #ConstraintProgramming<\/li>\n<li><a href=\"https:\/\/github.com\/theoremprover-museum\/logic-theorist\">Logic-Theorist: The sources of the first theorem prover<\/a>. #ATP<\/li>\n<li><a href=\"http:\/\/vaibhavsagar.com\/blog\/2018\/04\/08\/ihaskell-cocalc\">IHaskell on CoCalc!<\/a> ~ Vaibhav Sagar (@vbhvsgr) #FunctionalProgramming #Haskell #CoCalc<\/li>\n<li><a href=\"https:\/\/cocalc.com\/share\/20e4a191-73ea-4921-80e9-0a5d792fc511\/haskell.ipynb?viewer=share\">Welcome Haskell on CoCalc<\/a>. #FunctionalProgramming #Haskell #CoCalc<\/li>\n<li><a href=\"https:\/\/www.theglobeandmail.com\/opinion\/article-deep-learning-why-its-time-for-ai-to-get-philosophical\">Deep learning: Why it\u2019s time for AI to get philosophical<\/a>. ~ Catherine Stinson (@cathnotcathy) #AI #Philosophy<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/sucesion-de-antecesores-y-sucesores\">Exercitium: &#8220;Sucesi\u00f3n de antecesores y sucesores&#8221;<\/a>. #Haskell #I1M2017 #I1M2017<\/li>\n<li><a href=\"https:\/\/whatthefunctional.wordpress.com\/2018\/04\/09\/dynamic-programming-in-haskell\">Dynamic programming in Haskell<\/a>. ~ Laurence Emms (@wtfunctional) #FunctionalProgramming #Haskell<\/li>\n<li><a href=\"https:\/\/github.com\/SimplyNaOH\/voronoi\">Voronoi: A Haskell implementation of Fortune&#8217;s algorithm<\/a>. #FunctionalProgramming #Haskell<\/li>\n<li><a href=\"https:\/\/www.elsaltodiario.com\/musica\/live-coding-desnudando-maquinas-golpe-musica\">\u2018Live coding\u2019: desnudando a las m\u00e1quinas a golpe de m\u00fasica<\/a>. ~ \u00c1lvaro Lorite #M\u00fasica #Programaci\u00f3n v\u00eda @elsaltodiario<\/li>\n<li><a href=\"https:\/\/opensource.com\/life\/16\/2\/intro-to-emacs\">Getting started with Emacs text editor<\/a>. ~ Sachin Patil #Emacs #OrgMode #I1M2017<\/li>\n<li><a href=\"https:\/\/opensource.com\/article\/18\/4\/how-create-latex-documents-emacs\">How to create LaTeX documents with Emacs<\/a>. ~ Sachin Patil #Emacs #OrgMode #LaTeX #I1M2017<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/mayor-numero-obtenido-intercambiando-dos-digitos\">Exercitium: &#8220;Mayor n\u00famero obtenido intercambiando dos d\u00edgitos&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1804.02645\">A footnote to &#8220;The crisis in contemporary mathematics&#8221;<\/a>. ~ B. Katz, M.G. Katz, S. Sanders #Logic #Math<\/li>\n<li><a href=\"http:\/\/irreal.org\/blog\/?p=7085\">Magit interface walkthrough<\/a>. #Emacs #Magit<\/li>\n<li><a href=\"https:\/\/www.stackbuilders.com\/tutorials\/haskell\/cloud-haskell\/\">Using Cloud Haskell to write a type-safe distributed chat<\/a>. ~ Sebastian Pulido Gomez #Haskell<\/li>\n<li><a href=\"https:\/\/www.hillelwayne.com\/post\/equals-as-assignment\/\">Why does &#8220;=&#8221; mean assignment?<\/a> ~ Hillel Wayne (@Hillelogram) #Programming<\/li>\n<li><a href=\"http:\/\/journals.plos.org\/ploscompbiol\/article?id=10.1371\/journal.pcbi.1005399\">Ten simple rules for responsible big data research<\/a>. #BigData<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/la-carrera-de-collatz\">Exercitium: &#8220;La carrera de Collatz&#8221;<\/a>. #Haskell #I1M2017 #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2017-tableros-semanticos\/\">LMF2017: Tableros sem\u00e1nticos<\/a>. #L\u00f3gica<\/li>\n<li><a href=\"http:\/\/haskelldata.com\/\">Over 130 practical recipes for data analysis and machine learning<\/a>. #Haskell #DataScience<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1804.03579\">Introduction to Iltis: An interactive, Web-Based system for teaching logic<\/a>. ~ G. Geck et als. #Teaching #Logic<\/li>\n<li><a href=\"http:\/\/rkirsling.github.io\/\">Modal logic playground (A graphical semantic calculator for modal propositional logic)<\/a>. ~ Ross Kirsling #Teaching #Logic<\/li>\n<li><a href=\"https:\/\/www.oreilly.com\/ideas\/data-engineers-vs-data-scientists\">Data engineers vs. data scientists<\/a>. ~ Jesse Anderson #DataScience<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-emacs-para-ciencias-del-dato\/\">I1M2017: Emacs para ciencias del dato<\/a>. #Emacs<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-haskell-para-ciencias-del-dato\/\">I1M2017: Haskell para ciencias del dato<\/a>. #Haskell #DataScience<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-ejercicios-con-el-tipo-abstracto-de-dato-de-las-pilas\/\">I1M2017: Ejercicios con el tipo abstracto de dato de las pilas<\/a>. #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/clases-de-equivalencia\">Exercitium: &#8220;Clases de equivalencia&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/functional.works-hub.com\/learn\/property-based-integration-testing-using-haskell-6c25c\">Property based integration testing using Haskell!<\/a> ~ Kristijan \u0160ari\u0107 #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/diccionario-de-frecuencias\">Exercitium: &#8220;Diccionario de frecuencias&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/www.euractiv.com\/section\/digital\/news\/twenty-four-eu-countries-sign-artificial-intelligence-pact-in-bid-to-compete-with-us-china\">Twenty-four EU countries sign artificial intelligence pact in bid to compete with US &amp; China<\/a>. #AI<\/li>\n<li><a href=\"https:\/\/mystelven.github.io\/Association-Automated-Reasoning\/\/Newsletters\/123-2018-04.html#guest\">Mike Gordon and hardware verification<\/a>. ~ L. Paulson #ITP<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1804.03922\">Evaluating winding numbers through Cauchy indices in Isabelle\/HOL<\/a>. ~ W. Li, L.C. Paulson #ITP #IsabelleHOL #Math<\/li>\n<li><a href=\"http:\/\/tpetricek.github.io\/Talks\/2018\/monads-what-we-talk-about\/nice\/index.html#\/\">What we talk about when we talk about monads<\/a>. ~ T. Petricek (@tomaspetricek) #Haskell<\/li>\n<li><a href=\"https:\/\/jeremykun.com\/2018\/04\/13\/for-mathematicians-does-not-mean-equality\/\">For mathematicians, = does not mean equality<\/a>. ~ Jeremy Kun (@jeremyjkun) | Math \u2229 Programming #Math #CompSci<\/li>\n<li><a href=\"https:\/\/blogs.scientificamerican.com\/observations\/math-music-and-imagination\/\">Math, music and imagination<\/a>. ~ Marcus Miller #Math #Music<\/li>\n<li><a href=\"https:\/\/www.oreilly.com\/ideas\/jupyter-is-where-humans-and-data-science-intersect\">Jupyter is where humans and data science intersect<\/a>. ~ Paco Nathan (@pacoid) #Jupyter #DataScience<\/li>\n<li><a href=\"http:\/\/droettboom.com\/blog\/2018\/04\/04\/python-in-the-browser\/\">Scientific Python in the browser<\/a>. ~ M. Droettboom (@MDroettboom) #Python #DataScience<\/li>\n<li><a href=\"http:\/\/www.howardism.org\/Technical\/Emacs\/literate-programming-tutorial.html\">Introduction to literate programming<\/a>. ~ Howard Abrams (@howardabrams) #Emacs #OrgMode<\/li>\n<li><a href=\"https:\/\/www.cs.us.es\/~jalonso\/apuntes\/Soluciones_logicas_de_problemas_logicos\/Tema_2.html\">SLC2018: Soluciones l\u00f3gicas de problemas l\u00f3gicos<\/a>. #Logic #Prolog #CLP<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2017-ejercicios-de-logica-de-primer-orden\">LMF2017: Ejercicios de l\u00f3gica de primer orden<\/a>. #L\u00f3gica #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/books.google.com\/talktobooks\/\">Talk to Books (Browse passages from books using experimental AI)<\/a>. #AI<\/li>\n<li><a href=\"https:\/\/github.com\/chris-taylor\/aima-haskell\">Algorithms from AIMA (Artificial intelligence: a modern approach) in Haskell<\/a>. ~ Chris Taylor #AI #Haskell<\/li>\n<li><a href=\"https:\/\/github.com\/aimacode\/aima-python\">Python implementation of algorithms from Russell And Norvig&#8217;s &#8220;Artificial Intelligence: A Modern Approach&#8221;<\/a>. #AI #Python #Jupyter<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-relaciones-binarias-homogeneas-con-la-libreria-de-conjuntos-de-haskell\/\">I1M2017: Relaciones binarias homog\u00e9neas con la librer\u00eda de conjuntos de Haskell<\/a>. #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-ejercicios-con-el-tad-de-los-polinomios-en-haskell\">I1M2017: Ejercicios con el TAD de los polinomios en Haskell<\/a>. #Haskell<\/li>\n<li><a href=\"http:\/\/kitchingroup.cheme.cmu.edu\/pycse\/pycse.pdf\">pycse &#8211; Python3 computations in science and engineering<\/a>. ~ John Kitchin (@johnkitchin) #eBook #Python<\/li>\n<li><a href=\"https:\/\/github.com\/jkitchin\/scimax\">Scimax: an Emacs starterkit designed for people interested in reproducible research and publishing<\/a>. ~ John Kitchin (@johnkitchin) #Emacs #OrgMode<\/li>\n<li><a href=\"http:\/\/altermundus.fr\/downloads\/documents\/NamedGraphs.pdf\">Gallery of named graphs (with tkz-berge.sty)<\/a>. ~ Alain Matthes #LaTeX #Math<\/li>\n<li><a href=\"https:\/\/www.stackbuilders.com\/tutorials\/haskell\/cloud-haskell\/\">Using Cloud Haskell to write a type-safe distributed chat<\/a>. ~ Sebastian Pulido Gomez #Haskell<\/li>\n<li><a href=\"https:\/\/www.hillelwayne.com\/post\/equals-as-assignment\">Why does &#8220;=&#8221; mean assignment?<\/a> ~ Hillel Wayne #Programming<\/li>\n<li><a href=\"https:\/\/www.brucker.ch\/bibliography\/download\/2018\/brucker.ea-core-dom-2018.pdf\">A formal semantics of the core DOM in Isabelle\/HOL<\/a>. ~ A.D. Brucker, M. Herzberg #ITP #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/github.com\/jkitchin\/pycse\">&#8220;Python computations in science and engineering&#8221; in Org mode<\/a> ~ John Kitchin (@johnkitchin) #Emacs #OrgMode #Python<\/li>\n<li><a href=\"https:\/\/www.cs.us.es\/~jalonso\/apuntes\/Preguntas_y_respuestas_del_modo_Org\/index.html\">I1M2018: Preguntas y respuestas sobre el modo Org<\/a>. #Emacs #OrgMode<\/li>\n<li><a href=\"https:\/\/www.cs.us.es\/~jalonso\/apuntes\/Preguntas_y_respuestas_del_modo_Org\/Portada_indice_cabeceras_y_simbolos_matematicos\/index.html\">I1M2018: Preguntas y respuestas sobre el modo Org: Portada, \u00edndice, cabeceras y s\u00edmbolos matem\u00e1ticos<\/a>. #Emacs #OrgMode<\/li>\n<li><a href=\"http:\/\/aitp-conference.org\/2018\/aitp18-proceedings.pdf\">AITP 2018: The Third Conference on Artificial Intelligence and Theorem Proving (Abstracts of the talks)<\/a>. #AI #ATP #ITP<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1609.01493\">Axiomatizing category theory in free logic<\/a>. ~ C. Benzm\u00fcller, D.S. Scott #ITP #IsabelleHOL #CategoryTheory<\/li>\n<li><a href=\"http:\/\/nfulton.org\/papers\/aaai18.pdf\">Safe reinforcement learning via formal methods (Toward safe control through proof and learning)<\/a>. ~ N. Fulton, A. Platzer #AI #ML #ATP<\/li>\n<li><a href=\"http:\/\/aitp-conference.org\/2018\/slides\/JH.pdf\">Let\u2019s make set theory great again!<\/a> ~ John Harrison #ITP<\/li>\n<li><a href=\"http:\/\/aitp-conference.org\/2018\/slides\/DMA.pdf\">If mathematical proof is a game, what are the states and moves?<\/a> ~ David McAllester #AI #ATP #ML #Math<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/ampliacion-de-arboles-binarios\">Exercitium: &#8220;Ampliaci\u00f3n de \u00e1rboles binarios&#8221;<\/a>. #Haskell #I1M2017 #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/pdfs.semanticscholar.org\/presentation\/833c\/fec364e11bcfa8bdd7c25a36118bcd840f2f.pdf\">Interactive Theorem Proving in Higher-Order Logics<\/a>. ~ J. Blanchette #ITP #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/www.causeur.fr\/intelligence-artificielle-cedric-villani-ethique-150544\">Intelligence artificielle: les angles morts du rapport Villani<\/a>. ~ Herv\u00e9 Mariton (@HerveMariton) et Cyrille Dalmont (@CyrilleDalmont) #AI<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/alturas-primas\">Exercitium: &#8220;Alturas primas&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/kozikow.com\/2016\/05\/21\/very-powerful-data-analysis-environment-org-mode-with-ob-ipython\/\">Very powerful data analysis environment \u2013 org mode with ob-ipython<\/a>. ~ Robert Kozikowski #Emacs #OrgMode #Python #DataScience<\/li>\n<li><a href=\"http:\/\/sachachua.com\/blog\/2014\/01\/tips-learning-org-mode-emacs\">Some tips for learning Org Mode for Emacs<\/a>. ~ Sacha Chua (@sachac) #Emacs #OrgMode<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/calculo-de-pi-mediante-la-serie-de-nilakantha\">Exercitium: &#8220;C\u00e1lculo de pi mediante la serie de Nilakantha&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1610.06996\">Efficient verification of imperative programs using auto2<\/a>. ~ B. Zhan #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/www.metalevel.at\/equality\">The meaning of = for logic programmers<\/a>. ~ Markus Triska (@MarkusTriska) #LogicProgramming #Prolog<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1804.05677\">Boolos&#8217; hardest logic puzzle ever in its purest form<\/a>. ~ J.J. Colomina-Almi\u00f1ana, P.R. Stinga #Logic<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/numeros-superpares\">Exercitium: &#8220;N\u00fameros superpares&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/www.reddit.com\/r\/haskell\/comments\/8cvr6l\/a_better_programming_language_for_data\">A better programming language for Data Science\/Machine Learning<\/a>. #Haskell #DataScience<\/li>\n<li><a href=\"https:\/\/whatthefunctional.wordpress.com\/2018\/04\/17\/working-with-lists\">Working with lists<\/a>. ~ Laurence Emms (@wtfunctional) #Haskell<\/li>\n<li><a href=\"https:\/\/medium.freecodecamp.org\/python-collection-of-my-favorite-articles-8469b8455939\">The best of Python: a collection of my favorite articles from 2017 and 2018 (so far)<\/a>. ~ Gergely Szerovay #Python<\/li>\n<li><a href=\"https:\/\/blogs.scientificamerican.com\/observations\/what-the-history-of-math-can-teach-us-about-the-future-of-ai\">What the history of Math can teach us about the future of AI<\/a>. ~ Nathan Myhrvold #Math #AI<\/li>\n<li><a href=\"https:\/\/www.fpcomplete.com\/blog\/why-haskell-is-hot-for-cryptocurrencies\">Why Haskell is hot for cryptocurrencies<\/a>. ~ Niklas Hamb\u00fcchen #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/busqueda-en-los-digitos-de-pi-2\">Exercitium: &#8220;B\u00fasqueda en los d\u00edgitos de pi&#8221;<\/a>. #Haskell #I1M2017 #Haskell #I1M2017<\/li>\n<li><a href=\"http:\/\/newartisans.com\/2018\/04\/win-for-recursion-schemes\">Program reduction: a win for recursion schemes<\/a>. ~ John Wiegley (@jwiegley) #Haskell<\/li>\n<li><a href=\"https:\/\/medium.freecodecamp.org\/why-you-need-python-environments-and-how-to-manage-them-with-conda-85f155f4353c\">Why you need Python environments and how to manage them with Conda<\/a>. ~ Gergely Szerovay (@gergoszerovay) #Python<\/li>\n<li><a href=\"https:\/\/www.elperiodico.com\/es\/ciencia\/20180121\/peligro-algoritmos-al-mando-en-la-escuela-6567047\">Peligro: algoritmos al mando en la escuela<\/a>. ~ Cathy O&#8217;Neill<\/li>\n<li><a href=\"http:\/\/capitanswing.com\/libros\/armas-de-destruccion-matematica\/\">Armas de destrucci\u00f3n matem\u00e1tica: C\u00f3mo el big data aumenta la desigualdad y amenaza la democracia<\/a>. ~ Cathy O&#8217;Neil #Libro #Matem\u00e1ticas #BigData<\/li>\n<li><a href=\"https:\/\/openlibra.com\/en\/book\/linear-algebra-with-applications\">Linear algebra with applications<\/a>. ~ W. Keith Nicholson #eBook #Math #OpenLibra<\/li>\n<li><a href=\"http:\/\/agendapublica.elperiodico.com\/limites-y-paradojas-de-la-evaluacion-cientifica\/\">L\u00edmites y paradojas de la evaluaci\u00f3n cient\u00edfica<\/a>. ~ Daniel Innerarity (@daniInnerarity)<\/li>\n<li><a href=\"http:\/\/cl-informatik.uibk.ac.at\/teaching\/ws17\/vs\/reports\/SWreport.pdf\">History of interactive theorem proving<\/a>. ~ J. Sch\u00f6pf, S. Widauer #ITP #DAO2018<\/li>\n<li><a href=\"http:\/\/cl-informatik.uibk.ac.at\/teaching\/ss18\/mltp\/content.php\">Course: Machine learning for theorem proving<\/a>. ~ C. Kaliszyk #ATP #AI #ML<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1804.04967\">Constructive analysis of S1S and B\u00fcchi automata<\/a>. ~ M. Lichter, G. Smolka #ITP #Coq<\/li>\n<li><a href=\"https:\/\/umazalakain.info\/static\/report.pdf\">Evidence-providing problem solvers in Agda<\/a>. ~ U. Zalakain #ITP #Agda<\/li>\n<li><a href=\"https:\/\/pdfs.semanticscholar.org\/presentation\/a5b4\/e0b6fa4316651eeb3d793e670662c6ce942d.pdf\">Erlang: The power of functional programming<\/a>. ~ S. Thompson #FunctionalProgramming #Erlang<\/li>\n<li><a href=\"https:\/\/pdfs.semanticscholar.org\/presentation\/a75a\/224f2f6d6b0114f225dbea2ae2f92c3117f8.pdf\">Functional reactive programming<\/a>. ~ B. Siegel #FunctionalProgramming<\/li>\n<li><a href=\"https:\/\/pdfs.semanticscholar.org\/presentation\/8cac\/2b1b64bc76e9222219c7576d9f99f715800b.pdf\">Semantic Web and Machine Learning<\/a>. ~ F. \u017delezn\u00fd #ILP<\/li>\n<li><a href=\"https:\/\/www.genbetadev.com\/paradigmas-de-programacion\/el-resurgir-de-la-programacion-funcional\">El resurgir de la programaci\u00f3n funcional<\/a>. #Programaci\u00f3nFuncional #Haskell #Erlang #Elixir #Scala #Clojure #Fsharp v\u00eda @genbetadev<\/li>\n<li><a href=\"https:\/\/www.slideshare.net\/LucaBelli\/typelevel-summit-91328863\">Why monads?<\/a> ~ Luca Belli (@__lucab) #Haskell<\/li>\n<li><a href=\"https:\/\/blog.jupyter.org\/jupyterlab-is-ready-for-users-5a6f039b8906\">JupyterLab is ready for users<\/a>. #Jupyter<\/li>\n<li><a href=\"https:\/\/medium.com\/@ageitgey\/machine-learning-is-fun-80ea3ec3c471\">Machine Learning is fun! (The world\u2019s easiest introduction to Machine Learning)<\/a>. ~ Adam Geitgey (@ageitgey) #AI #MachineLearning<\/li>\n<li><a href=\"https:\/\/medium.com\/@dmery\/un-futuro-incierto-hacia-donde-marchamos-7ea7845c51b\">Un futuro incierto \u00bfhacia donde marchamos?<\/a> ~ Daniel Mery (@dmery)<\/li>\n<li><a href=\"https:\/\/github.com\/chrisdone\/elisp-guide\">A quick guide to Emacs Lisp programming<\/a>. ~ Chris Done (@christopherdone) #Emacs #Lisp<\/li>\n<li><a href=\"http:\/\/emacs.sexy\/\">Emacs is sexy!<\/a> #Emacs<\/li>\n<li><a href=\"https:\/\/github.com\/emacs-tw\/awesome-emacs\">Awesome Emacs: A community driven list of useful Emacs packages, libraries and others<\/a>. #Emacs<\/li>\n<li><a href=\"https:\/\/towardsdatascience.com\/why-so-many-data-scientists-are-leaving-their-jobs-a1f0329d7ea4\">Here\u2019s why so many data scientists are leaving their jobs<\/a>. ~ Jonny Brooks-Bartlett (@Jonny_CBB) #DataScience<\/li>\n<li><a href=\"http:\/\/hyperpolyglot.org\/\">Programming languages commonly used features in a side-by-side format<\/a>. #Programming<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/decidir-si-existe-un-subconjunto-con-suma-dada\">Exercitium: &#8220;Decidir si existe un subconjunto con suma dada&#8221;<\/a>. #Haskell #I1M2017 #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/blogs.herdereditorial.com\/filco\/diez-libros-filosofia-imprescindibles\">10 libros de filosof\u00eda imprescindibles<\/a>. ~ Filosof\u00eda&amp;Co (@_filco) #Filosof\u00eda<\/li>\n<li><a href=\"http:\/\/irreal.org\/blog\/?p=7138\">Org Babel recipes<\/a>. #Emacs #OrgMode #Babel<\/li>\n<li><a href=\"http:\/\/reasonablypolymorphic.com\/blog\/higher-kinded-data\/index.html\">Higher-Kinded Data<\/a>. ~ Sandy Maguire #Haskell<\/li>\n<li><a href=\"https:\/\/whatthefunctional.wordpress.com\/2018\/04\/22\/making-a-text-adventure-in-haskell-part-4\">Making a text adventure in Haskell (Part 4)<\/a>. ~ Laurence Emms (@wtfunctional) #Haskell #Game<\/li>\n<li><a href=\"http:\/\/www.joachim-breitner.de\/blog\/738-Verifying_local_definitions_in_Coq\">Verifying local definitions in Coq<\/a>. ~ J. Breitner (@nomeata) #Haskell #Coq<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/matrices-de-hadamard\">Exercitium: &#8220;Matrices de Hadamard&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/medium.freecodecamp.org\/how-to-think-like-a-programmer-lessons-in-problem-solving-d1d8bf1de7d2\">How to think like a programmer\u200a(lessons in problem solving)<\/a>. ~ Richard Reis (@richardreeze) #Programming<\/li>\n<li><a href=\"https:\/\/cacm.acm.org\/magazines\/2018\/5\/227202-using-functions-for-easier-programming\/fulltext\">Using functions for easier programming<\/a>. ~ N. Savage #FunctionalProgramming #Haskell<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1804.07860\">Formalising mathematics in simple type theory<\/a>. ~ L.C. Paulson #ITP #Math #IsabelleHOL #HOL_Light<\/li>\n<li><a href=\"https:\/\/changelog.complete.org\/archives\/9900-emacs-5-documents-and-presentations-with-org-mode\">Emacs #5: Documents and presentations with Org-Mode<\/a>. ~ John Goerzen (@jgoerzen) #Emacs #OrgMode #LaTex #Beamer<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/reduccion-de-opuestos\">Exercitium: &#8220;Reducci\u00f3n de opuestos&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1804.07951\">Formal verification of platoon control strategies<\/a>. ~ A. Rashid, U. Siddique, O. Hasan #ITP #HOL_Light<\/li>\n<li><a href=\"https:\/\/www.tweag.io\/posts\/2018-04-25-funflow.html\">Funflow: typed resumable workflows<\/a>. ~ N. Clarke, A. Hermann, T. Nielsen #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/notas-de-evaluacion-acumulada\">Exercitium: &#8220;Notas de evaluaci\u00f3n acumulada&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/BNF_CC.html\">Bounded natural functors with covariance and contravariance in Isabelle\/HOL<\/a>. ~ A. Lochbihler, J. Schneider #ITP #IsabelleHOL<\/li>\n<li><a href=\"http:\/\/usblogs.pwc.com\/emerging-technology\/machine-learning-evolution-infographic\">Machine learning evolution (infographic)<\/a>. ~ A. Morrison (@AlanMorrison) and A. Rao (@AnandSRao) #AI #MachineLearnig #History<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/numeros-compuestos-por-un-conjunto-de-primos\">Exercitium: &#8220;N\u00fameros compuestos por un conjunto de primos&#8221;<\/a>. #Haskell #I1M2017 #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/www.onlinebooksreview.com\/articles\/haskell-programming-book\">Best Haskell programming books for functional programming<\/a>. #Haskell<\/li>\n<li><a href=\"https:\/\/www.the-tls.co.uk\/articles\/public\/kurt-godel-incompleteness-theorems\">Kurt G\u00f6del and the mechanization of mathematics<\/a>. ~ J. Kennedy #Logic #Math<\/li>\n<li><a href=\"https:\/\/www.slideshare.net\/JarekRatajski\/beauty-and-the-beast-haskell-on-jvm\">Beauty and the beast (Eta Haskell on JVM)<\/a>. ~ Jarek Ratajski (@jarek000000) #Haskell<\/li>\n<li><a href=\"http:\/\/www.cs.nmsu.edu\/ALP\/wp-content\/uploads\/2018\/04\/alp-2018-DLV2-1.pdf\">DLV: Evolution and perspectives<\/a>. ~ M. Alviano et als. #LogicProgramming #ASP #DLV<\/li>\n<li><a href=\"https:\/\/www.futurity.org\/artificial-intelligence-bayou-coding-1740702\/\">New A.I. application can write its own code<\/a>. ~ J. Boyd-Rice #AI<\/li>\n<li><a href=\"http:\/\/richardzach.org\/2018\/04\/10\/the-significance-of-philosophy-to-mathematics\">The significance of Philosophy to Mathematics<\/a>. ~ Richard Zach (@RrrichardZach) #Math #Philosophy<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1804.06398\">Modelling bitcoin in Agda<\/a>. ~ A. Setzer #ITP #Agda<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1804.10037\">Quantifier elimination for reasoning in economics<\/a>. ~ C.B. Mulligan et als. #Logic<\/li>\n<li><a href=\"https:\/\/www.fpcomplete.com\/blog\/2018\/04\/async-exception-handling-haskell\">Asynchronous exception handling in Haskell<\/a>. ~ M. Snoyman (@snoyberg) #Haskell<\/li>\n<li><a href=\"https:\/\/github.com\/pdlla\/smarties\">Smarties: a general purpose behavior tree library written in Haskell<\/a>. #Haskell #AI<\/li>\n<li><a href=\"https:\/\/mathlesstraveled.com\/2018\/04\/26\/iterating-squared-digit-sum\">Iterating squared digit sum<\/a>. ~ Brent Yorgey #Haskell #Math<\/li>\n<li><a href=\"https:\/\/github.com\/RyanGlScott\/ghc-software-foundations\">The Software Foundations book, in GHC<\/a>. ~ Ryan Scott #Haskell<\/li>\n<li><a href=\"https:\/\/www.kdnuggets.com\/2018\/02\/introduction-functional-programming-python.html\">Introduction to functional programming in Python<\/a>. ~ Spiro Sideris #Python #FunctionalProgramming<\/li>\n<li><a href=\"https:\/\/www.ams.org\/notices\/201111\/rtx111101580p.pdf\">Proof and other dilemmas: Mathematics and Philosophy (Reviewed by Jeremy Avigad)<\/a>. #Math #Philosophy<\/li>\n<li><a href=\"http:\/\/i.cs.hku.hk\/~bruno\/papers\/itp2018.pdf\">Formalization of a polymorphic subtyping algorithm<\/a>. ~ J. Zhao, B.C.S. Oliveira, T. Schrijvers #ITP #Abella<\/li>\n<li><a href=\"https:\/\/codicalist.wordpress.com\/about\/\">The Babel of languages and the substrate of nature<\/a>. ~ Philip Thrift (@philipthrift) #Programming<\/li>\n<li><a href=\"https:\/\/johncarlosbaez.wordpress.com\/2018\/04\/07\/applied-category-theory-course-part-2\">Applied category theory course: ordered sets<\/a>. ~ John Carlos Baez (@johncarlosbaez) #Math #CategoryTheory<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1706.08605\">Developing bug-free machine learning systems with formal mathematics<\/a>. ~ D. Selsam, P. Liang, D.L. Dill #ITP #Lean #MachineLearnig<\/li>\n<li><a href=\"https:\/\/speakerdeck.com\/larrytheliquid\/martin-lofs-type-theory-mltt\">Martin-L\u00f6f&#8217;s type theory (MLTT)<\/a>. ~ Larry Diehl (@larrytheliquid) #Logic<\/li>\n<li><a href=\"http:\/\/pirilampo.org\/org-mode\/syntax\/\">Org mode syntax example<\/a>. ~ Fabrice Niessen (@f_niessen) #Emacs #OrgMode<\/li>\n<li><a href=\"https:\/\/www.cs.us.es\/~jalonso\/apuntes\/Preguntas_y_respuestas_del_modo_Org\/Bibliografia\/index.html\">Formas de incluir bibliograf\u00edas en documentos Org<\/a>. #Emacs #OrgMode #I1M2017<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/subsucesiones-crecientes-de-elementos-consecutivos\">Exercitium: &#8220;Subsucesiones crecientes de elementos consecutivos&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/hal.inria.fr\/hal-01772272\/document\">A formally-proved algorithm to compute the correct average of decimal floating-point numbers<\/a>. ~ S. Boldo, F. Faissole, V. Tourneur #ITP #Coq #Math<\/li>\n<li><a href=\"https:\/\/www.quantamagazine.org\/decades-old-graph-problem-yields-to-amateur-mathematician-20180417\">Decades-old graph problem yields to amateur mathematician<\/a>. ~ Evelyn Lamb #Math<\/li>\n<li><a href=\"http:\/\/www.abc.es\/ciencia\/abci-famoso-guru-vida-eterna-resuelve-problema-matematico-hace-60-anos-201804271200_noticia.html\">Un famoso \u00abgur\u00fa\u00bb de la vida eterna resuelve un problema matem\u00e1tico de hace 60 a\u00f1os<\/a>. #Matem\u00e1ticas v\u00eda @jborrego<\/li>\n<li><a href=\"http:\/\/leventerkok.github.io\/sbv\/\">SBV: SMT Based Verification in Haskell (Released: April 29th, 2018)<\/a>. #Haskell #SMT #SBV<\/li>\n<li><a href=\"https:\/\/ec.europa.eu\/digital-single-market\/en\/news\/communication-artificial-intelligence-europe\">Communication Artificial Intelligence for Europe<\/a>. #AI<\/li>\n<\/ul>\n<div id=\"postamble\"><\/div>\n","protected":false},"excerpt":{"rendered":"<p>Esta entrada es una recopilaci\u00f3n de lecturas compartidas, durante abril 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\/6095"}],"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=6095"}],"version-history":[{"count":3,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/6095\/revisions"}],"predecessor-version":[{"id":6153,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/6095\/revisions\/6153"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=6095"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=6095"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=6095"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}