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

    0

    1. 1
    Mi sidim v servernoy!

    Vse kto nas chitaet! Mi sidim v servernoy, v zaperty, mobillnyi ne beret! Pozovonite na ohrany po telefony на okrany 762-23-96 i skagite chtobi nas vypustili!

    3vservernoy, 19 Ноября 2020

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

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

    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
    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
    Fixpoint mint_add0 {N} (i k : Fin.t N) te_i te' t0 vec
             (Ht : MInt nonCommRel N k vec (te' :: t0))
             (Hik : k < i)
             (Hcomm0 : trace_elems_commute te_i te')
             {struct Ht} :
      exists t' : list TE,
          MInt nonCommRel N k (vec_append i te_i vec) (te' :: t') /\
          Permutation trace_elems_commute (te_i :: te' :: t0) (te' :: t').
    Proof with eauto.
      (* Welcome to the hell proof! *)
      remember (te' :: t0) as t_.
      destruct Ht as [k
                     |k j vec te_k t Hij Ht
                     |k j vec te_k te_j t Hij Hcomm Ht
                     ];
        [discriminate
        |replace te' with te_k in * by congruence; clear Heqt_..
        ].
      2:{ destruct (trace_elems_commute_dec te_i te_j).
          - apply mint_add0 with (te_i := te_i) (i := i) in Ht; [|lia|assumption].
            destruct Ht as [t' [Ht' Hperm']].
            exists (te_j :: t'). split.
            + swap_vec_append.
              eapply mint_cons2...
            + apply permut_cons with (a := te_k) in Hperm'.
              eapply permut_trans...
              now apply permut_head'.
          - exists (te_i :: te_j :: t). split.
            + swap_vec_append.
              apply mint_cons1 with (j0 := i); [lia|].
              apply mint_cons2 with (j0 := j); [lia|auto..].
            + now apply permut_head'.
      }
      { inversion_ Ht.
        - exists [te_i]. split.
          + swap_vec_append.
            apply mint_cons1 with (j0 := i); [lia|].
            apply mint_cons1 with (j0 := i); [lia|].
            constructor.
          + now apply permut_head'.
        - rename te into te_j.
          destruct (PeanoNat.Nat.lt_ge_cases j i).
          2:{ exists (te_i :: te_j :: t1). split.
              - swap_vec_append.
                apply mint_cons1 with (j1 := i); [lia|].
                apply mint_cons1 with (j1 := j); [lia|assumption].
              - now apply permut_head'.
          }
          { destruct (trace_elems_commute_dec te_i te_j) as [Hte_ij|Hte_ij].
            - apply mint_add0 with (i := i) (te_i := te_i) in Ht; [|lia|assumption].
              destruct Ht as [t' [Ht' Hperm']].
              exists (te_j :: t'). split.
              + swap_vec_append.
                eapply mint_cons1...
              + apply permut_cons with (a := te_k) in Hperm'.
                now apply permut_head.
            - exists (te_i :: te_j :: t1). split.
              + swap_vec_append.
                apply mint_cons1 with (j1 := i); [lia|].
                apply mint_cons2 with (j1 := j); [lia|assumption..].
              + apply permut_head; [assumption|constructor].
          }
        - rename j0 into i0. cbn in H0.
          destruct (PeanoNat.Nat.lt_ge_cases j i).
          2:{ exists (te_i :: te_i0 :: te_j :: t1). split.
              + swap_vec_append.
                apply mint_cons1 with (j0 := i); [lia|].
                apply mint_cons1 with (j0 := j); [lia|assumption].
              + now apply permut_head'.
          }
          { destruct (trace_elems_commute_dec te_i te_i0).
            - apply mint_add0 with (i := i) (te_i := te_i) in Ht; [|lia|assumption].
              destruct Ht as [t' [Ht' Hperm']].
              exists (te_i0 :: t'). split.
              + swap_vec_append.
                eapply mint_cons1...
              + apply permut_cons with (a := te_k) in Hperm'.
                now apply permut_head.
            - exists (te_i :: te_i0 :: te_j :: t1). split.
              + swap_vec_append.
                apply mint_cons1 with (j0 := i); [lia|].
                apply mint_cons2 with (j0 := j); [lia|assumption..].
              + apply permut_head.
                * assumption.
                * constructor.
          }
      }
    Qed.

    Мой magnum opus. Часть доказательства про выкидывание из рассмотрения коммутирующих системных вызовов.

    CHayT, 17 Ноября 2020

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

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

    0

    1. 1
    bp kernelbase!VirtualAlloc " .printf \"\n\n\n\nBytes allocated: %lu (k)\n\n\n\",(@rdx/0n1024); k 8"

    Давайте течь от windbg

    MAPTbIwKA, 13 Ноября 2020

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

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

    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
    <div class="filter-aside-mobile-category-popular" id="filter-aside-mobile-category-popular">
              <div class="catalog-mobile-menu__header">
                <div class="catalog-mobile-menu__close">
                  <svg>
                    <use xlink:href="assets/img/sprite.svg#arr-left"></use>
                  </svg><span>Назад</span>
                </div>
              </div>
              <h3 class="filter-aside-mobile-sorted__title">Популярные подборки</h3>
            <ul class="category-popular-filter__list">
                  <li class="category-popular-filter__item"><a class="category-popular-filter__link" href="#">Rotabroach</a></li>
             
                </ul>
            </div>

    snegoviktlt, 12 Ноября 2020

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

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

    −3

    1. 1
    Обращение.

    Антонио, перепиши этот сайт на современный стек технологий. Очень рекомендую:
    - Vue или React
    - NodeJS или Go
    - MongoDB
    - побольше AJAX-а
    Очень неютно находиться на технически устаревшем сайте - какой-то колхозный PHP, голый HTML, JS и jQuery... Твоим сайтом хочется гордиться, а не блеваться от него.
    Новые фичи добавлять необязательно.

    rotoeb, 10 Ноября 2020

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

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

    −1

    1. 1
    2. 2
    3. 3
    4. 4
    5. 5
    6. 6
    7. 7
    Возможно, вы разделите мою точку зрения насчёт того документа. Судите сами:

1. Это всё ещё Vue
2. Он закрывает основные потребности разработчиков
3. Разумеется, он избавляет от бойлерплейта
4. Документация — огонь
5. Большое, пассионарное сообщество

    Спирт:

    1. Его пьют
    2. Вызывает эйфорию
    3. Может использоваться в качестве жидкости

    https://m.habr.com/ru/company/vdsina/blog/525382/

    Fike, 04 Ноября 2020

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

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

    +3

    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
    include std/socket.e as s
include std/error.e as err

constant PORT = 5050
constant BACKLOG = 5

procedure die(object result, sequence action) 
	printf(2, "Error %d in %s", {result, action})
	err:crash(action)
end procedure

procedure ensure_zero(integer result, sequence action)
	if result != 0 then
		die(result, action)
	end if 
end procedure

function ensure_seq(object result, sequence action)
	if atom(result) then
		die(result, action)
	end if
	return result
end function

enum SOCKET, READ, WRITE, ERROR
constant PHRASE = "Hello from Euphoria\n"

procedure client_proc(sequence socket)
while 1 do
		for i = 1 to length(PHRASE) do
			sequence result = s:select({}, socket, {}, 0, 100)
			sequence result_s = result[1]
			if result_s[WRITE] = 1 then
				s:send(socket, {PHRASE[i]}, 0)
			end if 
			task_yield()
		end for
end while
end procedure

constant client_proc_id = routine_id("client_proc")

sequence server = ensure_seq(s:create(s:AF_INET, s:SOCK_STREAM, 0), "create")
ensure_zero(s:bind(server, "127.0.0.1", PORT), "bind")
ensure_zero(s:listen(server, BACKLOG), "listen")

while 1 do
	sequence listen_result = s:select(server, {}, {}, 0, 100)
	if listen_result[1][READ] = 1 then
		sequence client = ensure_seq(s:accept(server), "accept")
		printf(1, "Here comes %s\n", {client[2]})
		atom task = task_create(client_proc_id, {client[1]})
		task_schedule(task, {0.5, 0.5})
	end if
	task_yield()
end while

    MAKAKA, 27 Октября 2020

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

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

    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
    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
    // Define type
define bottles_of_beer => type {

	// Define internal data 
	data private bottles = 99

	// Define private methods
	private br => '<br/>'
	private s => .bottles != 1 ? 's' | ''
	
	// Generate lyrics when object represented as a string
	public asstring => {

		local(out = '')
	
		// Use Lasso query syntax to generate the lyrics
	

		with n in 99 to 1 by -1 do {
			.bottles = #n
			#out +=  .bottles + ' bottle' + .s + ' of beer on the wall, ' + .br
			#out +=  .bottles + ' bottle' + .s + ' of beer; ' + .br
			.bottles--
			#out += 'Take one down, pass it around, ' + .br
			#out += .bottles + ' bottle' + .s + ' of beer on the wall. ' + (.br * 2) 
		}

		// Return result
		return #out
	}
}

bottles_of_beer

    https://en.wikipedia.org/wiki/Lasso_(programming_language)

    MAKAKA, 24 Октября 2020

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

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

    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
    17. 17
    18. 18
    19. 19
    20. 20
    У студента из Камеруна на автостанции в Люберцах украли багаж на 1 млн рублей

https://tass.ru/proisshestviya/9788371

МОСКВА, 22 октября. /ТАСС/. Багаж студента из Камеруна, оставленный им без присмотра на автостанции
в Люберцах, был похищен. Два чемодана украли двое ранее судимых мужчин, сообщила журналистам начальник
пресс-службы ГУ МВД по Московской области Татьяна Петрова.

"В Люберцах полицейские задержали мужчин, похитивших личные вещи у уроженца Республики Камерун. В
дежурную часть поступило заявление от 25-летнего студента о том, что на автовокзале у него похитили два
чемодана с принадлежащим ему имуществом. Общая сумма материального ущерба составила свыше 1 млн
рублей", - сказала Петрова.

Полиция установила, что двое мужчин на автостанции в городском округе Котельники увидели чемоданы без
присмотра и украли их. Местный участковый нашел обоих по камерам наблюдения. Задержанными оказались
39-летний уроженец Самарской области и 46-летний житель Подмосковья, оба ранее судимы. В ходе осмотра
места происшествия в помещении автовокзала полицейским было обнаружено и изъято похищенное имущество
и возвращено потерпевшему.

Возбуждено уголовное дело по статье о краже, подозреваемые заключены под стражу.

    rotoeb, 24 Октября 2020

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

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

    −1

    1. 1
    Get-NetTCPConnection -State Listen | %{[pscustomobject]@{Port=$_.LocalPort; Process=$(Get-Process -Id $_.OwningProcess)}} | sort {[int]$_.Port}

    Давайте течь от powershell.

    MAPTbIwKA, 15 Октября 2020

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