software/elephly-net.git
5 years agoposts: add diagram for shared Guix profiles and store
rekado [Sat, 18 Apr 2015 15:46:28 +0000 (17:46 +0200)] 
posts: add diagram for shared Guix profiles and store

5 years agoposts: fix URL
rekado [Fri, 17 Apr 2015 13:18:14 +0000 (15:18 +0200)] 
posts: fix URL

5 years agoposts: add links
rekado [Fri, 17 Apr 2015 11:17:54 +0000 (13:17 +0200)] 
posts: add links

5 years agocss: add top margin to h3
rekado [Fri, 17 Apr 2015 11:14:29 +0000 (13:14 +0200)] 
css: add top margin to h3

5 years agoposts: new post about Guix
rekado [Fri, 17 Apr 2015 11:11:45 +0000 (13:11 +0200)] 
posts: new post about Guix

5 years agoprojects: clarify "inputs" as dependencies.
rekado [Thu, 26 Mar 2015 08:32:51 +0000 (09:32 +0100)] 
projects: clarify "inputs" as dependencies.

5 years agoexplain purpose of wavedrum project page
rekado [Tue, 24 Mar 2015 21:14:06 +0000 (22:14 +0100)] 
explain purpose of wavedrum project page

5 years agolink wavedrum page on index
rekado [Tue, 24 Mar 2015 20:56:04 +0000 (21:56 +0100)] 
link wavedrum page on index

5 years agowavedrum: reorder links
rekado [Tue, 24 Mar 2015 20:55:53 +0000 (21:55 +0100)] 
wavedrum: reorder links

5 years agonew page dedicated to the Wavedrum project
rekado [Tue, 24 Mar 2015 19:11:44 +0000 (20:11 +0100)] 
new page dedicated to the Wavedrum project

5 years agoprojects: introduce the Wavedrum project
rekado [Tue, 24 Mar 2015 07:25:37 +0000 (08:25 +0100)] 
projects: introduce the Wavedrum project

5 years agoreplace gitorious links with links to git.elephly.net
rekado [Fri, 20 Mar 2015 08:12:17 +0000 (09:12 +0100)] 
replace gitorious links with links to git.elephly.net

5 years agolinkify projects
rekado [Sun, 22 Feb 2015 21:54:07 +0000 (22:54 +0100)] 
linkify projects

5 years agoposts: update links to git repos (github -> gitorious)
rekado [Sun, 22 Feb 2015 21:51:05 +0000 (22:51 +0100)] 
posts: update links to git repos (github -> gitorious)

5 years agoprojects: add GNU Guix
rekado [Thu, 19 Feb 2015 18:26:41 +0000 (19:26 +0100)] 
projects: add GNU Guix

5 years agoupdate LV2 synth "documentation"
rekado [Thu, 12 Feb 2015 16:53:31 +0000 (17:53 +0100)] 
update LV2 synth "documentation"

5 years agoTEK: add section about doing this natively
rekado [Sun, 23 Nov 2014 10:55:34 +0000 (11:55 +0100)] 
TEK: add section about doing this natively

and fix title

5 years agonew post: how to upgrade the TEK firmware in a virtual machine
rekado [Sun, 23 Nov 2014 10:51:51 +0000 (11:51 +0100)] 
new post: how to upgrade the TEK firmware in a virtual machine

5 years agoadd link to email self-defense page
rekado [Sat, 8 Nov 2014 10:01:55 +0000 (11:01 +0100)] 
add link to email self-defense page

5 years agosmaller font in tables
rekado [Wed, 5 Nov 2014 22:02:50 +0000 (23:02 +0100)] 
smaller font in tables

5 years agoincrease line height and margins
rekado [Wed, 5 Nov 2014 21:53:48 +0000 (22:53 +0100)] 
increase line height and margins

5 years agouse pretty web font
rekado [Wed, 5 Nov 2014 21:49:37 +0000 (22:49 +0100)] 
use pretty web font

5 years agoimg: 100% width
rekado [Wed, 5 Nov 2014 21:38:34 +0000 (22:38 +0100)] 
img: 100% width

5 years agoadjust styles
rekado [Wed, 5 Nov 2014 21:36:16 +0000 (22:36 +0100)] 
adjust styles

5 years agorender posts/latest.html, not index.html
rekado [Wed, 5 Nov 2014 21:35:30 +0000 (22:35 +0100)] 
render posts/latest.html, not index.html

5 years agoremove navigation. Use only index page.
rekado [Wed, 5 Nov 2014 21:35:13 +0000 (22:35 +0100)] 
remove navigation.  Use only index page.

5 years agoreplace about page with index
rekado [Wed, 5 Nov 2014 21:34:57 +0000 (22:34 +0100)] 
replace about page with index

5 years agoadjust font size dynamically
rekado [Wed, 5 Nov 2014 21:33:38 +0000 (22:33 +0100)] 
adjust font size dynamically

5 years agoremove GNU inside
rekado [Wed, 5 Nov 2014 21:33:12 +0000 (22:33 +0100)] 
remove GNU inside

