fabriceleal

#include <SWI-Prolog.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <locale.h>

// https://github.com/SWI-Prolog/swipl-devel/issues/1093

int ac = 0;
char *av[10];

fabriceleal

# http://fstar-lang.org/tutorial/book/under_the_hood/uth_smt.html#designing-a-library-with-smt-patterns
from z3 import *

Fuel = Datatype('Fuel')
Fuel.declare('ZFuel')
Fuel.declare('SFuel', ('pred', Fuel))
Fuel = Fuel.create()
ZFuel = Fuel.ZFuel
SFuel = Fuel.SFuel

fabriceleal

 git gc --aggressive
 git gc --prune=now

fabriceleal

autoreconf -i
autoconf
./configure
make

fabriceleal

gcc -E -P some.h > some.prep.h

fabriceleal

# From:
# http://stackoverflow.com/questions/17475587/setup-mod-proxy-on-apache-http-server
# http://www.forums.serverwatch.com/showthread.php?16887-mod_proxy-problem
# http://serverfault.com/questions/242650/setting-up-a-basic-mod-proxy-virtual-host
# http://stackoverflow.com/questions/14775248/apache-http-proxy-based-on-hostname
# http://stackoverflow.com/questions/1997001/setting-up-a-basic-web-proxy-in-apache
# http://ubuntuforums.org/showthread.php?t=983222
# 

# put on httpdvhosts.conf

fabriceleal

' http://support.microsoft.com/kb/291296/en-us
' http://superuser.com/questions/130592/how-do-you-force-excel-to-quote-all-columns-of-a-csv-file
' - change integer to long indexing
' http://stackoverflow.com/questions/2524703/save-text-file-utf-8-encoded-with-vba
' - output utf8 content

Sub QuoteCommaExport()
    ' Dimension all variables.
    Dim DestFile As String
    Dim FileNum As Integer

fabriceleal

grep -Eir "insert +into +[a-zA-Z0-9_]+ values" *

fabriceleal

find . -type f -size +10000k -exec ls -lh {} \;

fabriceleal

function getParams() {
	var parameters = location.search.substring(1).split('&'); // drop initial '?' and get array of 'key=value'
	var obj = {};
		
	for(var i=0; i < parameters.length; ++i){
		// 0 with the key, 1 with the value
		var keyvalue = parameters[i].split('=');
		
		// this won't work well when we try to pass jsons as parameters. 
		obj[ decodeURIComponent(keyvalue[0]) ] = decodeURIComponent(keyvalue[1]);