diff options
Diffstat (limited to 'provider')
-rw-r--r-- | provider/posts/blog/hakyll.md | 10 | ||||
-rw-r--r-- | provider/posts/blog/origin.md | 1 | ||||
-rw-r--r-- | provider/posts/blog/rss.md | 1 | ||||
-rw-r--r-- | provider/posts/blog/tex-support.md | 1 | ||||
-rw-r--r-- | provider/posts/blog/ymir.md | 1 | ||||
-rw-r--r-- | provider/posts/pwutil.md | 2 | ||||
-rw-r--r-- | provider/posts/thermoprint/1.md | 1 | ||||
-rw-r--r-- | provider/posts/thermoprint/2.lhs | 4 | ||||
-rw-r--r-- | provider/posts/thermoprint/3.lhs | 4 | ||||
-rw-r--r-- | provider/posts/thermoprint/4.md | 6 | ||||
-rw-r--r-- | provider/posts/thermoprint/5.md | 1 | ||||
-rw-r--r-- | provider/posts/thermoprint/6.lhs | 1 |
12 files changed, 20 insertions, 13 deletions
diff --git a/provider/posts/blog/hakyll.md b/provider/posts/blog/hakyll.md index be3bc1b..4540beb 100644 --- a/provider/posts/blog/hakyll.md +++ b/provider/posts/blog/hakyll.md | |||
@@ -2,15 +2,15 @@ | |||
2 | title: Switch to Hakyll | 2 | title: Switch to Hakyll |
3 | published: 2015-08-03 | 3 | published: 2015-08-03 |
4 | tags: Blog Software | 4 | tags: Blog Software |
5 | repo: https://git.yggdrasil.li/gkleen/pub/dirty-haskell.org | ||
5 | --- | 6 | --- |
6 | 7 | ||
7 | I stopped using the software suite inherited from | 8 | I stopped using the software suite inherited from |
8 | [math.kleen.org](http://math.kleen.org) and switched over to using | 9 | [math.kleen.org](http://math.kleen.org) and switched over to using |
9 | [hakyll](http://jaspervdj.be/hakyll/) instead, since I realised that the two | 10 | [hakyll](http://jaspervdj.be/hakyll/) instead, since I realised that |
10 | were doing essentially the same job and keeping my mess in one haskell file | 11 | the two were doing essentially the same job and keeping my mess in one |
11 | (`src/Site.hs`, for those of you who are willing to checkout the | 12 | haskell file (`src/Site.hs`) instead of spread over a large number of |
12 | [git repo](https://git.yggdrasil.li/gkleen/pub/dirty-haskell.org)) instead of spread over a | 13 | interlocking zsh and haskell scripts. |
13 | large number of interlocking zsh and haskell scripts. | ||
14 | 14 | ||
15 | I expect nothing to be seriously broken (Only the filepaths of lists have | 15 | I expect nothing to be seriously broken (Only the filepaths of lists have |
16 | changed), but some feed readers might have stopped working (hakyll´s | 16 | changed), but some feed readers might have stopped working (hakyll´s |
diff --git a/provider/posts/blog/origin.md b/provider/posts/blog/origin.md index b0d4af6..ead2579 100644 --- a/provider/posts/blog/origin.md +++ b/provider/posts/blog/origin.md | |||
@@ -2,6 +2,7 @@ | |||
2 | title: On the Origin of dirty-haskell.org | 2 | title: On the Origin of dirty-haskell.org |
3 | published: 2015-03-12 | 3 | published: 2015-03-12 |
4 | tags: Blog Software | 4 | tags: Blog Software |
5 | repo: https://git.yggdrasil.li/gkleen/pub/dirty-haskell.org | ||
5 | --- | 6 | --- |
6 | 7 | ||
7 | The software used is a trivially modified version of the one powering [math.kleen.org](http://math.kleen.org/lists/blog.html). | 8 | The software used is a trivially modified version of the one powering [math.kleen.org](http://math.kleen.org/lists/blog.html). |
diff --git a/provider/posts/blog/rss.md b/provider/posts/blog/rss.md index 095ff56..10a6746 100644 --- a/provider/posts/blog/rss.md +++ b/provider/posts/blog/rss.md | |||
@@ -2,6 +2,7 @@ | |||
2 | title: dirty-haskell.org´s rss feeds | 2 | title: dirty-haskell.org´s rss feeds |
3 | published: 2015-03-29 | 3 | published: 2015-03-29 |
4 | tags: Blog Software | 4 | tags: Blog Software |
5 | repo: https://git.yggdrasil.li/gkleen/pub/dirty-haskell.org | ||
5 | --- | 6 | --- |
6 | 7 | ||
7 | I extended the software suite inherited from [math.kleen.org](http://math.kleen.org) to include support for rss feeds. | 8 | I extended the software suite inherited from [math.kleen.org](http://math.kleen.org) to include support for rss feeds. |
diff --git a/provider/posts/blog/tex-support.md b/provider/posts/blog/tex-support.md index 7f43eb6..fef50e4 100644 --- a/provider/posts/blog/tex-support.md +++ b/provider/posts/blog/tex-support.md | |||
@@ -2,6 +2,7 @@ | |||
2 | title: Cursory Math-Support | 2 | title: Cursory Math-Support |
3 | published: 2015-11-05 | 3 | published: 2015-11-05 |
4 | tags: Blog Software | 4 | tags: Blog Software |
5 | repo: https://git.yggdrasil.li/gkleen/pub/dirty-haskell.org | ||
5 | --- | 6 | --- |
6 | 7 | ||
7 | ## Demonstration | 8 | ## Demonstration |
diff --git a/provider/posts/blog/ymir.md b/provider/posts/blog/ymir.md index 83e5811..07967ae 100644 --- a/provider/posts/blog/ymir.md +++ b/provider/posts/blog/ymir.md | |||
@@ -2,6 +2,7 @@ | |||
2 | title: Moved servers | 2 | title: Moved servers |
3 | published: 2015-11-05 | 3 | published: 2015-11-05 |
4 | tags: Blog Software | 4 | tags: Blog Software |
5 | repo: https://git.yggdrasil.li/gkleen/pub/dirty-haskell.org | ||
5 | --- | 6 | --- |
6 | 7 | ||
7 | dirty-haskell.org now lives on ymir.yggdrasil.li. | 8 | dirty-haskell.org now lives on ymir.yggdrasil.li. |
diff --git a/provider/posts/pwutil.md b/provider/posts/pwutil.md index 17d3e49..d873dc0 100644 --- a/provider/posts/pwutil.md +++ b/provider/posts/pwutil.md | |||
@@ -5,7 +5,7 @@ published: 2015-04-07 | |||
5 | 5 | ||
6 | A long time ago I wrote a bunch of scripts (first in bash, then zsh, and later perl) to manage a, sometimes encrypted, file containing account information I get asked to create and remember on a daily basis—accounts for shopping websites spring to mind. | 6 | A long time ago I wrote a bunch of scripts (first in bash, then zsh, and later perl) to manage a, sometimes encrypted, file containing account information I get asked to create and remember on a daily basis—accounts for shopping websites spring to mind. |
7 | 7 | ||
8 | [pwutil](https://git.yggdrasil.li/pwutil) is the newest iteration in this line of bunches of scripts. | 8 | pwutil is the newest iteration in this line of bunches of scripts. |
9 | 9 | ||
10 | ## Features | 10 | ## Features |
11 | 11 | ||
diff --git a/provider/posts/thermoprint/1.md b/provider/posts/thermoprint/1.md index 032e2f6..9d0a5b2 100644 --- a/provider/posts/thermoprint/1.md +++ b/provider/posts/thermoprint/1.md | |||
@@ -2,6 +2,7 @@ | |||
2 | title: On the Architecture of a tool-set for interacting with character-oriented printers | 2 | title: On the Architecture of a tool-set for interacting with character-oriented printers |
3 | published: 2015-12-25 | 3 | published: 2015-12-25 |
4 | tags: Thermoprint | 4 | tags: Thermoprint |
5 | repo: https://git.yggdrasil.li/thermoprint?h=rewrite | ||
5 | --- | 6 | --- |
6 | 7 | ||
7 | # Motivation | 8 | # Motivation |
diff --git a/provider/posts/thermoprint/2.lhs b/provider/posts/thermoprint/2.lhs index a144fb5..28b59b8 100644 --- a/provider/posts/thermoprint/2.lhs +++ b/provider/posts/thermoprint/2.lhs | |||
@@ -2,10 +2,10 @@ | |||
2 | title: On the design of a structured document format compatible with character oriented printers | 2 | title: On the design of a structured document format compatible with character oriented printers |
3 | published: 2016-01-11 | 3 | published: 2016-01-11 |
4 | tags: Thermoprint | 4 | tags: Thermoprint |
5 | repo: https://git.yggdrasil.li/thermoprint?h=rewrite | ||
6 | base: https://git.yggdrasil.li/thermoprint/tree/spec/src/Thermoprint/Printout.hs?h=rewrite&id=f6dc3d1 | ||
5 | --- | 7 | --- |
6 | 8 | ||
7 | This post is an annotated version of the file [spec/src/Thermoprint/Printout.hs](https://git.yggdrasil.li/thermoprint/tree/spec/src/Thermoprint/Printout.hs?h=rewrite&id=f6dc3d1) as of commit `f6dc3d1`. | ||
8 | |||
9 | > {-# LANGUAGE DeriveGeneric, DeriveAnyClass #-} | 9 | > {-# LANGUAGE DeriveGeneric, DeriveAnyClass #-} |
10 | > {-# LANGUAGE OverloadedStrings #-} | 10 | > {-# LANGUAGE OverloadedStrings #-} |
11 | > {-# OPTIONS_HADDOCK show-extensions #-} | 11 | > {-# OPTIONS_HADDOCK show-extensions #-} |
diff --git a/provider/posts/thermoprint/3.lhs b/provider/posts/thermoprint/3.lhs index 4068cac..f0f52f5 100644 --- a/provider/posts/thermoprint/3.lhs +++ b/provider/posts/thermoprint/3.lhs | |||
@@ -2,10 +2,10 @@ | |||
2 | title: Thoughts on a network protocol for a toolset for interacting with character-oriented printers | 2 | title: Thoughts on a network protocol for a toolset for interacting with character-oriented printers |
3 | published: 2016-01-11 | 3 | published: 2016-01-11 |
4 | tags: Thermoprint | 4 | tags: Thermoprint |
5 | repo: https://git.yggdrasil.li/thermoprint?h=rewrite | ||
6 | base: https://git.yggdrasil.li/thermoprint/tree/spec/src/Thermoprint/API.hs?h=rewrite&id=3ad700c | ||
5 | --- | 7 | --- |
6 | 8 | ||
7 | This post is an annotated version of the file [spec/src/Thermoprint/API.hs](https://git.yggdrasil.li/thermoprint/tree/spec/src/Thermoprint/API.hs?h=rewrite&id=3ad700c) as of commit `3ad700c`. | ||
8 | |||
9 | > {-# LANGUAGE DeriveGeneric, DeriveAnyClass #-} | 9 | > {-# LANGUAGE DeriveGeneric, DeriveAnyClass #-} |
10 | > {-# LANGUAGE TypeOperators, DataKinds #-} | 10 | > {-# LANGUAGE TypeOperators, DataKinds #-} |
11 | > {-# LANGUAGE OverloadedStrings #-} | 11 | > {-# LANGUAGE OverloadedStrings #-} |
diff --git a/provider/posts/thermoprint/4.md b/provider/posts/thermoprint/4.md index 756c166..c9775dc 100644 --- a/provider/posts/thermoprint/4.md +++ b/provider/posts/thermoprint/4.md | |||
@@ -2,11 +2,11 @@ | |||
2 | title: On the Design of a Parser | 2 | title: On the Design of a Parser |
3 | published: 2016-01-12 | 3 | published: 2016-01-12 |
4 | tags: Thermoprint | 4 | tags: Thermoprint |
5 | repo: https://git.yggdrasil.li/thermoprint?h=rewrite | ||
6 | base: https://git.yggdrasil.li/thermoprint/tree/bbcode?h=rewrite&id=dc99dae | ||
5 | --- | 7 | --- |
6 | 8 | ||
7 | The concrete application we’ll be walking through is a naive parser for [bbcode](https://en.wikipedia.org/wiki/BBCode) | 9 | The concrete application we’ll be walking through is a naive parser for [bbcode](https://en.wikipedia.org/wiki/BBCode). |
8 | -- more specifically the contents of the directory `bbcode` in the | ||
9 | [git repo](https://git.yggdrasil.li/thermoprint/tree/bbcode?h=rewrite&id=dc99dae). | ||
10 | 10 | ||
11 | In a manner consistent with designing software as | 11 | In a manner consistent with designing software as |
12 | [compositions of simple morphisms](https://en.wikipedia.org/wiki/Tacit_programming) we start by determining the type of | 12 | [compositions of simple morphisms](https://en.wikipedia.org/wiki/Tacit_programming) we start by determining the type of |
diff --git a/provider/posts/thermoprint/5.md b/provider/posts/thermoprint/5.md index 0249734..d4f624b 100644 --- a/provider/posts/thermoprint/5.md +++ b/provider/posts/thermoprint/5.md | |||
@@ -2,6 +2,7 @@ | |||
2 | title: Building an Extensible Framework for Specifying Compile-Time Configuration using Universal Quantification | 2 | title: Building an Extensible Framework for Specifying Compile-Time Configuration using Universal Quantification |
3 | tags: Thermoprint | 3 | tags: Thermoprint |
4 | published: 2016-02-18 | 4 | published: 2016-02-18 |
5 | repo: https://git.yggdrasil.li/thermoprint?h=rewrite | ||
5 | --- | 6 | --- |
6 | 7 | ||
7 | When I write *Universal Quantification* I mean what is commonly referred to as | 8 | When I write *Universal Quantification* I mean what is commonly referred to as |
diff --git a/provider/posts/thermoprint/6.lhs b/provider/posts/thermoprint/6.lhs index 9182427..2d2a77d 100644 --- a/provider/posts/thermoprint/6.lhs +++ b/provider/posts/thermoprint/6.lhs | |||
@@ -2,6 +2,7 @@ | |||
2 | title: Deriving a Client Library for Interacting with Character-Oriented Printers | 2 | title: Deriving a Client Library for Interacting with Character-Oriented Printers |
3 | tags: Thermoprint | 3 | tags: Thermoprint |
4 | published: 2016-02-18 | 4 | published: 2016-02-18 |
5 | repo: https://git.yggdrasil.li/thermoprint?h=rewrite | ||
5 | --- | 6 | --- |
6 | 7 | ||
7 | > {-# LANGUAGE DataKinds #-} | 8 | > {-# LANGUAGE DataKinds #-} |