Feature some articles

Author: tfausak

content/issues/133.markdown

@@ -6,7 +6,37 @@ This is a weekly summary of what's going on in its community.
 
 ## Featured
 
-undefined
+-   [A very simple prime sieve in Haskell](https://doisinkidney.com/posts/2018-11-10-a-very-simple-prime-sieve.html) by Donnacha Oisín Kidney
+
+    > I'm going to try today to show a very simple prime sieve that (hopefully) rivals the simplicity of the definition above.
+
+-   [Announcing Validity version 0.9.0.0: Validity of `Double`](https://cs-syd.eu/posts/2018-11-14-validity-double) by Tom Sydney Kerchove
+
+    > The `Validity` instance for `Double` has been highly controversial. The debate centers around whether `NaN` should be considered a valid value of type `Double`.
+
+-   [Existential quantification](https://markkarpov.com/post/existential-quantification.html) by Mark Karpov
+
+    > In this post I'm going to give an idea of how existentials can be useful in Haskell. I still remember the confusion that I felt when I first ran into rank-N types and the terms universal and existential quantification.
+
+-   [GTK+ programming with Haskell](https://haskell-at-work.com/episodes/2018-11-13-gtk-programming-with-haskell.html) by Oskar Wickström
+
+    > As described on its webpage, GTK+, or the GIMP Toolkit, is a multi-platform toolkit for creating user interfaces. In this video we will use the `haskell-gi` suite of packages to build a simple GTK+ application with Haskell.
+
+-   [Introduction to state machine testing: Part 2](https://qfpl.io/posts/intro-to-state-machine-testing-2/) by Andrew McMiddlin
+
+    > In my first post on state machine testing I gave a high level view of what state machine testing is and some of the prerequisite knowledge. Now we're going to start getting into the nuts and bolts of how state machine testing with `hedgehog` works.
+
+-   [REST-ish Services in Haskell: Part 2](https://vadosware.io/post/rest-ish-services-in-haskell-part-2/) by Vados
+
+    > Today we're going to build castles in the sand --- building up the domain of the solution we're solving with as much help we can get from the formalisms in Haskell.
+
+-   [Thinking with Types: Type-Level Programming in Haskell](https://leanpub.com/thinking-with-types/) by Sandy Maguire
+
+    > This book aims to be the comprehensive manual for type-level programming. It's about getting you from a competent Haskell programmer to one who convinces the compiler to do their work for them.
+
+-   [Typed holes and valid hole fits](https://octopi.chalmers.se/2018/11/08/typed-holes/) by Matthías Páll Gissurarson
+
+    > In this post, I will try to explain typed-holes in the context of GHC, and some cool new contributions that were adopted by GHC that I proposed and implemented, namely, valid hole fits and refinement hole fits to make them even more useful for developers.
 
 ## Jobs
 
@@ -17,18 +47,10 @@ undefined
 ## In brief
 
 -   [A touch of topological quantum computation in Haskell: Part 1](http://www.philipzucker.com/a-touch-of-topological-quantum-computation-in-haskell-pt-i/)
--   [A very simple prime sieve in Haskell](https://doisinkidney.com/posts/2018-11-10-a-very-simple-prime-sieve.html)
--   [Announcing Validity version 0.9.0.0: Validity of `Double`](https://cs-syd.eu/posts/2018-11-14-validity-double)
 -   [Elm IV: Navigation](https://mmhaskell.com/blog/2018/11/12/elm-iv-navigation)
--   [Existential quantification](https://markkarpov.com/post/existential-quantification.html)
 -   [GHC proposal: Add row polymorphism to Haskell](https://github.com/jvanbruegge/ghc-proposals/blob/70b9ae054956bdf9b7cf337732fa4a1d8d848355/proposals/0000-row-polymorphism.rst)
--   [GTK+ programming with Haskell](https://haskell-at-work.com/episodes/2018-11-13-gtk-programming-with-haskell.html)
 -   [Introduction to Cryptonite](https://medium.com/mercury-bank/talk-introduction-to-cryptonite-1be74e023726) (video)
--   [Introduction to state machine testing: Part 2](https://qfpl.io/posts/intro-to-state-machine-testing-2/)
 -   [Request for feedback: Haddock theme redesign](https://np.reddit.com/r/haskell/comments/9vf0i7/request_for_feedback_haddock_theme_redesign/)
--   [REST-ish Services in Haskell: Part 2](https://vadosware.io/post/rest-ish-services-in-haskell-part-2/)
--   [Thinking with Types: Type-Level Programming in Haskell](https://leanpub.com/thinking-with-types/)
--   [Typed holes and valid hole fits](https://octopi.chalmers.se/2018/11/08/typed-holes/)
 -   [Using PureScript to create a domain-specific language for building forms with validation](https://medium.com/fuzzy-sharp/building-a-type-safe-embedded-dsl-for-form-components-with-validation-e7ffaaf537e4)
 -   [What FP can learn from Smalltalk](https://www.youtube.com/watch?v=baxtyeFVn3w) (video)
 -   [Why I never finish my Haskell programs: Part 3 of ∞](https://blog.plover.com/prog/haskell/what-goes-wrong-3.html)