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
#include <stdio.h> | |
#include <stdlib.h> | |
void lw(char *addr, char *target, int size) { | |
unsigned char bit; | |
for (int i = 0; i < size * 8; ++i) { | |
bit = *((unsigned char*) addr + ((int) i / 8)); | |
// Endianity - LE - size * 8 - i | |
target[size * 8 - i - 1] = bit >> i % 8 & 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
import string | |
af = string.ascii_lowercase # atomic formulas | |
bo = ['∧', '∨', '⇒', '⇔'] # binary operators | |
uo = ['¬'] # unary operators | |
def formula(str): | |
l = len(str) |
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(){function h(a){var c=function(a,b){return e("",a,b)},f=b;a&&(b[a]||(b[a]={}),f=b[a]);if(!f.define||!f.define.packaged)d.original=f.define,f.define=d,f.define.packaged=!0;if(!f.require||!f.require.packaged)e.original=f.require,f.require=c,f.require.packaged=!0}var a="ace",b=function(){return this}();if(!a&&typeof requirejs!="undefined"){var c=b.define;b.define=function(a,b,d){return typeof d!="function"?c.apply(this,arguments):ace.define(a,b,function(a,c,e){return b[2]=="module"&&(e.packaged=!0),d.apply(this,arguments)})},b.define.packaged=!0;return}var d=function(a,b,c){if(typeof a!="string"){d.original?d.original.apply(window,arguments):(console.error("dropping module because define wasn't a string."),console.trace());return}arguments.length==2&&(c=b),d.modules||(d.modules={}),d.modules[a]=c},e=function(a,b,c){if(Object.prototype.toString.call(b)==="[object Array]"){var d=[];for(var f=0,h=b.length;f<h;++f){var i=g(a,b[f]);if(!i&&e.original)return e.original.apply(window,arguments);d.push(i)}c&&c.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
window.onload = function () { | |
var projects = { | |
notedew: { | |
todos: ['implement','design','sell licenses','earn millions'], | |
team: { | |
"Jan Palounek": { | |
email: "[email protected]" | |
}, | |
"Jan Polášek": { | |
email: "[email protected]" |
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 DBService = function () {}; | |
DBService.prototype.insert = function (database, table, data) { | |
var tableData = this.select(database, table); | |
if(tableData != null) { | |
for(var id in tableData) {} | |
var lastId = parseInt(id) + 1; | |
} else { | |
tableData = {}; | |
var lastId = 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
nav { | |
background: #191919; | |
width: 180px; | |
float: left; | |
height: 100%; | |
position: fixed; | |
font-size: 13px; | |
} |
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
// INFO: content variable is passed from the outside | |
var html = converter.makeHtml(content); | |
// -> Apply when editing /_posts/2012-04-26-totalspaces-brings-back-grid-spaces.md in context of index.html | |
var converter = new Markdown.Converter(); | |
document.getElementById('content1').innerHTML = html; | |
// <- | |
// -> Apply when editing /_posts/2012-04-07-hello-san-francisco.md |
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
<html> | |
<head> | |
<meta charset="utf-8" /> | |
<title>Instaedit demo</title> | |
<script> | |
window.onload = function () { | |
document.getElementById('instaedit-edit').onclick = function () { | |
(function () { | |
var th = document.getElementsByTagName('head')[0]; |
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
String file contentssss |
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
String file contentssss |
NewerOlder