Skip to content

Instantly share code, notes, and snippets.

➜ advent stack new day18 --verbose
Version 1.7.1, Git revision 681c800873816c022739ca7ed14755e85a579565 (5807 commits) x86_64 hpack-0.28.2
2018-10-08 15:22:39.668177: [debug] Opening local template: "new-template.hsfiles"
@(src/Stack/New.hs:147:9)
2018-10-08 15:22:39.670338: [info] Downloading template "new-template" to create project "day18" in day18/ ...
@(src/Stack/New.hs:108:9)
2018-10-08 15:22:39.670420: [debug] Downloading /commercialhaskell/stack-templates/master/new-template.hsfiles
@(src/Network/HTTP/Download.hs:72:5)
2018-10-08 15:22:40.148955: [debug] Opening local template: "/Users/Wes/.stack/templates/new-template.hsfiles"
@(src/Stack/New.hs:147:9)
@FayeAlephNil
FayeAlephNil / p(x)
Last active March 6, 2016 00:38
P(X) Ring
P(X) is a ring
with symmetrical diff as addition (0 = {}) (edited)
and intersection as multiplication (1 = X)
@FayeAlephNil
FayeAlephNil / keybase.md
Created November 20, 2015 22:42
keybase.md

Keybase proof

I hereby claim:

  • I am strikingwolf on github.
  • I am strikingwolf (https://keybase.io/strikingwolf) on keybase.
  • I have a public key ASBy7OT05WrtMO26d0EMwgCOCHQy2KDkrzDNrxcoF2jKkQo

To claim this, I am signing this object:

@FayeAlephNil
FayeAlephNil / main.rb
Last active October 19, 2015 01:32
Ideas about binding.of_caller
require 'binding_of_caller'
module A
refine String do
def plusmeow
self + 'meow'
end
def test_method
make(self, 'p a; p b; p c; p this.plusmeow', :b, :c)
end
end
@FayeAlephNil
FayeAlephNil / idea.md
Last active January 20, 2016 05:43
Discrete time

Core

Because we know the highest speed (speed of light), the smallest length (Planck Length), and that time = distance/speed we can compute the smallest time, the Planck time

Thus we can extrapolate that life occurs in snapshots separated by very small periods of time. This could then mean that continuity is a construct of the human mind. This is just as how in video we are shown images quickly and our mind creates the continuity between them.

Implications/Explanations

There are many interesting implications and explantions that can be made from this conclusion.

@FayeAlephNil
FayeAlephNil / idea.md
Last active January 20, 2016 05:44
Word Web Idea

Core

Graph of words and their relations to each other, represented by arrows that are either unidirectional or bidirectional. If a relation was drawn between one word and another then the other word would be treated as a new starting point; this is recursive

For example, if the definition of word A contains words B, C, and D then A would have arrows to B, C, and D and then the same process would be applied to B, C, and D

Users of the web app would be able to select which types of relations to use and whether or not to use a set of words and only draw relations between those words or to start with a set of words and keep expanding from that

For the first option refer to the first example, for the second option if word A contains words B, C, and D and you started with {A, B, C} then arrows would only be drawn from A to B and C and the process would then be applied to B and C.

@FayeAlephNil
FayeAlephNil / ideas.md
Last active August 29, 2015 14:28
Designer

Core features

These are the essential features of the designer

Objects

Drag and drop HTML elements called Objects. These will usually be styled or have styling options. They should also be stylable by importing an image of what it should look like as a whole, along with specifying regions for input and the like

There should also be a way to look at the html/css of any Object and edit it

@FayeAlephNil
FayeAlephNil / General.md
Last active August 29, 2015 14:13
My FTB forums signature