2009-10-05

juan_gandhi: (Default)
2009-10-05 07:51 am

вот он, спамер

[livejournal.com profile] fomenko_ev - у этого мудака (полуробота) в друзьях все эти клоны, что последнее время портят нам жизнь.
juan_gandhi: (Default)
2009-10-05 12:28 pm

Греция, 22 августа

Так как последний день, то встали рано; ещё было прохладно и почти сумерки (солнце пряталось за высокими горами), но мы героически смотались на пляж. Итальянские туристы вповалку спят у дороги, в спальниках. На пляже никого, так что можно было скупнуться голышом. Вода тёплая.

Read more... )

juan_gandhi: (Default)
2009-10-05 07:19 pm

Looking into certain issues...

Namely, how come Kleisly category for Maybe over Haskell is not very good category, thought about cardinality, negative and complex. Turned out these issues are already covered.

negative
complex
this, too

oh, whatever

What I was trying to figure out, is it true that Set is actually a regular exponential, and its derivative is Set itself? Probably so.

See, I was enticed by the idea of doing derivatives of algebraic types, and how to expand it to other functors. Seems like Set is doable. It is exp().

Now let's do some trigonometry, eh. And some Fourier transforms over databases (and the internets). If you know what I mean.