Resumen de lecturas compartidas durante febrero de 2019
Esta entrada es una recopilación de lecturas compartidas, durante febrero de 2019, en Twitter fundamentalmente sobre programación funcional y demostración asistida por ordenador.
Las lecturas están ordenadas según su fecha de publicación en Twitter.
Al final de cada artículo se encuentran etiquetas relativas a los sistemas que usa o a su contenido.
Una recopilación de todas las lecturas compartidas se encuentra en GitHub.
- Inteligencia artificial en el aula con Scratch 3.0. #Enseñanza #InteligenciaArtificial #Scratch
- A list of foundational Haskell papers. ~ Emily Pillmore. #Haskell #FunctionalProgramming
- Robust notes with embedded code. #Emacs #OrgMode
- Introduction to applied linear algebra. ~ S. Boyd, L. Vandenberghe. #Math
- Introduction to applied linear algebra (Julia language companion). ~ S. Boyd, L. Vandenberghe. #Math #Programming #JuliaLang
- Rust as a gateway drug to Haskell. ~ Karol Kuczmarski. #Programming #Rust #Haskell
- Rust for functional programmers. ~ Raphael ‘kena’ Poss. #Rust #Haskell #OCaml #FunctionalProgramming
- Visualizing prequel meme prefix tries with recursion schemes. ~ Justin Le. #Haskell #FunctionalProgramming
- Categories with monadic effects and state machines. ~ Marcin Szamotulski. #Haskell #FunctionalProgramming
- CLIPS-based execution for PDDL planners. ~ T. Niemueller, T. Hofmann, G. Lakemeyer. #CLIPS
- Data Science with Julia. ~ P.D. McNicholas, P. Tait. #eBook #DataScience #JuliaLang
- Rust in 2019: security, maturity, stability. ~ Tony Arcieri. #RustLang
- Formalização de algoritmos de criptografia em um assistente de provas interativo. ~ Guilherme Gomes Felix da Silva. #ITP #LeanProver
- A purely functional computer algebra system embedded in Haskell. ~ H. Ishii #Haskell #FunctionalProgramming #CAS #Math
- Computational algebra system in Haskell. ~ H. Ishii #Haskell #FunctionalProgramming #CAS #Math
- Introduction to Julia (the language of the future for AI and ML). ~ Zhuo Jia Dai. #JuliaLang
- Programming paradigms for dummies: what every programmer should know. ~ Adrian Colyer. #Programming
- Structure and interpretation of computer programs. (Interactive version). ~ Hal Abelson, Gerald Jay Sussman. ~ #CompSci
- A primer on type systems. ~ Glenn G. Chappell. #Programming #Haskell #Cpp #Python #Lua
- On the impact of programming languages on code quality (A reproduction study). ~ E.D. Berger et als. #Programming
- Functional programming applied to computational algebra. ~ I.H. Kessler. #Msc_Thesis #Math #CategoryTheory #FunctionalProgramming #Scala
- Answer Set Programming (Draft). ~ V. Lifschitz. #DeclarativeProgramming #ASP
- Verified real asymptotics in Isabelle/HOL. ~ M. Eberl. #ITP #IsabelleHOL
- A Rosetta stone for Haskell abstractions. ~ Chas Leichner. #Haskell #FunctionalProgramming
- Wise man’s Haskell. ~ Andre Popovitch. #Haskell #FunctionalProgramming
- Learning Haskell (Miscellaneous enlightenments). ~ Sandeep C.R. #Haskell #FunctionalProgramming
- 2062: The World that AI made. ~ Toby Walsh. #eBook #AI
- 10 reasons why you should learn Julia. ~ Gabriel Gauci Maistre. #Programming #JuliaLang
- The Julia express. ~ Bogumił Kamiński. #Programming #JuliaLang
- esverify: Verifying dynamically-typed higher-order functional programs by SMT solving. ~ C. Schuster, S. Banerjea, C. Flanagan. #SMT #ITP #LeanProver
- Formal analysis of language-based Android security using theorem proving approach. ~ W. Khan et als. #ITP #Coq
- Why Haskell V: Type families. ~ James Bowen. #Haskell
- “What is programming languages research?” The talk. ~ Michael Hicks. #PL
- The significance of Philosophy to Mathematics. ~ Richard Zach. #Philosophy #Mathematics
- Proof and other dilemmas: Mathematics and Philosophy. ~ B. Gold, R.A. Simons. #Mathematics #Philosophy
- SAT/SMT by example. ~ Dennis Yurichev. #SAT #SMT
- Getting started with Isabelle/jEdit in 2018. ~ C. Sternagel. #ITP #IsabelleHOL
- Literate programming against REST APIs. ~ Justin Barclay. #Emacs #OrgMode
- Compiling with dependent types. ~ W.J. Bowman. #PhD_Thesis
- Isabelle/UTP: Mechanised theory engineering for unifying theories of programming. ~ S. Foster et als. #ITP #IsabelleHOL
- Haskell style guide. ~ Kowainik. #Haskell
- Running your life with Emacs. ~ Garrett Hopper #Emacs
- Typeable: A long journey to type-safe dynamic type representation. ~ Toan Nguyen. #Haskell
- Curry-Howard correspondence example. ~ Vladimir Ciobanu. #Haskell #Logic #Math #CategoryTheory
- Calc tutorial. #Emacs
- The Emacs calculator. ~ Chris Wellons. #Emacs
- Calc: an advanced calculator and mathematical tool. #Emacs #Math
- A series of tutorials about emacs-calc. ~ Andrew Hyatt #Emacs #Math
- Signatures and induction principles for higher inductive-inductive types. ~ A. Kaposi, A. Kovács. #ITP #Agda #Haskell
- Chemoinformatics and structural bioinformatics in OCaml. ~ F- Berenger, K.Y.J. Zhang, Y. Yamanishi. #OCaml #FunctionalProgramming
- Evolution of Emacs Lisp. ~ S. Monnier, M. Sperber. #Emacs #Lisp
- Comparing nub implementations. ~ A. Klebinger. #Haskell
- EE.UU crea un algoritmo que predice golpes de estado y crisis financieras. ~ A. Barbieri #AI
- Typed meta-interpretive learning of logic programs. ~ R: Morel, A. Cropper, L. Ong. #Prolog #ML
- Exámenes de programación funcional con Haskell. Vol. 4 (Curso 2012-13). #Haskell #ProgramaciónFuncional
- Lean in LaTeX. ~ Kevin Buzzard. #ITP #LeanProver
- AI automation of software (Demystifying functional programming and monads). ~ @datacountry_ai. #FunctionalProgramming #CategoryTheory
- Model checking applied to quantum physics. ~ J. Guan, Y. Feng, A. Turrini, M. Ying. #ModelChecking
- Bisecting floating point numbers in Julia. #JuliaLang #Math
- Having your cake and eating it. ~ Tim Spence. #Haskell
- Formal proof and analysis of an incremental cycle detection algorithm. ~ Armaël Guéneau. #ITP #Coq
- Refactoring Haskell: A case study. ~ Vaibhav Sagar. #Haskell
- Universal Turing Machine in Isabelle/HOL. ~ Jian Xu et als. #ITP #IsabelleHOL
- Bank kata in Haskell – dealing with state. ~ Liam Griffin. #Haskell #FunctionalProgramming
- Freer monads, more better programs. #Haskell #FunctionalProgramming
- The types got you. ~ Mark Karpov. #Haskell #FunctionalProgramming
- AFSM: Arrowized Functional State Machines. ~ Hanzhong Xu. #Haskell #FunctionalProgramming
- The bipolar Lisp programmer. ~ Mark Tarver. #Lisp #Programming
- A proof that Unix utility sed is Turing complete. ~ Peter Krumins. #Programming
- SAT solvers as smart search engines. ~ Mate Soos. #SAT #Logic
- Hacking using SAT and SMT solvers. ~ Mate Soos. #SAT #SMT #Logic
- Using SAT solvers for cryptographic problems. ~ Mate Soos. #SAT #SMT #Logic
- BIRD: Engineering an efficient CNF-XOR SAT Solver and its applications to approximate model counting. ~ Mate Soos, Kuldeep S. Meel. #SAT
- Finding roots of polynomials in Haskell? ~ Brent Yorgey. #Haskell
- Probabilistic primality testing in Isabelle/HOL. ~ D. Stüwe, M. Eberl. #ITP #IsabelleHOL #Math
- An opinionated guide to Haskell in 2018. ~ Alexis King. #Haskell
- A three-stage program you definitely want to write. ~ Matthew Pickering. #Haskell
- Translating Haskell to C++ metaprogramming. ~ Jos van den Oever. #Haskell #Cpp
- Compiling an Haskell EDSL to C. ~ F. Dedden. #Haskell #Clang
- An overview of common Racket data structures. ~ Alex Harsányi. #Racket
- Theorem proving for classical logic with partial functions by reduction to Kleene logic. ~ H. de Nivelle. #Logic
- A constructive version of Tarski’s geometry. ~ M. Beeson. #Logic #Math
- Exámenes de programación funcional con Haskell. Vol. 5 (Curso 2013-14). #Haskell #ProgramaciónFuncional
- Worstsort. ~ Brent Yorgey. #Haskell
- Machines are not our masters – but the sinister side of AI demands a smart response. ~ Will Hutton. #AI
- Heyting and boolean algebras in Haskell. ~ Marcin Szamotulski. #Haskell #Math
- stdio: A simple and high-performance IO toolkit for Haskell. #Haskell
- Implementing the Davis–Putnam method. ~ H. Zhang, M.E. Stickel. #Logic #ATP
- Monads are monoid objects. #Haskell #CategoryTheory
- Set theory: constructive and intuitionistic ZF. ~ Laura Crosilla. #Logic #Math
- Kruskal’s algorithm for minimum spanning forest in Isabelle/HOL. ~ M.P.L. Haslbeck et als. #ITP #IsabelleHOL
- Towards justifying computer algebra algorithms in Isabelle/HOL. ~ W. Li. #ITP #IsabelleHOL #Math
- Freer monads: too fast, too free. #Haskell
- A touch of topological quantum computation 3: Categorical interlude. ~ Philip Zucker. #Haskell #CategoryTheory
- A brief introduction to the λ-calculus (part 1). ~ Laurence Emms. #LambdaCalculus
- The AI that can write fake news stories from handful of words. #AI
- The inversions of a list in Isabelle/HOL. ~ M. Eberl. #ITP #IsabelleHOL
- Quantifiers in Agda. ~ Vladimir Ciobanu. #ITP #Agda
- A brief introduction to the λ-calculus (part 2). ~ Laurence Emms. #LambdaCalculus
- Elementary facts about the distribution of primes in Isabelle/HOL. ~ M. Eberl. #ITP #IsabelleHOL #Math
- Adding bit vectors – Branchless Comparisons. ~ John Ky. #Haskell
- Is Haskell really the language of geniuses and academia? #Haskell
- Why monadic IO? ~ Marcin Szamotulski. #Haskell #FunctionalProgramming
- Exámenes de programación funcional con Haskell. (Vol. 6: Curso 2014-15). #Haskell #ProgramaciónFuncional
- Commutativity theorems in groups with power-like maps. ~ R. Padmanabhan, Y. Zhang. #ATP #Prover9 #Math
- Reflected decision procedures in lean. ~ S. Baek. #PhD_Thesis #ITP #LeanProver #Logic #Math
- What’s the right way to QuickCheck floating-point routines? ~ Brent Yorgey. #Haskell
- How can basic arithmetic make a self-referential sentence? ~ Russell O’Connor. #Haskell #Logic #Math
- Sums of products for mutually recursive datatypes (The appropriationist’s view on generic programming). ~ V.C. Miraldo, A. Serrano. #Haskell #FunctionalProgramming
- Of Algebirds, monoids, monads, and other bestiary for large-scale data analytics. ~ Michael G. Noll. #Scala #FunctionalProgramming
- Finger trees in Agda. ~ Donnacha Oisín Kidney. #Agda
- Formalization of mathematics in type theory (Report from Dagstuhl Seminar 18341). #ITP #Math
- Statistics with Julia: Fundamentals for Data Science, Machine Learning and Artificial Intelligence. ~ H. Klok, Y. Nazarathy. #eBook #JuliaLang #DataScience #MachineLearnig #AI
- A complete axiomatisation of reversible Kleene lattices. ~ P. Brunet. #ITP #Coq #Logic #Math
- Rock–paper–scissors game in less than 10 lines of code. ~ Mosè Giordano. #Programming #JuliaLang
- Matplotlib guide for people in a hurry. ~ Julia Kho. #Python
- QuickCheck, Hedgehog, Validity. ~ Syd Kerckhove. #Haskell
- How to write mathematics. ~ Paul R. Halmos. #Math
- Theorem and algorithm checking for courses on logic and formal methods. ~ W. Schreiner. #ITP #Logic #Teaching
- JupyterWith: Declarative, reproducible notebook environments. ~ J. Simões, M. Meschede. #Programming #Jupyter