This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
const IDENTICA_STATUS_MAXLEN = 140; | |
var noun_type_identica_user = { | |
label: "user", | |
rankLast: true, | |
noExternalCalls: true, | |
suggest: function nt_idcauser_suggest(text, html, cb, selected) { | |
// reject text from selection. | |
if (!text || selected) | |
return []; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env python | |
#disclaimer: this code as a SAT solver is pure crap. Don't waste your time. | |
#prettify http://stackoverflow.com/questions/1151658/python-hashable-dicts | |
class hashdict(dict): | |
def __hash__(self): | |
return hash(tuple(sorted(self.items()))) | |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module HeuristicBacktrac (backtracking) where | |
import List | |
hbacktracking:: | |
(partialSolution -> partialSolution -> Ordering) -- heuristic, A* like | |
-> (partialSolution -> Bool) -- isFinalSolution? | |
-> (partialSolution -> solution) -- convert | |
-> (partialSolution -> [partialSolution]) -- next | |
-> (partialSolution -> Bool) -- isValid? | |
-> [partialSolution] -- Estado inicial |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env python | |
import datetime | |
import sys | |
weekday = 3 #3 = Thursday, change it if you will, Monday == 0 | |
def englishMonth(n): #this has to be defined somewhere, but I cannot find it now | |
l = ['January', 'February', 'March', 'April', 'May', 'June', 'July', | |
'August', 'September', 'October', 'November', 'December'] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> . | |
@prefix owl: <http://www.w3.org/2002/07/owl#> . | |
@prefix : <http://github.com/jmora/ontologies/Hospital.owl#> . | |
@prefix xml: <http://www.w3.org/XML/1998/namespace> . | |
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . | |
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . | |
@prefix skos: <http://www.w3.org/2004/02/skos/core#> . | |
@base <http://github.com/jmora/ontologies/Hospital.owl> . | |
<http://github.com/jmora/ontologies/Hospital.owl> rdf:type owl:Ontology . |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/python3 | |
import re, sys | |
if __name__ == "__main__": | |
c = {} | |
with open(sys.argv[1], "r") as f: | |
for l in f: | |
for e in re.findall("\w+", l): | |
c[e] = c.get(e, 0) + 1 | |
for e in sorted(c.items(), key=lambda i:i[1], reverse=True): |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
author('@j_mora'). | |
:- use_package(clpq). | |
numbers([1,2,3,4,5,6,7,8,9]). | |
myMember(E, [E|Ls], Ls). | |
myMember(E, [L|Ls], [L|Rs]):- myMember(E, Ls, Rs). | |
sudoku(X):- numbers(Ns), squares(X), columns(X), rows(X, Ns). |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<!DOCTYPE html> | |
<html> | |
<head> | |
<style type="text/css"> | |
table {border-collapse: collapse; border: 1px solid #000;} | |
</style> | |
<script> | |
var counter = { | |
texts: ['0', '15', '30', '40'], | |
specials: ['40, pierde', '40', 'deuce', 'ventaja', 'gana'], |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
\documentclass{article} | |
\usepackage{graphicx} | |
\usepackage[margin=-0.01cm]{geometry} | |
\begin{document} | |
\includegraphics{image_1} | |
\includegraphics{image_2} | |
% ... | |
\includegraphics{image_n} | |
\end{document} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
\documentclass[xcolor={x11names, table},table,compress,10pt]{beamer} | |
\usepackage{varwidth, graphicx, tikz, palatino} | |
\usetikzlibrary{arrows,shapes.geometric,positioning} | |
\definecolor{oegred}{RGB}{153,0,0} | |
\definecolor{oegblu}{RGB}{0,0,153} | |
% http://tex.stackexchange.com/questions/103688/folded-paper-shape-tikz | |
\makeatletter |
OlderNewer