Верифицированный QuickSort на Agda

Можно ещё взглянуть на статью Why Dependent Types Matter МакБрайда et al, там приводится верифицированный merge sort на Epigram.

Вам стоит выучить COBOL

А FORTH?

Screen Shot script

А что там поднимать? Это же просто скрипт на Ruby.

Screen Shot script

Ещё есть gyazo.

В Москве будет своя ПеПяКа!

Всё равно с трудом верится.

В Москве будет своя ПеПяКа!

Очевидный фейк такой очевидный.

Сравнение скорости популярных JS библиотек

А mootools?

Линчелка открыта!

Да, со временем обязательно будет.

Линчелка открыта!

Всё дело исключительно в том, что IE не поддерживает SVG.

Линчелка открыта!

Фича скриншота по URL есть в планах, скоро будет.

Линчелка открыта!

Пока можно создать быстрый линч, а нужным людям раздать секретную ссылку.

Линчелка открыта!

Спасибо, разберемся.

Линчелка открыта!

Не понравился линч — ставьте ему минус. Не понравится многим пользователям и все они поставят по минусу — линч удалится. Вот и вся идея.

Линчелка открыта!

Сайт запустили недавно, пользователей мало, шлак пока не сливается, как должен бы.

В ваших силах повлиять на то, какой контент там будет.

Были получены исходники 3300 глобальных интернет-проектов

Хочется больше интимных подробностей :-)

Движок СУБД на PHP

Есть же хостинги, где нет PHP!

Движок СУБД на PHP

Следующий этап — СУБД на Javascript. С индексами на куках.

Имитация статических переменных в JavaSctipt

Можно и вот так:

var counterFunction = (function(counter){
    return function(){
        alert(++counter);
    }
})(0)

Обматерю/Ваш.сайт

bit.ly — популярная сокращалка URL. И не более.

Обматерю/Ваш.сайт

А я зациклил!
Рецепт успеха:
1) Заходим на bit.ly.
2) Создаем сокращение для страницы obmate.ru/bit.ly/obmateru, назвав его obmateru.
3) ????
4) PROFIT!