Pull to refresh
20
Karma
0
Rating
Котельников Евгений @AztEK

User

  • Followers
  • Following

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

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

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

Screen Shot script

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

Screen Shot script

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

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

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

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

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

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

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

Всё дело исключительно в том, что 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!

Information

Rating
Does not participate
Location
Санкт-Петербург и область, Россия
Works in
Date of birth
Registered
Activity