Skip to content

Instantly share code, notes, and snippets.

💾
Waiting for cargo build to finish

Kornel kornelski

View GitHub Profile
@kornelski
kornelski / search.php
Last active Aug 29, 2015 — forked from antirez/search.php
Codegolfed
View search.php
<?
require("redis.php");
$term = $_GET['term'];
$r = new Redis("127.0.0.1","6379");
$r->connect();
$items = $r->zrangebylex("kernel", "[$term", "[$term\xff", ["LIMIT","0","10"]);
$t = [];
View manifest-options.md

Which one do you prefer?

We are trying to create a new manifest format for the Web. It will allow you to define metadata for a web application in one place.

Right now, we are trying to decide how to "inline" the manifest into HTML. Need your feedback.

A - using a meta element and content attribute

<!doctype html>
View gist:296779
// original (http://html5shiv.googlecode.com/svn/trunk/html5.js)
(function(){if(!/*@cc_on!@*/0)return;var e = "abbr,article,aside,audio,canvas,datalist,details,figure,figcaption,footer,header,hgroup,mark,menu,meter,nav,output,progress,section,summary,time,video".split(','),i=e.length;while(i--){document.createElement(e[i])}})()
You can’t perform that action at this time.