The Haskell Unfolder Episode 47: Pure parallelism. ~ Edsko de Vries, Andres Löh. https://www.youtube.com/live/trDqqZldxQA #Haskell #FunctionalProgramming
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
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
New in PHP 8.5: The Pipe Operator
One of the most exciting additions in PHP 8.5 is the pipe operator. It enables more readable and expressive code when working with nested function calls.https://chrastecky.dev/programming/new-in-php-8-5-the-pipe-operator
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
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 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
#Exercitium: Problemas de programación con Haskell de febrero de 2021. https://jaalonso.github.io/exercitium/2021/02 #Haskell #FunctionalProgramming