#Exercitium: Problemas de programación con Haskell de mayo de 2020. https://jaalonso.github.io/exercitium/2020/05 #Haskell #FunctionalProgramming #Math
#Exercitium: Problemas de programación con Haskell de junio de 2020. https://jaalonso.github.io/exercitium/2020/06 #Haskell #FunctionalProgramming
The calculated typer (Functional Pearl). ~ Zac Garby, Patrick Bahr, Graham Hutton. https://people.cs.nott.ac.uk/pszgmh/typer.pdf #Haskell #FunctionalProgramming
Readings shared July 18, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/19-readings_shared_07-18-25 #ACL2 #CompSci #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Rocq #Rust #Teaching
Comparing codes: Binary search in a 2D matrix. ~ James Bowen. https://mmhaskell.com/blog/2025/7/14/binary-search-in-a-2d-matrix #Haskell #FunctionalProgramming #Rust
Readings shared July 17, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/18-readings_shared_07-17-25 #FunctionalProgramming #Haskell #ITP #LeanProver #Math #Rocq
#Exercitium: Problemas de programación con Haskell de enero de 2021. https://jaalonso.github.io/exercitium/2021/01 #Haskell #FunctionalProgramming
Readings shared July 16, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/17-readings_shared_07-16-25 #CoqProver #FunctionalProgramming #Haskell #ITP #LeanProver #Lisa #Math #Rocq
Sorry folks but I won’t be streaming tonight as I’m sailing this week! We’ll catch up next week.
Happy hacking out there.
#Exercitium: Problemas de programación con Haskell de febrero de 2021. https://jaalonso.github.io/exercitium/2021/02 #Haskell #FunctionalProgramming
Readings shared July 15, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/16-readings_shared_07-15-25 #FunctionalProgramming #Haskell #ITP #LeanProver #Math
I installed #tidal https://tidalcycles.org/ , after watching @ahihi livestream on #RadioFreeFedi with my jaw open - I was like why am i seeing #haskell on screen and music is coming out, how is this happening
#Exercitium: Problemas de programación con Haskell de marzo de 2021. https://jaalonso.github.io/exercitium/2021/03 #Haskell #FunctionalProgramming
#Exercitium: Problemas de programación con Haskell de abril de 2021. https://jaalonso.github.io/exercitium/2021/04 #Haskell #FunctionalProgramming
#Exercitium: Problemas de programación con Haskell de mayo de 2021. https://jaalonso.github.io/exercitium/2021/05 #Haskell #FunctionalProgramming
#Exercitium: Problemas de programación con Haskell de junio de 2021. https://jaalonso.github.io/exercitium/2021/06/ #Haskell #FunctionalProgramming
Readings shared July 13, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/14-readings_shared_07-13-25 #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver
@lil5 how awesome you want to dive deeper into purely #functional #programming 
I think even if you don't plan to use #haskell for a great good, this is a great mind expanding experience. I would suggest to try to build something real with the language as you go, for me it is the best way to learn. This book is awesome, I also bought it btw. I think everyone struggles mostly with function composition (my fav) and the laziness, and of course do notation (monadic), but it will click, trust me.
Just bought the book “Learn you a Haskell for great good”
Jo did you have many pain points of the language? @jjba23
A simple AI chatbot (ChatGPT clone) built entirely in Haskell. ~ Tushar Adhatrao. https://github.com/tusharad/ai-chatbot-hs #Haskell #FunctionalProgramming #LLMs
