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

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

+1

1

IT Оффтоп #57

#29: https://govnokod.ru/26385 https://govnokod.xyz/_26385
#30: https://govnokod.ru/26413 https://govnokod.xyz/_26413
#31: https://govnokod.ru/26423 https://govnokod.xyz/_26423
#32: https://govnokod.ru/26440 https://govnokod.xyz/_26440
#33: https://govnokod.ru/26449 https://govnokod.xyz/_26449
#34: https://govnokod.ru/26456 https://govnokod.xyz/_26456
#35: https://govnokod.ru/26463 https://govnokod.xyz/_26463
#36: https://govnokod.ru/26508 https://govnokod.xyz/_26508
#37: https://govnokod.ru/26524 https://govnokod.xyz/_26524
#38: https://govnokod.ru/26539 https://govnokod.xyz/_26539
#39: https://govnokod.ru/26556 https://govnokod.xyz/_26556
#40: https://govnokod.ru/26568 https://govnokod.xyz/_26568
#41: https://govnokod.ru/26589 https://govnokod.xyz/_26589
#42: https://govnokod.ru/26600 https://govnokod.xyz/_26600
#43: https://govnokod.ru/26604 https://govnokod.xyz/_26604
#44: https://govnokod.ru/26627 https://govnokod.xyz/_26627
#45: https://govnokod.ru/26635 https://govnokod.xyz/_26635
#46: (vanished) https://govnokod.xyz/_26646
#46: (vanished) https://govnokod.xyz/_26654
#47: https://govnokod.ru/26671 https://govnokod.xyz/_26671
#48: https://govnokod.ru/26707 https://govnokod.xyz/_26707
#49: https://govnokod.ru/26750 https://govnokod.xyz/_26750
#49: https://govnokod.ru/26776 https://govnokod.xyz/_26776
#50: https://govnokod.ru/26804 https://govnokod.xyz/_26804
#51: https://govnokod.ru/26809 https://govnokod.xyz/_26809
#52: https://govnokod.ru/26817 https://govnokod.xyz/_26817
#53: https://govnokod.ru/26833 https://govnokod.xyz/_26833
#54: https://govnokod.ru/26840 https://govnokod.xyz/_26840
#55: https://govnokod.ru/26844 https://govnokod.xyz/_26844
#56: https://govnokod.ru/26862 https://govnokod.xyz/_26862

nepeKamHblu_nemyx, 25 Августа 2020

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

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

+2

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
33
34
35
36
37
38
39
40
41

