Куча — Говнокод.ру

Куча / Говнокод #23262

+2

1
2
3
4
5
6

Lemma use_prop_equality : forall {X} (f : X -> Prop) a b,
    a = b -> f a -> f b.
Proof.
  intros X f a b He Ha.
  destruct He. apply Ha.
Qed.

Тактика rewrite не нужна.

CHayT, 12 Августа 2017

Комментарии (14)

Куча / Говнокод #23259

−1

01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

<script type="text/javascript" >

var h_hght = 155; // РІС‹СЃРѕС‚Р° С€Р°РїРєРё

var h_mrg = 0;   
                 
$(function(){
 
    var elem = $('#fix');
    var top = $(this).scrollTop();
     
    if(top > h_hght){
        elem.css('top', h_mrg);
    }           
     
    $(window).scroll(function(){
        top = $(this).scrollTop();
         
        if (top+h_mrg < h_hght) {
            elem.css('top', (h_hght-top));
        } else {
            elem.css('top', h_mrg);
        }
    });
 
});
</script>

snegoviktlt, 10 Августа 2017

Комментарии (3)

Куча / Говнокод #23256

−3

1

ethereum

кто нить зарабатывает майнингом ethereum?

Хочу себе фарму сделать, а то скучно мне

ASD_77, 10 Августа 2017

Комментарии (6)

Куча / Говнокод #23231

0

1
2
3

Телефон Страйкера: +79653583864
Скоро на всех гей-порталах страны.
Админ, можешь уже выбрасывать симку.

strtr, 31 Июля 2017

Комментарии (4)

Куча / Говнокод #23206

−1

01
02
03
04
05
06
07
08
09
10
11
12
13

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



"Сейчас – тот самый момент, когда в нашу КОМАНДУ МЕЧТЫ ищется Full-stack PHP-разработчик, 
творческий человек и высококлассный профессионал. 
Тебя ждет яркий проект, безлимитный драйв и атмосфера настоящего большого стартапа!  
То, что мы делаем – используют миллионы,  
почувствуй себя создателем новой технологии, творцом новой жизни.  
Мы здесь чтобы сворачивать горы, будь с нами и ты не пожалеешь! 

Обязанности:  [радужное описание рутинной хуеты]"

AnalPerOral, 20 Июля 2017

Комментарии (1)

Куча / Говнокод #23179

−3

1
2

Камерунские нигеры ебут админа этого сайта в четыре ствола; но, что любопытно, нельзя сказать, чтобы это ему как-то прямо уж так-таки и не нравилось.
Извиваться-то ужом он, положим, извивается; да только вопли из его глотки летят далеко не страдальческие...

AnalPerOral, 12 Июля 2017

Комментарии (4)

Куча / Говнокод #23153

0

1

Тем временем, в Яунде двадцать четыре градуса тепла.

AnalPerOral, 04 Июля 2017

Комментарии (0)

Куча / Говнокод #23148

−1

1

[color=green][s][u][b][size=20]ДАВАЙТЕ ФЛУДИТЬ И ТРОЛЛИТЬ[/size][/color][/b][/u][/s]

ДАВАЙТЕ ФЛУДИТЬ И ТРОЛЛИТЬ

antipattern, 27 Июня 2017

Комментарии (73)

Куча / Говнокод #23098

0

01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32

/* Стили для вспалывающих окон */
	#back_call,#back_call1,#letter_us,#letter_us_2{display:none;position:fixed;top:0;bottom:0;left:0;right:0;width:100%;height:100%;background:url('../images/pop_up_bg.jpg') center center no-repeat;background-size:cover;overflow:auto;z-index:11500}
		#bcc_table,#bcc_table1, #bcc_table-cell,#bcc_table-cell, #lu_table, #lu_table-cell,#lu_table_2, #lu_table-cell_2{width:100%;min-height:100%}
		#bcc_table,#bcc_table1,#lu_table,#lu_table_2{display:table}
			#bcc_table-cell,#bcc_table-cell1,#lu_table-cell,#lu_table-cell_2{display:table-cell;vertical-align:middle;text-align:center}
				#bcc_registration-form,#bcc_registration-form1,#lu_registration-form,#lu_registration-form_2{display:inline-block;width:1000px;min-height:637px;padding:30px}
				#bcc_registration-form>div,#bcc_registration-form1>div,#lu_registration-form>div,#lu_registration-form_2>div{position:relative}
