Skip to content

Instantly share code, notes, and snippets.

@worldsayshi
worldsayshi / mergeRepos.md
Last active December 25, 2015 04:09
How to merge git repos into a parent repo while maintaining history and using only "conventional git commands"

How to merge git repos with history with conventional git commands only

Clone what is to become child projects

git clone git:path/to/repo1
git clone git:path/to/repo2

Move repo contents one level down. By default this should not move hidden files. We don't want to move the .git folder so that is good.

@worldsayshi
worldsayshi / headlines.md
Last active December 12, 2015 01:38
Headlines for master thesis

Preface

  • Abstract
  • Background/Introduction

Prototype summary

  • Pluggable facet filters
  • Grouping algorithm
  • (Solr configuration)

This is my gist
@worldsayshi
worldsayshi / GroupingAlgorithm.pseudo
Created December 14, 2012 16:43
Algorithm for ranking and grouping properties of a set of ranked articles.
Grouping Algorithm ('ranked articles') =
'input groups' : [{'Property Names'}] <- trivially preprocess 'ranked articles'
'set of all graphs' <- 'Identify separate graphs' using 'input groups'
groups : {Group} <- empty
for each graph in 'set of all graphs'
'spanning tree' <- 'Find minimal spanning tree' of graph
groups += 'Split spanning tree' 'spanning tree' into groups
groups <- merge groups smaller than (g_min : Int)
'ranked groups' <- rank groups by average scoring
return 'ranked groups'
@worldsayshi
worldsayshi / fiddle.html
Created December 13, 2012 17:44
Source to Dom mapping: Combinator utilities for creating a callback that inserts elements into the DOM tree once a long running data retrieval operation is done.
<!DOCTYPE html PUBLIC "-//IETF//DTD HTML 2.0//EN">
<HTML>
<HEAD>
<TITLE>
Datasource to DOM mapping
</TITLE>
</HEAD>
<BODY>
<b>A list of stuff:</b>
<ul id="dest"></ul>