Skip to content

Instantly share code, notes, and snippets.

View micrypt's full-sized avatar

Seyi Ogunyemi micrypt

View GitHub Profile
#!/bin/sh
echo "assumes java 7 is installed (OpenJDK version)"
#pre dependencies
sudo apt-get install git-core pkg-config libtool automake make g++ connect-proxy unzip python
export JAVA_HOME=/usr/lib/jvm/java-7-openjdk-amd64
#install zeromq
git clone git clone git://github.com/zeromq/libzmq.git
@micrypt
micrypt / Cocoa.md
Created February 24, 2012 01:33 — forked from HedgeMage/Cocoa.md
HedgeMage's famous low-carb hot cocoa recipe

Saucepan directions (preferred)

Ingredients:

  • 10oz. heavy whipping cream
  • 1 tbsp. dutch-processed cocoa powder (if this comes out too strong for you, try regular cocoa powder instead, or adjust the amount)
  • 1/2 tsp. vanilla extract
  • Water
  • Honey
  • add-in of choice (I like to top with whipped cream)
@micrypt
micrypt / xkcd-downloader.hs
Created February 21, 2012 23:24
Download xkcd comics using STM
{-# Language PackageImports #-}
module Main where
import Control.Monad (liftM, forM_, replicateM_)
import Control.Concurrent (forkIO)
import Control.Concurrent.STM
import "mtl" Control.Monad.Error
import Control.Applicative
import Control.Exception
import qualified Network.Stream as Stream (Result)
@micrypt
micrypt / dabblet.css
Created January 24, 2012 11:56 — forked from daneden/dabblet.css
Light loader
/**
* Light loader
*/
* {
margin: 0;
padding: 0;
}
html {
@micrypt
micrypt / twitter-user-stylesheet.css
Created December 22, 2011 17:16 — forked from adactio/twitter-user-stylesheet.css
CSS rules to hide "Discover", "Trending Topics", "Who To Follow" and specific people on new new Twitter.
[data-component-term="trends"] *,
[data-component-term="user_recommendations"] *,
[data-component-term="discover_nav"] *,
[data-screen-name="username"] * {
display: none !important;
}
@micrypt
micrypt / gist:1034187
Created June 19, 2011 12:00 — forked from ikennaokpala/gist:1034085
DATE AND TIME FORMAT CODES
DATE AND TIME FORMAT CODES
%a Abbreviated weekday name
%A Full weekday name
%b Abbreviated month name
%B Full month name
%c Date and time representation for your locale
%d Day of month as a decimal number (01-31)
%H Hour in 24-hour format (00-23)
%I Hour in 12-hour format (01-12)
#include <string.h>
#include <stdio.h>
#include "handler.h"
void handle_request(int sockfd, const char *request)
{
char *res = "HTTP 200 OK\r\n\r\n";
char file_buf[1024];
char url[1024];
from django.conf import settings
from django.utils.translation import string_concat, ugettext_lazy
from django.utils.html import strip_tags
from haystack import indexes, site
from cms.models.managers import PageManager
from cms.models.pagemodel import Page
from cms.models.pluginmodel import CMSPlugin
set defsearch=yubnub
map <M-w> <Esc>:q<CR>
map <M-t> <Esc>:to<CR>
map <M-]> <Esc>:tn<CR>
map <M-[> <Esc>:tp<CR>
command newpad :to http://typewith.me/ep/pad/newpad
"map gd gT
map gj gt
map gk gT
map gmj <Esc>:tabmove! +1<CR>