Skip to content

Instantly share code, notes, and snippets.

Shane Creighton-Young srcreigh

Block or report user

Report or block srcreigh

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
@srcreigh
srcreigh / who-needs-latex.txt
Created Jan 14, 2016
notes from my compiler construction course
View who-needs-latex.txt
January 14, 2016
Thursday
COMPILER CONSTRUCTION
1. TOKENS AND KINDS
===================
@srcreigh
srcreigh / wigner.txt
Created Jan 6, 2016
a proof of the concept of custom bullet points for different kinds of notes
View wigner.txt
January 4, 2016
Monday
THE UNREASONABLE EFFECTIVENESS OF MATHEMATICS IN THE NATURAL SCIENCES
by EUGENE WIGNER
HOW DO I INITIALLY FEEL ABOUT THIS
==================================
View thoughts.txt
August 6, 2015
Thursday
THOUGHTS
What, if any, is the value in being wrong? First it must be established what
"wrong" is, in the first place. It is easy to be wrong about "external" things;
things outside of our own mind. "The rock will fall," one could say... and be
wrong when, after throwing it up, finds that it has gotten stuck in a tree. We
View changelogs-to-json.py
from xml.dom import minidom
import json
xmldoc = minidom.parse('changelogs.xml')
items = []
itemsxml = xmldoc.getElementsByTagName('string-array')
versions = itemsxml[0].getElementsByTagName('item')
dates = itemsxml[1].getElementsByTagName('item')
descs = itemsxml[2].getElementsByTagName('item')
View gist:4c3dab6eb802b94e2754
public static final int ITEM_VIEW_TYPE_LARGE = 0;
public static final int ITEM_VIEW_TYPE_SMALL = 1;
@Override
public int getItemViewType(int position) {
if (isCategoryLarge(categories.get(position)) {
return ITEM_VIEW_TYPE_LARGE;
} else {
return ITEM_VIEW_TYPE_SMALL;
View composable ViewPropertyAnimator
package com.hackthenorth.android.util;
import android.animation.Animator;
import android.animation.TimeInterpolator;
import android.animation.ValueAnimator;
import android.annotation.SuppressLint;
import android.view.View;
/**
* "Because, honestly, why isn't android.animation.ViewPropertyAnimator an Animator in
View lol
<?xml version="1.0" encoding="UTF-8"?>
<layer-list xmlns:android="http://schemas.android.com/apk/res/android" android:id="@+id/listview_background_shape" >
<item android:drawable="@drawable/card_background" />
<item>
<shape>
<padding
android:bottom="12dp"
android:left="12dp"
android:top="12dp"
View gist:e80812d0d0e031a748a6
<com.hackthenorth.android.ui.component.TextView
android:id="@+id/title"
android:layout_width="wrap_content"
android:layout_height="wrap_content"
android:layout_marginBottom="16dp"
android:textColor="@color/text_color_primary"
android:fontFamily="sans-serif"
android:textStyle="bold"
android:textSize="18sp"
View gist:9651f643ad0cb7d11c12
Set<WeakReference<TextView>> toRemove = new HashSet<WeakReference<TextView>>();
for (WeakReference<TextView> weakRef : textviews) {
TextView textView = weakRef.get();
if (textView != null) {
// do stuff here
} else {
You can’t perform that action at this time.