По колено в коде — Говнокод.ру

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

+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)

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

+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)

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

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

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

0

1

А куда пропал инканус?

OCETuHCKuu_nemyx, 27 Апреля 2021

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

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

+1

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

%% This function is needed as a hack to guide dialyzer into inferring
%% the correct types.
-spec id(A) -> A.
id(A) ->
  A.

%% Где-то в header'е....

-define(deftarget(RECIPE), {RECIPE, fun my_module:id/1}).

%% A horrible, horrible hack to make Dialyzer infer right type of the promise return value
-define(want(TARGET),
        (fun() ->
             case TARGET of
               {_, ___IAmSorryYouHaveToSeeThisWorkaroundForDialyzer} ->
                 ___IAmSorryYouHaveToSeeThisWorkaroundForDialyzer(my_module:want(TARGET))
             end
         end)()).

Пути статический типизации в Erlang неисповедимы.

CHayT, 26 Апреля 2021

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

C# / Говнокод #27376

+1

001
002
003
004
005
006
007
008
009
010
011
012
013
014
015
016
017
018
019
020
021
022
023
024
025
026
027
028
029
030
031
032
033
034
035
036
037
038
039
040
041
042
043
044
045
046
047
048
049
050
051
052
053
054
055
056
057
058
059
060
061
062
063
064
065
066
067
068
069
070
071
072
073
074
075
076
077
078
079
080
081
082
083
084
085
086
087
088
089
090
091
092
093
094
095
096
097
098
099
100

