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

• Все
• Лучший
• Сток
• Глупый поиск
• Наговнокодить!
• Oтзывы

Нашли или выдавили из себя код, который нельзя назвать нормальным, на который без улыбки не взглянешь? Не торопитесь его удалять или рефакторить, — запостите его на говнокод.ру, посмеёмся вместе!

1. PHP (5701)
2. C++ (2737)
3. Куча (2339)
4. JavaScript (2028)
5. C# (1928)
6. Java (1502)
7. Си (1102)
8. Pascal (647)
9. Python (582)
10. 1C (534)
11. SQL (432)
12. ActionScript (292)
13. Objective C (202)
14. bash (198)
15. Perl (194)
16. Assembler (146)
17. Ruby (142)
18. VisualBasic (138)
19. Lua (49)
20. Go (30)
21. Swift (27)
22. Haskell (26)
23. Kotlin (13)

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

   0

   1. 1

   Definition WordUpperBound := 65536.

   Hijikata, 11 Мая 2021

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

2. Куча / Говнокод #27406

   0

   1. 1

   С Днём Победы!

   rJlaBHblu_nemyx

   BoeHHblu_nemyx, 09 Мая 2021

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

3. Куча / Говнокод #27405

   0

   1. 1

   IT Оффтоп #86

   #56: https://govnokod.ru/26862 https://govnokod.xyz/_26862
   #57: https://govnokod.ru/26890 https://govnokod.xyz/_26890
   #58: https://govnokod.ru/26916 https://govnokod.xyz/_26916
   #59: https://govnokod.ru/26934 https://govnokod.xyz/_26934
   #60: https://govnokod.ru/26949 https://govnokod.xyz/_26949
   #61: https://govnokod.ru/26980 https://govnokod.xyz/_26980
   #62: https://govnokod.ru/26999 https://govnokod.xyz/_26999
   #63: https://govnokod.ru/27004 https://govnokod.xyz/_27004
   #64: https://govnokod.ru/27020 https://govnokod.xyz/_27020
   #65: https://govnokod.ru/27027 https://govnokod.xyz/_27027
   #66: https://govnokod.ru/27040 https://govnokod.xyz/_27040
   #67: https://govnokod.ru/27049 https://govnokod.xyz/_27049
   #68: https://govnokod.ru/27061 https://govnokod.xyz/_27061
   #69: https://govnokod.ru/27071 https://govnokod.xyz/_27071
   #70: https://govnokod.ru/27097 https://govnokod.xyz/_27097
   #71: https://govnokod.ru/27115 https://govnokod.xyz/_27115
   #72: https://govnokod.ru/27120 https://govnokod.xyz/_27120
   #73: https://govnokod.ru/27136 https://govnokod.xyz/_27136
   #74: https://govnokod.ru/27160 https://govnokod.xyz/_27160
   #75: https://govnokod.ru/27166 https://govnokod.xyz/_27166
   #76: https://govnokod.ru/27168 https://govnokod.xyz/_27168
   #77: https://govnokod.ru/27186 https://govnokod.xyz/_27186
   #78: https://govnokod.ru/27219 https://govnokod.xyz/_27219
   #79: https://govnokod.ru/27254 https://govnokod.xyz/_27254
   #80: https://govnokod.ru/27270 https://govnokod.xyz/_27270
   #81: https://govnokod.ru/27280 https://govnokod.xyz/_27280
   #82: https://govnokod.ru/27284 https://govnokod.xyz/_27284
   #83: https://govnokod.ru/27296 https://govnokod.xyz/_27296
   #84: https://govnokod.ru/27336 https://govnokod.xyz/_27336
   #85: https://govnokod.ru/27381 https://govnokod.xyz/_27381

   nepeKamHblu_nemyx, 08 Мая 2021

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

4. Куча / Говнокод #27400

   +1

   1. 1
   2. 2
   3. 3
   4. 4
   5. 5
   6. 6
   7. 7
   8. 8

   %% Generates a Normal-distributed random variable using Box-Muller method
   %% from: https://github.com/basho/basho_stats/blob/develop/src/basho_stats_rv.erl
   -spec rnd_normal(integer(), integer()) -> non_neg_integer().
   rnd_normal(Mean, Sigma) ->
     Rv1 = random:uniform(),
     Rv2 = random:uniform(),
     Rho = math:sqrt(-2 * math:log(1-Rv2)),
     abs(trunc(Rho * math:cos(2 * math:pi() * Rv1) * Sigma + Mean)).

   Это норма.

   CHayT, 07 Мая 2021

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

5. Куча / Говнокод #27388

   +2

   1. 1

   Мир! Труд! Май!

   С праздником, питухи!

   MAuCKuu_nemyx, 01 Мая 2021

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

