{"id":6058,"date":"2017-11-01T12:17:24","date_gmt":"2017-11-01T11:17:24","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=6058"},"modified":"2018-07-10T10:09:00","modified_gmt":"2018-07-10T08:09:00","slug":"resumen-de-lecturas-compartidas-durante-octubre-de-2017","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-octubre-de-2017\/","title":{"rendered":"Resumen de lecturas compartidas (octubre de 2017)"},"content":{"rendered":"<p>Esta entrada es una recopilaci\u00f3n de lecturas compartidas, durante octubre de 2017, en <a href=\"https:\/\/twitter.com\/Jose_A_Alonso\">Twitter<\/a> sobre l\u00f3gica computacional y programaci\u00f3n funcional.<\/p>\n<p>Las lecturas est\u00e1n ordenadas seg\u00fan su fecha de publicaci\u00f3n en Twitter.<\/p>\n<p>Al final de cada art\u00edculo se encuentra etiquetas relativas a los sistemas que usa o a su contenido.<br \/>\n<!--more--><\/p>\n<ul>\n<li><a href=\"https:\/\/www.avoltus.com\/fi\/blog\/2017-9-29-profunctors-encoding-and-decoding\">Profunctors for encoding and decoding<\/a>. ~ Kari Pahula #Haskell<\/li>\n<li><a href=\"http:\/\/blogs.intevation.de\/wilde\/haskell\/functions-as-functors\">Making your brain tingle: Functions as functors<\/a>. ~ Sascha Wilde #Haskell<\/li>\n<li><a href=\"https:\/\/github.com\/pbv\/codex\">Codex: a web application for setting programming exercises in a learning environment<\/a>. ~ Pedro Vasconcelos #Haskell<\/li>\n<li><a href=\"https:\/\/github.com\/pbv\/codex-quickcheck\">Codex-QuickcCheck: QuickCheck customizations for the Codex learning environment<\/a>. ~ Pedro Vasconcelos #Haskell<\/li>\n<li><a href=\"http:\/\/bit.ly\/2xJlEBu\">Ofertas de trabajos del mes de septiembre<\/a>. #MULCIA<\/li>\n<li><a href=\"https:\/\/github.com\/jaalonso\/Lecturas_GLC#septiembre-2017\">Lista de lecturas compartidas en septiembre de 2017<\/a>. #GLC<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-metodos-elementales-de-definicion-de-funciones-en-haskell\/\">M\u00e9todos elementales de definici\u00f3n de funciones en Haskell<\/a>. #I1M2017 #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-ejercicios-de-definiciones-por-composicion-sobre-numeros-y-listas\/\">Ejercicios de definiciones por composici\u00f3n sobre n\u00fameros y listas<\/a>. #I1M2017 #Haskell<\/li>\n<li><a href=\"https:\/\/mmhaskell.com\/blog\/2017\/10\/2\/trouble-with-databases-persevere-with-persistent\">Trouble with databases? Persevere with Persistent<\/a>! ~ James Bowen #Haskell<\/li>\n<li><a href=\"http:\/\/www.michaelbeeson.com\/research\/papers\/ProofCheckingEuclid.pdf\">Proof-checking Euclid<\/a>. ~ M. Beeson, J. Narboux &amp; F. Wiedijk #ITP #Coq #HOL_Light #Math<\/li>\n<li><a href=\"http:\/\/irreal.org\/blog\/?p=6641\">Org mode as an Exocortex<\/a>. ~ Irreal #Emacs<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1710.00794\">What does explainable AI really mean? A new conceptualization of perspectives<\/a>. ~ D. Doran, S. Schulz &amp; T.R. Besold #XAI<\/li>\n<li><a href=\"http:\/\/cmsc-16100.cs.uchicago.edu\/2017\/Lectures\/01\/intro.php\">CMSC-16100 Lecture 1: Introduction to Haskell<\/a>. ~ R. Chugh &amp; S.A. Kurtz #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/www.gitbook.com\/book\/ravichugh\/a-quarter-of-haskell\/details\">A Quarter of Haskell (Supplementary notes for UChicago CMSC 16100)<\/a>. ~ R. Chugh &amp; S.A. Kurtz #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/ravichugh.gitbooks.io\/a-quarter-of-haskell\/content\/introduction\">A Quarter of Haskell: Introduction to Haskell<\/a>. ~ R. Chugh &amp; S.A. Kurtz #Haskell #I1M2017<\/li>\n<li><a href=\"http:\/\/www.cs.princeton.edu\/~wmansky\/messaging.pdf\">A verified messaging system<\/a>. ~ W. Mansky, A.W. Appel &amp; A. Nogin #Coq<\/li>\n<li><a href=\"https:\/\/github.com\/DSLsofMath\/DSLsofMath\/raw\/master\/L\/snapshots\/DSLsofMathNotes_2017-09-28.pdf\">Domain Specific Languages of Mathematics: Lecture Notes<\/a>. ~ P. Jansson &amp; C. Ionescu #Haskell #Math #I1M2017<\/li>\n<li><a href=\"https:\/\/patternsinfp.wordpress.com\/2017\/10\/04\/metamorphisms\/\">Metamorphisms<\/a>. ~ Jeremy Gibbons #Haskell<\/li>\n<li><a href=\"https:\/\/interstices.info\/jcms\/p_95446\/les-methodes-formelles-l-autre-arme-de-la-cybersecurite\">Les m\u00e9thodes formelles: l&#8217;autre arme de la cybers\u00e9curit\u00e9<\/a>. ~ Jean Goubault-Larrecq #Formal_verification<\/li>\n<li><a href=\"http:\/\/www.i-programmer.info\/news\/98-languages\/11184-which-languages-are-bug-prone.html\">Which languages are bug prone<\/a>. ~ Janet Swift #Programming<\/li>\n<li><a href=\"https:\/\/www.fpcomplete.com\/blog\/2012\/09\/ten-things-you-should-know-about-haskell-syntax\">Ten things you should know about Haskell syntax<\/a>. ~ Bartosz Milewski #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/1m2017-definiciones-por-comprension\">Definiciones por comprensi\u00f3n<\/a>. #I1M2017 #Haskell<\/li>\n<li><a href=\"http:\/\/profs.sci.univr.it\/~bonacina\/papers\/DRLI2017DA.pdf\">Deduzione automatica<\/a>. ~ M.P. Bonacina #ATP #Logic<\/li>\n<li><a href=\"http:\/\/www.imm.dtu.dk\/~samo\/typing-soundness\/TypingResult.pdf\">Formalizing and proving a typing result for security protocols in Isabelle\/HOL<\/a>. ~ A.V. Hess &amp; S. M\u00f6dersheim #ITP #IsabelleHOL<\/li>\n<li><a href=\"http:\/\/www.tweag.io\/posts\/2017-10-05-streaming2.html\">How to compose streaming programs<\/a>. ~F. Dom\u00ednguez #Haskell<\/li>\n<li><a href=\"http:\/\/goto.ucsd.edu\/~nvazou\/popl18\/_site\/NaturalDeduction.html\">Natural deduction on Liquid Haskell<\/a>. ~ Niki Vazou #Haskell #LiquidHaskell #Logic<\/li>\n<li><a href=\"http:\/\/blog.ploeh.dk\/2017\/10\/04\/from-design-patterns-to-category-theory\/\">From design patterns to category theory<\/a>. ~ Mark Seemann #Programming #Math<\/li>\n<li><a href=\"http:\/\/freecontent.manning.com\/lists-as-context-a-deeper-look-at-the-applicative-type-class\">Lists as context: A deeper look at the Applicative Type Class<\/a>. ~ Will Kurt #Haskell<\/li>\n<li><a href=\"http:\/\/www.haskellforall.com\/2017\/10\/why-do-our-programs-need-to-read-input.html\">Why do our programs need to read input and write output?<\/a> ~ G. Gonzalez #Haskell<\/li>\n<li><a href=\"https:\/\/www.johndcook.com\/blog\/2017\/10\/07\/exponential-sums-make-pretty-pictures\/\">Exponential sums make pretty pictures<\/a>. ~ J.D. Cook #Math #Programming<\/li>\n<li><a href=\"https:\/\/haskellweekly.news\/issues\/75.html\">Haskell Weekly 75: News from the Haskell community (October 5 2017)<\/a>. #Haskell<\/li>\n<li><a href=\"https:\/\/www.stackbuilders.com\/news\/scalendar-time-management-in-haskell\">scalendar: Haskell Library to deal with resource availability in a Calendar<\/a>. ~ Sebasti\u00e1n Pulido #Haskell<\/li>\n<li><a href=\"https:\/\/cacm.acm.org\/magazines\/2017\/10\/221326-a-large-scale-study-of-programming-languages-and-code-quality-in-github\/fulltext\">A large-scale study of programming languages and code quality in GitHub<\/a>. ~ B. Ray et als. #Programming<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-definiciones-por-comprension-2\">Definiciones por comprensi\u00f3n (2)<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-ejercicios-de-definiciones-por-composicion-sobre-numeros-y-listas-2\">Ejercicios de definiciones por composici\u00f3n sobre n\u00fameros y listas (2)<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/www.informatik.uni-kiel.de\/~mh\/papers\/ICLP17.pdf\">Semantic versioning checking in a declarative package manager<\/a>. ~ M. Hanus #Curry<\/li>\n<li><a href=\"http:\/\/bahr.io\/pubs\/files\/hutton17jfp-paper.pdf\">Functional Pearl: Compiling a fifty year journey<\/a>. ~ G. Hutton &amp; P. Bahr #Haskell<\/li>\n<li><a href=\"http:\/\/www.cl.cam.ac.uk\/research\/hvg\/Isabelle\/dist\/Isabelle2017\/doc\/NEWS.html\">News in Isabelle2017 (October 2017)<\/a>. #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/www21.in.tum.de\/~hupel\/pub\/isabelle-cakeml.pdf\">A verified compiler from Isabelle\/HOL to CakeML<\/a>. ~ L. Hupel &amp; T. Nipkow #IsabelleHOL<\/li>\n<li><a href=\"http:\/\/www.buffalo.edu\/~wlawvere\/concep-3.pdf\">Matem\u00e1ticas conceptuales: Una primera introducci\u00f3n a categor\u0131\u0301as<\/a>. ~ W. Lawvere &amp; S. Schanuel #Matem\u00e1ticas<\/li>\n<li><a href=\"https:\/\/wiki.haskell.org\/User:Michiexile\/MATH198\">Category theory and functional programming<\/a>. ~ Mikael Vejdemo Johansson #Math #CompSci #FunctionalProgramming<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-definiciones-por-recursion\">Definiciones por recursi\u00f3n<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-ejercicios-de-definiciones-con-condicionales-guardas-o-patrones\">Ejercicios de definiciones con condicionales, guardas o patrones<\/a>. #Haskell #I1M2017<\/li>\n<li><a href=\"http:\/\/www.joachim-breitner.de\/blog\/732-Isabelle_functions__Always_total,_sometimes_undefined\">Isabelle functions: Always total, sometimes undefined<\/a>. ~ Joachim Breitner #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/maxow.github.io\/posts\/computational-geometry-set-operations-on-polytopes.html\">Computational geometry: set operations on polytopes<\/a>. ~ Maksymilian Owsianny #Haskell #Math<\/li>\n<li><a href=\"https:\/\/docs.google.com\/presentation\/d\/1_sD9a5-u3urGbJPuxebBQXrDtoqvKlEII3brnm0ZWb0\/edit#slide=id.gc6f90357f_0_0\">A Monoid for all seasons<\/a>. ~ Julie Moronuki #Haskell #Logic #Math<\/li>\n<li><a href=\"https:\/\/idontgetoutmuch.files.wordpress.com\/2017\/10\/test.pdf\">Making Kalman filtering correct with types<\/a>. ~ Dominic Steinitz #Haskell #DataScience<\/li>\n<li><a href=\"http:\/\/www.tweag.io\/posts\/2017-10-12-vector-package.html\">Array fusion with vector<\/a>. ~ Manuel M T Chakravarty #Haskell<\/li>\n<li><a href=\"https:\/\/github.com\/Gabriel439\/slides\/blob\/master\/liquidhaskell\/slides.md\">Scrap your bounds checks with Liquid Haskell<\/a>. ~ Gabriel Gonzalez #Haskell #LiquidHaskell<\/li>\n<li><a href=\"http:\/\/blog.sumtypeofway.com\/recursion-schemes-part-iv-time-is-of-the-essence\/\">Recursion schemes, part IV: Time is of the essence<\/a>. ~ Patrick Thomson #Haskell<\/li>\n<li><a href=\"http:\/\/cl-informatik.uibk.ac.at\/users\/griff\/publications\/Sternagel-Draft-2017.pdf\">A mechanized proof of Higman\u2019s lemma by open induction<\/a>. ~ Christian Sternagel #IsabelleHOL #Math<\/li>\n<li><a href=\"https:\/\/www.quora.com\/What-are-some-scientific-applications-of-Haskell\/answer\/Edward-Kmett\">What are some scientific applications of Haskell?<\/a> ~ Edward Kmett #Haskell<\/li>\n<li><a href=\"http:\/\/blog.sigfpe.com\/2017\/10\/a-tail-we-dont-need-to-wag.html\">A tail we don&#8217;t need to wag<\/a>. ~ Dan Piponi #Haskell<\/li>\n<li><a href=\"http:\/\/gelisam.blogspot.com.es\/2017\/10\/composing-declarations-in-template.html\">Composing declarations in Template Haskell<\/a>. #Haskell<\/li>\n<li><a href=\"https:\/\/amp.businessinsider.com\/github-ceo-wanstrath-says-automation-will-replace-software-coding-2017-10\">The CEO of GitHub, which caters to coders, thinks automation will bring an end to traditional software programming<\/a>. ~ Becky Peterson #Programming<\/li>\n<li><a href=\"https:\/\/github.com\/antalsz\/hs-to-coq\">hs-to-coq: Convert Haskell source code to Coq source code<\/a>. ~ Antal Spector-Zabusky #Haskell #Coq<\/li>\n<li><a href=\"https:\/\/www.reddit.com\/r\/haskell\/comments\/75zez1\/magichaskeller_based_agent_makes_finalist_in_1st\/\">MagicHaskeller based agent makes finalist in 1st round of general AI challenge!<\/a> #Haskell #AI<\/li>\n<li><a href=\"http:\/\/institucional.us.es\/blogimus\/2017\/10\/duelo-de-titanes-analisis-contra-combinatoria\/\">Contando n\u00fameros primos: An\u00e1lisis contra Combinatoria<\/a>. ~ Juan Arias de Reyna #Matem\u00e1ticas #Computaci\u00f3n<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1503.01839\">The combinatorial algorithm for computing \u03c0(x)<\/a>. ~ Douglas B. Staple #Math #CompSci<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/Diophantine_Eqns_Lin_Hom.html\">Homogeneous linear diophantine equations in Isabelle\/HOL<\/a>. ~ Florian Me\u00dfner et als. #ITP #IsabelleHOL #Math<\/li>\n<li><a href=\"https:\/\/blogs.ams.org\/mathgradblog\/2017\/10\/15\/machine-checked-proof\">Machine-checked proof<\/a>. ~ Jacob Gross #ITP #Math<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/Lowe_Ontological_Argument.html\">Computer-assisted reconstruction and assessment of E. J. Lowe&#8217;s modal ontological argument<\/a>. ~ D. Fuenmayor &amp; C. Benzm\u00fcller #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/github.com\/vrom911\/hs-init\">hs-init: Tool for creating completely configured production Haskell projects<\/a>. ~ Veronika Romashkina #Haskell<\/li>\n<li><a href=\"http:\/\/www.haskellforall.com\/2017\/10\/advice-for-haskell-beginners.html\">Advice for Haskell beginners<\/a>. ~ G. Gonzalez #Haskell<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/Zeta_Function.html\">The Hurwitz and Riemann \u03b6 functions in Isabelle\/HOL<\/a>. ~ M. Eberl #IsabelleHOL #ITP #Math<\/li>\n<li><a href=\"http:\/\/simonmar.github.io\/posts\/2017-10-17-hotswapping-haskell.html\">Hotswapping Haskell<\/a>. ~ Jon Coens #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-ejercicios-de-definiciones-por-comprension\/\">I1M2017: Ejercicios de definiciones por comprensi\u00f3n<\/a>. #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/ra2017-comienzo-del-curso\">RA2017: Comienzo del curso de &#8220;Razonamiento autom\u00e1tico&#8221; del M\u00e1ster en L\u00f3gica, Computaci\u00f3n e Inteligencia Artificial<\/a><\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/ra2017-presentacion-del-curso-de-razonamiento-automatico\/\">RA2017: Presentaci\u00f3n del curso de \u201cRazonamiento autom\u00e1tico\u201d<\/a>.<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/Linear_Recurrences.html\">A verified solver for linear recurrences in Isabelle\/HOL<\/a>. ~ M. Eberl #IsabelleHOL #ITP #Math<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/Dirichlet_Series.html\">Dirichlet series in Isabelle\/HOL<\/a>. ~ M. Eberl #IsabelleHOL #ITP #Math<\/li>\n<li><a href=\"https:\/\/cacm.acm.org\/news\/222023-ai-algorithms-are-starting-to-teach-ai-algorithms\/fulltext\">AI algorithms are starting to teach AI algorithms<\/a>. #AI #Programming<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-ejercicios-de-definiciones-por-comprension-2\/\">I1M2017: Ejercicios de definiciones por comprensi\u00f3n (2)<\/a>. #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-ejercicios-de-definiciones-por-recursion-1\/\">I1M2017: Ejercicios de definiciones por recursi\u00f3n (1)<\/a>. #Haskell<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/Diophantine_Eqns_Lin_Hom.html\">Homogeneous linear diophantine equations in Isabelle\/HOL<\/a>. ~ F. Messner et als. #IsabelleHOL #ITP #Math<\/li>\n<li><a href=\"http:\/\/www.cs.utexas.edu\/users\/ameliaj\/pubs\/ajh_thesis.pdf\">Formal methods for Answer Set Programming<\/a>. ~ Amelia J. Harrison #PhD_Thesis #ASP<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1511.01568\">Formalization of quantum protocols using Coq<\/a>. ~ J. Boender, F. Kamm\u00fcller &amp; R. Nagarajan #ITP #Coq<\/li>\n<li><a href=\"http:\/\/forallx.openlogicproject.org\/forallxyyc.pdf\">forall x: Calgary Remix (An introduction to formal logic)<\/a>. ~ P.D. Magnus et als. #eBook #Logic<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/Count_Complex_Roots.html\">Count the number of complex roots in Isabelle\/HOL<\/a>. ~ Wenda Li #IsabelleHOL #ITP #Math<\/li>\n<li><a href=\"https:\/\/www.johndcook.com\/blog\/2017\/10\/21\/empirically-testing-chowla-conjecture\">Empirically testing the Chowla conjecture<\/a>. ~ J.D. Cook #Math #Programming<\/li>\n<li><a href=\"https:\/\/elfe-prover.org\/downloads\/thesis.pdf\">ELFE: An interactive theorem prover for undergraduate students<\/a>. ~ Maximilian Dor\u00e9 #ITP #Logic #Haskell<\/li>\n<li><a href=\"https:\/\/github.com\/maxdore\/elfe\">ELFE: Interactive theorem proving for students (code)<\/a>. ~ Maximilian Dor\u00e9 #ITP #Logic #Haskell<\/li>\n<li><a href=\"http:\/\/www.ega-math.narod.ru\/Math\/Manin.htm\">Good proofs are proofs that make us wiser<\/a>. ~ Yu.I.Manin #Math<\/li>\n<li><a href=\"http:\/\/bit.ly\/2yFAkzP\">Formal methods during the programming phase<\/a>. ~ R.F. Paige et als. #Formal_methods<\/li>\n<li><a href=\"http:\/\/ani.sh\/popl18.pdf\">Towards complete specification and verification with SMT<\/a>. ~ N. Vazou et als. #Haskell #LiquidHaskell #Logic #SMT<\/li>\n<li><a href=\"https:\/\/works.bepress.com\/yuliya_lierler\/71\/download\">Handout on basics behind answer sets<\/a>. ~ Yuliya Lierler #ASP #Logic #Programming<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/Winding_Number_Eval.html\">Evaluate winding numbers through Cauchy indices in Isabelle\/HOL<\/a>. ~ Wenda Li #IsabelleHOL #ITP #Math<\/li>\n<li><a href=\"https:\/\/annals-csis.org\/proceedings\/2017\/drp\/pdf\/314.pdf\">Formalization of Pell&#8217;s equation in the Mizar system<\/a>. ~ M. Acewicz &amp; K. Pak #ITP #Mizar #Math<\/li>\n<li><a href=\"https:\/\/mmhaskell.com\/blog\/2017\/10\/23\/tangled-webs-testing-an-integrated-system\">Tangled Webs: Testing an integrated system<\/a>. ~ James Bowen #Haskell<\/li>\n<li><a href=\"http:\/\/www2.caminos.upm.es\/Departamentos\/matematicas\/revistapm\/revista_impresa\/vol_VII_num_1\/exp_doc_didactica_con_r.pdf\">Did\u00e1ctica con R, menos cuentas y m\u00e1s pensamiento cr\u00edtico<\/a>. ~ A. Galindo #Matem\u00e1ticas #Ense\u00f1anza<\/li>\n<li><a href=\"https:\/\/annals-csis.org\/proceedings\/2017\/drp\/pdf\/289.pdf\">Progress in the independent certification of Mizar Mathematical Library in Isabelle<\/a>. ~ C. Kaliszyk &amp; K. Pak #ITP #IsabelleHOL #Mizar #Math<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1710.06187\">System Description: Russell (A logical framework for deductive systems)<\/a>. ~ Dmitry Vlasov #ITP #Logic<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-el-cifrado-cesar-en-haskell\">I1M2017: El cifrado C\u00e9sar en Haskell<\/a>. #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2017-ejercicios-de-definiciones-por-recursion-2\">I1M2017: Ejercicios de definiciones por recursi\u00f3n (2)<\/a>. #Haskell<\/li>\n<li><a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/ra2017-programacion-funcional-con-isabellehol\">RA2017: Programaci\u00f3n funcional con Isabelle\/HOL<\/a>. #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/Transition_Systems_and_Automata.html\">Transition systems and automata in Isabelle\/HOL<\/a>. ~ J. Brunner #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/wickstrom.tech\/programming\/2017\/10\/27\/motor-finite-state-machines-haskell.html\">Motor: Finite-state machines in Haskell<\/a>. ~ Oskar Wickstr\u00f6m #Haskell<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1710.09756\">Linear Haskell: practical linearity in a higher-order polymorphic language<\/a>. ~ Jean-Philippe Bernardy et als. #Haskell<\/li>\n<li><a href=\"http:\/\/www.tweag.io\/posts\/2017-10-27-stackage-head.html\">Using Stackage for GHC regression testing<\/a>. ~ Manuel Chakravarty #Haskell<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/Kuratowski_Closure_Complement.html\">The Kuratowski closure-complement theorem in Isabelle\/HOL<\/a>. ~ P. Gammie &amp; G. Gioiosa. #ITP #IsabelleHOL #Math<\/li>\n<li><a href=\"http:\/\/www.techrepublic.com\/google-amp\/article\/whats-the-future-of-programming-the-answer-lies-in-functional-languages\/\">What&#8217;s the future of programming? The answer lies in functional languages<\/a>. ~ Nick Heath #Programming #Haskell<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1710.08195\">The refinement calculus of reactive systems toolset<\/a>. ~ I. Dragomir, V. Preoteasa &amp; S. Tripakis #IsabelleHOL<\/li>\n<li><a href=\"http:\/\/blog.functorial.com\/posts\/2017-10-28-Comonads-For-Optionality.html\">Comonads for optionality<\/a>. ~ Phil Freeman #Haskell #PureScript<\/li>\n<li><a href=\"http:\/\/blog.functorial.com\/posts\/2017-10-28-The-Game-Of-Pattern-Matching.html\">The game of pattern matching<\/a>. ~ Phil Freeman #Haskell #PureScript<\/li>\n<li><a href=\"http:\/\/argumatronic.com\/posts\/2017-10-28-a-new-hope.html\">Constructive pedagogy<\/a>. ~ Julie Moronuki #Haskell #Pedagogy<\/li>\n<li><a href=\"https:\/\/github.com\/mrkkrp\/modern-uri\">Modern library for working with URIs<\/a>. ~ Mark Karpov #Haskell<\/li>\n<li><a href=\"http:\/\/www.emanueledosualdo.com\/blog\/2017\/why-computer-science-is-a-science.html\">Why Computer Science is a science<\/a>. Emanuele D&#8217;Osualdo #CompSi<\/li>\n<li><a href=\"http:\/\/www.elmundo.es\/f5\/campus\/2017\/10\/18\/59e643dde2704ec9438b45fa.html\">Cuatro d\u00e9cadas de Inform\u00e1tica en Espa\u00f1a<\/a>. ~ \u00c1ngel G. Perianes #Historia<\/li>\n<li><a href=\"https:\/\/openlibra.com\/es\/book\/download\/temporal-answer-set-programming\">Temporal Answer Set Programming<\/a>. ~ M. Di\u00e9guez #ASP<\/li>\n<li><a href=\"https:\/\/50ans.inria.fr\/fr\/gerard-huet-langages-et-logiciel\/\">R\u00e9miniscences d\u2019un chercheur en informatique 1967-2000<\/a>. ~ G\u00e9rard Huet #OCaml #Coq<\/li>\n<li><a href=\"https:\/\/jfr.unibo.it\/article\/download\/6927\/7043\">Formal proof of Banach-Tarski paradox<\/a>. ~ Daniel de Rauglaudre #ITP #Coq #Math<\/li>\n<li><a href=\"https:\/\/speakerdeck.com\/danielasfregola\/lambda-world-2017-a-pragmatic-introduction-to-category-theory\">A pragmatic introduction to category theory<\/a>. ~ Daniela Sfregola #Scala #Category_theory<\/li>\n<li><a href=\"https:\/\/adamsmith.as\/papers\/answer-set-programming-in-proofdoku.pdf\">Answer Set Programming in Proofdoku<\/a>. ~ Adam M. Smith #ASP #Game<\/li>\n<li><a href=\"https:\/\/proofdoku.com\/\">proofdoku: Game with ASP-backed mechanics<\/a>. ~ By Nick Warren, Mason Reed &amp; Adam Smith #ASP #Game<\/li>\n<li><a href=\"http:\/\/bit.ly\/2xy1Bmj\">Answer Set Programming tutorial (AIIDE2017)<\/a>. ~ Adam M. Smith #ASP #AI #Game<\/li>\n<li><a href=\"http:\/\/bit.ly\/2xy2jzV\">Jean D\u2019Alembert: c\u00f3mo pasar de matem\u00e1tico a figura p\u00fablica<\/a>. ~ J. Ferreir\u00f3s #Historia #Matem\u00e1tica<\/li>\n<li><a href=\"https:\/\/www.johndcook.com\/blog\/2017\/10\/27\/poisson-distribution-and-prime-numbers\">Poisson distribution and prime numbers<\/a>. ~ J.D. Cook #Math #Programming #Python<\/li>\n<li><a href=\"http:\/\/pragmaticemacs.com\/emacs\/view-and-annotate-pdfs-in-emacs-with-pdf-tools\/\">View and annotate PDFs in Emacs with PDF-tools<\/a>. #Emacs<\/li>\n<li><a href=\"https:\/\/www.math.ias.edu\/files\/mathandcomp.pdf\">Mathematics and computation<\/a>. ~ Avi Wigderson #eBook #Math #CompSci<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/browser_info\/current\/AFP\/Buchi_Complementation\/document.pdf\">B\u00fcchi complementation in Isabelle\/HOL<\/a>. ~ J. Brunner #IsabelleHOL<\/li>\n<li><a href=\"http:\/\/axiom-wiki.newsynthesis.org\/public\/refs\/Meijer-db-utwente-40501F46.pdf\">Functional programming with bananas, lenses, envelopes and barbed wire<\/a>. ~ E. Meijer, M. Fokkinga &amp; R. Paterson #FunctionalProgramming<\/li>\n<li><a href=\"https:\/\/github.com\/ekmett\/recursion-schemes\">Generalized bananas, lenses and barbed wire<\/a>. ~ Edward Kmett #Haskell<\/li>\n<li><a href=\"https:\/\/github.com\/vmchale\/recursion_schemes\">An Idris library for recursion schemes, with liberal examples<\/a>. ~ Vanessa McHale #Idris<\/li>\n<li><a href=\"http:\/\/slides.com\/zainabali_\/peeling_the_banana\">Peeling the banana: Recursion schemes from first principles<\/a>. ~ Zainab Ali #Scala<\/li>\n<li><a href=\"http:\/\/dev.stephendiehl.com\/nearfuture.pdf\">Near future of programming languages<\/a>. ~ Stephen Diehl #Programming<\/li>\n<li><a href=\"https:\/\/adamsmith.as\/papers\/mechanizing_exploratory_game_design_book.pdf\">Mechanizing exploratory game design<\/a>. ~ Adam M. Smith #eBook #ASP #Game #AI<\/li>\n<li><a href=\"https:\/\/github.com\/vmchale\/command-line-tweeter\">Command Line Interface Tweeter in Haskell<\/a>. ~ Vanessa McHale #Haskell<\/li>\n<li><a href=\"https:\/\/arxiv.org\/pdf\/1710.10258\">Temporal type theory (A topos-theoretic approach to systems and behavior)<\/a>. ~ P. Schultz, D.I. Spivak<\/li>\n<li><a href=\"http:\/\/alessandrobruni.name\/software\/2017\/03\/02\/crossword-solving-in-asp.html\">Solving a crossword in answer set programming<\/a>. ~ Alessandro Bruni #ASP<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Esta entrada es una recopilaci\u00f3n de lecturas compartidas, durante octubre de 2017, en Twitter sobre l\u00f3gica computacional y programaci\u00f3n funcional. Las lecturas est\u00e1n ordenadas seg\u00fan su fecha de publicaci\u00f3n en Twitter. Al final de cada art\u00edculo se encuentra 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,1],"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\/6058"}],"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=6058"}],"version-history":[{"count":8,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/6058\/revisions"}],"predecessor-version":[{"id":6159,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/6058\/revisions\/6159"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=6058"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=6058"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=6058"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}