// Update is called once per frame
    void Update () {
        if (!isWin && !isFail && !isPaused)
        {
            if (timeForUnhit > 0) //Для состояния восстановления игрока
            {
                timeForUnhit -= Time.deltaTime;
                //LevelGenerate.Instance.player.GetComponent<SpriteRenderer>().sprite = hitPlayer;
            }
            else if (timeForInvc > 0)
            //Для состояния непобедимости игрока
            {
                timeForInvc -= Time.deltaTime;
                //LevelGenerate.Instance.player.GetComponent<SpriteRenderer>().sprite = invcPlayer;
            }

            else
            {
                //LevelGenerate.Instance.player.GetComponent<SpriteRenderer>().sprite = player;
                LevelGenerate.Instance.player.GetComponent<Animator>().CrossFade(animNames[0], 0);
                if (invc)
                {
                    
                    MusicManager.Instance.gameObject.GetComponent<AudioSource>().clip = MusicManager.Instance.music[1];
                    MusicManager.Instance.gameObject.GetComponent<AudioSource>().Play();
                }
                invc = false;
                
            }
        }

        i = LevelGenerate.Instance.playerY;
        j = LevelGenerate.Instance.playerX;
        
        if (!isWin && !isFail) //Если уровень не завершен
        {
            collideEnemy(); //Обнаружение столкновения с врагом
            collectItem(); //Обнаружения столкновения с собираемым предметом
            genNthOrdColls(2); //Генерация предметов n-ого порядка после сбора предметов (n-1)-ого
            genNthOrdColls(3);
            genNthOrdColls(4);

            if (colls[0] == 0 && colls[1] == 0 && colls[2] == 0 && colls[3] == 0 && LevelGenerate.Instance.resLoaded) isWin = true; //Если все предметы собраны, то уровень завершен с прохождением
        }

        if (isWin && animationSet == 0) //Меняем спрайт игрока при завершении уровня
        {
            //LevelGenerate.Instance.player.GetComponent<SpriteRenderer>().sprite = winPlayer;
            LevelGenerate.Instance.player.GetComponent<Animator>().CrossFade(animNames[1], 0);
            animationSet++;
            delayTime = 1.5f;
            MusicManager.Instance.gameObject.GetComponent<AudioSource>().mute = true;
            SoundManager.Instance.gameObject.GetComponent<AudioSource>().clip = SoundManager.Instance.sounds[0];
            SoundManager.Instance.gameObject.GetComponent<AudioSource>().Play();
        }

        if (isWin && delayTime <= 0)
        {
            //path = Application.dataPath + "\\Levels\\SaveData1";

            /*if (Application.platform == RuntimePlatform.WindowsEditor)
            {
                path = Application.dataPath;
                path = Path.Combine(path, "Levels");
            }
            else if (Application.platform == RuntimePlatform.Android)
                path = Application.persistentDataPath;
            
            path = Path.Combine(path, "SaveData1");
            fs = new FileStream(path, FileMode.Open);
            bw = new BinaryWriter(fs);*/
            levelNum = (byte)(Convert.ToByte(LevelGenerate.Instance.levelFile.Substring(5)) - 1);
            levelNum++;
            if (PlayerPrefs.GetInt("maxLevel") == levelNum)
            {


                
                PlayerPrefs.SetInt("maxLevel", (int)levelNum);
                PlayerPrefs.Save();
            }
            PlayerPrefs.SetInt("level", (int)levelNum);

            /*bw.Write(levelNum);
            
            bw.Write("Level" + (levelNum+1).ToString());
            bw.Close();
            fs.Close();*/
            SceneManager.LoadScene("Win");
        } else if (delayTime > 0)
        {
            delayTime -= Time.deltaTime;
        }
        if (isFail && delayTime <= 0)
        {
            //path = Application.dataPath + "\\Levels\\SaveData1";
            /*if (Application.platform == RuntimePlatform.WindowsEditor)
            {
                path = Application.dataPath;
                path = Path.Combine(path, "Levels");

```
}
else if (Application.platform == RuntimePlatform.Android)
path = Application.persistentDataPath;

path = Path.Combine(path, "SaveData1");
fs = new FileStream(path, FileMode.Open);
bw = new BinaryWriter(fs);

fs.Seek(1, SeekOrigin.Begin);
bw.Write(LevelGenerate.Instance.levelFil e);
bw.Close();
fs.Close();*/
PlayerPrefs.SetString("levelFile", LevelGenerate.Instance.levelFile);
PlayerPrefs.Save();
SceneManager.LoadScene("Fail");
} else if (delayTime > 0)
{
delayTime -= Time.deltaTime;
}
}
```

Самый страшный метод из EventManager-а (модуль который отвечал за все события в игре - коллизию с врагом, таймаут непобедимости и пр.).

JaneBurt, 24 Апреля 2021

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

C# / Говнокод #27375

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

//Генерация уровня из файла
    void mapGenerate()
    {
        
        float x = 0.72f, y = -0.72f; //Координаты игрового объекта
        byte i = 0, j = 0; //Цифровые координаты игрвоого объекта

        while (y >= -5.76f)
        {
            while (x <= 5.76f)
            {
                
                    
                if (map[i, j] % 8 == 1) //Если игровой объект - точка спавна игрока
                {
                    player.transform.position = new Vector3(x, y, 0);
                    playerX = j;
                    playerY = i;
                }
                else if (map[i, j] % 8 == 5) //Если игровой объект - точка спавна врага
                {
                    enemy.transform.position = new Vector3(x, y, 0);
                    enemyX = j;
                    enemyY = i;
                    //print("Enemy: " + enemyX + " " + enemyY);
                } else if(map[i, j] % 8 == 6) //Если игровой объект - собираемый предмет
                {
                    EventManager.Instance.colls[0]++; //Увеличивается количество собираемых монет на уровне
                    mapObj[i, j] = Instantiate(entities[map[i, j] % 8], new Vector3(x, y, 0), Quaternion.identity);
                }

                else if (map[i,j] % 8 != 0) { //Для остальных игровых объектов
                    mapObj[i,j] = Instantiate(entities[map[i, j] % 8], new Vector3(x, y, 0), Quaternion.identity);
                }
                x += 0.72f;
                j++;
            }
            y -= 0.72f;
            x = 0.72f;
            j = 0;
            i++;
        }
    } 

    //Считывание данных об уровне
    void readLevelFile()
    {
        string path = "";
        FileStream fs = null;
        BinaryReader br = null;
        
        if (Application.platform == RuntimePlatform.WindowsEditor)
        {
            path = Application.dataPath;
            path = Path.Combine(path, "Levels");
            path = Path.Combine(path, levelFile);
            fs = new FileStream(path, FileMode.Open);
            br = new BinaryReader(fs);
            head = br.ReadBytes(8); //Чтение заголовка файла
            for (int i = 0; i < 8; i++)
            {
                for (int j = 0; j < 8; j++)
                {
                    map[i, j] = br.ReadByte(); //Чтение кода игрового объекта
                }
            }



            br.Close();
            fs.Close();
        } else if (Application.platform == RuntimePlatform.Android)
        {
            
            byte[] file = null;
            
                path = "jar:file://"+ Application.dataPath + "!/assets/Levels/"+levelFile;
                www = new WWW(path);
            while (!www.isDone) { }
                if (!string.IsNullOrEmpty(www.error))
                {
                    Debug.LogError("Can't read");
                }
                file = www.bytes;

                for (int i = 0; i < 8; i++)
                {
                    head[i] = file[i];
                }
                for (int i = 0; i < 8; i++)
                {
                    for (int j = 0; j < 8; j++)
                    {
                        map[i, j] = file[j + i * 8 + 8]; //Чтение кода игрового объекта
                    }
                }

            www.Dispose();
        }

Из кода собственной аркады на Unity 2017-ого года. Неоправданные байто*бские оптимизации, взаимодействие между модулями через десяток глобалов, магические константы не зафиксированные в именах кода, куча хардкода. И ето из модуля для генерации уровня. В модуле для управления событиями код страшнее.

JaneBurt, 24 Апреля 2021

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

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

0

1

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

#1: https://govnokod.ru/26503 https://govnokod.xyz/_26503
#2: https://govnokod.ru/26541 https://govnokod.xyz/_26541
#3: https://govnokod.ru/26583 https://govnokod.xyz/_26583
#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

nepeKamHblu_nemyx, 24 Апреля 2021

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

Python / Говнокод #27373

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

def generate_words(sample, phonemes, num=10): 
    global words, yd
    gen = True
    parens = 0
    r = random.random()
    word = ""
    i = 0
    while i < int(num):
        for j in range(0, len(sample)):
            if sample[j] == '(':
                if gen:
                    gen = (random.randint(0,1) == 0)
                if not gen:
                    parens += 1
            elif sample[j] == ')':
                if not gen:
                    parens -= 1
                if parens == 0:
                    gen = True
            elif sample[j] in phonemes.keys():
                for n, phtype in enumerate(phonemes.keys()):
                    if gen and phtype == sample[j]:
                        #k = random.choice(phonemes[phtype])
                        n = yd.randomGen(phonemeRanks[phtype])
                        k = phonemes[phtype][n]
                        word += k
            elif gen:
                word += sample[j]
                    
        if (not word in words) and (not isExceptional(word)):
            words.append(word)

        i += 1
        word = ""

# ...

"""parsing sound changes rule with the notation X>Y/Z, where X is a set of source phonemes
Y - a set of resulting phonemes, Z - a positional condition (optional)"""
def parsePhNotation(inline):
    rule = inline.split('>')
    if (not len(rule) == 2):
        return []

    source = rule[0].split(',')
    final = rule[1].split('/')

    result = final[0].split(',')
    posCond = []
    rule = []
    if (len(final) > 2):
        return False
    elif (len(final) == 2):
        posCond = final[1].split('_')
        if (not len(posCond) == 2):
            return []
        posCond[0] = posCond[0].split('#')
        posCond[1] = posCond[1].split('#')


        
        if (len(posCond[0]) == 2) and len(posCond[0][0]) > 0:
            return []
        elif len(posCond[0]) == 2:
            rule.append(" "+posCond[0][1])
        else:
            rule.append(posCond[0][0])

        if (len(posCond[1]) == 2) and len(posCond[1][1]) > 0:
            return []

        rule.append(posCond[1][0])
        if len(posCond[1]) == 2:
            rule[1] += " "
        
        rule[0] = rule[0].split(",")
        rule[1] = rule[1].split(",")

    final = []
    if len(source) > len(result):
        for i in range(len(result)-1, len(source)-1):
            result.append("")
    elif len(source) < len(result):
        for i in range(len(source)-1, len(result)-1):
            source.append("")

    final.append(source)
    final.append(result)
    if (len(rule)>0):
        final.append(rule)
    return final

Рекурсивный спуск, автомат с магазинной памятью, top-down parsing, bottom-up parsing? Не, не слышал. В свое время время делал вот такие самопальные алгоритмы для рандомной генерации слов по фонетическим шаблонам (типа "CV(C)", "VC" и т.д.) и фонетического преобразования слов и при попытке починить чета наступал на новые баги, т.к. не до конца понимал как вообще парсятся компьютерные языки.

JaneBurt, 24 Апреля 2021

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

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

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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49

-export([parse_transform/2, abstract/2]).

parse_transform(Forms, _Options) ->
  normal(Forms).

normal({call, _Line, {atom, _, '$$'}, [Outer]}) ->
  case Outer of
    {'fun', _, {clauses, Quoted}} ->
      %% Remove outer `fun' and only leave its clauses:
      ok;
    Quoted ->
      %% A plain term has been quoted, leave it as is:
      ok
  end,
  Result = abstract(Quoted),
  %% io:format("Quoted block ~p~n", [Result]),
  Result;
