[ ] Night Hound ()
[/] Swiftblade ()
[ ] Moon Queen ()
[ ] Wildsoul ()
[ ] Zephyr ()
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/sh | |
####### | |
# 2010 Michael Morgan | |
# | |
# .profile | |
# Startup script for sh. | |
# | |
# I aim to keep the instructions in this file is compatible with the | |
# original Bourne shell. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
//Which is more understandable, assuming you're not familiar with any JavaScript APIs? | |
//jQuery | |
$("<li/>").text("hello, world").appendTo($("<ul/>")).parent().appendTo(document.body); | |
//plain old JavaScript | |
var li = document.createElement("li"); | |
li.appendChild(document.createTextNode("hello, world")); | |
var ul = document.createElement("ul"); | |
ul.appendChild(li); |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
w=t>>9, | |
k=32, | |
m=2048, | |
a=1-t/m%1, | |
d=(14*t*t^t)%m*a, | |
y=[3,3,4.7,2][p=w/k&3]*t/4, | |
h="IQNNNN!!]]!Q!IW]WQNN??!!W]WQNNN?".charCodeAt(w/2&15|p/3<<4)/33*t-t, | |
s=y*.98%80+y%80+ | |
(w>>7&&a*((5*t%m*a&128)*(0x53232323>>w/4&1)+(d&127)*(0xa444c444>>w/4&1)*1.5+(d*w&1)+(h%k+h*1.99%k+h*.49%k+h*.97%k-64)*(4-a-a))), | |
s*s>>14?127:s |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<script src="http://ajax.googleapis.com/ajax/libs/jquery/1.3.2/jquery.js" type="text/javascript"></script> | |
<script type="text/javascript"> | |
$(document).ready(function(){ | |
var micropostIds = [<%= @microposts.map {|micropost| micropost.id }.join(',') %>]; | |
$.each(micropostIds, function (index, value) { | |
$(".slidingDiv" + value).hide(); | |
$(".show_hide" + value).show().click(function () { | |
$(".slidingDiv" + value).slideToggle(); | |
}); | |
}); |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
def int_to_tuple(num, base=4): | |
result = ((),) * (num % base) | |
if num >= base: | |
result = (int_to_tuple(num // base, base),) + result | |
return result | |
def tuple_to_int(tup, base=4): | |
if len(tup) == 0: | |
return 0 | |
return tuple_to_int(tup[0], base)*base + tup.count(()) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
arrays = arrays.map(sort); // sort each sub-array | |
arrays = arrays.sort(function (ary) { return ary.length; }); // sort arrays by length, shortest will be first | |
var indexes = []; | |
for (i = 0; i < arrays.length; i++) { | |
indexes[i] = 0; | |
} | |
var result = []; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
using System; | |
using System.Collections.Generic; | |
using System.ComponentModel.DataAnnotations; | |
using System.ComponentModel.DataAnnotations.Schema; | |
using System.Data.Entity; | |
using System.Linq; | |
using System.Linq.Expressions; | |
using System.Reflection; | |
namespace CalculatedProperties |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Idris> :consolewidth infinite | |
Idris> :type replace | |
replace : {a : Type} -> {x : a} -> {y : a} -> {P : a -> Type} -> ((=) {A = a} {B = a} x y) -> P x -> P y | |
Idris> :type ({a : Type} -> {x, y : a} -> {P : a -> Type} -> x = y -> P x -> P y) | |
{a : Type} -> {x : a} -> {y : a} -> {P : a -> Type} -> ((=) {A = a} {B = a} x y) -> P x -> P y : Type | |
Idris> :search ({a : Type} -> {x, y : a} -> {P : a -> Type} -> x = y -> P x -> P y) | |
No results found | |
Idris> |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module Triv | |
import Data.Vect | |
%default total | |
triv : {x : a} -> a | |
triv {x} = x | |
oneTwoThree : (n ** Vect n Nat) |
OlderNewer