6. Куча / Говнокод #27385

   +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

   var proto = $new(null);
   proto.foo = function() { 
     $print(this.msg) 
   }
   
   var o = $new(null);
   o.msg = "hello";
   $objsetproto(o,proto);
   o.foo(); // print "hello"
   
   $objsetproto(o,null); // remove proto
   o.foo(); // exception

   Давайте писать ня Neko!
   https://nekovm.org

   PolinaAksenova, 29 Апреля 2021

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

7. Куча / Говнокод #27384

   0

   1. 1

   Питушня #16

   #1: https://govnokod.ru/26692 https://govnokod.xyz/_26692
   #2: https://govnokod.ru/26891 https://govnokod.xyz/_26891
   #3: https://govnokod.ru/26893 https://govnokod.xyz/_26893
   #4: https://govnokod.ru/26935 https://govnokod.xyz/_26935
   #5: (vanished) https://govnokod.xyz/_26954
   #6: (vanished) https://govnokod.xyz/_26956
   #7: https://govnokod.ru/26964 https://govnokod.xyz/_26964
   #8: https://govnokod.ru/26966 https://govnokod.xyz/_26966
   #9: https://govnokod.ru/27017 https://govnokod.xyz/_27017
   #10: https://govnokod.ru/27045 https://govnokod.xyz/_27045
   #11: https://govnokod.ru/27058 https://govnokod.xyz/_27058
   #12: https://govnokod.ru/27182 https://govnokod.xyz/_27182
   #13: https://govnokod.ru/27260 https://govnokod.xyz/_27260
   #14: https://govnokod.ru/27343 https://govnokod.xyz/_27343
   #15: https://govnokod.ru/27353 https://govnokod.xyz/_27353

   nepeKamHblu_nemyx, 29 Апреля 2021

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

8. Куча / Говнокод #27381

   +1

   1. 1

   IT Оффтоп #85

   #55: https://govnokod.ru/26844 https://govnokod.xyz/_26844
   #56: https://govnokod.ru/26862 https://govnokod.xyz/_26862
   #57: https://govnokod.ru/26890 https://govnokod.xyz/_26890
   #58: https://govnokod.ru/26916 https://govnokod.xyz/_26916
   #59: https://govnokod.ru/26934 https://govnokod.xyz/_26934
   #60: https://govnokod.ru/26949 https://govnokod.xyz/_26949
   #61: https://govnokod.ru/26980 https://govnokod.xyz/_26980
   #62: https://govnokod.ru/26999 https://govnokod.xyz/_26999
   #63: https://govnokod.ru/27004 https://govnokod.xyz/_27004
   #64: https://govnokod.ru/27020 https://govnokod.xyz/_27020
   #65: https://govnokod.ru/27027 https://govnokod.xyz/_27027
   #66: https://govnokod.ru/27040 https://govnokod.xyz/_27040
   #67: https://govnokod.ru/27049 https://govnokod.xyz/_27049
   #68: https://govnokod.ru/27061 https://govnokod.xyz/_27061
   #69: https://govnokod.ru/27071 https://govnokod.xyz/_27071
   #70: https://govnokod.ru/27097 https://govnokod.xyz/_27097
   #71: https://govnokod.ru/27115 https://govnokod.xyz/_27115
   #72: https://govnokod.ru/27120 https://govnokod.xyz/_27120
   #73: https://govnokod.ru/27136 https://govnokod.xyz/_27136
   #74: https://govnokod.ru/27160 https://govnokod.xyz/_27160
   #75: https://govnokod.ru/27166 https://govnokod.xyz/_27166
   #76: https://govnokod.ru/27168 https://govnokod.xyz/_27168
   #77: https://govnokod.ru/27186 https://govnokod.xyz/_27186
   #78: https://govnokod.ru/27219 https://govnokod.xyz/_27219
   #79: https://govnokod.ru/27254 https://govnokod.xyz/_27254
   #80: https://govnokod.ru/27270 https://govnokod.xyz/_27270
   #81: https://govnokod.ru/27280 https://govnokod.xyz/_27280
   #82: https://govnokod.ru/27284 https://govnokod.xyz/_27284
   #83: https://govnokod.ru/27296 https://govnokod.xyz/_27296
   #84: https://govnokod.ru/27336 https://govnokod.xyz/_27336

   nepeKamHblu_nemyx, 28 Апреля 2021

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

