Skip to content

Instantly share code, notes, and snippets.

View passy's full-sized avatar
😷
Wear a mask.

Pascal Hartig passy

😷
Wear a mask.
2.2k followers · 78 following
View GitHub Profile
@passy
passy / activity.diff
Created March 14, 2014 11:57
diff --git a/app/src/main/java/com/twitter/university/exify/MainActivity.java b/app/src/main/java/com/twitter/university/exify/MainActivity.java
index 97669fa..c32c7a9 100644
--- a/app/src/main/java/com/twitter/university/exify/MainActivity.java
+++ b/app/src/main/java/com/twitter/university/exify/MainActivity.java
@@ -7,6 +7,7 @@ import android.graphics.Bitmap;
import android.graphics.BitmapFactory;
import android.net.Uri;
import android.os.Bundle;
+import android.provider.MediaStore;
import android.provider.MediaStore.MediaColumns;
@passy
passy / peano.hs
Created March 18, 2014 18:47
module Peano where
data Nat = Zero
| Succ Nat
deriving (Show, Read, Eq)
isZero :: Nat -> Bool
isZero Zero = True
isZero (Succ _) = False
@passy
passy / AboutActivityTest.java
Created March 25, 2014 10:09
package net.rdrei.android.scdl2.test;
import android.content.pm.PackageInfo;
import android.widget.TextView;
import com.google.inject.AbstractModule;
import net.rdrei.android.scdl2.R;
import net.rdrei.android.scdl2.ui.AboutActivity;
@passy
passy / keybase.md
Created March 25, 2014 15:08

I hereby claim:

  • I am passy on github.
  • I am passy (https://keybase.io/passy) on keybase.
  • I have a public key whose fingerprint is C3FE DCD8 0092 2806 F173 B773 515D 9610 18EE A4AF

To claim this, I am signing this object:

{
@passy
passy / AdViewManager.java
Created March 29, 2014 18:03
Options in Java. Probably a terrible idea.
package net.rdrei.android.scdl2.ui;
import android.view.InflateException;
import android.view.View;
import android.view.ViewGroup;
import com.crashlytics.android.Crashlytics;
import com.google.android.gms.ads.AdRequest;
import com.google.android.gms.ads.AdView;
import com.google.inject.Inject;
@passy
passy / polytypes.hs
Last active August 29, 2015 14:01
oh dear
{-# LANGUAGE DataKinds #-}
data ErrorCatA = WTFError String | OMGError String
data ErrorCatB = BadError Int | TerribleError Float
data GenericError = CatA ErrorCatA | CatB ErrorCatB
class GError a where
wrap :: a -> GenericError
instance GError ErrorCatA where
@passy
passy / proguard-android.txt
Created July 1, 2014 10:31
# This is a configuration file for ProGuard.
# http://proguard.sourceforge.net/index.html#manual/usage.html
-dontusemixedcaseclassnames
-dontskipnonpubliclibraryclasses
-verbose
# Optimization is turned off by default. Dex does not like code run
# through the ProGuard optimize and preverify steps (and performs some
# of these optimizations on its own).
@passy
passy / h5bp.js
Last active August 29, 2015 14:04 — forked from sindresorhus/h5bp.js
document.write("<!DOCTYPE html>");
document.write("<!--[if lt IE 7]> <html class=\"no-js lt-ie9 lt-ie8 lt-ie7\"> <![endif]-->");
document.write("<!--[if IE 7]> <html class=\"no-js lt-ie9 lt-ie8\"> <![endif]-->");
document.write("<!--[if IE 8]> <html class=\"no-js lt-ie9\"> <![endif]-->");
document.write("<!--[if gt IE 8]><!--> <html class=\"no-js\"> <!--<![endif]-->");
document.write(" <head>");
document.write(" <meta charset=\"utf-8\">");
document.write(" <meta http-equiv=\"X-UA-Compatible\" content=\"IE=edge,chrome=1\">");
document.write(" <title><\/title>");
document.write(" <meta name=\"description\" content=\"\">");
@passy
passy / renderlatex.hs
Created August 22, 2014 23:37
renderlatex.hs
import Text.LaTeX
main = (execLaTeXT $ document $ raw "Hello \\textbf{World}") >>= renderFile "yo.tex"
@passy
passy / hi.hs
Last active August 29, 2015 14:05
{-# LANGUAGE OverloadedStrings #-}
import Text.LaTeX
main :: IO ()
main =
execLaTeXT simple >>= renderFile "yo.tex"
-- Execute pdflatex
simple :: Monad m => LaTeXT_ m
simple = do