Хламидомонада / Говнокод #29265 Ссылка на оригинал

0

  1. 1
  2. 2
  3. 3
  4. 4
  5. 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 lisp-worst-code, (Updated )

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

Куча говна / Говнокод #29264 Ссылка на оригинал

0

  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  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
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 CHayT, (Updated )

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

Куча говна / Говнокод #29263 Ссылка на оригинал

0

  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12
  13. 13
  14. 14
  15. 15
  16. 16
  17. 17
Хрюкни #41
             ._     __,
              |\,../'\
            ,'. .     `.
           .--         '`.
          ( `' ,          ;
          ,`--' _,       ,'\
         ,`.____            `.
        /              `,    |
       '                \,   '
       |                /   /`,
       `,  .           ,` ./  |
       ' `.  ,'        |;,'   ,@
 ______|     |      _________,_____jv______
        `.   `.   ,'
         ,'_,','_,
         `'   `'

#11: https://govnokod.ru/27517 https://govnokod.xyz/_27517
#12: https://govnokod.ru/27636 https://govnokod.xyz/_27636
#13: (vanished) https://govnokod.xyz/_27711
#14: https://govnokod.ru/27713 https://govnokod.xyz/_27713
#15: https://govnokod.ru/27721 https://govnokod.xyz/_27721
#16: https://govnokod.ru/27722 https://govnokod.xyz/_27722
#17: (vanished) https://govnokod.xyz/_27723
#18: https://govnokod.ru/27724 https://govnokod.xyz/_27724
#19: https://govnokod.ru/27726 https://govnokod.xyz/_27726
#20: https://govnokod.ru/27727 https://govnokod.xyz/_27727
#21: https://govnokod.ru/27870 https://govnokod.xyz/_27870
#22: https://govnokod.ru/28067 https://govnokod.xyz/_28067
#23: https://govnokod.ru/28277 https://govnokod.xyz/_28277
#24: https://govnokod.ru/28471 https://govnokod.xyz/_28471
#25: https://govnokod.ru/28659 https://govnokod.xyz/_28659
#26: (vanished) https://govnokod.xyz/_28661
#27: (vanished) https://govnokod.xyz/_28668
#28: https://govnokod.ru/28678 https://govnokod.xyz/_28678
#29: https://govnokod.ru/28686 https://govnokod.xyz/_28686
#30: https://govnokod.ru/28693 https://govnokod.xyz/_28693
#31: https://govnokod.ru/28700 https://govnokod.xyz/_28700
#32: https://govnokod.ru/28706 https://govnokod.xyz/_28706
#33: https://govnokod.ru/28713 https://govnokod.xyz/_28713
#34: https://govnokod.ru/28723 https://govnokod.xyz/_28723
#35: https://govnokod.ru/28731 https://govnokod.xyz/_28731
#36: https://govnokod.ru/28737 https://govnokod.xyz/_28737
#37: https://govnokod.ru/28741 https://govnokod.xyz/_28741
#38: https://govnokod.ru/28751 https://govnokod.xyz/_28751
#39: https://govnokod.ru/28854 https://govnokod.xyz/_28854
#40: https://govnokod.ru/28990 https://govnokod.xyz/_28990

nepeKamHblu_nemyx nepeKamHblu_nemyx, (Updated )

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

Куча говна / Говнокод #29262 Ссылка на оригинал

0

  1. 1
IT Оффтоп #235

#205: https://govnokod.ru/28986 https://govnokod.xyz/_28986
#206: https://govnokod.ru/28991 https://govnokod.xyz/_28991
#207: https://govnokod.ru/29002 https://govnokod.xyz/_29002
#208: https://govnokod.ru/29060 https://govnokod.xyz/_29060
#209: https://govnokod.ru/29070 https://govnokod.xyz/_29070
#210: https://govnokod.ru/29079 https://govnokod.xyz/_29079
#211: https://govnokod.ru/29092 https://govnokod.xyz/_29092
#212: https://govnokod.ru/29093 https://govnokod.xyz/_29093
#213: https://govnokod.ru/29104 https://govnokod.xyz/_29104
#214: https://govnokod.ru/29114 https://govnokod.xyz/_29114
#215: https://govnokod.ru/29125 https://govnokod.xyz/_29125
#216: https://govnokod.ru/29132 https://govnokod.xyz/_29132
#217: https://govnokod.ru/29147 https://govnokod.xyz/_29147
#218: https://govnokod.ru/29156 https://govnokod.xyz/_29156
#219: https://govnokod.ru/29166 https://govnokod.xyz/_29166
#220: https://govnokod.ru/29181 https://govnokod.xyz/_29181
#221: https://govnokod.ru/29185 https://govnokod.xyz/_29185
#222: https://govnokod.ru/29190 https://govnokod.xyz/_29190
#223: https://govnokod.ru/29203 https://govnokod.xyz/_29203
#224: https://govnokod.ru/29211 https://govnokod.xyz/_29211
#225: https://govnokod.ru/29212 https://govnokod.xyz/_29212
#226: https://govnokod.ru/29218 https://govnokod.xyz/_29218
#227: https://govnokod.ru/29220 https://govnokod.xyz/_29220
#228: https://govnokod.ru/29230 https://govnokod.xyz/_29230
#229: https://govnokod.ru/29235 https://govnokod.xyz/_29235
#230: https://govnokod.ru/29241 https://govnokod.xyz/_29241
#231: https://govnokod.ru/29246 https://govnokod.xyz/_29246
#232: https://govnokod.ru/29249 https://govnokod.xyz/_29249
#233: https://govnokod.ru/29253 https://govnokod.xyz/_29253
#234: https://govnokod.ru/29259 https://govnokod.xyz/_29259

nepeKamHblu_nemyx nepeKamHblu_nemyx, (Updated )

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

Змея / Говнокод #29261 Ссылка на оригинал

0

  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 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 JloJle4Ka, (Updated )

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

Куча говна / Говнокод #29259 Ссылка на оригинал

0

  1. 1
IT Оффтоп #234

#204: https://govnokod.ru/28971 https://govnokod.xyz/_28971
#205: https://govnokod.ru/28986 https://govnokod.xyz/_28986
#206: https://govnokod.ru/28991 https://govnokod.xyz/_28991
#207: https://govnokod.ru/29002 https://govnokod.xyz/_29002
#208: https://govnokod.ru/29060 https://govnokod.xyz/_29060
#209: https://govnokod.ru/29070 https://govnokod.xyz/_29070
#210: https://govnokod.ru/29079 https://govnokod.xyz/_29079
#211: https://govnokod.ru/29092 https://govnokod.xyz/_29092
#212: https://govnokod.ru/29093 https://govnokod.xyz/_29093
#213: https://govnokod.ru/29104 https://govnokod.xyz/_29104
#214: https://govnokod.ru/29114 https://govnokod.xyz/_29114
#215: https://govnokod.ru/29125 https://govnokod.xyz/_29125
#216: https://govnokod.ru/29132 https://govnokod.xyz/_29132
#217: https://govnokod.ru/29147 https://govnokod.xyz/_29147
#218: https://govnokod.ru/29156 https://govnokod.xyz/_29156
#219: https://govnokod.ru/29166 https://govnokod.xyz/_29166
#220: https://govnokod.ru/29181 https://govnokod.xyz/_29181
#221: https://govnokod.ru/29185 https://govnokod.xyz/_29185
#222: https://govnokod.ru/29190 https://govnokod.xyz/_29190
#223: https://govnokod.ru/29203 https://govnokod.xyz/_29203
#224: https://govnokod.ru/29211 https://govnokod.xyz/_29211
#225: https://govnokod.ru/29212 https://govnokod.xyz/_29212
#226: https://govnokod.ru/29218 https://govnokod.xyz/_29218
#227: https://govnokod.ru/29220 https://govnokod.xyz/_29220
#228: https://govnokod.ru/29230 https://govnokod.xyz/_29230
#229: https://govnokod.ru/29235 https://govnokod.xyz/_29235
#230: https://govnokod.ru/29241 https://govnokod.xyz/_29241
#231: https://govnokod.ru/29246 https://govnokod.xyz/_29246
#232: https://govnokod.ru/29249 https://govnokod.xyz/_29249
#233: https://govnokod.ru/29253 https://govnokod.xyz/_29253

nepeKamHblu_nemyx nepeKamHblu_nemyx, (Updated )

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

Куча говна / Говнокод #29258 Ссылка на оригинал

0

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

#1: https://govnokod.ru/28992 https://govnokod.xyz/_28992
#2: https://govnokod.ru/29053 https://govnokod.xyz/_29053
#3: https://govnokod.ru/29075 https://govnokod.xyz/_29075
#4: https://govnokod.ru/29110 https://govnokod.xyz/_29110
#5: https://govnokod.ru/29127 https://govnokod.xyz/_29127
#6: https://govnokod.ru/29140 https://govnokod.xyz/_29140
#7: https://govnokod.ru/29170 https://govnokod.xyz/_29170
#8: https://govnokod.ru/29192 https://govnokod.xyz/_29192
#9: https://govnokod.ru/29227 https://govnokod.xyz/_29227

nepeKamHblu_nemyx nepeKamHblu_nemyx, (Updated )

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

Куча говна / Говнокод #29257 Ссылка на оригинал

0

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

#99: https://govnokod.ru/28936 https://govnokod.xyz/_28936
#100: https://govnokod.ru/28940 https://govnokod.xyz/_28940
#101: https://govnokod.ru/28949 https://govnokod.xyz/_28949
#102: https://govnokod.ru/28978 https://govnokod.xyz/_28978
#103: https://govnokod.ru/28982 https://govnokod.xyz/_28982
#104: https://govnokod.ru/28989 https://govnokod.xyz/_28989
#105: https://govnokod.ru/29052 https://govnokod.xyz/_29052
#106: https://govnokod.ru/29069 https://govnokod.xyz/_29069
#107: https://govnokod.ru/29086 https://govnokod.xyz/_29086
#108: https://govnokod.ru/29102 https://govnokod.xyz/_29102
#109: https://govnokod.ru/29126 https://govnokod.xyz/_29126
#110: https://govnokod.ru/29136 https://govnokod.xyz/_29136
#111: https://govnokod.ru/29142 https://govnokod.xyz/_29142
#112: https://govnokod.ru/29155 https://govnokod.xyz/_29155
#113: https://govnokod.ru/29160 https://govnokod.xyz/_29160
#114: https://govnokod.ru/29165 https://govnokod.xyz/_29165
#115: https://govnokod.ru/29173 https://govnokod.xyz/_29173
#116: https://govnokod.ru/29174 https://govnokod.xyz/_29174
#117: https://govnokod.ru/29182 https://govnokod.xyz/_29182
#118: https://govnokod.ru/29191 https://govnokod.xyz/_29191
#119: https://govnokod.ru/29196 https://govnokod.xyz/_29196
#120: https://govnokod.ru/29205 https://govnokod.xyz/_29205
#121: https://govnokod.ru/29216 https://govnokod.xyz/_29216
#122: https://govnokod.ru/29219 https://govnokod.xyz/_29219
#123: https://govnokod.ru/29232 https://govnokod.xyz/_29232
#124: https://govnokod.ru/29237 https://govnokod.xyz/_29237
#125: https://govnokod.ru/29239 https://govnokod.xyz/_29239
#126: https://govnokod.ru/29244 https://govnokod.xyz/_29244
#127: https://govnokod.ru/29248 https://govnokod.xyz/_29248
#128: https://govnokod.ru/29251 https://govnokod.xyz/_29251

nepeKamHblu_nemyx nepeKamHblu_nemyx, (Updated )

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

Кресты / Говнокод #29256 Ссылка на оригинал

0

  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  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
  89. 89
  90. 90
  91. 91
  92. 92
  93. 93
  94. 94
  95. 95
  96. 96
  97. 97
  98. 98
  99. 99
  100. 100
#define IMAGE_BASE_RELOC_TYPE 0x0C
#define IMAGE_BASE_RELOC_OFFSET 0x0FFF
#define IMAGE_GET_BASE_RELOC_TYPE(entry) entry >> IMAGE_BASE_RELOC_TYPE
#define IMAGE_GET_BASE_RELOC_OFFSET(entry) entry & IMAGE_BASE_RELOC_OFFSET

__declspec(safebuffers) __declspec(noinline) DWORD mapping_code(LPVOID map_struct)
{
	auto map = static_cast<MM_DATA*>(map_struct);

	auto base = map->base;

	auto dos = reinterpret_cast<PIMAGE_DOS_HEADER>(base);
	auto nt_headers = reinterpret_cast<PIMAGE_NT_HEADERS>(base + dos->e_lfanew);

	auto opt_header = &nt_headers->OptionalHeader;
	auto file_header = &nt_headers->FileHeader;

	const bool has_entry_point = opt_header->AddressOfEntryPoint != 0;
	auto dll_main = reinterpret_cast<DllMainFn>(base + opt_header->AddressOfEntryPoint);

	auto load_library			= map->load_library;
	auto get_proc_address		= map->get_proc_address;
	auto virtual_protect		= map->virtual_protect;
	auto rtl_add_function_table = map->rtl_add_function_table;
	
	auto reloc_dir = opt_header->DataDirectory[IMAGE_DIRECTORY_ENTRY_BASERELOC];
	auto location_delta = reinterpret_cast<uintptr_t>(base) - static_cast<uintptr_t>(opt_header->ImageBase);
	
	if (location_delta && reloc_dir.Size)
	{
		auto reloc_begin = reinterpret_cast<PIMAGE_BASE_RELOCATION>(base + reloc_dir.VirtualAddress);
		auto reloc_end = reinterpret_cast<PIMAGE_BASE_RELOCATION>(reinterpret_cast<std::byte*>(reloc_begin) + reloc_dir.Size);

		while (reloc_begin < reloc_end && reloc_begin->SizeOfBlock)
		{
			auto amount_of_entries = (reloc_begin->SizeOfBlock - sizeof(IMAGE_BASE_RELOCATION)) / sizeof(WORD);

			auto entries = reinterpret_cast<PWORD>(reloc_begin + 1);

			for (size_t i = 0; i < amount_of_entries; i++)
			{
				WORD type = IMAGE_GET_BASE_RELOC_TYPE(entries[i]);
				WORD offset = IMAGE_GET_BASE_RELOC_OFFSET(entries[i]);

				if (type == IMAGE_REL_BASED_DIR64)
				{
					uintptr_t* path_at = reinterpret_cast<uintptr_t*>(base + reloc_begin->VirtualAddress + offset);
					*path_at += location_delta;
				}
			}
			reloc_begin = reinterpret_cast<PIMAGE_BASE_RELOCATION>(reinterpret_cast<std::byte*>(reloc_begin) + reloc_begin->SizeOfBlock);
		}
	}

	auto import_dir = opt_header->DataDirectory[IMAGE_DIRECTORY_ENTRY_IMPORT];

	if (import_dir.Size)
	{
		auto import_desc = reinterpret_cast<PIMAGE_IMPORT_DESCRIPTOR>(base + import_dir.VirtualAddress);

		while (import_desc->Name)
		{
			auto module_name = reinterpret_cast<char*>(base + import_desc->Name);
			HMODULE module = load_library(module_name);

			if (!module)
			{
				map->status = LOAD_LIBRARY_FAILED;
				return -2;
			}

			auto INT_TABLE = reinterpret_cast<PIMAGE_THUNK_DATA>(base + (import_desc->OriginalFirstThunk ? import_desc->OriginalFirstThunk : import_desc->FirstThunk));
			auto IAT_TABLE = reinterpret_cast<PIMAGE_THUNK_DATA>(base + (import_desc->FirstThunk));

			for (; INT_TABLE->u1.AddressOfData ; INT_TABLE++, IAT_TABLE++)
			{
				FARPROC address = IMAGE_SNAP_BY_ORDINAL(INT_TABLE->u1.Ordinal) ? 
					get_proc_address(module, reinterpret_cast<char*>(IMAGE_ORDINAL(INT_TABLE->u1.Ordinal))) :
					get_proc_address(module, reinterpret_cast<PIMAGE_IMPORT_BY_NAME>(base + INT_TABLE->u1.AddressOfData)->Name);

				if (!address)
				{
					map->status = GET_PROC_ADDRESS_FAILED;
					return -3;
				}

				IAT_TABLE->u1.Function = reinterpret_cast<uintptr_t>(address);
			}
			++import_desc;
		}
	}

	auto delay_dir = opt_header->DataDirectory[IMAGE_DIRECTORY_ENTRY_DELAY_IMPORT];

	if (delay_dir.Size)
	{
		auto delay_desc = reinterpret_cast<PIMAGE_DELAYLOAD_DESCRIPTOR>(base + delay_dir.VirtualAddress);

		while (delay_desc->DllNameRVA)
		{

0xDEADBEEF 0xDEADBEEF, (Updated )

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