1. Куча / Говнокод #27829

    0

    1. 01
    2. 02
    3. 03
    4. 04
    5. 05
    6. 06
    7. 07
    8. 08
    9. 09
    10. 10
    11. 11
    12. 12
    13. 13
    14. 14
    15. 15
    16. 16
    (steps
    (1 given (t (((x - y) = 3) & ((y + 5) = x))))
    (2 rewrite (s 1) (path "/main/right/right") (t ((x = y) == (y = x))))
    (3 addThisToBoth (s 2) (path "/main/right/left/left/right"))
    (4 arrangeSum (s 3) (path "/right/right/left/right"))
    (5 simplifySite (s 4) (path "/right/right/left/left"))
    (6 replaceConjunct (s 5) (path "/right/right/left/left"))
    (7 subtractThisFromBoth (s 6) (path "/right/right/left/left/left"))
    (8 arrangeSum (s 7) (path "/right/right/left/right"))
    (9 simplifySite (s 8) (path "/right/right/left/right"))
    (10 arrangeSum (s 9) (path "/right/right/left/left"))
    (11 simplifySite (s 10) (path "/right/right/left/left"))
    (12 rewrite (s 11) (path "/right/right/left") (t (((R a) & (R b)) => ((a = b) == ((a - b) = 0)))))
    (13 simplifyFocalPart (s 12))
    (14 modusPonens (s 1) (s 13))
    )

    https://mathtoys.org/equations.html
    Доказательство неразрешимости системы уравнений
    x-y=3
    y=5=x
    Где x и y это ℝ
    https://i.imgur.com/oY4FXTN.png

    j123123, 17 Ноября 2021

    Комментарии (53)
  2. Куча / Говнокод #27819

    0

    1. 1
    https://www.youtube.com/watch?v=CBTLtGor_Ck

    Ильяс Новиков

    JlAKOMKA, 13 Ноября 2021

    Комментарии (1)
  3. Куча / Говнокод #27806

    −2

    1. 1
    Узнал, что доблестный Робин-гуд был активным гомо, чья пассивная банда резала и жгла натурастов за их "натурастность"..

    Мой мир никогда не будtт прежним.

    MaaKut, 08 Ноября 2021

    Комментарии (0)
  4. Куча / Говнокод #27804

    −2

    1. 1
    https://www.youtube.com/watch?v=K9Qs8-BkiLw

    Support, 07 Ноября 2021

    Комментарии (0)
  5. Куча / Говнокод #27803

    −2

    1. 01
    2. 02
    3. 03
    4. 04
    5. 05
    6. 06
    7. 07
    8. 08
    9. 09
    10. 10
    11. 11
    12. 12
    13. 13
    14. 14
    15. 15
    16. 16
    a     G    a      G C         G C
    Deszcze niespokojne      potargaly sad
    a               G     F      G    a
     А my na tej wojnie ladnych pare lat
          a                       b      a          b
    Do domu wrocimy, w piecu napalimy, nakarmimy psa
           a                     B7 e           B7     e    a E7 a
    Przed noca zdazymy, tylko zwyciezymy, a to wazna gra
    a       G      a  G C               G  C
    Na niebie obloki,     po wsiach pelno bzu,
    a                   G       F     G       a
     Gdziez ten swiat daleki, pelen dobrych snow
          a                           b     a             b
    Powrocimy wierni my czterej pancerni, "Rudy" i nasz pies
            a                  B7    e         B7     e
    My czterej pancerni powrocimy wierni po wiosenny bez.

    HE_OTBE4Au_YE6KY, 07 Ноября 2021

    Комментарии (2)
  6. Куча / Говнокод #27801

    +3

    1. 1
    Пиздец-оффтоп #33

    #4: https://govnokod.ru/26689 https://govnokod.xyz/_26689
    #5: https://govnokod.ru/26784 https://govnokod.xyz/_26784
    #5: https://govnokod.ru/26839 https://govnokod.xyz/_26839
    #6: https://govnokod.ru/26986 https://govnokod.xyz/_26986
    #7: https://govnokod.ru/27007 https://govnokod.xyz/_27007
    #8: https://govnokod.ru/27023 https://govnokod.xyz/_27023
    #9: https://govnokod.ru/27098 https://govnokod.xyz/_27098
    #10: https://govnokod.ru/27125 https://govnokod.xyz/_27125
    #11: https://govnokod.ru/27129 https://govnokod.xyz/_27129
    #12: https://govnokod.ru/27184 https://govnokod.xyz/_27184
    #13: https://govnokod.ru/27286 https://govnokod.xyz/_27286
    #14: https://govnokod.ru/27298 https://govnokod.xyz/_27298
    #15: https://govnokod.ru/27322 https://govnokod.xyz/_27322
    #16: https://govnokod.ru/27328 https://govnokod.xyz/_27328
    #17: https://govnokod.ru/27346 https://govnokod.xyz/_27346
    #18: https://govnokod.ru/27374 https://govnokod.xyz/_27374
    #19: https://govnokod.ru/27468 https://govnokod.xyz/_27468
    #20: https://govnokod.ru/27469 https://govnokod.xyz/_27469
    #21: https://govnokod.ru/27479 https://govnokod.xyz/_27479
    #22: https://govnokod.ru/27485 https://govnokod.xyz/_27485
    #23: https://govnokod.ru/27493 https://govnokod.xyz/_27493
    #24: https://govnokod.ru/27501 https://govnokod.xyz/_27501
    #25: https://govnokod.ru/27521 https://govnokod.xyz/_27521
    #26: https://govnokod.ru/27545 https://govnokod.xyz/_27545
    #27: https://govnokod.ru/27572 https://govnokod.xyz/_27572
    #28: https://govnokod.ru/27580 https://govnokod.xyz/_27580
    #29: https://govnokod.ru/27738 https://govnokod.xyz/_27738
    #30: https://govnokod.ru/27751 https://govnokod.xyz/_27751
    #31: https://govnokod.ru/27754 https://govnokod.xyz/_27754
    #32: https://govnokod.ru/27786 https://govnokod.xyz/_27786

    nepeKamHblu_nemyx, 06 Ноября 2021

    Комментарии (2763)
  7. Куча / Говнокод #27800

    −2

    1. 01
    2. 02
    3. 03
    4. 04
    5. 05
    6. 06
    7. 07
    8. 08
    9. 09
    10. 10
    11. 11
    12. 12
    13. 13
    14. 14
    _                         _
        |_|                       |_|
        | |         /^^^\         | |
       _| |_      (| "o" |)      _| |_
     _| | | | _    (_---_)    _ | | | |_ 
    | | | | |' |    _| |_    | `| | | | |
    \          /   /     \   \          /
     \        /  / /(. .)\ \  \        /
       \    /  / /  | . |  \ \  \    /
         \  \/ /    ||Y||    \ \/  /
           \_/      || ||      \_/
                    () ()
                    || ||
                   ooO Ooo

    Битч

    nepekam, 06 Ноября 2021

    Комментарии (4)
  8. Куча / Говнокод #27799

    −2

    1. 1
    мдеее

    мдеее

    digitalEugene, 06 Ноября 2021

    Комментарии (0)
  9. Куча / Говнокод #27780

    +1

    1. 01
    2. 02
    3. 03
    4. 04
    5. 05
    6. 06
    7. 07
    8. 08
    9. 09
    10. 10
    11. 11
    12. 12
    13. 13
    14. 14
    15. 15
    16. 16
    17. 17
    18. 18
    19. 19
    20. 20
    21. 21
    22. 22
    23. 23
    24. 24
    25. 25
    26. 26
    27. 27
    28. 28
    (** Set of all possible interleaving of two traces is a trace
      ensemble. As we later prove in [interleaving_to_permutation], this
      definition is dual to [Permutation]. *)
      Inductive Interleaving : list TE -> list TE -> TraceEnsemble :=
      | ilv_cons_l : forall te t1 t2 t,
          Interleaving t1 t2 t ->
          Interleaving (te :: t1) t2 (te :: t)
      | ilv_cons_r : forall te t1 t2 t,
          Interleaving t1 t2 t ->
          Interleaving t1 (te :: t2) (te :: t)
      | ilv_nil : Interleaving [] [] [].
    
    Попытка оптимизации:
    
      (* Left-biased version of [Interleaving] that doesn't make
      distinction between schedulings of commuting elements: *)
      Inductive UniqueInterleaving : list TE -> list TE -> TraceEnsemble :=
      | uilv_cons_l : forall l t1 t2 t,
          UniqueInterleaving t1 t2 t ->
          UniqueInterleaving (l :: t1) t2 (l :: t)
      | uilv_cons_r1 : forall l r t1 t2 t,
          ~trace_elems_commute l r ->
          UniqueInterleaving (l :: t1) t2 (l :: t) ->
          UniqueInterleaving (l :: t1) (r :: t2) (r :: l :: t)
      | uilv_cons_r2 : forall r1 r2 t1 t2 t,
          UniqueInterleaving t1 (r1 :: t2) (r1 :: t) ->
          UniqueInterleaving t1 (r2 :: r1 :: t2) (r2 :: r1 :: t)
      | uilv_nil : forall t, UniqueInterleaving [] t t.

    Сложный говнокод. Почему вторая "оптимизированная" версия работает хуже первой?

    CHayT, 01 Ноября 2021

    Комментарии (21)
  10. Куча / Говнокод #27779

    0

    1. 1
    2. 2
    Be gone, malicious spirit from the anus!
    We don't say "amen", because we may step on the mines; we say "True"!

    Херня рулит.

    nPOnOBeDHuK, 01 Ноября 2021

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