Definition uilv_add_trivial {N} te (t : list TE) (traces : Traces N)
             i j (Ht : MInt_ trace_elems_don't_commute j true traces t)
             s s' (Hls : LongStep s (te :: t) s')
             (Htriv : trivial_add i j traces) :
    MInt_ trace_elems_don't_commute i true (push_te traces i te) (te :: t).
  Proof with autorewrite with vector; eauto with vector; try vec_forall_eq_contradiction.
    unfold push_te.
    unfold trivial_add in Htriv.
    destruct (Fin.eq_dec i j) as [Hij|Hij].
    (* [i=j], solving by constructor: *)
    { subst.
      unfold trivial_add.
      eapply mint_keep with (rest := traces[@j])...
    }
    remember traces[@j] as t2_.
    destruct t2_ as [|te2 t2]; subst.
    { inversion Ht as [vec Hvec|? ? ? ? ? Hj Hcont|? ? ? ? ? ? Hjj0 Hswitch Hj Hcont];
        subst.
      - eapply mint_keep with (prog := true)...
        eapply mint_nil...
      - rewrite Hj in Heqt2_.
        discriminate.
    }
    remember traces[@i] as t1_.
    destruct t1_ as [|te1 t1]; subst.
    (* [te] is the last element in i-th trace: *)
    { eapply mint_keep with (rest := []) (prog := false)...
      inversion Ht as [vec Hvec|? ? ? ? ? Hj Hcont|? ? ? ? ? ? Hjj0 Hswitch Hj Hcont];
        subst...
      rewrite Heqt1_ in *.
      eapply mint_switch...
      rewrite <-Heqt1_...
    }
    destruct Htriv as [|[Hij' Hcomm]]; [contradiction Hij|idtac].
    eapply mint_keep with (rest := te1 :: t1) (prog := false)...
    rewrite Heqt1_, Vec.replace_id.
    inversion Ht as [vec Hvec|? ? ? ? ? Hj Hcont|? ? ? ? ? ? Hjj0 Hswitch Hj Hcont]; subst...
    replace te0 with te2 in * by congruence.
    eapply mint_switch...
    rewrite <-Heqt1_...
  Defined.

Кто сказал, что хуже C++ темплейтов ничего уже нет? Вы ничего не понимаете в метушне. Это говно разворачивается в 12000 строк, например.

CHayT, 20 Августа 2020

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

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

+1

01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17

Хрюкни №3
             ._     __,
              |\,../'\
            ,'. .     `.
           .--         '`.
          ( `' ,          ;
          ,`--' _,       ,'\
         ,`.____            `.
        /              `,    |
       '                \,   '
       |                /   /`,
       `,  .           ,` ./  |
       ' `.  ,'        |;,'   ,@
 ______|     |      _________,_____jv______
        `.   `.   ,'
         ,'_,','_,
         `'   `'

№2 https://govnokod.xyz/_26868/
№1 https://govnokod.xyz/_26863/

TOPT, 19 Августа 2020

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

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

+1

01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21

ПPOЦ COKO_БAH;
ИMEHA:P,B,PR,И,ИM,Г;
975->P;
767->B;
<32,100,27,141,65,AДPЧ(6994),169,32,133,83,169,0,133,153,169,0,133,152,32,79,187,32,92,27,76,96,27>->PR;
ДЛЯ И OT 1 ДO #PR::
    AДPЗ(P+И,PR[И]);
BCE;
ДЛЯ Г ИЗ<"1","2">::
    "S"+Г->ИM;
    ДЛЯ И OT 1 ДO 30::
        ECЛИ И>#ИM TO
            AДPЗ(B+И,160);
        ИHAЧE
            AДPЗ(B+И,KOД(ИM[И]));
        BCE;
    BCE;
    AДPBЫЗ(976);
BCE;
AДPBЫЗ(17548);
KHЦ;

«Сокобан» («Мудрый крот») из пакета «Роботландия» для «Агата».

Язык программирования: «Рапира».

Форматирование моё (в оригинале был однострочник).

TEH3OPHblu_nemyx, 15 Августа 2020

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

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

0

1

IT Оффтоп #56

#28: https://govnokod.ru/26372 https://govnokod.xyz/_26372
#29: https://govnokod.ru/26385 https://govnokod.xyz/_26385
#30: https://govnokod.ru/26413 https://govnokod.xyz/_26413
#31: https://govnokod.ru/26423 https://govnokod.xyz/_26423
#32: https://govnokod.ru/26440 https://govnokod.xyz/_26440
#33: https://govnokod.ru/26449 https://govnokod.xyz/_26449
#34: https://govnokod.ru/26456 https://govnokod.xyz/_26456
#35: https://govnokod.ru/26463 https://govnokod.xyz/_26463
#36: https://govnokod.ru/26508 https://govnokod.xyz/_26508
#37: https://govnokod.ru/26524 https://govnokod.xyz/_26524
#38: https://govnokod.ru/26539 https://govnokod.xyz/_26539
#39: https://govnokod.ru/26556 https://govnokod.xyz/_26556
#40: https://govnokod.ru/26568 https://govnokod.xyz/_26568
#41: https://govnokod.ru/26589 https://govnokod.xyz/_26589
#42: https://govnokod.ru/26600 https://govnokod.xyz/_26600
#43: https://govnokod.ru/26604 https://govnokod.xyz/_26604
#44: https://govnokod.ru/26627 https://govnokod.xyz/_26627
#45: https://govnokod.ru/26635 https://govnokod.xyz/_26635
#46: (vanished) https://govnokod.xyz/_26646
#46: (vanished) https://govnokod.xyz/_26654
#47: https://govnokod.ru/26671 https://govnokod.xyz/_26671
#48: https://govnokod.ru/26707 https://govnokod.xyz/_26707
#49: https://govnokod.ru/26750 https://govnokod.xyz/_26750
#49: https://govnokod.ru/26776 https://govnokod.xyz/_26776
#50: https://govnokod.ru/26804 https://govnokod.xyz/_26804
#51: https://govnokod.ru/26809 https://govnokod.xyz/_26809
#52: https://govnokod.ru/26817 https://govnokod.xyz/_26817
#53: https://govnokod.ru/26833 https://govnokod.xyz/_26833
#54: https://govnokod.ru/26840 https://govnokod.xyz/_26840
#55: https://govnokod.ru/26844 https://govnokod.xyz/_26844

nepeKamHblu_nemyx, 14 Августа 2020

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

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

0

1

https://habr.com/ru/company/ruvds/blog/514776/

OCETuHCKuu_nemyx, 13 Августа 2020

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

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

−2

1
2
3

Ещё раз о «лицензиях»

https://sun1-95.userapi.com/LR_BeKxXR6XXDG2k-dpOCzUf63zRdc6491VvIg/1J2iS0o6d_Y.jpg

Кому они нужны?
Это имеет какую-то юридическую силу?
Что будет, если нарушить? Пацаны не поймут?

OCETuHCKuu_nemyx, 10 Августа 2020

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

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

0

1

Тестовый тред, можно игнорить

Desktop, 07 Августа 2020

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

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

+2

1

IT Оффтоп #55

#27: https://govnokod.ru/26340 https://govnokod.xyz/_26340
#28: https://govnokod.ru/26372 https://govnokod.xyz/_26372
#29: https://govnokod.ru/26385 https://govnokod.xyz/_26385
#30: https://govnokod.ru/26413 https://govnokod.xyz/_26413
#31: https://govnokod.ru/26423 https://govnokod.xyz/_26423
#32: https://govnokod.ru/26440 https://govnokod.xyz/_26440
#33: https://govnokod.ru/26449 https://govnokod.xyz/_26449
#34: https://govnokod.ru/26456 https://govnokod.xyz/_26456
#35: https://govnokod.ru/26463 https://govnokod.xyz/_26463
#36: https://govnokod.ru/26508 https://govnokod.xyz/_26508
#37: https://govnokod.ru/26524 https://govnokod.xyz/_26524
#38: https://govnokod.ru/26539 https://govnokod.xyz/_26539
#39: https://govnokod.ru/26556 https://govnokod.xyz/_26556
#40: https://govnokod.ru/26568 https://govnokod.xyz/_26568
#41: https://govnokod.ru/26589 https://govnokod.xyz/_26589
#42: https://govnokod.ru/26600 https://govnokod.xyz/_26600
#43: https://govnokod.ru/26604 https://govnokod.xyz/_26604
#44: https://govnokod.ru/26627 https://govnokod.xyz/_26627
#45: https://govnokod.ru/26635 https://govnokod.xyz/_26635
#46: (vanished) https://govnokod.xyz/_26646
#46: (vanished) https://govnokod.xyz/_26654
#47: https://govnokod.ru/26671 https://govnokod.xyz/_26671
#48: https://govnokod.ru/26707 https://govnokod.xyz/_26707
#49: https://govnokod.ru/26750 https://govnokod.xyz/_26750
#49: https://govnokod.ru/26776 https://govnokod.xyz/_26776
#50: https://govnokod.ru/26804 https://govnokod.xyz/_26804
#51: https://govnokod.ru/26809 https://govnokod.xyz/_26809
#52: https://govnokod.ru/26817 https://govnokod.xyz/_26817
#53: https://govnokod.ru/26833 https://govnokod.xyz/_26833
#54: https://govnokod.ru/26840 https://govnokod.xyz/_26840

nepeKamHblu_nemyx, 05 Августа 2020

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

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

0

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

гыы gop внатуре пиздишь, lt нах

куку йопта law()  жЫ
    вилкойвглаз(gop типа нечотко)  жЫ
        ксива.малява("Я и правда язык") нах
        gop сука чотко нах
     есть  иливжопураз  жЫ
        gop сука чотко нах
        потрещим(semki чоблясука трулио)  жЫ
            lt сука ксива.вычислитьЛохаПоНомеру("list") нах
            ебало.шухер("Привет, йопта") нах
         есть
     есть
 есть

YoptaScript

Может баян, но по поиску не нашёл.

OCETuHCKuu_nemyx, 05 Августа 2020

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

Говнокод: по колено в коде.