.bcc_wrapper h1,.lu_wrapper h1,.lu_wrapper h1{color:#84c8eb;margin-bottom:45px;font-family:'Yeseva One';text-transform:uppercase;font-size:31px;line-height:32px;letter-spacing:2px;margin-top:9px;text-align:center;margin-right:93px}
				.bcc_wrapper .bc_close_link,.lu_wrapper .lu_close_link,.lu_wrapper .lu_close_link{display:inline-block;position:absolute;top:5px;right:0;width:40px;height:40px;text-indent:-9999px;background:url('../images/close_link_bg.jpg') center center no-repeat}
					.bcc_wrapper .bc_close_link:hover,.lu_wrapper .lu_close_link:hover,.lu_wrapper .lu_close_link:hover{box-shadow:0 0 50px rgba(132, 200, 235,0.3), 0 0 50px rgba(132, 200, 235,0.3), 0 0 50px rgba(132, 200, 235,0.3)}
					.div_bc_form_wrapper,.div_lu_form_wrapper,.div_lu_form_wrapper{margin-right:152px}
						#mcf7_inp_wrapp_cb .wpcf7-response-output,#mcf7_inp_wrapp_lu .wpcf7-response-output,#mcf7_inp_wrapp_lu_2 .wpcf7-response-output{color:#fff;text-align:center;font-family:'gotham_light';font-size:15px;line-height:31px;word-spacing:1px;margin-bottom:15px}
							.bcc_wrapper #mcf7_inp_wrapp_cb p,.lu_wrapper #mcf7_inp_wrapp_lu p,.lu_wrapper #mcf7_inp_wrapp_lu_2 p{height:51px;margin-bottom:55px;text-align:justify}
							.bcc_wrapper #mcf7_inp_wrapp_cb p{margin:0}
								.bcc_wrapper #mcf7_inp_wrapp_cb p span.lu_wrapper #mcf7_inp_wrapp_lu p span,.lu_wrapper #mcf7_inp_wrapp_lu_2 p span{display:inline-block}
								.bcc_wrapper #mcf7_inp_wrapp_cb p span:nth-child(1),.lu_wrapper #mcf7_inp_wrapp_lu p span:nth-child(1),.lu_wrapper #mcf7_inp_wrapp_lu_2 p span:nth-child(1){float:left;margin-right:15px}
								.bcc_wrapper #mcf7_inp_wrapp_cb p span:nth-child(2),.lu_wrapper #mcf7_inp_wrapp_lu p span:nth-child(2),.lu_wrapper #mcf7_inp_wrapp_lu_2 p span:nth-child(2){float:left}
								.bcc_wrapper #mcf7_inp_wrapp_cb p span:nth-child(3),.lu_wrapper #mcf7_inp_wrapp_lu p span:nth-child(3),.lu_wrapper #mcf7_inp_wrapp_lu_2 p span:nth-child(3){float:right}
								.bcc_wrapper #mcf7_inp_wrapp_cb p span input,.lu_wrapper #mcf7_inp_wrapp_lu p span input,.lu_wrapper #mcf7_inp_wrapp_lu_2 p span input{display:inline-block;box-sizing:border-box;border:1px solid #fff;background-color:transparent;height:50px;border-radius:5px;font-size:18px;line-height:19px;letter-spacing:1px;color:#fff;font-family:'gotham_light';padding:0 19px}
								.bcc_wrapper #mcf7_inp_wrapp_cb p span input+span,#bcc-form .screen-reader-response,.lu_wrapper #mcf7_inp_wrapp_lu p span input+span,.lu_wrapper #mcf7_inp_wrapp_lu_2 p span input+span,#lu-form .screen-reader-response,#letter_us_2 .screen-reader-response{display:none}
								.bcc_wrapper #mcf7_inp_wrapp_cb p span:nth-child(1) input,.bcc_wrapper #mcf7_inp_wrapp_cb p span:nth-child(2) input,.lu_wrapper #mcf7_inp_wrapp_lu p span:nth-child(1) input,.lu_wrapper #mcf7_inp_wrapp_lu_2 p span:nth-child(1) input,.lu_wrapper #mcf7_inp_wrapp_lu p span:nth-child(2) input,.lu_wrapper #mcf7_inp_wrapp_lu_2 p span:nth-child(2) input{width:266px}
								.bcc_wrapper #mcf7_inp_wrapp_cb p span:nth-child(3) input,.lu_wrapper #mcf7_inp_wrapp_lu p span:nth-child(3) input,.lu_wrapper #mcf7_inp_wrapp_lu_2 p span:nth-child(3) input{width:288px}
								.bcc_wrapper #mcf7_sbm_wrapp,.lu_wrapper #mcf7_sbm_wrapp_lu,.lu_wrapper #mcf7_sbm_wrapp_lu_2{text-align:center}
									.bcc_wrapper #mcf7_sbm_wrapp img{float:right}
									.bcc_wrapper #mcf7_sbm_wrapp{margin-top: 83px;}
									.lu_wrapper #mcf7_sbm_wrapp_lu img,.lu_wrapper #mcf7_sbm_wrapp_lu_2 img{float:right;margin-top:107px}
									.bcc_wrapper #mcf7_sbm_wrapp input,.lu_wrapper #mcf7_sbm_wrapp_lu input,.lu_wrapper #mcf7_sbm_wrapp_lu_2 input{display:inline-block;background-color:transparent;border:1px solid #fff;width:370px;height:80px;cursor:pointer;text-align:center;margin-top:107px;text-transform:uppercase;font-size:19px;line-height:19px;letter-spacing:5px;color:#fff;font-family:'gotham_light';word-spacing:2px}
									.bcc_wrapper #mcf7_sbm_wrapp input{margin:0}
									.bcc_wrapper #mcf7_sbm_wrapp input:hover,.lu_wrapper #mcf7_sbm_wrapp_lu input:hover,.lu_wrapper #mcf7_sbm_wrapp_lu_2 input:hover{text-shadow:0 0 15px rgba(132, 200, 235, 0.7), 0 0 15px rgba(132, 200, 235, 0.7), 0 0 15px rgba(132, 200, 235, 0.7)}
								#required_fields_1,#required_fields_3,#required_fields_4,#required_fields_5,#required_fields_6,#required_fields_7{color:#fff;font-family:gotham_light;font-size:15px;line-height:31px;word-spacing:1px;text-align:center}
						#lu_registration-form #mcf7_ta_wrapp_lu span,#lu_registration-form_2 #mcf7_ta_wrapp_lu_2 span{display:block;height:256px;box-sizing:border-box;padding:16px 17px;border:1px solid #fff;border-radius:5px;}
						#lu_registration-form #mcf7_ta_wrapp_lu span textarea,#lu_registration-form_2 #mcf7_ta_wrapp_lu_2 span textarea{background-color:transparent;width:100%;height:100%;font-size:18px;line-height:19px;letter-spacing:1px;color:#fff;font-family:'gotham_light'}

Выполняю заказы. На Битрих.

nazivin, 02 Июня 2017