Update examples

Author: TravisCardwell

examples/conference-videos.pdf

@@ -0,0 +1,11 @@
+---
+
+sections:
+  - Haskell
+
+queues:
+
+  - import: haskell-love-2020.yaml
+    section: Haskell
+  - import: zurihac-2020.yaml
+    section: Haskell

examples/conference-videos.yaml

@@ -0,0 +1,70 @@
+---
+
+- name: "Haskell Love 2020"
+  url: https://www.youtube.com/playlist?list=PLBqWQH1MiwBSK9wuaATNS701c43VYVTuc
+  date: 2020-08-13
+  tags:
+    - split
+  next:
+    - name: "aeson-schemas: Safely extract JSON data when data types are too cumbersome"
+      url: https://www.youtube.com/watch?v=vJQtEa_7O3Q
+    - name: "Agile generation of Cloud API bindings with Haskell"
+      url: https://www.youtube.com/watch?v=KY27LsV11Rg
+    - name: "Bit vectors without compromises"
+      url: https://www.youtube.com/watch?v=HhpH8DKFBls
+    - name: "Building a web library using super hard Haskell"
+      url: https://www.youtube.com/watch?v=icgl9FuPxKA
+    - name: "The clear path to Haskell complexities"
+      url: https://www.youtube.com/watch?v=n3H_YipBDrY
+    - name: "Compiling gracefully"
+      url: https://www.youtube.com/watch?v=wvQbpS6wBa0
+    - name: "Concurrent applications with Free monads and STM"
+      url: https://www.youtube.com/watch?v=c-A46L8__IY
+    - name: "Context Is Everything*"
+      url: https://www.youtube.com/watch?v=Ujx4a8xVOSM
+    - name: "Data vs Control: a tale of two functors"
+      url: https://www.youtube.com/watch?v=gm2pK01S8_g
+    - name: "A Dominion of Domains"
+      url: https://www.youtube.com/watch?v=0aBWXqiuKR4
+    - name: "Down to the wire"
+      url: https://www.youtube.com/watch?v=b3wRqlEc6ts
+    - name: "Elastic sheet-defined functions"
+      url: https://www.youtube.com/watch?v=jH2Je6wUvPs
+    - name: "Getting acquainted with Lens"
+      url: https://www.youtube.com/watch?v=LBiFYbQMAXc
+    - name: "GraphQL :heart: Haskell"
+      url: https://www.youtube.com/watch?v=JbeqwfZ2dRc
+    - name: "Haskell to Core: Understanding Haskell Features Through Their Desugaring"
+      url: https://www.youtube.com/watch?v=fty9QL4aSRc
+    - name: "How to design co-programs"
+      url: https://www.youtube.com/watch?v=w2XCnbLBHmw
+    - name: "How to market Haskell to a mainstream programmer"
+      url: https://www.youtube.com/watch?v=fNpsgTIpODA
+    - name: "Hulk SMASH: re-imagining the Maybe-monad and its design space"
+      url: https://www.youtube.com/watch?v=4aQlFMvKgdc
+    - name: "Lightning talk"
+      url: https://www.youtube.com/watch?v=8BGaw4FF2aY
+    - name: "The many faces of isOrderedTree"
+      url: https://www.youtube.com/watch?v=5-P0Jjku3cY
+    - name: "Parameters of Many Flavors"
+      url: https://www.youtube.com/watch?v=hkus92CX32A
+    - name: "Propositions as Types"
+      url: https://www.youtube.com/watch?v=ru20eaMYbDo
+    - name: "Quotient Types + Behavioral Reflection = ?"
+      url: https://www.youtube.com/watch?v=ljpE7NOb2Qg
+    - name: "Reasoning under Uncertainty"
+      url: https://www.youtube.com/watch?v=LHlZNYFraAs
+    - name: "Replacing functions with data"
+      url: https://www.youtube.com/watch?v=wppzFzzD4b8
+    - name: "Stacks and queues with amortized logarithmic-time operations"
+      url: https://www.youtube.com/watch?v=FY_InObfG2I
+    - name: "Stan - Haskell Static Analyser"
+      url: https://www.youtube.com/watch?v=wb5PLv6-e6I
+    - name: "Technique for writing debuggable Haskell functions"
+      url: https://www.youtube.com/watch?v=kjS1Fv4AXog
+    - name: "Thinking in Properties"
+      url: https://www.youtube.com/watch?v=PcOcgMm8_4s
+    - name: "Writing 2D games using super simple Haskell"
+      url: https://www.youtube.com/watch?v=CfaCfQstBIM
+    - name: "Zero-Overhead Abstractions in Haskell using Staging"
+      url: https://www.youtube.com/watch?v=2uD6bCbL1-A

examples/haskell-love-2020.pdf

@@ -9,62 +9,64 @@ queues:
 
   - name: AI Podcast
     url: https://lexfridman.com/ai/
+    date: 2020-08-20
     section: Other
-    date: 2020-08-09
     next:
-      - name: 114
-        url: https://lexfridman.com/russ-tedrake/
+      - name: 117
+        url: https://lexfridman.com/sheldon-solomon
 
   - name: Changelog
     url: https://changelog.com/podcast
+    date: 2020-08-12
     section: Programming
     tags:
       - partial
