summaryrefslogtreecommitdiff
path: root/provider/posts
diff options
context:
space:
mode:
Diffstat (limited to 'provider/posts')
-rw-r--r--provider/posts/blog/hakyll.md10
-rw-r--r--provider/posts/blog/origin.md1
-rw-r--r--provider/posts/blog/rss.md1
-rw-r--r--provider/posts/blog/tex-support.md1
-rw-r--r--provider/posts/blog/ymir.md1
-rw-r--r--provider/posts/pwutil.md2
-rw-r--r--provider/posts/thermoprint/1.md1
-rw-r--r--provider/posts/thermoprint/2.lhs4
-rw-r--r--provider/posts/thermoprint/3.lhs4
-rw-r--r--provider/posts/thermoprint/4.md6
-rw-r--r--provider/posts/thermoprint/5.md1
-rw-r--r--provider/posts/thermoprint/6.lhs1
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 @@
2title: Switch to Hakyll 2title: Switch to Hakyll
3published: 2015-08-03 3published: 2015-08-03
4tags: Blog Software 4tags: Blog Software
5repo: https://git.yggdrasil.li/gkleen/pub/dirty-haskell.org
5--- 6---
6 7
7I stopped using the software suite inherited from 8I 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
10were doing essentially the same job and keeping my mess in one haskell file 11the 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 12haskell 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 13interlocking zsh and haskell scripts.
13large number of interlocking zsh and haskell scripts.
14 14
15I expect nothing to be seriously broken (Only the filepaths of lists have 15I expect nothing to be seriously broken (Only the filepaths of lists have
16changed), but some feed readers might have stopped working (hakyll´s 16changed), 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 @@
2title: On the Origin of dirty-haskell.org 2title: On the Origin of dirty-haskell.org
3published: 2015-03-12 3published: 2015-03-12
4tags: Blog Software 4tags: Blog Software
5repo: https://git.yggdrasil.li/gkleen/pub/dirty-haskell.org
5--- 6---
6 7
7The software used is a trivially modified version of the one powering [math.kleen.org](http://math.kleen.org/lists/blog.html). 8The 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 @@
2title: dirty-haskell.org´s rss feeds 2title: dirty-haskell.org´s rss feeds
3published: 2015-03-29 3published: 2015-03-29
4tags: Blog Software 4tags: Blog Software
5repo: https://git.yggdrasil.li/gkleen/pub/dirty-haskell.org
5--- 6---
6 7
7I extended the software suite inherited from [math.kleen.org](http://math.kleen.org) to include support for rss feeds. 8I 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 @@
2title: Cursory Math-Support 2title: Cursory Math-Support
3published: 2015-11-05 3published: 2015-11-05
4tags: Blog Software 4tags: Blog Software
5repo: 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 @@
2title: Moved servers 2title: Moved servers
3published: 2015-11-05 3published: 2015-11-05
4tags: Blog Software 4tags: Blog Software
5repo: https://git.yggdrasil.li/gkleen/pub/dirty-haskell.org
5--- 6---
6 7
7dirty-haskell.org now lives on ymir.yggdrasil.li. 8dirty-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
6A 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. 6A 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. 8pwutil 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 @@
2title: On the Architecture of a tool-set for interacting with character-oriented printers 2title: On the Architecture of a tool-set for interacting with character-oriented printers
3published: 2015-12-25 3published: 2015-12-25
4tags: Thermoprint 4tags: Thermoprint
5repo: 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 @@
2title: On the design of a structured document format compatible with character oriented printers 2title: On the design of a structured document format compatible with character oriented printers
3published: 2016-01-11 3published: 2016-01-11
4tags: Thermoprint 4tags: Thermoprint
5repo: https://git.yggdrasil.li/thermoprint?h=rewrite
6base: https://git.yggdrasil.li/thermoprint/tree/spec/src/Thermoprint/Printout.hs?h=rewrite&id=f6dc3d1
5--- 7---
6 8
7This 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 @@
2title: Thoughts on a network protocol for a toolset for interacting with character-oriented printers 2title: Thoughts on a network protocol for a toolset for interacting with character-oriented printers
3published: 2016-01-11 3published: 2016-01-11
4tags: Thermoprint 4tags: Thermoprint
5repo: https://git.yggdrasil.li/thermoprint?h=rewrite
6base: https://git.yggdrasil.li/thermoprint/tree/spec/src/Thermoprint/API.hs?h=rewrite&id=3ad700c
5--- 7---
6 8
7This 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 @@
2title: On the Design of a Parser 2title: On the Design of a Parser
3published: 2016-01-12 3published: 2016-01-12
4tags: Thermoprint 4tags: Thermoprint
5repo: https://git.yggdrasil.li/thermoprint?h=rewrite
6base: https://git.yggdrasil.li/thermoprint/tree/bbcode?h=rewrite&id=dc99dae
5--- 7---
6 8
7The concrete application we’ll be walking through is a naive parser for [bbcode](https://en.wikipedia.org/wiki/BBCode) 9The 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
11In a manner consistent with designing software as 11In 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 @@
2title: Building an Extensible Framework for Specifying Compile-Time Configuration using Universal Quantification 2title: Building an Extensible Framework for Specifying Compile-Time Configuration using Universal Quantification
3tags: Thermoprint 3tags: Thermoprint
4published: 2016-02-18 4published: 2016-02-18
5repo: https://git.yggdrasil.li/thermoprint?h=rewrite
5--- 6---
6 7
7When I write *Universal Quantification* I mean what is commonly referred to as 8When 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 @@
2title: Deriving a Client Library for Interacting with Character-Oriented Printers 2title: Deriving a Client Library for Interacting with Character-Oriented Printers
3tags: Thermoprint 3tags: Thermoprint
4published: 2016-02-18 4published: 2016-02-18
5repo: https://git.yggdrasil.li/thermoprint?h=rewrite
5--- 6---
6 7
7> {-# LANGUAGE DataKinds #-} 8> {-# LANGUAGE DataKinds #-}