Skip to content

Instantly share code, notes, and snippets.

View kornelski's full-sized avatar
💤
Please be patient, it will take a while

Kornel kornelski

💤
Please be patient, it will take a while
View GitHub Profile
// 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])}})()

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>
@kornelski
kornelski / search.php
Last active August 29, 2015 14:00 — forked from antirez/search.php
Codegolfed
<?
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 = [];