normal(L) when is_list(L) ->
  lists:map(fun normal/1, L);
normal(T) when is_tuple(T) ->
  list_to_tuple(lists:map(fun normal/1, tuple_to_list(T)));
normal(T) ->
  T.

-define(line, 0).

%% @doc Create AST of the AST
abstract({call, _Line, {atom, _, '$'}, [Splice]}) ->
  normal(Splice);
abstract(Orig = {var, Line, VarName}) ->
  case lists:suffix("__AST", atom_to_list(VarName)) of
    true ->
      Orig;
    false ->
      {tuple, ?line, [ {atom, ?line, var}
                     , {integer, ?line, Line}
                     , {atom, ?line, VarName}
                     ]}
  end;
abstract(T) when is_tuple(T) ->
  {tuple, ?line, lists:map(fun abstract/1, tuple_to_list(T))};
abstract([]) ->
  {nil, ?line};
abstract([Hd|Tail]) ->
  {cons, ?line, abstract(Hd), abstract(Tail)};
abstract(A) when is_atom(A) ->
  {atom, ?line, A};
abstract(I) when is_integer(I) ->
  {integer, ?line, I}.

Мета-метушня, убогое подобие лисповского квотирования.

CHayT, 23 Апреля 2021

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

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

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

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

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

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

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

C# / Говнокод #27376

C# / Говнокод #27375

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

Python / Говнокод #27373

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