A Liquid Haskell kick-start. ~ Xavier Góngora. https://ninioartillero.github.io/2025/04/15/lh-kickstart.html #Haskell #FunctionalProgramming
A Liquid Haskell kick-start. ~ Xavier Góngora. https://ninioartillero.github.io/2025/04/15/lh-kickstart.html #Haskell #FunctionalProgramming
Readings shared July 24, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/25-readings_shared_07-24-25 #AI #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Math
#Exercitium: Problemas de programación con Haskell de enero de 2020. https://jaalonso.github.io/exercitium/2020/01 #Haskell #ProgramaciónFuncional #Matemáticas
The Haskell Unfolder Episode 47: Pure parallelism. ~ Edsko de Vries, Andres Löh. https://www.youtube.com/live/trDqqZldxQA #Haskell #FunctionalProgramming
Type-level programming for safer resource management. ~ Fraser Tweedale. https://frasertweedale.github.io/blog-fp/posts/2025-07-19-type-nats-and-constraints.html #Haskell #FunctionalProgramming
Inlining in the Glasgow Haskell Compiler: empirical investigation and improvement. ~ Celeste Hollenbeck. https://era.ed.ac.uk/bitstream/handle/1842/43690/Hollenbeck2025.pdf #Haskell #FunctionalProgramming
Four ways of declaring interfaces in Haskell. ~ Marco Perone. https://marcosh.github.io/post/2025/07/22/four-ways-of-declaring-interfaces-in-haskell.html #FunctionalProgramming #haskell
Competitive programming in Haskell: sparse tables. ~ Brent Yorgey. https://byorgey.github.io/blog/posts/2025/07/18/sparse-table.html #Haskell #FunctionalProgramming
Readings shared July 23, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/24-readings_shared_07-23-25 #AI #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Math
Sockets and Pipes: Connect with Haskell https://leanpub.com/sockets-and-pipes by Type Classes is the featured book on the Leanpub homepage! https://leanpub.com #Haskell #programming #books #ebooks
Sockets and Pipes is not an introduction to Haskell; it is an introduction to writing software in Haskell. Using a handful of everyday Haskell libraries, this book walks through reading the HTTP specification and implementing it to create a web server.
Find it on Leanpub!
#Exercitium: Problemas de programación con Haskell de febrero de 2020. https://jaalonso.github.io/exercitium/2020/02 #Haskell #ProgramaciónFuncional #Matemáticas
Readings shared July 22, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/23-readings_shared_07-22-25 #FunctionalProgramming #Haskell #IMO #ITP #LLMs #Math #Rocq #Rust
Comparing codes: Image rotation (Mutable arrays in Haskell). ~ James Bowen. https://mmhaskell.com/blog/2025/7/21/image-rotation-mutable-arrays-in-haskell #Haskell #FunctionalProgramming #Rust
A parser and interpreter for a very small language via @abnv https://lobste.rs/s/sas2kh #haskell #plt
https://blog.ploeh.dk/2025/07/07/a-parser-and-interpreter-for-a-very-small-language/
So I made a tool for managing little changes in code&text and it seems to run well enough now, so sharing.
The diff is like from `git diff --word-diff`, but you can automerge same-line edits, retain spacing&indentation from a selected version, and send the small edits around as patches. Also works great for #LaTeX and #markdown (merging these with plain git is pure pain).
Readings shared July 21, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/22-readings_shared_07-21-25 #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Math #Rocq
#Exercitium: Problemas de programación con Haskell de marzo de 2020. https://jaalonso.github.io/exercitium/2020/03 #Haskell #ProgramaciónFuncional #Matemáticas
#Exercitium: Problemas de programación con Haskell de abril de 2020. https://jaalonso.github.io/exercitium/2020/04 #Haskell #ProgramaciónFuncional #Matemáticas