{"id":6089,"date":"2018-04-01T10:11:01","date_gmt":"2018-04-01T08:11:01","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=6089"},"modified":"2018-07-10T10:06:37","modified_gmt":"2018-07-10T08:06:37","slug":"resumen-de-lecturas-compartidas-durante-marzo-de-2018","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-marzo-de-2018\/","title":{"rendered":"Resumen de lecturas compartidas durante marzo de 2018"},"content":{"rendered":"<div id=\"content\">Esta entrada es una recopilaci\u00f3n de lecturas compartidas, durante marzo 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<div><\/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\/menor-potencia-de-2-que-comienza-por-n\">Exercitium: &#8220;Menor potencia de 2 que comienza por n&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"http:\/\/www.andreas-lochbihler.de\/pub\/lochbihler2018.pdf\">Fast machine words in Isabelle\/HOL<\/a>. ~ A. Lochbihler #ITP #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/www.ethz.ch\/en\/news-and-events\/eth-news\/news\/2018\/02\/teaching-quantum-physics-to-a-computer.html\">Teaching quantum physics to a computer<\/a>. ~ Oliver Morsch #MachineLearning<\/li>\n<li><a href=\"https:\/\/www.slideshare.net\/ssuserc0b705\/artificial-intelligence-and-its-applications-in-healthcare-and-pharmacy\">Artificial intelligence and its applications in healthcare and pharmacy<\/a>. ~ Atul Adhikari #AI<\/li>\n<li><a href=\"http:\/\/irreal.org\/blog\/?p=6987\">A reproducible research toolkit<\/a>. #Emacs #OrgMode #Rstats<\/li>\n<li><a href=\"https:\/\/github.com\/vikasrawal\/orgpaper\/blob\/master\/orgpapers.org\">Using Emacs, Org-mode and R for Research Writing in Social Sciences<\/a>. ~ Vikas Rawal #Emacs #OrgMode #Rstats<\/li>\n<li><a href=\"https:\/\/openlibra.com\/es\/book\/matematica-discreta-en-haskell\">Matem\u00e1tica discreta en Haskell<\/a>. ~ Mar\u00eda Dolores Valverde Rodr\u00edguez #Haskell #Matem\u00e1ticas #OpenLibra<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/ceros-con-los-n-primeros-numeros\">Exercitium: &#8220;Ceros con los n primeros n\u00fameros&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/Architectural_Design_Patterns.html\">A theory of architectural design patterns in Isabelle\/HOL<\/a>. ~ Diego Marmsoler #ITP #IsabelleHOL<\/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=\"http:\/\/jxv.io\/blog\/2018-02-28-A-Game-in-Haskell.html\">A Game in Haskell: Dino Rush<\/a>. ~ Joe Vargas (@jxv_io) #Haskell #Game<\/li>\n<li><a href=\"http:\/\/blog.ielliott.io\/comonad-transformers-in-the-wild\/\">Comonad Transformers in the Wild<\/a>. ~ Isaac Elliott #Haskell<\/li>\n<li><a href=\"https:\/\/paulspontifications.blogspot.com.es\/2018\/02\/haskell-with-reactive-banana-and-gtk3.html\">Haskell with Reactive Banana and GTK3<\/a>. ~ Paul Johnson #Haskell<\/li>\n<li><a href=\"https:\/\/functor.tokyo\/blog\/2018-03-02-pretty-simple-cli-exe\">CLI program for pretty-printing Haskell datatypes<\/a>. ~ Dennis Gosnell (@cdepillabout) #Haskell<\/li>\n<li><a href=\"https:\/\/two-wrongs.com\/a-gentle-introduction-to-monad-transformers\">A gentle introduction to monad transformers<\/a>. #Haskell<\/li>\n<li><a href=\"http:\/\/www.microsiervos.com\/archivo\/ia\/curso-intensivo-gratuito-google-aprendizaje-automatico-inteligencia-artificial.html\">Curso intensivo de Google sobre aprendizaje autom\u00e1tico e inteligencia artificial (en espa\u00f1ol)<\/a>. #IA<\/li>\n<li><a href=\"https:\/\/github.com\/fniessen\/stage-latex-dunkerque-2012\/blob\/master\/stage-latex-dunkerque-2012-slides.pdf\">Org mode pour LaTeXiens<\/a>. ~ Fabrice Niessen #Emacs #OrgMode #LaTeX<\/li>\n<li><a href=\"https:\/\/whatthefunctional.wordpress.com\/haskell-for-the-imperative\">Haskell for the imperative<\/a>. ~ Laurence Emms (@wtfunctional) #Haskell<\/li>\n<li><a href=\"https:\/\/whatthefunctional.wordpress.com\/2018\/02\/26\/getting-started-with-haskell\/\">Getting started with Haskell<\/a>. ~ Laurence Emms (@wtfunctional) #Haskell<\/li>\n<li><a href=\"https:\/\/whatthefunctional.wordpress.com\/2018\/03\/01\/the-type-language\/\">The type language<\/a>. ~ Laurence Emms (@wtfunctional) #Haskell<\/li>\n<li><a href=\"https:\/\/whatthefunctional.wordpress.com\/2018\/03\/03\/mandelbrot\/\">Mandelbrot fractal in Haskell<\/a>. ~ Laurence Emms (@wtfunctional) #Haskell<\/li>\n<li><a href=\"http:\/\/www.cse.chalmers.se\/~nicsma\/papers\/quickspec2.pdf\">Quick specifications for the busy programmer<\/a>. ~ N. Smallbone, M. Johansson, K. Claessen, M. Algehed #Haskell<\/li>\n<li><a href=\"https:\/\/dl.acm.org\/ft_gateway.cfm?id=3159535&amp;ftid=1946727&amp;dwn=1&amp;CFID=12174721&amp;CFTOKEN=cc9104d69a4c2dc4-2F7E93CC-950A-56DC-0EBB03DD3F3E7470\">Quick-Sort: a pet peeve<\/a>. ~ A. Nunes-Harwitt, M. Gambogi, T. Whitaker #Haskell<\/li>\n<li><a href=\"http:\/\/www.i-programmer.info\/news\/105-artificial-intelligence\/11599-data-science-predicts-oscar-winner.html\">Data Science predicts Oscar winner<\/a>. ~ Lucy Black #AI #DataScience<\/li>\n<li><a href=\"https:\/\/codesync.global\/media\/successful-companies-using-elixir-and-erlang\/\">Successful companies use Erlang and Elixir<\/a>. #FunctionalProgramming #Erlang #Elixir<\/li>\n<li><a href=\"http:\/\/eptcs.web.cse.unsw.edu.au\/paper.cgi?ThEdu17.9.pdf\">Natural deduction and the Isabelle proof assistant<\/a>. ~ J. Villadsen, A. Halkj\u00e6r, A. Schlichtkrull #ITP #IsabelleHOL #Logic<\/li>\n<li><a href=\"https:\/\/nadea.compute.dtu.dk\/\">NaDeA: A Natural Deduction Assistant with a formalization in Isabelle<\/a>. #IsabelleHOL #Logic #NaDeA<\/li>\n<li><a href=\"http:\/\/www.uni-kassel.de\/eecs\/fachgebiete\/fmv\/projects\/sequent-calculus-trainer.html\">The Sequent Calculus Trainer<\/a>: a tool that aims at supporting students in learning how to correctly construct proofs in the sequent calculus for propositional logic and first-order logic with equality. #Logic<\/li>\n<li><a href=\"https:\/\/www.uni-kassel.de\/eecs\/fileadmin\/datas\/fb16\/Fachgebiete\/FMV\/Abschlussarbeiten\/Masterarbeit_Arno_Ehle.pdf\">Proof search in the sequent calculus for first-order logic with equality<\/a>. ~ Arno Ehle #ATP #Logic<\/li>\n<li><a href=\"https:\/\/www.stackbuilders.com\/tutorials\/haskell\/image-processing\">Image processing with Juicy Pixels and Repa<\/a>. ~ Mark Karpov (@mrkkrp) #Haskell<\/li>\n<li><a href=\"http:\/\/sites.math.rutgers.edu\/~zeilberg\/math436_17.html\">History of Mathematics<\/a>. ~ Doron Zeilberger #Math #History<\/li>\n<li><a href=\"http:\/\/eptcs.web.cse.unsw.edu.au\/paper.cgi?ThEdu17.1.pdf\">Learning how to prove: From the Coq proof assistant to textbook style<\/a>. ~ S. B\u00f6hne, C. Kreitz #ITP #Coq #Logic<\/li>\n<li><a href=\"http:\/\/www.math.rutgers.edu\/~zeilberg\/akherim\/struik.pdf\">Concise history of Mathematics<\/a>. ~ Dirk J. Struik #eBook #Math #History<\/li>\n<li><a href=\"https:\/\/web.hypothes.is\/\">Hypothesis: Annotate the web, with anyone, anywhere<\/a>. ~ @hypothes_is #Annotation<\/li>\n<li><a href=\"https:\/\/www.vacationlabs.com\/haskell\/index.html\">Haskell without the theory<\/a>. ~ Saurabh Nanda #Haskell<\/li>\n<li><a href=\"http:\/\/fuuzetsu.co.uk\/blog\/posts\/2018-03-03-GHC-compact-regions-for-improved-latency.html\">Trying out GHC compact regions for improved latency (Pusher case study)<\/a>. ~ Mateusz Kowalczyk #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/generacion-de-progresiones-geometricas\">Exercitium: &#8220;Generaci\u00f3n de progresiones geom\u00e9tricas&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"http:\/\/eptcs.web.cse.unsw.edu.au\/paper.cgi?ThEdu17.2.pdf\">The Sequent Calculus Trainer with automated reasoning (Helping students to find proofs)<\/a>. ~ A. Ehle, N. Hundeshagen, M. Lange #Logic<\/li>\n<li><a href=\"https:\/\/nautil.us\/issue\/24\/error\/in-mathematics-mistakes-arent-what-they-used-to-be\">In Mathematics, mistakes aren\u2019t what they used to be<\/a> (Computers can\u2019t invent, but they\u2019re changing the field anyway). ~ Siobhan Roberts #Math #CompSci<\/li>\n<li><a href=\"https:\/\/idontgetoutmuch.wordpress.com\/2018\/03\/04\/implicit-runge-kutta-and-gnu-scientific-library\">Implicit Runge Kutta and GNU scientific library<\/a>. ~ Dominic Steinitz (@idontgetoutmuch) #Haskell #Math<\/li>\n<li><a href=\"https:\/\/www.slideshare.net\/RodrigoDeFrutosBalle\/qu-demonios-es-la-programacin-funcional\">\u00bfQu\u00e9 demonios es la programaci\u00f3n funcional?<\/a> ~ Rodrigo de Frutos #ProgramacionFuncional<\/li>\n<li><a href=\"https:\/\/medium.com\/@miguelsaddress\/funtores-aplicativos-y-m%C3%B3nadas-en-im%C3%A1genes-21ab0e60fe23\">Funtores, Aplicativos y M\u00f3nadas en im\u00e1genes<\/a>. ~ Miguel \u00c1. Moreno #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/la-funcion-de-smarandache\">Exercitium: &#8220;La funci\u00f3n de Smarandache&#8221;<\/a>. #Haskell #I1M2017 #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1803.00699\">QWIRE practice: Formal verification of quantum circuits in Coq<\/a>. ~ R. Rand, J. Paykin, S. Zdancewic #ITP #Coq<\/li>\n<li><a href=\"https:\/\/patrickdoc.github.io\/criterion.html\">Measuring functions in Criterion<\/a>. ~ Patrick Dougherty #Haskell<\/li>\n<li><a href=\"http:\/\/gitcommit.co.uk\/2017\/03\/25\/simple-fractals-in-haskell\">Simple fractals in Haskell<\/a>. ~ @Mike_K_Houghton #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/numeros-cuyos-factoriales-son-divisibles-por-x-pero-no-por-y\">Exercitium: &#8220;N\u00fameros cuyos factoriales son divisibles por x pero no por y&#8221;<\/a>. #Haskell #I1M2017 divisores&#8221;]]. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/link.springer.com\/article\/10.1007\/s10817-018-9458-4\">Hammer for Coq: automation for dependent type theory<\/a>. ~ \u0141. Czajka, C. Kaliszyk #ITP #Coq<\/li>\n<li><a href=\"http:\/\/www.usrsb.in\/symbolic-execution-intuition-and-implementation.html\">Symbolic execution: intuition and implementation<\/a>. ~ Alex Beal(@beala) #Haskell<\/li>\n<li><a href=\"https:\/\/whatthefunctional.wordpress.com\/2018\/03\/07\/making-a-text-adventure-in-haskell-part-1\">Making a text adventure in Haskell (Part 1)<\/a>. ~ Laurence Emms (@wtfunctional) #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/nodos-con-maxima-suma-de-hijos\">Exercitium: &#8220;Nodos con m\u00e1xima suma de hijos&#8221;<\/a>. #Haskell #I1M2017 #I1M2017<\/li>\n<li><a href=\"https:\/\/hal.archives-ouvertes.fr\/hal-01716048\/document\">A Coq formalisation of SQL\u2019s execution engines<\/a>. ~ V. Benzaken et als. #ITP #Coq<\/li>\n<li><a href=\"https:\/\/github.com\/qfpl\/applied-fp-course\/\">Applied functional programming course<\/a>. #Haskell<\/li>\n<li><a href=\"https:\/\/github.com\/portnov\/circles-puzzle\">Simple puzzle with rotating circles<\/a>. ~ Ilya V. Portnov #Haskell #Gloss<\/li>\n<li><a href=\"https:\/\/www.well-typed.com\/blog\/2018\/03\/oop-in-haskell\/\">Object oriented programming in Haskell<\/a>. ~ Edsko de Vries #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/matrices-centro-simetricas\">Exercitium: &#8220;Matrices centro sim\u00e9tricas&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/members.loria.fr\/DLarchey\/files\/papers\/ITP_2018_paper_16.pdf\">Proof Pearl: Constructive extraction of cycle finding algorithms<\/a>. ~ D. Larchey-Wendling #ITP #Coq #SLC2018<\/li>\n<li><a href=\"https:\/\/purelyfunctional.org\/posts\/2018-03-04-monadfix-lazy-strict-state.html\">MonadFix and the lazy and strict state monad<\/a>. ~ Moritz Kiefer (@cocreature) #Haskell<\/li>\n<li><a href=\"https:\/\/jaspervdj.be\/posts\/2018-03-08-handle-pattern.html\">Haskell design patterns: The handle pattern<\/a>. ~ Jasper Van der Jeugt (@jaspervdj) #Haskell<\/li>\n<li><a href=\"https:\/\/www.tweag.io\/posts\/2018-03-08-linear-sort.html\">Implementing a safer sort with linear types<\/a>. ~ Alexander Vershilov, Arnaud Spiwack #Haskell<\/li>\n<li><a href=\"https:\/\/members.loria.fr\/DLarchey\/files\/papers\/IJCAR-2018_paper_74.pdf\">Constructive decision via redundancy-free proof-search<\/a>. ~ D. Larchey-Wendling #ITP #Coq #SLC2018<\/li>\n<li><a href=\"http:\/\/bulletin.eatcs.org\/index.php\/beatcs\/article\/download\/522\/513\">Who needs category theory?<\/a> ~ A. Blass, Y. Gurevich #CategoryTheory #CompSci<\/li>\n<li><a href=\"http:\/\/www.kovach.me\/posts\/2018-03-07-generating-art.html\">Generating artwork with Haskell<\/a>. ~ Benjamin Kovach (@BendotK) #Haskell<\/li>\n<li><a href=\"https:\/\/cacm.acm.org\/careers\/225898-proposal-recommends-ai-training-in-chinas-primary-secondary-schools\/fulltext\">Proposal recommends AI training in China&#8217;s primary, secondary schools<\/a>. #AI<\/li>\n<li><a href=\"http:\/\/sachachua.com\/blog\/2018\/03\/using-org-mode-latex-beamer-and-medibang-paint-to-make-a-childrens-book\/\">Using Org Mode, LaTeX, Beamer, and Medibang Paint to make a children\u2019s book<\/a>. ~ Sacha Chua #Emacs #OrgMode #LaTeX #Beamer<\/li>\n<li><a href=\"http:\/\/changelog.complete.org\/archives\/9861-emacs-1-ditching-a-bunch-of-stuff-and-moving-to-emacs-and-org-mode\">Emacs #1: Ditching a bunch of stuff and moving to Emacs and org-mode<\/a>. ~ John Goerzen (@jgoerzen) #Emacs #OrgMode<\/li>\n<li><a href=\"https:\/\/changelog.complete.org\/archives\/9865-emacs-2-introducing-org-mode\">Emacs #2: Introducing org-mode<\/a>. ~ John Goerzen (@jgoerzen) #Emacs #OrgMode<\/li>\n<li><a href=\"https:\/\/changelog.complete.org\/archives\/9877-emacs-3-more-on-org-mode\">Emacs #3: More on org-mode<\/a>. ~ John Goerzen (@jgoerzen) #Emacs #OrgMode<\/li>\n<li><a href=\"http:\/\/home.in.tum.de\/~wimmers\/html-data\/papers\/PTA.pdf\">MDP+TA = PTA: Probabilistic timed automata, formalized (short paper)<\/a>. ~ S. Wimmer, J. H\u00f6lzl #ITP #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/soupi.github.io\/rfc\/writing_simple_haskell\">Writing simple Haskell<\/a>. ~ Gil Mizrahi (@_gilmi) #Haskell<\/li>\n<li><a href=\"https:\/\/whatthefunctional.wordpress.com\/2018\/03\/10\/making-a-text-adventure-in-haskell-part-2\/\">Making a text adventure in Haskell (Part 2)<\/a>. ~ Laurence Emms (@wtfunctional) #Haskell<\/li>\n<li><a href=\"https:\/\/github.com\/cerner\/clara-rules\">Clara-rules: Forward-chaining rules in Clojure<\/a>. #Clojure<\/li>\n<li><a href=\"https:\/\/www.slideshare.net\/MykhailoMichaelPersh\/clojured-ai2018pubrastpng-90157567\">Clojure and AI<\/a>. ~ Michael Pershyn #Clojure #AI<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-introduccion-a-la-programacion-con-maxima\">I1M2017: Introducci\u00f3n a la programaci\u00f3n con Maxima<\/a>. #Maxima<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-de-la-matematica-a-la-maquina\/\">I1M2017: De la matem\u00e1tica a la m\u00e1quina<\/a>. #Matem\u00e1tica #Programaci\u00f3n<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-analisis-de-la-complejidad-de-los-algoritmos\/\">I1M2017: An\u00e1lisis de la complejidad de los algoritmos<\/a>. #Haskell #Algor\u00edtmica<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-calculo-numerico-en-haskell-2o-parte\/\">I1M2017: C\u00e1lculo num\u00e9rico en Haskell (2\u00ba parte)<\/a>. #Haskell #Matem\u00e1ticas<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-ejercicios-de-programacion-de-calculo-numerico-en-maxima\/\">I1M2017: Ejercicios de programaci\u00f3n de c\u00e1lculo num\u00e9rico en Maxima<\/a>. #Maxima #Matematicas<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-programacion-dinamica-en-haskell\">I1M2017: Programaci\u00f3n din\u00e1mica en Haskell<\/a>. #Haskell #Algor\u00edtmica<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2017-deduccion-natural-proposicional-2-2\/\">LMF2017: Deducci\u00f3n natural proposicional (2)<\/a>. #L\u00f3gica<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2017-ejercicios-de-deduccion-natural-proposicional\/\">LMF2017: Ejercicios de deducci\u00f3n natural proposicional<\/a>. #L\u00f3gica<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2017-deduccion-natural-proposicional-con-isabellehol-2\/\">LMF2017: Deducci\u00f3n natural proposicional con Isabelle\/HOL<\/a>. #IsabelleHOL #L\u00f3gica<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/cruce-de-listas\">Exercitium: &#8220;Cruce de listas&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"http:\/\/adam.chlipala.net\/theses\/jadep_meng.pdf\">Correct-by-construction finite field arithmetic in Coq<\/a>. ~ J. Philipoom #ITP #Coq #Math<\/li>\n<li><a href=\"https:\/\/lettier.github.io\/posts\/2016-06-01-data-visualization-with-haskell-nyc-public-urination.html\">Data visualization with Haskell: NYC public urination<\/a>. ~ David Lettier #Haskell #DataScience<\/li>\n<li><a href=\"http:\/\/shinyapps.org\/apps\/RGraphCompendium\/index.php\">A compendium of clean graphs in R (version 2.0)<\/a>. ~ E.J.Wagenmakers, Q.F. Gronau #Rstats<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/suma-de-los-digitos-de-las-repeticiones-de-un-numero\">Exercitium: &#8220;Suma de los d\u00edgitos de las repeticiones de un n\u00famero&#8221;<\/a>. #Haskell #I1M2017 \u00e1rbol&#8221;]]. #Haskell #I1M2017<\/li>\n<li><a href=\"http:\/\/www.owlofminerva.net\/files\/fom.pdf\">Foundations of Mathematics<\/a>. ~ Ken Kubota (@KenKubota_de) #Math #Logic #LamdaCalculus #ITP #IsabelleHOL #Coq #PVS #Agda<\/li>\n<li><a href=\"https:\/\/hal.inria.fr\/hal-01719918\/document\">Formalization techniques for asymptotic reasoning in classical analysis<\/a>. ~ R. Affeldt, C. Cohen, D. Rouhling #ITP #Coq #Math<\/li>\n<li><a href=\"https:\/\/lettier.github.io\/posts\/2016-04-29-breadth-first-search-in-haskell.html\">Breadth-first search in Haskell<\/a>. ~ David Lettier #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2017-representacion-del-conocimiento-mediante-logica-de-primer-orden\">LMF2017: Representaci\u00f3n del conocimiento mediante l\u00f3gica de primer orden<\/a>. #L\u00f3gica<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2017-sintaxis-y-semantica-de-la-logica-de-primer-orden\">LMF2017: Sintaxis y sem\u00e1ntica de la l\u00f3gica de primer orden<\/a>. #L\u00f3gica<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1803.04263\">Intelligible Artificial Intelligence<\/a>. ~ D.S. Weld, G. Bansal #AI #XAI<\/li>\n<li><a href=\"http:\/\/www.htdp.org\/2018-01-06\/Book\">How to design programs (2nd edition, 2018)<\/a>. ~ M. Felleisen, R.B. Findler, M. Flatt, S. Krishnamurthi #eBook #Programming #DrRacket<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/suma-de-las-sumas-de-los-cuadrados-de-los-divisores\">Exercitium: &#8220;Suma de las sumas de los cuadrados de los divisores&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/Weight_Balanced_Trees.html\">Weight-balanced trees in Isabelle\/HOL<\/a>. ~ T. Nipkow, S. Dirix #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/lettier.github.io\/posts\/2016-04-14-max-subarray-in-haskell.html\">Max subarray in Haskell<\/a>. ~ David Lettier #Haskell<\/li>\n<li><a href=\"https:\/\/whatthefunctional.wordpress.com\/2018\/03\/13\/text-reflow-in-haskell\/\">Text Reflow in Haskell<\/a>. ~ Laurence Emms (@wtfunctional) #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-4o-examen-de-programacion-funcional-con-haskell\">I1M2017: 4\u00ba examen de programaci\u00f3n funcional con Haskell<\/a>. #Haskell<\/li>\n<li><a href=\"http:\/\/www.cse.buffalo.edu\/~knepley\/classes\/cse191\/ClassNotes.pdf\">Discrete structures<\/a>. ~ M.G. Knepley #eBook #Math #ITP #Coq<\/li>\n<li><a href=\"http:\/\/aperiodical.com\/2018\/03\/the-oeis-now-contains-300000-integer-sequences\">The OEIS now contains 300,000 integer sequences<\/a>. ~ C. Lawson-Perfect #Math<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/la-conjetura-de-gilbreath\">Exercitium: &#8220;La conjetura de Gilbreath&#8221;<\/a>. #Haskell #I1M2017 matriz&#8221;]]. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1803.04646\">On cryptographic attacks using backdoors for SAT<\/a>. ~ A. Semenov et als. #SAT<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2017-ejercicios-de-deduccion-natural-proposicional-en-isabellehol\/\">LMF2017: Ejercicios de deducci\u00f3n natural proposicional en Isabelle\/HOL<\/a>. #L\u00f3gica #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/040code.github.io\/2018\/03\/04\/verlet-integration\/\">Verlet integration (Physics simulation in Clojure)<\/a>. ~ M. Metz (@MMz_) #Clojure #Physics<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/matrices-de-pascal\">Exercitium: &#8220;Matrices de Pascal&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/github.com\/owickstrom\/domain-modeling-with-haskell-data-structures\">Domain modeling with Haskell data structures<\/a>. ~ Oskar Wickstr\u00f6m (@owickstrom) #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-el-tipo-abstracto-de-datos-de-las-pilas-en-haskell\">I1M2017: El tipo abstracto de datos de las pilas en Haskell<\/a>. #Haskell #Algor\u00edtmica<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-el-tipo-abstracto-de-datos-de-las-colas-en-haskell\">I1M2017: El tipo abstracto de datos de las colas en Haskell<\/a>. #Haskell #Algor\u00edtmica<\/li>\n<li><a href=\"http:\/\/bit.ly\/2GAkWbX\">Multiplicar es mas f\u00e1cil de lo que piensas<\/a>. ~ Juan Arias de Reyna #Matem\u00e1ticas #Algor\u00edtmica<\/li>\n<li><a href=\"http:\/\/www2.imm.dtu.dk\/pubdb\/views\/edoc_download.php\/7095\/pdf\/imm7095.pdf\">Formalized first-order logic. ~ A.H. From<\/a> #ITP #IsabelleHOL #Logic<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-4o-examen-de-programacion-funcional-con-haskell\">I1M2017: 4\u00ba examen de programaci\u00f3n funcional con Haskell<\/a>. #Haskell<\/li>\n<li><a href=\"https:\/\/github.com\/jaalonso\/Examenes_de_PF_con_Haskell\/blob\/master\/Curso_2017-18\/Grupo_1\/examen_4_15_mar.hs\">I1M2017: Soluciones del 4\u00ba examen de programaci\u00f3n funcional con Haskell del grupo 1<\/a>. #Haskell<\/li>\n<li><a href=\"https:\/\/github.com\/jaalonso\/Examenes_de_PF_con_Haskell\/blob\/master\/Curso_2017-18\/Grupo_2\/examen_4_12_mar.hs\">I1M2017: Soluciones del 4\u00ba examen de programaci\u00f3n funcional con Haskell del grupo 2<\/a>. #Haskell<\/li>\n<li><a href=\"https:\/\/github.com\/jaalonso\/Examenes_de_PF_con_Haskell\/blob\/master\/Curso_2017-18\/Grupo_3\/examen_4_13_mar.hs\">I1M2017: Soluciones del 4\u00ba examen de programaci\u00f3n funcional con Haskell del grupo 3<\/a>. #Haskell<\/li>\n<li><a href=\"http:\/\/www.hg.schaathun.net\/FPIA\/general.php\">Course: Functional programming and intelligent algorithms<\/a>. ~ Hans Georg Schaathun #Haskell #AI<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1803.04870\">Narcissus: Deriving correct-by-construction decoders and encoders from binary formats<\/a>. S. Suriyakarn, C. Pit-Claudel, B. Delaware, A. Chlipala #ITP #Coq<\/li>\n<li><a href=\"http:\/\/www2.imm.dtu.dk\/pubdb\/views\/edoc_download.php\/7094\/pdf\/imm7094.pdf\">Formalized unification algorithms<\/a>. ~ K. Hvidtfeldt #ITP #IsabelleHOL #Logic<\/li>\n<li><a href=\"https:\/\/plato.stanford.edu\/entries\/mathematics-explanation\">Explanation in Mathematics<\/a> (in &#8220;The Stanford Encyclopedia of Philosophy&#8221;). ~ Paolo Mancosu #Math #Philosophy<\/li>\n<li><a href=\"http:\/\/doisinkidney.com\/posts\/2018-03-17-rose-trees-breadth-first.html\">Rose trees, breadth-first<\/a>. ~ Donnacha Ois\u00edn Kidney (@oisdk) #Haskell<\/li>\n<li><a href=\"https:\/\/whatthefunctional.wordpress.com\/2018\/03\/18\/lessons-learned\/\">Lessons learned<\/a>. ~ Laurence Emms (@wtfunctional) #Haskell<\/li>\n<li><a href=\"https:\/\/medium.com\/ventre-tech\/haskells-triangle-or-more-fun-with-recursion-9350155689ac\">Haskell\u2019s triangle: or, more fun with recursion<\/a>. ~ Thomas Cothran (@thomas_cothran) #Math #Haskell #JavaScript<\/li>\n<li><a href=\"https:\/\/elpais.com\/tecnologia\/2018\/03\/16\/actualidad\/1521204836_317670.html\">M\u00e1quinas listas, pero sin sentido com\u00fan<\/a>. ~ Ramon L\u00f3pez de M\u00e1ntaras #IA<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/la-conjetura-de-levy\">Exercitium: &#8220;La conjetura de Levy&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"http:\/\/www2.imm.dtu.dk\/pubdb\/views\/edoc_download.php\/7091\/pdf\/imm7091.pdf\">Formalization of a near-linear time algorithm for solving the unification problem<\/a>. ~ K.F. Brandt #ITP #IsabelleHOL #Logic<\/li>\n<li><a href=\"https:\/\/whatthefunctional.wordpress.com\/2018\/03\/19\/making-a-text-adventure-in-haskell-part-3\/\">Making a text adventure in Haskell (Part 3)<\/a>. ~ Laurence Emms (@wtfunctional) #Haskell<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1803.05316\">Seven sketches in compositionality: An invitation to applied category theory<\/a>. ~ B. Fong, D.I Spivak #CategoryTheory<\/li>\n<li><a href=\"https:\/\/medium.com\/q-e-d\/fundamental-tools-for-math-in-2018-78739b86d15\">Fundamental tools for Math in 2018<\/a>. ~ Robert L. Read #Math<\/li>\n<li><a href=\"https:\/\/cocalc.com\/\">CoCalc: Collaborative Calculation in the Cloud<\/a>. ~ @cocalc_com #Math #SageMath via @paul_snively<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/suma-de-las-alturas-de-los-nodos-de-un-arbol\">Exercitium: &#8220;Suma de las alturas de los nodos de un \u00e1rbol&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"http:\/\/www.cs.tau.ac.il\/~nachumd\/papers\/Union.pdf\">Well-founded unions<\/a>. ~ J. Dawson, N. Dershowitz, R. Gor\u00e9 #ITP #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2018\/03\/build-systems.pdf\">Build systems \u00e0 la carte<\/a>. ~ A. Mokhov, N. Mitchell, Simon Peyton Jones #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2017-semantica-de-la-logica-de-primer-orden\">LMF2017: Sem\u00e1ntica de la l\u00f3gica de primer orden<\/a>. #L\u00f3gica<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/caminos-en-una-matriz\">Exercitium: &#8220;Caminos en una matriz&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1803.06494\">Attack trees in Isabelle: CTL semantics, correctness and completeness<\/a>. ~ F. Kamm\u00fcller #ITP #IsabelleHOL #Logic<\/li>\n<li><a href=\"https:\/\/www.nature.com\/articles\/d41586-018-03423-x\">&#8216;Grand unified theory of maths&#8217; nets Abel Prize<\/a> ~ D. Castelvecchi #Math<\/li>\n<li><a href=\"https:\/\/medium.com\/@raxwunter\/from-logic-and-math-to-code-for-dummies-part-iii-c4ffd4407b16\">From logic and math to code. For dummies. Part III. Dependent types<\/a>. ~ R. Krivtsov #Logic #FunctionalProgramming<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/maximo-de-las-sumas-de-los-caminos-en-una-matriz\">Exercitium: &#8220;M\u00e1ximo de las sumas de los caminos en una matriz&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1803.06500\">Argumentation theory for mathematical argument<\/a>. ~ J. Corneli et als. #Math #Logic<\/li>\n<li><a href=\"http:\/\/robertylewis.com\/files\/dissertation.pdf\">Two tools for formalizing mathematical proofs<\/a>. ~ R.Y. Lewis #PhD_Thesis #Math #ITP #Lean #Mathematica<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1803.07199\">Eleven simple algorithms to compute Fibonacci numbers<\/a>. ~ A. Dasdan #Math #Programming #Python<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/camino_de_maxima_suma_en_una_matriz\">Exercitium: &#8220;Camino de m\u00e1xima suma en una matriz&#8221;<\/a>. #Haskell #I1M2017 #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/1803.06960\">Ready, set, verify! Applying hs-to-coq to real-world Haskell code<\/a>. ~ J. Breitner et als. #Coq #Haskell<\/li>\n<li><a href=\"https:\/\/hackage.haskell.org\/package\/containers-verified\">containers-verified: Formally verified drop-in replacement of containers<\/a>. ~ J. Breitner (@nomeata) #Haskell #Coq<\/li>\n<li><a href=\"https:\/\/elpais.com\/elpais\/2018\/03\/21\/el_aleph\/1521672989_799957.html\">La historia del error de divisi\u00f3n de los primeros Pentium<\/a>. ~ M.A. Morales (@gaussianos) | El Aleph #Matem\u00e1ticas<\/li>\n<li><a href=\"https:\/\/etorreborre.blogspot.com.es\/2018\/03\/haskell-modules-for-masses.html\">(Haskell) modules for the masses<\/a>. ~ E. Torreborre (@etorreborre) #Haskell<\/li>\n<li><a href=\"https:\/\/www.quantamagazine.org\/gunter-ziegler-and-martin-aigner-seek-gods-perfect-math-proofs-20180319\/\">In search of God\u2019s perfect proofs<\/a>. ~ E. Klarreich (@EricaKlarreich) #Math<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-el-tipo-abstracto-de-datos-de-las-colas-de-prioridad-en-haskell\/\">I1M2017: El tipo abstracto de datos de las colas de prioridad en Haskell<\/a>. #Haskell #Algor\u00edtmica<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-programacion-dinamica-caminos-en-una-reticula\">I1M2017: Programaci\u00f3n din\u00e1mica: Caminos en una ret\u00edcula<\/a>. #Haskell #Algor\u00edtmica<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-programacion-dinamica-apilamiento-de-barriles\">I1M2017: Programaci\u00f3n din\u00e1mica: Apilamiento de barriles<\/a>. #Haskell #Algor\u00edtmica<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-escritura-de-documentos-latex-pdf-y-html-con-el-modo-org-de-emacs\/\">I1M2017: Escritura de documentos, LaTeX, PDF y HTML con el modo Org de Emacs<\/a>. #Emacs<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/Fishburn_Impossibility.html\">The incompatibility of Fishburn-Strategyproofness and Pareto-efficiency<\/a>. ~ F. Brandt, M. Eberl, C. Saile and C. Stricker #ITP #IsabelleHOL<\/li>\n<li><a href=\"http:\/\/softwaresimply.blogspot.com.es\/2018\/03\/efficiently-improving-test-coverage.html?m=1\">Efficiently improving test coverage with algebraic data types<\/a>. #Haskell<\/li>\n<li><a href=\"http:\/\/www.parsonsmatt.org\/2018\/03\/22\/three_layer_haskell_cake.html\">Three layer Haskell cake<\/a>. ~ Matt Parsons (@mattoflambda) #Haskell<\/li>\n<li><a href=\"http:\/\/mpickering.github.io\/posts\/2018-03-20-recordsvstypeclasses.html\">Replacing type classes with records affects optimisation<\/a>. #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2017-ejercicios-de-deduccion-natural-proposicional-en-isabellehol-2\/\">LMF2017: Ejercicios de deducci\u00f3n natural proposicional en Isabelle\/HOL (2)<\/a>. #L\u00f3gica #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2017-ejercicios-de-sintaxis-y-semantica-de-la-logica-de-primer-orden\/\">LMF2017: Ejercicios de sintaxis y sem\u00e1ntica de la l\u00f3gica de primer orden<\/a>. #L\u00f3gica<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/slc2018-programcion-funcional-en-coq\/\">SLC2018: Programaci\u00f3n funcional en Coq<\/a>. #ITP #Coq<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/slc2018-demostraciones-por-induccion-en-coq\/\">SLC2018: Demostraciones por inducci\u00f3n en Coq<\/a>. #ITP #Coq<\/li>\n<li><a href=\"http:\/\/www.techiedelight.com\/\">Techie Delight (Coding made easy)<\/a>: 500+ data structure and algorithms problems. ~ @techie_delight #Programming<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/slc2018-datos-estructurados-en-coq\/\">SLC2018: Datos estructurados en Coq<\/a>. #ITP #Coq<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/la-sucesion-de-sylvester\">Exercitium: &#8220;La sucesi\u00f3n de Sylvester&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/whatthefunctional.wordpress.com\/2018\/03\/22\/everyday-haskell\">Everyday Haskell (Haskell for the working programmer)<\/a>. ~ Laurence Emms (@wtfunctional) #Haskell<\/li>\n<li><a href=\"https:\/\/github.com\/haskell-perf\/csv\">Simple comparative benchmarks for CSV parsing libraries<\/a>. #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/particiones-primas\">Exercitium: &#8220;Particiones primas&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"http:\/\/www.andreas-lochbihler.de\/pub\/lammich2018jar.pdf\">Automatic refinement to efficient data structures: a comparison of two approaches<\/a>. ~ P Lammich, A Lochbihler #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/conjetura-de-goldbach\">Exercitium: &#8220;Conjetura de Goldbach&#8221;<\/a>. #Haskell #I1M2017 #I1M2017<\/li>\n<li><a href=\"https:\/\/realpython.com\/python-thinking-recursively\">Thinking recursively in Python<\/a>. ~ A. Awasthi #Python<\/li>\n<li><a href=\"http:\/\/www.math.utah.edu\/~carlson\/notes\/python.pdf\">Computations in number theory using Python: A brief introduction<\/a>. ~ J. Carlson #Python #Math<\/li>\n<li><a href=\"http:\/\/swc.math.arizona.edu\/aws\/2003\/03MacintyreNotes.pdf\">A history of interactions between Logic and Number Theory<\/a>. ~ A. Macintyre #Logic #NumberTheory<\/li>\n<li><a href=\"http:\/\/logika.uwb.edu.pl\/studies\/download.php?volid=35&amp;artid=kt&amp;format=PDF\">Philosophy of mathematics and computer science<\/a>. ~ K. Trz\u0119sicki #Math #Logic #CompSci<\/li>\n<li><a href=\"http:\/\/www.cs.nott.ac.uk\/~psztxa\/g51mcs\/notes.pdf\">Mathematics for computer scientists (Lecture notes)<\/a>. ~ T. Altenkirch #Math #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/mayores-sublistas-crecientes-2\">Exercitium: &#8220;Mayores sublistas crecientes&#8221;<\/a>. #Haskell #I1M2017 dada&#8221;]]. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1803.09237v1\">Goldbach&#8217;s function approximation using deep learning<\/a>. ~ A. Stekel, M. Chkroun, A. Azaria #DeepLearning #Math<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1803.10202v1\">Language-integrated provenance in Haskell<\/a>. ~ J. Stolarek, J. Cheney #Haskell<\/li>\n<li><a href=\"https:\/\/speakerdeck.com\/mchakravarty\/demystifying-functional-programming-and-what-that-means-for-learning-and-teaching\">Demystifying functional programming (And what that means for learning &amp; teaching)<\/a>. ~ Manuel M T Chakravarty (@TacticalGrace) and Gabriele Keller #Haskell<\/li>\n<li><a href=\"https:\/\/interstices.info\/jcms\/p_84122\/l-intelligence-artificielle-mythes-et-realites\">L\u2019intelligence artificielle, mythes et r\u00e9alit\u00e9s<\/a>. ~ Nicolas Rougier #IA via @interstices_eu<\/li>\n<li><a href=\"http:\/\/www.jmlr.org\/reviewing-papers\/knuth_mathematical_writing.pdf\">Mathematical writing<\/a>. ~ D,E. Knuth, T. Larrabee, and P.M. Roberts #Math<\/li>\n<li><a href=\"https:\/\/whatthefunctional.wordpress.com\/2018\/03\/29\/making-l-systems-with-haskell-and-logo\/\">Making L-Systems with Haskell and Logo<\/a>. ~ Laurence Emms (@wtfunctional) #Haskell<\/li>\n<li><a href=\"http:\/\/ecs.inria.fr\/\">Encyclopedia of Combinatorial Structures (ECS)<\/a>. #Math<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/maxima-longitud-de-sublistas-crecientes-2\">Exercitium: &#8220;M\u00e1xima longitud de sublistas crecientes&#8221;<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/blog.poisson.chat\/posts\/2018-03-28-generic-data.html\">An old and a new library for generic deriving<\/a>. #Haskell<\/li>\n<li><a href=\"https:\/\/icidasset.com\/writings\/building-blocks\/\">Building blocks (a more visual approach to the topic of purely-typed functional programming)<\/a>. ~ Steven Vandevelde (@icidasset) #FuncionalProgramming #Haskell<\/li>\n<li><a href=\"https:\/\/www.scottaaronson.com\/blog\/?p=3679\">Scott Aaronson: 30 of my favorite books<\/a>.<\/li>\n<li><a href=\"https:\/\/typeclasses.com\/contravariance\">Understanding contravariance<\/a>. ~ Julie Moronuki and Chris Martin #Haskell<\/li>\n<li><a href=\"https:\/\/typeclasses.com\/news\/2018-03-typeclasses-born\">Welcome to Type Classes!<\/a> ~ Julie Moronuki (@argumatronic) and Chris Martin (@chris__martin) #Haskell<\/li>\n<\/ul>\n<div id=\"postamble\"><\/div>\n","protected":false},"excerpt":{"rendered":"<p>Esta entrada es una recopilaci\u00f3n de lecturas compartidas, durante marzo 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\/6089"}],"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=6089"}],"version-history":[{"count":5,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/6089\/revisions"}],"predecessor-version":[{"id":6154,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/6089\/revisions\/6154"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=6089"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=6089"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=6089"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}