Feature some articles

Author: tfausak

content/issues/136.markdown

@@ -6,14 +6,42 @@ This is a weekly summary of what's going on in its community.
 
 ## Featured
 
--   [The Little Typer Interview](https://corecursive.com/023-little-typer-and-pie-language/)
+-   [The Little Typer Interview](https://corecursive.com/023-little-typer-and-pie-language/) by Adam Gordon Bell
 
     > You can write more correct software and even rigorous mathematical proofs. Let's learn about dependent types with Dan and David.
 
 -   [Monadic Party](https://monadic.party)
 
     > It is the second edition of a Haskell summer school in Poznań, Poland. This time we have three tracks and as usual great speakers. The CFP is open and we have a scholarship program for people from disadvantaged backgrounds.
 
+-   [Almost time](https://typeclasses.com/news/2018-12-almost-time) by Julie Moronuki
+
+    > We are excited to announce that a new course, Timepieces, will be beginning next week. This course is going to be about building basically the same project, a native GUI clock app, with different libraries so we can compare them.
+
+-   [Building terminal user interfaces in Haskell](https://www.fpcomplete.com/blog/building-tuis-in-haskell) by Robert Bobbett
+
+    > In this month's webinar, Tom Sydney Kerckhove will demonstrate just how easy it is to get started with Terminal User Interfaces (TUIs).  As a recap, TUIs are text-based user interfaces for use from a terminal.
+
+-   [Detecting the undetectable: Custom type errors for stuck type families](https://kcsongor.github.io/report-stuck-families/) by Csongor Kiss
+
+    > Anyone who has written or used one of these libraries will know that despite the authors' best efforts, there are still many occasions where a wall of text jumps out, leaving us puzzled as to what went wrong.
+
+-   [Introduction to state machine testing: Part 3](https://qfpl.io/posts/intro-to-state-machine-testing-3/) by Andrew McMiddlin
+
+    > We're going to look at why Hedgehog required our state and input types to be parameterized on a type constructor, what the `Var`, `Symbolic` and `Concrete` types are all about, and why we need `HTraversable` instances for our inputs.
+
+-   [Laziness quiz](https://www.parsonsmatt.org/2018/12/04/laziness_quiz.html) by Matt Parsons
+
+    > Do you understand laziness? It's okay if you don't. Most people don't. It can be somewhat surprising when something actually gets evaluated in Haskell, even when you're using bang patterns.
+
+-   [Lens by Example: Writing traversals](https://lens-by-example.chrispenner.ca/articles/traversals/writing-traversals) by Chris Penner
+
+    > Most lens tutorials show you how to use and compose traversals, but most skim over how to *write* complex traversals. Let's dive in!
+
+-   [Moving to GitLab](https://mail.haskell.org/pipermail/ghc-devs/2018-December/016613.html) by Ben Gamari
+
+    > A few weeks ago I wrote to this list proposing that we consider moving GHC's development infrastructure to GitLab. While the original proposal provided a small test instance to play with, it wasn't complete enough to use in earnest.
+
 ## Jobs
 
 -   [Haskell Engineer at Mercury in San Francisco](https://np.reddit.com/r/haskell/comments/a33krh/mercury_is_hiring_a_haskell_engineer_sf_fulltime/)
@@ -26,19 +54,12 @@ This is a weekly summary of what's going on in its community.
 
 ## In brief
 
--   [Almost time](https://typeclasses.com/news/2018-12-almost-time)
 -   [Building network actors with Enecuum Node Framework](https://gist.github.com/graninas/9beb8df5d88dda5fa21c47ce9bcb0e16/2acd7bc46b4e088ce78f5f5408ece59849b2685d)
--   [Building terminal user interfaces in Haskell](https://www.fpcomplete.com/blog/building-tuis-in-haskell)
 -   [CFP: LambdaConf 2019](https://www.papercall.io/lambdaconf-2019)
--   [Detecting the undetectable: Custom type errors for stuck type families](https://kcsongor.github.io/report-stuck-families/)
 -   [Idris 2: Type-driven development of Idris](https://www.youtube.com/watch?v=mOtKD7ml0NU)
--   [Introduction to state machine testing: Part 3](https://qfpl.io/posts/intro-to-state-machine-testing-3/)
--   [Laziness quiz](https://www.parsonsmatt.org/2018/12/04/laziness_quiz.html)
--   [Lens by Example: Writing traversals](https://lens-by-example.chrispenner.ca/articles/traversals/writing-traversals)
--   [Maybe Not by Rich Hickey](https://np.reddit.com/r/haskell/comments/a1ofh2/maybe_not_rich_hickey/)
+-   [Discussion about "Maybe Not" by Rich Hickey](https://np.reddit.com/r/haskell/comments/a1ofh2/maybe_not_rich_hickey/)
 -   [MIRI's newest recruit: Edward Kmett!](https://intelligence.org/2018/11/28/miris-newest-recruit-edward-kmett/)
 -   [Monthly Hask Anything](https://np.reddit.com/r/haskell/comments/a1u9qj/monthly_hask_anything_december_2018/)
--   [Moving to GitLab](https://mail.haskell.org/pipermail/ghc-devs/2018-December/016613.html)
 -   [Programming Language Foundations in Agda](https://wadler.blogspot.com/2018/12/programming-language-foundations-in-agda.html)
 -   [Simplicity: High-assurance smart contracting](https://blockstream.com/2018/11/28/simplicity-github/)
 -   [Summoner 1.2.0: TUI and better scaffolding](https://np.reddit.com/r/haskell/comments/a1skcb/ann_summoner120_tui_better_scaffolding/)