6 years agonew wavedrum post
rekado [Sun, 21 Sep 2014 09:31:25 +0000 (11:31 +0200)] 
new wavedrum post

6 years agolink to other wavedrum posts
rekado [Sun, 21 Sep 2014 09:26:57 +0000 (11:26 +0200)] 
link to other wavedrum posts

6 years agoremove column wrapper
rekado [Sun, 21 Sep 2014 09:26:39 +0000 (11:26 +0200)] 
remove column wrapper

6 years agorename "Music" to "Music on Soundcloud"
rekado [Sun, 21 Sep 2014 09:26:17 +0000 (11:26 +0200)] 
rename "Music" to "Music on Soundcloud"

6 years agoadd link to gitorious
rekado [Sun, 21 Sep 2014 09:26:06 +0000 (11:26 +0200)] 
add link to gitorious

6 years agoadvertise GNU/Linux
rekado [Sun, 21 Sep 2014 09:25:42 +0000 (11:25 +0200)] 
advertise GNU/Linux

6 years agoupdate stylesheet to work better on small screens
rekado [Sun, 21 Sep 2014 09:25:19 +0000 (11:25 +0200)] 
update stylesheet to work better on small screens

6 years agoupdate Libertree project info
rekado [Tue, 5 Aug 2014 20:43:44 +0000 (22:43 +0200)] 
update Libertree project info

6 years agoupdate deploy command
rekado [Tue, 5 Aug 2014 20:33:15 +0000 (22:33 +0200)] 
update deploy command

6 years agoadd forgotten old post
rekado [Tue, 5 Aug 2014 20:32:46 +0000 (22:32 +0200)] 
add forgotten old post

6 years agonew post: wavedrum connectors
rekado [Tue, 5 Aug 2014 20:30:27 +0000 (22:30 +0200)] 
new post: wavedrum connectors

6 years agoremove invalid links to youtube/vimeo/flickr
rekado [Thu, 21 Nov 2013 03:59:25 +0000 (11:59 +0800)] 
remove invalid links to youtube/vimeo/flickr

6 years agoadd note about larger SD HC cards
rekado [Wed, 4 Dec 2013 14:11:43 +0000 (22:11 +0800)] 
add note about larger SD HC cards

6 years agoadd public key
rekado [Wed, 4 Dec 2013 14:05:52 +0000 (22:05 +0800)] 
add public key

6 years agowavedrum firmware is exactly 1MB
rekado [Wed, 13 Nov 2013 00:17:01 +0000 (08:17 +0800)] 
wavedrum firmware is exactly 1MB

7 years agonew post
rekado [Thu, 31 Oct 2013 14:47:34 +0000 (22:47 +0800)] 
new post

7 years agocorrect error: WD2_PROG.BOR instead of PROG.BOR
rekado [Thu, 31 Oct 2013 14:45:44 +0000 (22:45 +0800)] 
correct error: WD2_PROG.BOR instead of PROG.BOR

7 years agorender tags on archive page
rekado [Thu, 31 Oct 2013 14:45:04 +0000 (22:45 +0800)] 
render tags on archive page

7 years agoadd comments
rekado [Sun, 27 Oct 2013 01:51:08 +0000 (09:51 +0800)] 
add comments

7 years agoremove commented code
rekado [Sun, 27 Oct 2013 01:43:59 +0000 (09:43 +0800)] 
remove commented code

7 years agonicer code layout
rekado [Sun, 27 Oct 2013 01:43:04 +0000 (09:43 +0800)] 
nicer code layout

7 years agoreplace mappend with <>
rekado [Sun, 27 Oct 2013 01:42:12 +0000 (09:42 +0800)] 
replace mappend with <>

7 years agohandle tags
rekado [Sun, 27 Oct 2013 01:41:03 +0000 (09:41 +0800)] 
handle tags

7 years agopass pattern to postList
rekado [Sun, 27 Oct 2013 01:40:18 +0000 (09:40 +0800)] 
pass pattern to postList

7 years agovariable title for archive template
rekado [Sun, 27 Oct 2013 01:39:40 +0000 (09:39 +0800)] 
variable title for archive template

7 years agonew post
rekado [Sat, 26 Oct 2013 15:18:51 +0000 (23:18 +0800)] 
new post

7 years agouse smart punctuation
rekado [Sat, 26 Oct 2013 15:18:26 +0000 (23:18 +0800)] 
use smart punctuation

7 years agomake it easier to load multiple markdown extensions
rekado [Sat, 26 Oct 2013 15:14:37 +0000 (23:14 +0800)] 
make it easier to load multiple markdown extensions

7 years agoOpenID delegation
rekado [Sat, 26 Oct 2013 15:14:06 +0000 (23:14 +0800)] 
OpenID delegation

7 years agocorrection: random, not urandom
rekado [Tue, 1 Oct 2013 15:43:03 +0000 (23:43 +0800)] 
correction: random, not urandom