9. Куча / Говнокод #-27380

   +1

   1. 1

   Просто оффтоп #18

   #1: https://govnokod.ru/20162 https://govnokod.xyz/_20162
   #2: https://govnokod.ru/25329 https://govnokod.xyz/_25329
   #3: https://govnokod.ru/25415 https://govnokod.xyz/_25415
   #4: (vanished) https://govnokod.xyz/_25472
   #5: https://govnokod.ru/25693 https://govnokod.xyz/_25693
   #6: (vanished) https://govnokod.xyz/_26649
   #7: https://govnokod.ru/26672 https://govnokod.xyz/_26672
   #8: https://govnokod.ru/26924 https://govnokod.xyz/_26924
   #9: https://govnokod.ru/27072 https://govnokod.xyz/_27072
   #10: https://govnokod.ru/27086 https://govnokod.xyz/_27086
   #11: https://govnokod.ru/27122 https://govnokod.xyz/_27122
   #12: https://govnokod.ru/27153 https://govnokod.xyz/_27153
   #13: https://govnokod.ru/27159 https://govnokod.xyz/_27159
   #14: https://govnokod.ru/27200 https://govnokod.xyz/_27200
   #15: https://govnokod.ru/27237 https://govnokod.xyz/_27237
   #16: https://govnokod.ru/27282 https://govnokod.xyz/_27282
   #17: https://govnokod.ru/27319 https://govnokod.xyz/_27319

   nepeKamHblu_nemyx, 28 Апреля 2021

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

10. Куча / Говнокод #27379

    +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
    29. 29
    30. 30
    31. 31
    32. 32
    33. 33
    34. 34
    35. 35
    36. 36
    37. 37
    38. 38
    39. 39
    40. 40
    41. 41
    42. 42
    43. 43
    44. 44
    45. 45
    46. 46
    47. 47
    48. 48
    49. 49
    50. 50
    51. 51
    52. 52
    53. 53
    54. 54
    55. 55
    56. 56
    57. 57
    58. 58
    59. 59
    60. 60
    61. 61
    62. 62
    63. 63
    64. 64
    65. 65
    66. 66
    67. 67
    68. 68
    69. 69
    70. 70
    71. 71
    72. 72
    73. 73
    74. 74
    75. 75
    76. 76
    77. 77
    78. 78
    79. 79
    80. 80
    81. 81
    82. 82
    83. 83
    84. 84
    85. 85
    86. 86
    87. 87
    88. 88

    (set-logic UF)
    ; https://smtlib.cs.uiowa.edu/logics.shtml
    ; UF for the extension allowing free sort and function symbols 
    
    (set-option :produce-proofs true)
    
    (declare-sort M_wff)
    
    
    ; AND2
    (declare-fun M_a2 (M_wff M_wff) M_wff)
    
    ; AND3
    (declare-fun M_a3 (M_wff M_wff M_wff) M_wff)
    
    
    
    ; (AND2 a b) <=> (AND2 b a)
    
    (assert 
      (forall ( (a M_wff) (b M_wff) )
        (=
          (M_a2 a b)
          (M_a2 b a)
        )
      )
    )
    
    
    
    ; (AND2 a a) <=> a
    
    (assert 
      (forall ( (a M_wff) )
        (=
          (M_a2 a a)
          a
        )
      )
    )
    
    
    
    ; (AND2 a (AND2 b c)) <=> (AND3 a b c)
    
    (assert 
      (forall ( (a M_wff) (b M_wff) (c M_wff) )
        (=
          (M_a2 a (M_a2 b c))
          (M_a3 a b c)
        )
      )
    )
    
    
    
    ; (AND3 a b c) <=> (AND3 b a c)
    
    (assert
      (forall ( (a M_wff) (b M_wff) (c M_wff) )
        (=
          (M_a3 a b c)
          (M_a3 b a c)
        )
      )
    )
    
    
    
    ; IMPL - implication
    (declare-fun M_impl (M_wff M_wff) M_wff)
    
    
    
    ; http://us.metamath.org/ileuni/ax-1.html
    ; Axiom Simp
    ; (IMPL a (IMPL b a)) <=> (AND2 a b)
    
    (assert
      (forall ( (a M_wff) (b M_wff) )
        (=
          (M_impl a (M_impl b a))
          (M_a2 a b)
        )
      )
    )
    
    ...

    Весь код не влазит.
    
    https://rise4fun.com/Z3/GnfIH
    https://paste.debian.net/hidden/38ef8493/ (запасная ссылка)
    
    Переписывал Metamath на язык из SMT солверов https://smtlib.cs.uiowa.edu/language.shtml
    Z3 даже умеет доказывать какую-то питушню там.

    j123123, 28 Апреля 2021

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

• ← влево
• вправо →

• 234
• …
• 205
• 204
• 203
• 202
• 201
• 200
• 199
• 198
• 197
• …
• 1