{"id":7204,"date":"2020-04-01T18:13:12","date_gmt":"2020-04-01T16:13:12","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=7204"},"modified":"2020-08-01T18:14:34","modified_gmt":"2020-08-01T16:14:34","slug":"resumen-de-lecturas-compartidas-durante-marzo-de-2020","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-marzo-de-2020\/","title":{"rendered":"Resumen de lecturas compartidas durante marzo de 2020"},"content":{"rendered":"<p>Esta entrada es una recopilaci\u00f3n de lecturas compartidas, durante marzo de 2020, en <a href=\"https:\/\/twitter.com\/Jose_A_Alonso\">Twitter<\/a> fundamentalmente sobre programaci\u00f3n funcional y demostraci\u00f3n asistida por ordenador.<\/p>\n<p>Las lecturas est\u00e1n ordenadas seg\u00fan su fecha de publicaci\u00f3n en <a href=\"https:\/\/twitter.com\/Jose_A_Alonso\">Twitter<\/a>.<\/p>\n<p>Al final de cada art\u00edculo se encuentran etiquetas relativas a los sistemas que usa o a su contenido.<\/p>\n<p>Una recopilaci\u00f3n de todas las lecturas compartidas se encuentra en <a href=\"https:\/\/github.com\/jaalonso\/Lecturas_GLC\">GitHub<\/a>.<\/p>\n<p><!--more--><\/p>\n<ul class=\"org-ul\">\n<li><a href=\"http:\/\/www.cs.ucl.ac.uk\/teaching\/3C11\/book\/book.html\">Programming with Miranda<\/a>. ~ C. Clack, C. Myers, and E. Poon (1995). #eBook #Miranda #FunctionalProgramming<\/li>\n<li><a href=\"http:\/\/www.cs.kent.ac.uk\/people\/staff\/dat\/ccount\/click.php?id=4\">Church&#8217;s thesis and functional programming<\/a>. ~ David Turner (2006). #Logic #FunctionalProgramming #Miranda<\/li>\n<li><a href=\"http:\/\/www.cs.kent.ac.uk\/people\/staff\/dat\/tfp12\/tfp12.pdf\">Some history of functional programming languages<\/a>. ~ David Turner (2012). #FunctionalProgramming<\/li>\n<li><a href=\"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3377555.3377884\">Postcondition-preserving fusion of postorder tree transformations<\/a>. ~ Eleanor Davies, Sara Kalvala. #ITP #Coq<\/li>\n<li><a href=\"https:\/\/nbviewer.jupyter.org\/github\/Anabra\/grin\/blob\/fd9de6d3b9c7ec5f4aa7d6be41285359a73494e3\/papers\/stcs-2019\/article\/tex\/main.pdf\">A modern look at GRIN, an optimizing functional language back end<\/a>. ~ Csaba Hruska, P\u00e9ter D\u00e1vid Podlovics, Andor P\u00e9nzes. #Haskell #FunctionalProgramming<\/li>\n<li><a href=\"http:\/\/perso.ens-lyon.fr\/nicolas.brisebarre\/M2R\/CoqApprox\">Course: Approximation theory and proof assistants: certified computations<\/a>. ~ Nicolas Brisebarre, Damien Pous.\/#coqsessions #ITP #Coq #Math<\/li>\n<li><a href=\"http:\/\/perso.ens-lyon.fr\/damien.pous\/apmep\/\">First steps with Coq (for primary and secondary school teachers, APMEP, Grenoble, 2011)<\/a>. ~ Damien Pous. #ITP #Coq<\/li>\n<li><a href=\"https:\/\/medium.com\/@cdsmithus\/optimizing-a-maze-with-graph-theory-genetic-algorithms-and-haskell-e3702dd6439f\">Optimizing a maze with graph theory, genetic algorithms, and Haskell<\/a>. ~ Chris Smith (@cdsmithus). #Haskell #FunctionalProgramming #Math<\/li>\n<li><a href=\"https:\/\/www.researchgate.net\/publication\/220531947_Seventy-Five_Problems_for_Testing_Automatic_Theorem_Provers\">Seventy-five problems for testing automatic theorem provers<\/a>. ~ Francis Jeffry Pelletier (1986). #Logic<\/li>\n<li><a href=\"http:\/\/neilmitchell.blogspot.com\/2020\/03\/how-to-get-haskell-job.html\">How to get a Haskell job<\/a>. ~ Neil Mitchell (@ndm_haskell). #Haskell #FunctionalProgramming<\/li>\n<li><a href=\"https:\/\/github.com\/norvig\/paip-lisp\">Lisp code for the textbook &#8220;Paradigms of Artificial Intelligence Programming&#8221;<\/a>. ~ Peter Norvig. #CommonLisp #AI<\/li>\n<li><a href=\"https:\/\/byorgey.wordpress.com\/2020\/03\/03\/competitive-programming-in-haskell-modular-arithmetic-part-2\/\">Competitive programming in Haskell: modular arithmetic, part 2<\/a>. ~ Brent Yorgey. #Haskell #FunctionalProgramming #Math<\/li>\n<li><a href=\"http:\/\/users.ece.utexas.edu\/~gligoric\/papers\/PalmskogETAL20Chip.pdf\">Practical machine-checked formalization of change impact analysis<\/a>. ~ Karl Palmskog, Ahmet Celik, Milos Gligoric. #ITP #Coq<\/li>\n<li><a href=\"https:\/\/scm.iis.sinica.edu.tw\/pub\/2020-monadic-sort.pdf\">Declarative pearl: Deriving monadic quicksort<\/a>. ~ Shin-Cheng Mu, Tsung-Ju Chiang. #Haskell #FunctionalProgramming<\/li>\n<li><a href=\"https:\/\/research.chalmers.se\/publication\/515535\/file\/515535_Fulltext.pdf\">Automated derivation of random generators for algebraic data types<\/a>. ~ Agust\u00edn Mista. #Haskell #FunctionalProgramming<\/li>\n<li><a href=\"https:\/\/lamport.azurewebsites.net\/pubs\/lamport-types.pdf\">Should your specification language be typed?<\/a>. ~ Leslie Lamport, Lawrence C. Paulson (1999). #ITP #FunctionalProgramming<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/2003.01422\">The Prolog debugger and declarative programming. Examples<\/a>. ~ W\u0142odzimierz Drabent. #Prolog #LogicProgramming<\/li>\n<li><a href=\"https:\/\/dmsm.github.io\/scissors-congruence\/\">Scissors congruence (An interactive demonstration of the Wallace\u2013Bolyai\u2013Gerwien theorem)<\/a>. ~ Dima Smirnov, Zivvy Epstein. #Math<\/li>\n<li><a href=\"https:\/\/www.michaelburge.us\/2017\/08\/17\/rolling-your-own-blockchain.html\">Create blockchain in Haskell (Rolling your own blockchain in Haskell)<\/a>. ~ Michael Burge (2017). #Haskell #Blockchain<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/2003.01935\">Intuitionistic mathematics and logic<\/a>. ~ Joan R. Moschovakis, Garyfallia Vafeiadou. #Logic #Math<\/li>\n<li><a href=\"https:\/\/www.tweag.io\/posts\/2020-03-05-peirce.html\">Code is engineering, types are science<\/a>. ~ Juan Raphael Diaz Sim\u00f5es. #Programming #Logic<\/li>\n<li><a href=\"https:\/\/research.smu.edu.sg\/news\/2020\/feb\/13\/speak-math-not-code\">Speak math, not code<\/a>. (Writing algorithms in mathematics rather than code is not only more elegant but also more efficient, says 2013 Turing Award winner Leslie Lamport). #Math #Programming #CompSci<\/li>\n<li><a href=\"https:\/\/free.cofree.io\/2020\/02\/29\/dsl\/\">Building a friendly and safe EDSL with IxState and TypeLits<\/a>. #Haskell #FunctionalProgramming<\/li>\n<li><a href=\"https:\/\/utdemir.com\/posts\/ann-distributed-dataset.html\">distributed-dataset: A distributed data processing framework in Haskell<\/a>. ~ Utku Demir. #Haskell #FunctionalProgramming<\/li>\n<li><a href=\"https:\/\/blog.shaynefletcher.org\/2020\/03\/ghc-haskell-pats-and-lpats.html\">GHC Haskell Pats and LPats<\/a>. ~ Shayne Fletcher. #Haskell #FunctionalProgramming<\/li>\n<li><a href=\"http:\/\/philsci-archive.pitt.edu\/16976\/\">Audience role in mathematical proof development<\/a>. ~ Zoe Ashton. #Logic #Math #ITP<\/li>\n<li><a href=\"https:\/\/apfelmus.nfshost.com\/articles\/lazy-eval-modular-code.html\">Writing more modular code with lazy evaluation<\/a>. ~ Heinrich Apfelmus. #Haskell #FunctionalProgramming<\/li>\n<li><a href=\"https:\/\/apfelmus.nfshost.com\/articles\/lazy-eval-intro.html\">How does lazy evaluation work in Haskell?<\/a> ~ Heinrich Apfelmus. #Haskell #FunctionalProgramming via @etorreborre<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/2003.00032\">Declarative stream runtime verification (hLola)<\/a>. ~ Mart\u0131\u0301n Ceresa, Felipe Gorostiaga, C\u00e9sar S\u00e1nchez. #Haskell #FunctionalProgramming<\/li>\n<li><a href=\"https:\/\/www.type-driven.org.uk\/edwinb\/papers\/idris2.pdf\">Idris 2: Quantitative Type Theory in action<\/a>. ~ Edwin Brady. #Idris #FunctionalProgramming<\/li>\n<li><a href=\"http:\/\/www.philipzucker.com\/naive-synthesis-of-sorting-networks-using-z3py\/\">Naive synthesis of sorting networks using Z3Py<\/a>. ~ Philip Zucker (@SandMouth). #SMT #Z3<\/li>\n<li><a href=\"http:\/\/www.scottaaronson.com\/papers\/pnp.pdf\">P =? NP<\/a>. ~ Scott Aaronson (2002). #Logic #CompSci<\/li>\n<li><a href=\"https:\/\/www.jotdown.es\/2020\/03\/el-coronavirus-y-la-leyenda-del-tablero-de-ajedrez\/\">El Coronavirus y la leyenda del tablero de ajedrez<\/a>. ~ Carlos Pena y Juan Jos\u00e9 G\u00f3mez Cadenas. #Matem\u00e1ticas<\/li>\n<li><a href=\"http:\/\/revue.sesamath.net\/spip.php?article1168\">Les algorithmes du programme 2019 de math\u00e9matiques de Seconde<\/a>. ~ Benjamin Clerc. #Math #Programming #Python<\/li>\n<li><a href=\"http:\/\/informathix.tuxfamily.org\/?q=node\/65\">Impl\u00e9mentations du probl\u00e8me du Duc de Toscane dans diff\u00e9rents langages<\/a>. ~ Guillaume Connan. #Math #Caml #Haskell #Scala #Python #Scilab<\/li>\n<li><a href=\"https:\/\/download.tuxfamily.org\/mathypython\/les_pdf\/GraphesBeamer19.pdf\">Algorithmes de graphes<\/a>. ~ Guillaume Connan (2019). #Math #SageMath #Pythom<\/li>\n<li><a href=\"http:\/\/download.tuxfamily.org\/tehessinmath\/les%20pdf\/PolyAnalyse16py.pdf\">Au del\u00e0 des r\u00e9els: m\u00e9thodes num\u00e9riques en informatique<\/a>. ~ Guillaume Connan (2016). #Math #Python<\/li>\n<li><a href=\"https:\/\/github.com\/alhassy\/CheatSheet\">Easily making CheatSheets with Org-mode<\/a>. ~ Musa Al-hassy. #Emacs #OrgMode<\/li>\n<li><a href=\"https:\/\/github.com\/alhassy\/PythonCheatSheet\">PythonCheatSheet: Quick reference to a tremendously accessible high-level language &#8211; executable pseudocode!<\/a> ~ Musa Al-hassy. #Python #OrgMode<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/2003.03729\">Formal verification of cyber-physical systems using theorem proving<\/a>. ~ Adnan Rashid, Umair Siddique, Sofine Tahar. #ITP #HOL4 #HOL_Light #IsabelleHOL #Coq #PVS<\/li>\n<li><a href=\"https:\/\/github.com\/gcv\/julia-snail\">Julia Snail: An Emacs development environment for Julia<\/a>. #Emacs #JuliaLang<\/li>\n<li><a href=\"https:\/\/github.com\/i-am-tom\/holmes\">Holmes: a library for computing constraint-solving problems<\/a>. ~ Tom Harding. #Haskell #FunctionalProgramming<\/li>\n<li><a href=\"https:\/\/www.quantamagazine.org\/landmark-computer-science-proof-cascades-through-physics-and-math-20200304\/\">Landmark Computer Science proof cascades through Physics and Math<\/a>. ~ Kevin Hartnett (@KSHartnett). #CompSci #Physics #Math<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/2003.04604\">Hilbert&#8217;s tenth problem in Coq<\/a>. ~ Dominique Larchey-Wendling, Yannick Forster. #ITP #Coq #Math<\/li>\n<li><a href=\"https:\/\/serokell.io\/blog\/haskell-with-utf8\">Haskell with UTF-8<\/a>. ~ Kirill Elagin. #Haskell #FunctionalProgramming<\/li>\n<li><a href=\"http:\/\/www.cis.upenn.edu\/~cis262\/notes\/proofslambda.pdf\">Proofs, computability, undecidability, complexity, and the lambda calculus (An introduction)<\/a>. ~ Jean Gallier, Jocelyn Quaintance. #eBook #Logic #CompsCi<\/li>\n<li><a href=\"https:\/\/www.researchgate.net\/publication\/339499817_Mechanization_of_a_Type_System_for_Atomicity_Analysis_and_its_Type_Safety\">Mechanization of a type system for atomicity analysis and its type safety<\/a>. ~ Beatriz Ferreira et als. #ITP #Coq<\/li>\n<li><a href=\"http:\/\/nuprl.org\/documents\/Constable\/The-Continuum.pdf\">Computational complexity and Brouwer\u2019s continuum<\/a>. ~ Robert L. Constable. #Logic #Math #ITP #Nuprl<\/li>\n<li><a href=\"https:\/\/eccc.weizmann.ac.il\/report\/2020\/034\">On proof complexity of resolution over polynomial calculus<\/a>. ~ Erfan Khaniki. #Logic #Math #CompSci<\/li>\n<li><a href=\"http:\/\/bit.ly\/38SXjrs\">El problema aritm\u00e9tico de Sylvester<\/a>. ~ Juan Arias de Reyna. #Matem\u00e1ticas<\/li>\n<li><a href=\"https:\/\/notxor.nueva-actitud.org\/blog\/2019\/04\/07\/ventajas-del-texto-plano\/\">Ventajas del texto plano<\/a>. #Emacs #OrgMode<\/li>\n<li><a href=\"https:\/\/www.logicmatters.net\/2020\/03\/12\/more-natural-deduction-exercises\/\">More natural deduction exercises<\/a>. ~ Peter Smith. #Logic<\/li>\n<li><a href=\"https:\/\/golem.ph.utexas.edu\/category\/2020\/03\/the_hardest_math_problem.html\">The hardest Math problem<\/a>. ~ John Baez (@johncarlosbaez). #Math<\/li>\n<li><a href=\"https:\/\/microship.com\/lisp-comes-of-age\/\">LISP comes of age<\/a>. ~ Steven K. Roberts (1980). #Lisp #Programming #AI<\/li>\n<li><a href=\"http:\/\/espejo-ludico.blogspot.com\/2020\/03\/todas-las-revistas-cacumen.html\">Todas las revistas Cacumen<\/a>. #Matem\u00e1ticas<\/li>\n<li><a href=\"https:\/\/theconversation.com\/amp\/matematicas-recreativas-ponga-a-prueba-su-destreza-resolviendo-enigmas-historicos-131946\">Matem\u00e1ticas recreativas: ponga a prueba su destreza resolviendo enigmas hist\u00f3ricos<\/a>. ~ Fernando Blasco (@fblascoxyz). #Matem\u00e1ticas<\/li>\n<li><a href=\"https:\/\/search.isabelle.in.tum.de\">FindFacts: a search application to find formal theory content of Isabelle and the AFP<\/a>. ~ Fabian Huch.\/#about #ITP #IsabelleHOL #AFP<\/li>\n<li><a href=\"https:\/\/personalpages.manchester.ac.uk\/staff\/hung.bui\/ideal.pdf\">The ideal mathematician<\/a>. ~ Phillip J. David &amp; Reuben Hersh (1981). #Math<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/2003.06458\">QED at large: A survey of engineering of formally verified software<\/a>. ~ Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock. #ITP #FormalVerification<\/li>\n<li><a href=\"http:\/\/neilmitchell.blogspot.com\/2020\/03\/the-pure-pattern.html\">The &lt;- pure pattern<\/a>. ~ Neil Mitchell (@ndm_haskell). #Haskell #FunctionalProgramming<\/li>\n<li><a href=\"http:\/\/www.cs.umd.edu\/~mwh\/papers\/lh-typeclasses-draft.pdf\">Verifying typeclasses with refinement types<\/a>. ~ Yiyun Liu, James Parker, Michael Hicks, Niki Vazou. #Haskell #LiquidHaskell<\/li>\n<li><a href=\"https:\/\/www.theguardian.com\/technology\/2020\/mar\/19\/can-computers-ever-replace-the-classroom\">Can computers ever replace the classroom?<\/a> ~ Alex Beard. #IA #Teaching<\/li>\n<li><a href=\"https:\/\/cacm.acm.org\/magazines\/2020\/4\/243641-sel4-in-australia\/fulltext\">seL4 in Australia: From research to real-world trustworthy systems<\/a>. ~ Gernot Heiser, Gerwin Klein, June Andronick. #ITP #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/www.microsiervos.com\/archivo\/matematicas\/mundo-matematicasx-mathigon.html\">El Mundo de las Matem\u00e1ticas de Mathigon<\/a>. ~ @Alvy. #Matem\u00e1ticas<\/li>\n<li><a href=\"https:\/\/mathigon.org\/world\/\">World of Mathematics<\/a>. #Math<\/li>\n<li><a href=\"https:\/\/richardzach.org\/2020\/03\/21\/need-a-logic-course-fast\/\">Need a logic course, fast?<\/a> ~ Richard Zach (@RrrichardZach). #Logic<\/li>\n<li><a href=\"https:\/\/yannherklotz.com\/blog\/2020-02-15-nix-for-coq-development.html\">Nix for Coq development<\/a>. ~ Yann Herklotz (@ymherklotz). #ITP #Coq #Nix<\/li>\n<li><a href=\"https:\/\/mattpap.github.io\/masters-thesis\/html\/src\/groebner.html\">Gr\u00f6bner bases and their applications<\/a>. ~ Mateusz Paprocki. #Math #Python<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/2003.09140\">Tactic learning and proving for the Coq proof assistant<\/a>. ~ Lasse Blaauwbroek, Josef Urban, Herman Geuvers. #ITP #Coq #MachineLearning<\/li>\n<li><a href=\"https:\/\/youtu.be\/Y-vMHbH4vVI\">Towards formally verified smart contracts with Haskell<\/a>. ~ Allison Irvin, Nick Waywood. #Haskell #FunctionalProgramming<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/Hello_World.html\">&#8220;Hello World!&#8221; in Isabell\/HOL (including a formal framework for reasoning about IO)<\/a>. ~ Cornelius Diekmann and Lars Hupel. #ITP #IsabelleHOL #Monads<\/li>\n<li><a href=\"https:\/\/mmhaskell.com\/blog\/2020\/3\/9\/blaze-lightweight-html-generation\">Blaze: Lightweight HTML generation<\/a>. ~ James Bowen (@james_OWA). #Haskell #FunctionalProgramming<\/li>\n<li><a href=\"https:\/\/byorgey.wordpress.com\/2020\/03\/23\/data-structure-challenge-finding-the-rightmost-empty-slot\/\">Data structure challenge: finding the rightmost empty slot<\/a>. ~ Brent Yorgey. #Haskell #FunctionalProgramming<\/li>\n<li><a href=\"https:\/\/youtu.be\/ZF3CgNpkSTQ\">Infinite patterns<\/a>. ~ Crist\u00f3bal Vila. #Maths<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/2003.11331\">A formalization of SQL with nulls<\/a>. ~ Wilmer Ricciotti, James Cheney. #ITP #Coq<\/li>\n<li><a href=\"https:\/\/www.finereport.com\/en\/data-analysis\/taichi-a-brand-new-programming-language-frozen-in-99-lines-of-code.html\">Taichi: A brand new programming language, \u201cFrozen\u201d in 99 lines of code<\/a>. #Programming<\/li>\n<li><a href=\"https:\/\/www.well-typed.com\/blog\/2020\/03\/functions-in-compact-regions\/\">The problem with adding functions to compact regions<\/a>. ~ \u00d6mer Sinan A\u011facan. #Haskell #FunctionalProgramming<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/Relational-Incorrectness-Logic.html\">An under-approximate relational logic in Isabelle\/HOL<\/a>. ~ Toby Murray. #ITP #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/www.isa-afp.org\/entries\/Furstenberg_Topology.html\">Furstenberg&#8217;s topology and his proof of the infinitude of primes in Isabelle\/HOL<\/a>. ~ Manuel Eberl. #ITP #IsabelleHOL #Math<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/2003.11838\">Applying the Isabelle Insider framework to airplane security<\/a>. ~ Florian Kamm\u00fcller, Manfred Kerber. #ITP #IsabelleHOL<\/li>\n<li><a href=\"https:\/\/blog.patchgirl.io\/haskell\/2020\/03\/08\/haskell-part-I.html\">Building a web app with functional programming &#8211; Haskell &#8211; part I<\/a>. ~ Iori Matsuhara (@Matsumonkie). #Haskell #FunctionalProgramming<\/li>\n<li><a href=\"https:\/\/jmorag.netlify.com\/posts\/zip-tree1\/\">Zipping Trees, Part 1<\/a>. ~ Joseph Morag. #Haskell #FunctionalProgramming<\/li>\n<li><a href=\"https:\/\/arxiv.org\/abs\/2003.09993\">A trustful monad for axiomatic reasoning with probability and nondeterminism<\/a>. ~ Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa. #ITP #Coq<\/li>\n<li><a href=\"https:\/\/www.mdpi.com\/2078-2489\/11\/3\/167\">Logic-based technologies for intelligent systems: State of the art and perspectives<\/a>. ~ Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini. #Logic #AI<\/li>\n<li><a href=\"https:\/\/www.sciencedirect.com\/science\/article\/pii\/S1571066120300050\">Dual and axiomatic systems for constructive S4, a formally verified equivalence<\/a>. ~ Lourdes del Carmen Gonz\u00e1lez HuescaFavio, E. Miranda-Perea, P. Selene Linares-Ar\u00e9valo. #ITP #Coq<\/li>\n<li><a href=\"https:\/\/github.com\/adkelley\/prolog-starter\">A starter template for SWI-Prolog projects<\/a>. ~ Alex Kelley. #Prolog #LogicProgramming<\/li>\n<li><a href=\"https:\/\/www.cmpe.boun.edu.tr\/sites\/default\/files\/prolog_coding_guidelines.pdf\">Some coding guidelines for Prolog<\/a>. ~ Michael A. Covington (2002). #Prolog #LogicProgramming<\/li>\n<li><a href=\"https:\/\/irreal.org\/blog\/?p=8761\">A repository for writing a Thesis with Org Mode<\/a>. #Emacs #OrgMode<\/li>\n<li><a href=\"http:\/\/lisp-univ-etc.blogspot.com\/2020\/03\/programming-algorithms-synchronization.html\">Programming algorithms: Synchronization<\/a>. ~ Vsevolod Dyomkin. #CommonLisp<\/li>\n<li><a href=\"https:\/\/mmhaskell.com\/blog\/2020\/3\/16\/lucid-another-html-option\">Lucid: Another HTML option<\/a>. ~ James Bowen (@james_OWA). #Haskell #FuncionalProgramming<\/li>\n<li><a href=\"http:\/\/www.sci.brooklyn.cuny.edu\/~mate\/heartofmath\/thinkmath_notes.pdf\">Thinking mathematically notes<\/a>. ~ A. M\u00e1t\u00e9. #Logic #Math<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Esta entrada es una recopilaci\u00f3n de lecturas compartidas, durante marzo de 2020, en Twitter fundamentalmente sobre programaci\u00f3n funcional y demostraci\u00f3n asistida por ordenador. 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. Una recopilaci\u00f3n de&#8230;<\/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\/7204"}],"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=7204"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/7204\/revisions"}],"predecessor-version":[{"id":7205,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/7204\/revisions\/7205"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=7204"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=7204"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=7204"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}