Говнокод

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

0

1

Пиздец-оффтоп #130

nepeKamHblu_nemyx, 10.06.2026 (Updated 10.06.2026)

Комментарии (97, +97)

Хламидомонада / Говнокод #29265

0

1
2
3
4
5

(let ((actions (make-list 100 :initial-element (make-list 100 :initial-element (make-list 1000 :initial-element most-negative-fixnum #| your action reward |# )))))
  (labels ((find-best-action (life)
             (if (numberp life) life (apply #'max (mapcar #'find-best-action life)))))

    (print (find-best-action actions))))  ;; the best your life outcome

lisp-worst-code, 30.05.2026 (Updated 30.05.2026)

Комментарии (2, +2)

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

0

1
2
3
4
5
6
7
8
9
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
42
43

Lemma mfun_equiv_commut f g g1 g2 :
  mfun_equiv g (g2 ∘ g1) ->
  commute f g1 ->
  commute f g2 ->
  commute f g.
Proof.
  intros Hg Hcomm_g1 Hcomm_g2 a z.
  split; intros H; unfold mfun_equiv in Hg.
  - destruct H as [b [Hb Hz]].
    rewrite Hg in Hz.
    destruct Hz as [d [Hd Hz]].
    destruct (Hcomm_g1 a d) as [Hg1f Hfg1]. clear Hfg1.
    destruct Hg1f as [d' [Had' Hcd']]. { sauto. }
    morph_shift g2 d'.
    destruct Had' as [c' Hc'].
    destruct (Hcomm_g2 c' z') as [Hg2f Hfg2].
    destruct Hg2f as [z'' [Hz'' Hz'z'']]. { sauto. }
    destruct Hz'' as [e'' He''].
    exists z''.
    split.
    + exists e''.
      split.
      * rewrite Hg. sauto.
      * easy.
    + now rewrite Hequiv_z_z', Hz'z''.
  - destruct H as [c [Hc Hz]].
    rewrite Hg in Hc.
    destruct Hc as [b [Hb Hc]].
    destruct (Hcomm_g2 b z) as [Hg2f Hfg2]. clear Hg2f.
    destruct Hfg2 as [z' [Hbz' Hzz']]. { sauto. }
    destruct Hbz' as [d [Hdz' Hbd']].
    destruct (Hcomm_g1 a d) as [Hg1f Hfg1]. clear Hg1f.
    destruct Hfg1 as [d' [Had' Hdd']]. { sauto. }
    destruct Had' as [b' [Hab' Hb'd']].
    morph_shift g2 d'.
    exists z''.
    split.
    + exists b'.
      split.
      * easy.
      * rewrite Hg. exists d'. sauto.
    + now rewrite Hzz', Hequiv_z'_z''.
Qed.

Why are we here, just to suffer?

CHayT, 29.05.2026 (Updated 29.05.2026)

Комментарии (8, +8)

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

0

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

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

nepeKamHblu_nemyx, 27.05.2026 (Updated 27.05.2026)

Комментарии (238, +238)

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

0

1

IT Оффтоп #235

nepeKamHblu_nemyx, 27.05.2026 (Updated 27.05.2026)

Комментарии (280, +280)

Змея / Говнокод #29261

0

1
2
3
4
5
6
7
8
9
10
11

try:
            # Get or create cached encoder/decoder pair atomically
            encoder_decoder = cls._encoder_cache.get(struct_cls)
            if encoder_decoder is None:
                encoder = msgspec.json.Encoder()
                decoder = msgspec.json.Decoder(type=struct_cls, dec_hook=_dec_hook)
                encoder_decoder = (encoder, decoder)
                cls._encoder_cache[struct_cls] = encoder_decoder
                cls._decoder_cache[struct_cls] = encoder_decoder
            else:
                encoder, decoder = encoder_decoder

Энкодер декодер энкодер декодер

JloJle4Ka, 25.05.2026 (Updated 25.05.2026)

Комментарии (7, +7)

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

0

1
2
3
4

...
    {ok, {attribute, _, BH, Behavior}} when BH =:= behavior; BH =:= behaviour ->
      process_attributes(OrigFile, EPP, [{behavior, Behavior} | Acc]);
...

Oi mate

CHayT, 19.05.2026 (Updated 19.05.2026)

Комментарии (83, +83)

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

0

1

IT Оффтоп #234

nepeKamHblu_nemyx, 16.05.2026 (Updated 16.05.2026)

Комментарии (575, +575)

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

0

1

Бесконечный оффтоп имени Гологуба #10

nepeKamHblu_nemyx, 15.05.2026 (Updated 15.05.2026)

Комментарии (209, +209)

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

0

1

Пиздец-оффтоп #129

nepeKamHblu_nemyx, 10.05.2026 (Updated 10.05.2026)

Комментарии (405, +405)