-    date: 2020-08-07
     next:
-      - 407
+      - 408
 
   - name: Co-Recursive
     url: https://corecursive.com/
-    section: Functional
     date: 2020-08-03
+    section: Functional
     prev: 55
 
   - name: Functional Geekery
     url: https://www.functionalgeekery.com/
-    section: Functional
     date: 2020-05-19
+    section: Functional
     prev: 131
 
   - name: Haskell Weekly
     url: https://haskellweekly.news/podcast.html
-    section: Functional
     date: 2019-11-08
+    section: Functional
     prev: 24
 
   - name: LambdaCast
     url: https://soundcloud.com/lambda-cast
-    section: Functional
     date: 2019-06-14
+    section: Functional
     prev: 22
 
   - name: Mindscape
     url: https://www.preposterousuniverse.com/podcast/
+    date: 2020-08-17
     section: Other
-    date: 2020-08-10
     next:
       - 108
       - 109
+      - 110
 
   - name: Quanta
     url: https://www.quantamagazine.org/tag/podcast/
+    date: 2020-08-12
     section: Other
-    prev: 142
+    prev: 143
 
   - name: Software Engineering Radio
     url: https://www.se-radio.net/
+    date: 2020-08-18
     section: Programming
     tags:
       - partial
-    date: 2020-08-06
-    prev: 420
+    prev: 422

examples/haskell-love-2020.yaml

@@ -63,7 +63,9 @@
 \begin{document}
 
 <! for section in sections !>
+<! if section.name !>
 \section*{<< section.name >>}
+<! endif !>
 
 <! for queue in section.queues !>
 \begin{minipage}{1.0\textwidth}
@@ -72,25 +74,25 @@ \section*{<< section.name >>}
 <! else !>
 \textbf{<< queue.name >>}\hfill
 <! endif !>
-<< queue.date >><! if queue.isPartial !> \partialMark<! endif !><! if queue.isComplete !> \completeMark<! endif !>\\
+<< queue.date >><! if queue.tag_partial !> \partialMark<! endif !><! if queue.tag_complete !> \completeMark<! endif !>\\
 \vspace{-1em}
 \hrule
 \vspace{0.2em}
 \begin{fontspace}{1.5}{2}
-<! if queue.prevItem !>
-<! if queue.prevItem.url !>
-\href{<< queue.prevItem.url >>}{\previous{<< queue.previtem.name >>}}
+<! if queue.prev_item !>
+<! if queue.prev_item.url !>
+\href{<< queue.prev_item.url >>}{\previous{<< queue.previtem.name >>}}
 <! else !>
-\previous{<< queue.prevItem.name >>}
+\previous{<< queue.prev_item.name >>}
 <! endif !>
 <! else !>
-<! for item in queue.nextItems !>
+<! for item in queue.next_items !>
 <! if item.url !>
 \href{<< item.url >>}{<< item.name >>}
 <! else !>
 << item.name >>
 <! endif !>
-<! if queue.isSplit !>\\<! endif !>
+<! if queue.tag_split !>\\<! endif !>
 <! endfor !>
 <! endif !>
 \end{fontspace}

example/podcasts.pdf examples/podcasts.pdfexample/podcasts.pdf renamed to examples/podcasts.pdf

@@ -0,0 +1,34 @@
+---
+
+- name: "ZuriHac 2020"
+  url: https://www.youtube.com/channel/UC2zfPMH_srjxUN5EYrfIhCw/videos
+  date: 2020-06-20
+  tags:
+    - split
+  next:
+    - name: "A bare-bones Twitter clone implemented with Haskell + Nix"
+      url: https://www.youtube.com/watch?v=Q3qjTVcU9cg
+    - name: "Can Haskell Be the World's Database?"
+      url: https://www.youtube.com/watch?v=h8YTJkZ5TDA
+    - name: "Datatype-Generic Programming"
+      url: https://www.youtube.com/watch?v=pwnrfREbhWY
+    - name: "Digital Selves Live Set"
+      url: https://www.youtube.com/watch?v=CrSVuM3nXeA
+    - name: "Effects for Less"
+      url: https://www.youtube.com/watch?v=0jI-AlWEwYI
+    - name: "GHC QualifiedDo: customizable 'do' syntax without fuss"
+      url: https://www.youtube.com/watch?v=TH3cYp3349A
+    - name: "GHC On \"simple\" constraints for typechecker plugins"
+      url: https://www.youtube.com/watch?v=sE1qWyQWWVY
+    - name: "Haskell and InfoSec"
+      url: https://www.youtube.com/watch?v=RknM0j138PE
+    - name: "Opening Ceremony, Languages all the way down"
+      url: https://www.youtube.com/watch?v=kCpQ4aTzlis
+    - name: "(Programming Languages) in Agda = Programming (Languages in Agda)"
+      url: https://www.youtube.com/watch?v=x0R5h190Yts
+    - name: "Space Invaders Mob Programming Session"
+      url: https://www.youtube.com/watch?v=d0quV0YcE-E
+    - name: "A tour of linear types and linear base"
+      url: https://www.youtube.com/watch?v=I7-JuVNvz78
+    - name: "Write a GHC extension in 30 minutes"
+      url: https://www.youtube.com/watch?v=bhhE2DxbrJM