This file contains 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
db.messages.update({}, {$unset : { updated_at : 1 }}, false, true) | |
db.messages.update({}, {$unset : { room : 1 }}, false, true) | |
db.messages.update({}, {$rename : { "user._id" : "user_id" }}, false, true) | |
db.messages.update({}, {$unset : { user : 1 }}, false, true) | |
db.messages.dropIndex({created_at:-1}) | |
db.repairDatabase() |
This file contains 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
/*! | |
AsakusaSatellite Unread Counter | |
*/ | |
function load_Tinycon(){ | |
/*! | |
Tinycon - A small library for manipulating the Favicon | |
Tom Moor, http://tommoor.com | |
Copyright (c) 2012 Tom Moor | |
MIT Licensed |
This file contains 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
@charset "UTF-8"; | |
body { | |
background-color: #fafafa; | |
color: #333333; } | |
.header { | |
height: 70px; | |
margin: 15px; | |
margin-bottom: 40px; | |
border-bottom: 1px solid #cccccc; } |
This file contains 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
body { | |
background-image: url(bedge_grunge.png); | |
color: #333333; } | |
.header { | |
height: 70px; | |
margin: 15px; | |
margin-bottom: 40px; | |
border-bottom: 1px solid #cccccc; } | |
.header > a { |
This file contains 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
(function(){ | |
if (location.pathname.indexOf("/chat/room") == 0) { | |
var message = $("#message").css({ | |
"-webkit-transition" : "height 0.3s ease-in-out", | |
"-webkit-transition" : "width 0.3s ease-in-out", | |
"transition" : "height 0.3s ease-in-out", | |
"transition" : "width 0.3s ease-in-out", | |
}); | |
var defaultStyle = { |
This file contains 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 test where | |
data _≡_ {A} : A → A → Set where | |
refl : {a : A} → a ≡ a | |
cong : ∀ {A B} {a₁ a₂ : A} → (f : A → B) → (a₁ ≡ a₂) → f a₁ ≡ f a₂ | |
cong _ refl = refl | |
sym : ∀ {A} {a₁ a₂ : A} → a₁ ≡ a₂ → a₂ ≡ a₁ | |
sym refl = refl |
This file contains 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
Host repo-a-shortname github.com | |
Hostname github.com | |
IdentityFile /home/deployme/.ssh/repo-a-rsa | |
#User username-on-remote-machine | |
Host repo-b-shortname github.com | |
Hostname github.com | |
IdentityFile /home/deployme/.ssh/repo-b-rsa | |
#User username-on-remote-machine |
This file contains 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
@str = internal constant [4 x i8] c"%d\0a\00" | |
declare i32 @printf(i8*, ...) | |
define i32 @factor(i32 %n) { | |
head: | |
%cast_message = getelementptr [4 x i8]* @str, i32 0, i32 0 | |
%i = alloca i32 | |
store i32 2, i32* %i | |
br label %loop |
This file contains 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
var fs = require('fs'); | |
var Bitmap = require('node-bitmap'); | |
var PNG = require('pngjs').PNG; | |
var filepath = "/Users/shimo/tmp/1.bmp"; | |
var stat = fs.statSync(filepath); | |
var buf = new Buffer(stat.size); | |
var fd = fs.openSync("/Users/shimo/tmp/1.bmp", "r"); | |
fs.readSync(fd, buf, 0, stat.size); |
This file contains 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
;; 関数の名前空間に定義 | |
(defun f (x y) (+ x y)) | |
(f 1 2) | |
(funcall #'f 1 2) | |
;; 変数の名前空間に定義 | |
(defvar g (lambda (x y) (+ x y))) | |
(funcall g 1 2) |
OlderNewer