Skip to content

Instantly share code, notes, and snippets.

View EtherTyper's full-sized avatar

ELI JOSEPH BRADLEY EtherTyper

  • Private Proxy
View GitHub Profile
@EtherTyper
EtherTyper / main.md
Created July 15, 2021 07:28 — forked from hediet/main.md
Proof that TypeScript's Type System is Turing Complete
type StringBool = "true"|"false";


interface AnyNumber { prev?: any, isZero: StringBool };
interface PositiveNumber { prev: any, isZero: "false" };

type IsZero<TNumber extends AnyNumber> = TNumber["isZero"];
type Next<TNumber extends AnyNumber> = { prev: TNumber, isZero: "false" };
type Prev<TNumber extends PositiveNumber> = TNumber["prev"];
@EtherTyper
EtherTyper / AAAAAA.zip
Created July 15, 2021 07:27 — forked from williambl/AAAAAA.zip
some shader packs for 21w10a
@EtherTyper
EtherTyper / CircularStructures.js
Last active July 28, 2017 19:59 — forked from anonymous/JnYY-0.js
My Circular Structure testing in JavaScript. https://repl.it/JnYY/0
const i = {};
i.i = i;
console.log(i);
function I() {
this.i = this;
}
const functionI = new I();
console.log(functionI);
@EtherTyper
EtherTyper / nosteponcss.js
Created May 8, 2017 12:01 — forked from notjuliee/nosteponcss.js
No step on CSS
// ==UserScript==
// @name RedaddCSS
// @namespace com.digitalfishfun.nosteponcss
// @version 1
// @grant none
// @include https://reddit.com/r/*
// ==/UserScript==
const nosteponcss_instructions = `
USAGE:
# data from http://ec.europa.eu/eurostat/web/gisco/geodata/reference-data/population-distribution-demography/geostat
# Originally seen at http://spatial.ly/2014/08/population-lines/
library(tidyverse)
read_csv('../data/geostat-2011/GEOSTAT_grid_POP_1K_2011_V2_0_1.csv') %>%
rbind(read_csv('../data/geostat-2011/JRC-GHSL_AIT-grid-POP_1K_2011.csv') %>%
mutate(TOT_P_CON_DT='')) %>%
mutate(lat = as.numeric(gsub('.*N([0-9]+)[EW].*', '\\1', GRD_ID))/100,
lng = as.numeric(gsub('.*[EW]([0-9]+)', '\\1', GRD_ID)) * ifelse(gsub('.*([EW]).*', '\\1', GRD_ID) == 'W', -1, 1) / 100) %>%
@EtherTyper
EtherTyper / git-logv.sh
Created March 9, 2017 23:07 — forked from AnimatorJoe/git-logv.sh
`git logv` command, by @EtherTyper
git config --global alias.logv "log --graph --pretty=format:\"%h \\"%s\\" by %an <%ae>\" --all"
title
GitHub Terms of Service

Thank you for using GitHub! We're happy you're here. Please read this Terms of Service agreement carefully before accessing or using GitHub. Because it is such an important contract between us and our users, we have tried to make it as clear as possible. For your convenience, we have presented these terms in a short non-binding summary followed by the full legal terms.

Summary

Section What can you find there?
<?xml version="1.0" encoding="utf-8"?>
<android.support.design.widget.CoordinatorLayout xmlns:android="http://schemas.android.com/apk/res/android"
xmlns:app="http://schemas.android.com/apk/res-auto"
xmlns:tools="http://schemas.android.com/tools"
android:layout_width="match_parent"
android:layout_height="match_parent"
tools:context="com.ethertyper.example.MainActivity">
<android.support.design.widget.AppBarLayout
android:layout_width="match_parent"
@EtherTyper
EtherTyper / multisig.js
Created March 24, 2016 18:33 — forked from anonymous/Untitled
Multisig wallet, very useless
contract multisig{
struct tx{
address to;
uint amount;
mapping (address => bool) approved;
}
uint nextId=0;
mapping (uint => tx) txBook;
address[] owners;
function multisig(address[] _owners){
contract ForumSite{
struct message{
string title;
string content;
int replyTo;
uint8[3] replies;
}
mapping (uint=>message) chain;
uint pos;
function ForumSite(string title_, string message_){