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 · 79 following
View GitHub Profile
@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 / 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 / bt.log
Created June 1, 2014 21:11
23:13:46, 12 Apr. ( 403.840000) Admin login successful by 192.168.1.116 on HTTP
23:13:07, 12 Apr. ( 364.990000) DSL is down after 0 minutes uptime
23:13:07, 12 Apr. ( 364.990000) ETHoA is down after 0 minutes uptime
23:13:06, 12 Apr. ( 364.170000) ETHoA is up -​ VPI: 0, VCI:35
23:13:06, 12 Apr. ( 364.170000) DSL is up
23:13:04, 12 Apr. ( 362.760000) DSL noise margin: 0.00 dB upstream, 0.00 dB downstream
23:13:04, 12 Apr. ( 362.740000) DSL line rate: 0 Kbps upstream, 5335 Kbps downstream
23:12:44, 12 Apr. ( 342.690000) CWMP: session closed due to error: Could not resolve host
23:12:44, 12 Apr. ( 342.670000) CWMP: Server URL: https://pbthdm.bt.mo; Connecting as user: ACS username
23:12:44, 12 Apr. ( 342.660000) CWMP: Session start now. Event code(s): '4 VALUE CHANGE'
@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 / 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 / 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 / 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 / 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 / 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 / gist:8652275
Last active January 4, 2016 17:09 — forked from ahume/gist:8648977
// What about this as a compromise?
function test() {
page.loadAndWaitForSignInUi()
.then(page.setViewportSize.bind(page, 1300, 500);
.then(page.patchStreamScribe.bind(page))
.then(page.login.bind(page, account.creds));
}