Categorize tmsr posts
authorLucian Mogosanu <lucian.mogosanu@gmail.com>
Fri, 30 Nov 2018 13:32:21 +0000 (15:32 +0200)
committerLucian Mogosanu <lucian.mogosanu@gmail.com>
Fri, 30 Nov 2018 13:32:21 +0000 (15:32 +0200)
posts/y04/069-on-intellectual-ownership.markdown
posts/y04/06a-ffa-ch4-puzzle.markdown
posts/y04/06c-ffa-egypt-proof.markdown
posts/y04/072-trilemabot-i.markdown
posts/y04/074-adalisp-prototype.markdown
posts/y04/075-adalisp-prototype-ii.markdown
posts/y04/076-shithub-2018-06.markdown
posts/y05/078-trilemabot-ii.markdown

index 638473a..4d1ae1e 100644 (file)
@@ -3,7 +3,7 @@ postid: 069
 title: On intellectual ownership
 date: January 15, 2018
 author: Lucian Mogoșanu
-tags: cogitatio
+tags: cogitatio, tmsr
 ---
 
 Recently -- while I was busy getting out of
index 1060995..7cd5ff6 100644 (file)
@@ -3,7 +3,7 @@ postid: 06a
 title: A solution to the largest-of-seven FFACalc puzzle
 date: January 19, 2018
 author: Lucian Mogoșanu
-tags: tech
+tags: tech, tmsr
 ---
 
 The solution itself is short and quite straightforward, so I'm not sure
index 1ab4ab7..c16fb17 100644 (file)
@@ -3,7 +3,7 @@ postid: 06c
 title: Egyptian div and mul "work": a correctness proof for the arithmetic operations in FFA Chapter 5
 date: February 23, 2018
 author: Lucian Mogoșanu
-tags: math
+tags: math, tmsr
 ---
 
 In the [fifth chapter][ffa-ch5] of the [FFA][ffa] series, Stanislav
index d32f006..0443f9d 100644 (file)
@@ -3,7 +3,7 @@ postid: 072
 title: trilemabot [i]: introduction and self-voicing patch proposal
 date: June 5, 2018
 author: Lucian Mogoșanu
-tags: tech
+tags: tech, tmsr
 ---
 
 First, the rationale and scope definition. In an ideal, purely platonic
index 2d6a067..a5b7f91 100644 (file)
@@ -3,7 +3,7 @@ postid: 074
 title: An early Lisp scriptlang prototype in Ada
 date: June 24, 2018
 author: Lucian Mogoșanu
-tags: tech
+tags: tech, tmsr
 ---
 
 This document describes the result of my attempts at implementing a Lisp
index 5404a0c..a046b5b 100644 (file)
@@ -3,7 +3,7 @@ postid: 075
 title: The return of the lost son of the father of adalisp, now in a genesis
 date: July 2, 2018
 author: Lucian Mogoșanu
-tags: tech
+tags: tech, tmsr
 ---
 
 [Prelude][logs-discussion]:
index eae1e2f..b3c3ac4 100644 (file)
@@ -3,7 +3,7 @@ postid: 076
 title: May-June 2018 Shithub SSH key harvest, data and preliminary analysis
 date: July 7, 2018
 author: Lucian Mogoșanu
-tags: tech
+tags: tech, tmsr
 ---
 
 As you may know if you'be been following the logs of The Most Serene
index 2b003cc..ba70439 100644 (file)
@@ -3,7 +3,7 @@ postid: 078
 title: trilemabot [ii]: prefixed commands
 date: July 27, 2018
 author: Lucian Mogoșanu
-tags: tech
+tags: tech, tmsr
 ---
 
 Following up on the [previous part][trilemabot-i] of this series, the