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
Strg Alt Shift Key Function | |
x Einf Generate/Insert dialog | |
x x ENTER Statements completion like blocks and brackets | |
x x T Surrond codeblock with… | |
x W Select succesively increasing code blocks | |
x F11 bookmarks and mark the line with selected key | |
x F11 invokes a list of bookmarks. Pressing a key takes to associated bookmark. | |
x x Backspace go to most recent code edit. Hit again to go even further back. | |
x E recent opened files | |
x x E recent edited files |
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
package main | |
import ( | |
"encoding/json" | |
"fmt" | |
"github.com/gorilla/sessions" | |
"io/ioutil" | |
"log" | |
"net/http" | |
"net/url" |
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
from numpy.random import rand | |
from numpy import r_, ix_, uint8, roll | |
import matplotlib.pyplot as plt | |
import time | |
size = 200 | |
GRID = (rand(size,size) > 0.75).astype(uint8) | |
# Rotate indices because the world is round | |
indx = r_[0:size] | |
up = roll(indx, -1) |
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
/* | |
* dart document.cookie lib | |
* | |
* ported from | |
* http://www.quirksmode.org/js/cookies.html | |
* | |
*/ | |
void createCookie(String name, String value, int days) { | |
String expires; |