Readings shared April 28, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/28-readings_shared_04-28-25 #FunctionalProgramming #Haskell #ITP #LeanProver #Logic #Math #Python

Haskelling my Python (Reimplementing Haskell lazy infinite lists using Python generators). ~ Unnamed Website. https://unnamed.website/posts/haskelling-my-python/ #Python #Haskell #FunctionalProgramming #Math

Power series, power serious. ~ M. Douglas McIlroy (1998). https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=4666d43d39c890cfe88630eb93e39afe3110f930 #Haskell #FunctionalProgramming #Math

Readings shared April 25, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/25-readings_shared_04-25-25 #AI #CommonLisp #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #Math #Python

#Exercitium: Duplicación de cada elemento. https://jaalonso.github.io/exercitium/posts/2025/04/25-duplicacion_de_cada_elemento #Haskell #Python #CommonLisp

Magical Haskell: A friendly approach to modern functional programming, type theory, and artificial intelligence. ~ Anton Antich. https://books.google.com/books?id=aLBWEQAAQBAJ #Haskell #FunctionalProgramming #AI

Porting song recommendations to Haskell. ~ Mark Seemann. https://blog.ploeh.dk/2025/04/21/porting-song-recommendations-to-haskell/ #Haskell #FunctionalProgramming

Integrating effectful and persistent. ~ Jack Kelly. https://exploring-better-ways.bellroy.com/integrating-effectful-and-persistent.html #Haskell #FunctionalProgramming

Implementing Unsure Calculator in 100 lines of Haskell. ~ Rodrigo Mesquita. https://alt-romes.github.io/posts/2025-04-25-unsure-calculator-in-100-lines-of-haskell.html #Haskell #FunctionalProgramming

Readings shared April 24, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/24-readings_shared_04-24-25 #CommonLisp #Haskell #ITP #IsabelleHOL #LeanProver #Math #Python

#Exercitium: Sistema factorádico de numeración. https://jaalonso.github.io/exercitium/posts/2025/04/24-sistema_factoradico_de_numeracion #Haskell #Python #CommonLisp

Readings shared April 23, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/23-readings_shared_04-23-25 #CommonLisp #Education #GenerativeAI #Haskell #IsabelleHOL #LeanProver #Math #Python

Not going to be able to do a stream tonight. I lost my voice! Should be back next week. #haskell

#Exercitium: Suma de cadenas. https://jaalonso.github.io/exercitium/posts/2025/04/23-suma_de_cadenas/ #Haskell #Python #CommonLisp

Readings shared April 22, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/22-readings_shared_04-22-25 #CommonLisp #Datalog #Haskell #IsabelleHOL #LLMs #LeanProver #Logic #Math #Python

#Exercitium: Cuadrado más cercano. https://jaalonso.github.io/exercitium/posts/2025/04/22-cuadrado_mas_cercano #Haskell #Python #CommonLisp

Readings shared April 21, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/21-readings_shared_04-21-25 #CommonLisp #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #Math

#Exercitium: Divisores de un número con final dado. https://jaalonso.github.io/exercitium/posts/2014/06/16-divisores_con_final/ #Haskell #ProgramaciónFuncional #Matemáticas

Readings shared April 20, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/20-readings_shared_04-20-25 #FunctionalProgramming #Haskell #IsabelleHOL #LeanProver #Math

#Exercitium: Órbita prima. https://jaalonso.github.io/exercitium/posts/2014/06/13-orbita_prima/ #Haskell #ProgramaciónFuncional #Matemáticas