Зарелизил мелкую библиотечку для отладки редукций выражений в пределах coq: https://bitbucket.org/gds/coq-breakpoints

π = 3

Nov. 2nd, 2011 01:59 pm
Нас спрашивают:

А вы можете придумать такую нетрансцендентную метрику, чтоб пи в ней стабильно было равно трём? не четырём, не два корня из двух, а именно ровно трём.

А вот однако можем, но, видимо, это случайность.
Точнее, тут надо придумывать не метрику, а целую топологию и геометрию.
Этим требованиям удовлетворяет дискретное топологическое пространство, представленное вершинами равносторонних треугольников, плотно и без перекрытий заполняющих двумерную плоскость R2.
Как я понимаю, это определяет топологическое пространство вполне, кроме того, можно ввести геометрические сущности: расстояние будем считать по минимальному количеству шагов между точками (и обычно таких путей много, но есть набор минимальных).
Окружность радиуса 1 (диаметра 2) будет представлена шестиугольником со стороной 1. Окружность радиуса n (диаметра 2n) будет представлена шестиугольником со стороной n.
Таким образом, периметр шестиугольника, представляющего окружность диаметра 2n, будет равен 6n, а число π будет равно 6n/2n = 3.
Так-то!
Я это рассказывал и раньше, но как-то в реаллайфе, не письменно. Опишу же.
Помнится, где-то в 2006..2007г мне довелось порядка года снимать квартиру в одном районе города, который как бы почти ебеня, но индустриальные (там даже почти пол-района на ул.Индустриальной находится), и какой-то неблагополучный район сам по себе. Но и даже в этом районе была своя звезда -- тот самый дом, где я снимал квартиру. Он отличался наличием около трёх лавочек, где собирался цвет общества. Когда часов в 6 выходил на улицу -- они ещё искали бухло. Когда часов в 7 -- они уже бухали. На выходные я выходил на улицу, бывало, в 8..10 часов утра -- они уже готовые. Где-то к полудню собирались по домам, спали несколько часов. К 17..18 часам выходили снова, к 18..19 часам находили бухло (обычно -- спирт, набодяженный с водой до 40 градусов), где-то к вечеру все уже достигали состояния готовальни и шли спать.
То есть, их период был равен 12 часам. Я их назвал "двухтактные".
Но среди них были и трёхтактные индивиды, у которых с двухтактными совпадала утренняя бухашка, а дальше как придётся. Могут же люди!
А потом я съехал в центр и лишился простых радостей жизни, связанных с наблюдением приподъездных алкашей.
Так-то.
менеджер по залупкам из села Неразлупаловка
Придумалось лекарство от олололергии: лорат11111адинадинадиннадцать.
komar справедливо заметил некоторое различие в способах вызова окамловских List.fold_{left,right}. Мне тоже это не нравится. Попробуем это решить с максимальным количеством ональных извращений. Ну, чисто на всякий случай. Проверить свою силу, так сказать. Конечно, я -- сугубо против такого кода, сообщу сразу, в качестве дисклизмера. Несмотря на это, буду лелеять своего внутреннего индуса на специально отведённой территории.
Read more... )
# do_with_foldl fold_left;
res=>abc
- : unit = ()

# do_with_foldl (r2l fold_right);
res=>cba
- : unit = ()

# 
Альпака де Лусия / Alpaca de Lucia
Увидел чувака с ником fraggle, покопал, и решил один мучающий меня с детства вопрос. Было такое детское-подростковое обзывательство "эй ты, фрэгл!" с неизвестным мне тогда происхождением. Так вот, узнал, что так звали типичных "граждан страны эльфов" в детском телесериале "Скала Фрэгглов". Учитывая, что я его не смотрел (по крайней мере не помню себя за таким занятием), всю изощрённость (см. по ссылке) этого детского на вид ругательства понял только сейчас.
Придумался пункт в план работ:
  • Освоение фонда заработной платы
Недавно упомянул в разговоре одно выражение, и вот подумал, что если бы я делал сайт с простыми, немозгоёбными способами жить в реаллайфе (типа лайф-хаки, но на самом деле лайф-юзы -- например, несложные способы организовать полезную и вкусную жрачку дома), то, вероятно, назвал бы его "Справится даже программист". Немного принижает, но что ж поделаешь, если по жизни многие программисты реально криворукие. (ничего личного по отношению к тем, с кем мы говорили недавно.)
Придумалось новое "правило карликов".
(9:16:26) Ivanych: Мне очень так видится, что можно сделать backend для базок данных.
И одновременно, язычок-backend.
(9:22:18) gdsfh: про backend -- не знаю, просто данные сложить можно, и даже не ёбаный пиздец [в плане сложности реализации], но 1. дубовая структура "таблицы->строки->столбцы" -- фи. 2. транзакции делать -- гемор адский.
(9:22:48) Ivanych: Естественно, что этот быкенд должен поддерживать не только таблички.
(9:29:29) Ivanych: Конечно не такая дубовая структура!
Надо сделать, чтобы в каждом row могли быть разные типы!
(9:29:58) gdsfh1: лололо
(9:30:13) Ivanych: И разное их количество и типы разные, да!
(9:31:28) gdsfh1: беспорядочно содомирующие друг друга!
(9:31:39) Ivanych: ;-) ;-) Exactly!

Правило проверено пока только эмпирически и имеет нестрогий вид: "Если про элементы сложной системы можно сказать 'бегающие по арене и беспорядочно содомирующие друг друга', то, вероятно, система является либо переусложнённой (overengineered), либо логически нестройной, либо слишком расслабленной в плане получаемых от неё гарантий".

wannawrite

Apr. 28th, 2011 02:30 pm
Надо бы написать монографию иллюстрированную с примерами, рабочее название "Лепесток розы и продвижение по карьерной лестнице".
Попробовал сегодня впервые померять ролики (в магазине). Эпическое мероприятие, учитывая, что во мне в среднем 90..105кг говна и я на тот момент был слегка пьян. Главной проблемой было слезть с роликов, сесть обратно на скамеечку и не разбить витрину при этом. Моя леди помогала, всё обошлось без жертв.
И хочу ролики (ёпта, 28 лет, а не катался ни разу), и ссыкотно, так как периодически подворачиваю лодыжку, а выяснилось, что каждая ступня, опирающаяся на ролики, если не прикладывать усилий, располагается под углом около 30 градусов относительно ноги, и становится как-то ссыкотно за лапы: "а вдруг подвернётся?".
Адова техника, но прикольно.
Сходу не нашёл в msys одной утилитки, поэтому решил реализовать её как функцию на баше. Угадайте, что делает функция.
function xxx() { local A; { read A && { xxx; echo "$A"; }; }; return 0; }
Если кажется очевидным, комментить мало смысла.
Page generated Jun. 27th, 2017 08:41 pm
Powered by Dreamwidth Studios