You are viewing ivan_gandhi

Из-Под Глыб

Dec. 20th, 2014

08:17 am - theorems for free?

So far I got a feeling, that all this consists of the following:
- given a well-pointed cartesian-closed category T with, err, subobject classifier (is not it a topos?)
- define a function from objects of T to Set
- if the function preserves points, products, exponentials, then it is a functor

Am I wrong?

Dec. 19th, 2014

05:08 pm - from the internets today

"I am in search of non-conformists looking for a challenging Java/ J2EE Applications Developer role that could potentially be career advancing for you depending on what your current needs might be right now."

"Nice App, but I really wish the Pedometer served its purpose by letting me know when there are pedophiles in the area".

Tags:

02:19 pm - необычный фрукт

selenium, джавный код, класс Куки.

В этих куках toString() возвращает весь текст (дату, домен и т.п.); а equals() сличает только имя и значение.

Так что пляшите, Варвара Лискова, две равных вещи производят разные результаты только так.

Ну или этих... не знаю, кто писал, дареному коню в зубы... джавщики, хуле, что с них взять.

P.S. Это я тут парсер-комбинатор для кук нарисовал, ну и это.

12:59 pm - вниманию ваты: это он про вас

Tags:

11:54 am - объединение функции

Мне тут пеняли, что я слово "функция" употребляю всуе, для любой категории, а между тем ведь оно специально только для множеств применяется.

Ну да. Типа "неубывающая функция" - это для упорядоченных множеств. "непрерывная функция" - для, э... топологических пространств, каковые представляют собой такие специальные множества, что еще решетка приделана. И т.д.

Ну а если мы выходим за пределы множеств, или берем другую вообще категорию, например, Клейсли, то уже... опа, "частичная функция" - тоже есть такое слово. И "многозначная функция". Кокрастыке можно иногда.

Но я не о том.

Конечно, в теории множеств функции моделируются графиками. Это самое {(x,f(x))} - это не функция, а график ея.

А то иначе что получается: функция - тоже множество, э. Ну так две функции тогда можно пересекать. И объединять. И вычитать. И еще можно взять объединение функции, согласно аксиоме объединения. Так как пара... ну хотя бы представим ее в виде (x,y)≡{x,{x,y}}, то ∪(f) = {z|∃p∈f z∈p} = {z|∃x∈X z∈{x,{x,f(x)}}}

Какая-то фигня получается, по-моему. Примерно как в String typing складывать название города, сегодняшнюю дату, и цену на нефть.

Tags:

11:35 am - наблюдения

Прошелся мимо наших сейлсов... понял, что мы, программисты - в сущности, тыловые крысы.

Dec. 18th, 2014

04:10 pm - иллюзия памяти

Просыпаешься, что-то перебираешь в голове что приснилось, вдруг бац - и все уплыло, и ничего не вспомнить.

Ну и так обычно и получается.

Так вот, учитывая этот фактор, можно ли вообще полагаться, что ты в самом деле видел то, что якобы видел 10 минут назад? Или это тебе показалось? Или это тебе сейчас кажется, что видел? Или именно сон - это форма сумасшествия, а вне сна память более устойчива? Вот и фотографии...

01:31 pm - нефть и рубль (не басня)

Ученые объясняют падение рубля падением нефти, и формулой (цена на нефть)*(цена доллара) = 3600.

Тут маленький вопрос возникает. Почему эта формула не применялась 2-3-4-5 лет назад, и почему рупь, перед тем как упасть, не поднялся с колен после 2008-го года? Он же должен был в четыре раза укрепиться, нет?

Так что это, давайте не будем херню нести.

Tags:

01:12 pm - we are here

12:24 pm - как-то эта дончанка сейчас поживает...

Tags:

Navigate: (Previous 10 Entries)