7 years agofix syntax error
rekado [Tue, 1 Oct 2013 15:25:43 +0000 (23:25 +0800)] 
fix syntax error

7 years agonew post: dm-crypt tutorial
rekado [Tue, 1 Oct 2013 15:23:18 +0000 (23:23 +0800)] 
new post: dm-crypt tutorial

7 years agoadd Atom and RSS feeds
rekado [Fri, 20 Sep 2013 07:46:27 +0000 (15:46 +0800)] 
add Atom and RSS feeds

7 years agoadd GNU30 section
rekado [Fri, 20 Sep 2013 03:15:02 +0000 (11:15 +0800)] 
add GNU30 section

7 years agounfloat
rekado [Fri, 20 Sep 2013 03:14:48 +0000 (11:14 +0800)] 
unfloat

7 years agowavedrum: clarify loop header info
rekado [Tue, 20 Aug 2013 14:18:51 +0000 (22:18 +0800)] 
wavedrum: clarify loop header info

7 years agowavedrum: 44.1 to 48kHz
rekado [Tue, 20 Aug 2013 14:18:16 +0000 (22:18 +0800)] 
wavedrum: 44.1 to 48kHz

7 years agowavedrum: link to parser/builder code
rekado [Tue, 20 Aug 2013 14:17:36 +0000 (22:17 +0800)] 
wavedrum: link to parser/builder code

7 years agofix table format
rekado [Sat, 17 Aug 2013 08:57:12 +0000 (16:57 +0800)] 
fix table format

7 years agonew style for tables
rekado [Sat, 17 Aug 2013 08:56:40 +0000 (16:56 +0800)] 
new style for tables

7 years agoactivate pipe tables extension
rekado [Sat, 17 Aug 2013 08:56:14 +0000 (16:56 +0800)] 
activate pipe tables extension

7 years agorefactor snippets
rekado [Sat, 17 Aug 2013 07:50:08 +0000 (15:50 +0800)] 
refactor snippets

7 years agowavedrum: even more about loop headers
rekado [Wed, 14 Aug 2013 15:36:48 +0000 (23:36 +0800)] 
wavedrum: even more about loop headers

7 years agowavedrum: update section on loops
rekado [Wed, 14 Aug 2013 13:38:58 +0000 (21:38 +0800)] 
wavedrum: update section on loops

7 years agoadd style definitions for latest post
rekado [Wed, 14 Aug 2013 10:54:12 +0000 (18:54 +0800)] 
add style definitions for latest post

7 years agonew post: hacking the wavedrum
rekado [Wed, 14 Aug 2013 10:53:47 +0000 (18:53 +0800)] 
new post: hacking the wavedrum

7 years agocopy images in /images/posts/*/
rekado [Wed, 14 Aug 2013 10:52:32 +0000 (18:52 +0800)] 
copy images in /images/posts/*/

7 years agoupdate to Hakyll 4.2
rekado [Mon, 27 May 2013 09:55:56 +0000 (17:55 +0800)] 
update to Hakyll 4.2

7 years agonew post
rekado [Thu, 23 May 2013 23:07:21 +0000 (07:07 +0800)] 
new post

7 years agonew blog post
rekado [Tue, 29 Jan 2013 14:16:33 +0000 (22:16 +0800)] 
new blog post

7 years agologo links to document root
rekado [Tue, 29 Jan 2013 14:16:08 +0000 (22:16 +0800)] 
logo links to document root

7 years agocreate "index.html" instead of matching it
rekado [Thu, 24 Jan 2013 09:56:09 +0000 (17:56 +0800)] 
create "index.html" instead of matching it

7 years agoadd values for alt attribute
rekado [Thu, 24 Jan 2013 09:52:09 +0000 (17:52 +0800)] 
add values for alt attribute

7 years agochange doctype to XHTML+RDFa (used for licenses)
rekado [Thu, 24 Jan 2013 09:51:39 +0000 (17:51 +0800)] 
change doctype to XHTML+RDFa (used for licenses)

7 years agoremove invalid target attribute
rekado [Thu, 24 Jan 2013 09:51:20 +0000 (17:51 +0800)] 
remove invalid target attribute

7 years agoremove invalid noscript tag
rekado [Thu, 24 Jan 2013 09:51:10 +0000 (17:51 +0800)] 
remove invalid noscript tag

7 years agoreplace license tag with div.license
rekado [Thu, 24 Jan 2013 09:22:15 +0000 (17:22 +0800)] 
replace license tag with div.license

7 years agoadd alt attribute to logo
rekado [Thu, 24 Jan 2013 09:21:57 +0000 (17:21 +0800)] 
add alt attribute to logo

7 years agoadd type attribute to script tag
rekado [Thu, 24 Jan 2013 09:18:09 +0000 (17:18 +0800)] 
add type attribute to script tag

7 years agouse Hakyll instead of middleman
rekado [Thu, 24 Jan 2013 09:05:17 +0000 (17:05 +0800)] 
use Hakyll instead of middleman