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

    +2

    1. 1
    2. 2
    3. 3
    4. 4
    5. 5
    6. 6
    Ltac2 make_match fields :=
  destruct x;
  iter (fun a => focus 1 1 (fun () =>
                           let a := a ()
                           in refine (fun () => '((w_rep $a) _)))
         ) fields.

    Итерация по конструкторам индуктивного типа данных.

    CHayT, 03 Декабря 2021

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

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

    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
    https://www.evilfingers.com/publications/research_RU/oldnewlang.pdf языки, которые мы потеряли

...

Кстати, тот, кто считает, метапрограммирование достижением последних десятилетий, — жестоко
ошибается. Да, в языке Си++ оно появилось совсем недавно и в полном объеме (описанном в 
последних редакциях Стандарта) не реализовано ни в одном реально существующем компиляторе, a
Nemerle и R# (языки программирования для платформы .Net со встроенной поддержкой
метапрограммирования) — вообще младенцы, но на самом деле концепция метапрограммирования
возникла еще во времена палеолита. Lisp, появившийся в далеком 1958 г., — хороший пример
языка, естественным образом поддерживающий метапрограммирование, одной из задач которого
является создание программы, выводящей точную копию своего собственного исходного текста — так
называемый куин (англ, quine). На Lisp'e он записывается так:

(funcall (lambda (x) 
               (append x (list (list 'quote x))))
             '(funcall (lambda (x) 
                          (append x (list (list 'quote x))))))

             Листинг 1 программа на Lisp'е, распечатывающая сама себя

На Си так:

#include<stdio.h>
char*i="\\#include<stdio.h>",n='\n',q='"',*p=
"%s%cchar*i=%c%c%s%c,n='%cn',q='%c',*p=%c%c%s%c,*m=%c%c%s%c%c;%s%c",*m=
"int main(){return!printf(p,i+1,n,q,*i,i,q,*i,q,n,q,p,q,n,q,m,q,n,m,n);}"
;int main(){return!printf(p,i+1,n,q,*i,i,q,*i,q,n,q,p,q,n,q,m,q,n,m,n);}

А теперь попробуйте реализовать тоже самое на Си++ с использованием шаблонов и посмотрите, насколько
сильно они вам «помогут».

    Крестобляди соснули

    j123123, 01 Декабря 2021

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

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

    +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
    * https://github.com/nwchemgit/nwchem/blob/8ac6bc6856d50954029cad01a751006851682398/src/nwpw/pspw/lib/psi/psi.F#L324

      subroutine psi_sort_f_orb()
      implicit none
#include "errquit.fh"

#include "bafdecls.fh"
#include "psi.fh"

      logical value
      integer i,j,ii,jj,ms
      integer r1(2)
      real*8  ei,ej

      value = BA_push_get(mt_dcpl,npack1,'r1',r1(2),r1(1))
      if (.not. value) call errquit(
     >     'psi_sort_f_orb: out of stack memory',0,MA_ERR)

      do ms=1,ispin

        !*** Bubble sort ***
        do ii=1,ne(ms)
         do jj=ii+1,ne(ms)
           i = ii + (ms-1)*ne(1)
           j = jj + (ms-1)*ne(1)
           ei = dbl_mb(eig(1)+i-1)
           ej = dbl_mb(eig(1)+j-1)

           !*** swap ***
           if (ej.lt.ei) then
             dbl_mb(eig(1)+i-1) = ej
             dbl_mb(eig(1)+j-1) = ei
             call Pack_c_Copy(1,dcpl_mb(psi1(1)+(i-1)*npack1),
     >                          dcpl_mb(r1(1)))
             call Pack_c_Copy(1,dcpl_mb(psi1(1)+(j-1)*npack1),
     >                          dcpl_mb(psi1(1)+(i-1)*npack1))
             call Pack_c_Copy(1,dcpl_mb(r1(1)),
     >                          dcpl_mb(psi1(1)+(j-1)*npack1))
           end if

         end do
        end do

      end do

      value = BA_pop_stack(r1(2))
      if (.not. value) call errquit(
     >     'psi_sort_f_orb: popping stack memory',1, MA_ERR)
      return
      end

    Сортировка пузырьком на фортране из пакета квантовохимических вычислений "NWChem"

    j123123, 30 Ноября 2021

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

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

    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
    <style type="text/css" media="all">
	html.cms a[href^="https://www.who.int"][href$="/en"] {background-color:#ffcc00;}
	html.cms a[href^="https://www.who.int"][href$="/en/"] {background-color:#ffcc00;}
    html.cms a[href^="http://www.who.int"][href$="/en"] {background-color:#ffcc00;}
	html.cms a[href^="http://www.who.int"][href$="/en/"] {background-color:#ffcc00;}
	html.cms a[href^="/"][href$="/en"] {background-color:#ffcc00;}
	html.cms a[href^="/"][href$="/en/"] {background-color:#ffcc00;}
	html.cms a[href="/"] {background-color:inherit !important;}
	html.cms a[href="/en"] {background-color:inherit !important;}
	html.cms a[href="/en/"] {background-color:inherit !important;}
	html.cms a[href$="http://www.who.int/en"] {background-color:inherit !important;}
	html.cms a[href$="http://www.who.int/en/"] {background-color:inherit !important;}
	html.cms a[href$="https://www.who.int/en"] {background-color:inherit !important;}
	html.cms a[href$="https://www.who.int/en/"] {background-color:inherit !important;}
    html.cms a[href^="https://www.who.int"][href$="/ar"] {background-color:#ffcc00;}
	html.cms a[href^="https://www.who.int"][href$="/ar/"] {background-color:#ffcc00;}
	html.cms a[href^="http://www.who.int"][href$="/ar"] {background-color:#ffcc00;}
	html.cms a[href^="http://www.who.int"][href$="/ar/"] {background-color:#ffcc00;}
	html.cms a[href^="/"][href$="/ar"] {background-color:#ffcc00;}
	html.cms a[href^="/"][href$="/ar/"] {background-color:#ffcc00;}
	html.cms a[href="/ar"] {background-color:inherit !important;}
	html.cms a[href="/ar/"] {background-color:inherit !important;}
	html.cms a[href$="http://www.who.int/ar"] {background-color:inherit !important;}
	html.cms a[href$="http://www.who.int/ar/"] {background-color:inherit !important;}
	html.cms a[href^="https://www.who.int"][href$="/zh"] {background-color:#ffcc00;}
	html.cms a[href^="https://www.who.int"][href$="/zh/"] {background-color:#ffcc00;}
	html.cms a[href^="http://www.who.int"][href$="/zh"] {background-color:#ffcc00;}
	html.cms a[href^="http://www.who.int"][href$="/zh/"] {background-color:#ffcc00;}
	html.cms a[href^="/"][href$="/zh"] {background-color:#ffcc00;}
	html.cms a[href^="/"][href$="/zh/"] {background-color:#ffcc00;}
	html.cms a[href="/zh"] {background-color:inherit !important;}
	html.cms a[href="/zh/"] {background-color:inherit !important;}
	html.cms a[href$="http://www.who.int/zh"] {background-color:inherit !important;}
	html.cms a[href$="http://www.who.int/zh/"] {background-color:inherit !important;}
	html.cms a[href$="https://www.who.int/zh"] {background-color:inherit !important;}
	html.cms a[href$="https://www.who.int/zh/"] {background-color:inherit !important;}
	html.cms a[href^="https://www.who.int"][href$="/fr"] {background-color:#ffcc00;}
	html.cms a[href^="https://www.who.int"][href$="/fr/"] {background-color:#ffcc00;}
    html.cms a[href^="http://www.who.int"][href$="/fr"] {background-color:#ffcc00;}
	html.cms a[href^="http://www.who.int"][href$="/fr/"] {background-color:#ffcc00;}
	html.cms a[href^="/"][href$="/fr"] {background-color:#ffcc00;}
	html.cms a[href^="/"][href$="/fr/"] {background-color:#ffcc00;}
	html.cms a[href="/fr"] {background-color:inherit !important;}
	html.cms a[href="/fr"] {background-color:inherit !important;}
	html.cms a[href="/fr/"] {background-color:inherit !important;}
	html.cms a[href$="http://www.who.int/fr"] {background-color:inherit !important;}
	html.cms a[href$="http://www.who.int/fr/"] {background-color:inherit !important;}
	html.cms a[href$="https://www.who.int/fr"] {background-color:inherit !important;}
	html.cms a[href$="https://www.who.int/fr/"] {background-color:inherit !important;}
	html.cms a[href^="https://www.who.int"][href$="/ru"] {background-color:#ffcc00;}
	html.cms a[href^="https://www.who.int"][href$="/ru/"] {background-color:#ffcc00;}
</style>

    Сайт ВОЗ. Многое можно ожидать от frontend, но такое...

    rotoeb, 26 Ноября 2021

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

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

    0

    1. 1
    Как вы думаете, что может делать функция getAlabamaTimezone(now: Date) ?

    JaneBurt, 25 Ноября 2021

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

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

    +2

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

    #105: https://govnokod.ru/27544 https://govnokod.xyz/_27544
    #106: https://govnokod.ru/27552 https://govnokod.xyz/_27552
    #107: https://govnokod.ru/27554 https://govnokod.xyz/_27554
    #108: https://govnokod.ru/27557 https://govnokod.xyz/_27557
    #109: https://govnokod.ru/27581 https://govnokod.xyz/_27581
    #110: https://govnokod.ru/27610 https://govnokod.xyz/_27610
    #111: https://govnokod.ru/27644 https://govnokod.xyz/_27644
    #112: https://govnokod.ru/27648 https://govnokod.xyz/_27648
    #113: https://govnokod.ru/27652 https://govnokod.xyz/_27652
    #114: https://govnokod.ru/27659 https://govnokod.xyz/_27659
    #115: https://govnokod.ru/27665 https://govnokod.xyz/_27665
    #116: https://govnokod.ru/27671 https://govnokod.xyz/_27671
    #117: https://govnokod.ru/27675 https://govnokod.xyz/_27675
    #118: https://govnokod.ru/27685 https://govnokod.xyz/_27685
    #119: https://govnokod.ru/27701 https://govnokod.xyz/_27701
    #120: https://govnokod.ru/27703 https://govnokod.xyz/_27703
    #121: https://govnokod.ru/27710 https://govnokod.xyz/_27710
    #122: https://govnokod.ru/27728 https://govnokod.xyz/_27728
    #123: https://govnokod.ru/27729 https://govnokod.xyz/_27729
    #124: https://govnokod.ru/27730 https://govnokod.xyz/_27730
    #125: https://govnokod.ru/27732 https://govnokod.xyz/_27732
    #126: https://govnokod.ru/27733 https://govnokod.xyz/_27733
    #127: https://govnokod.ru/27737 https://govnokod.xyz/_27737
    #128: https://govnokod.ru/27742 https://govnokod.xyz/_27742
    #129: https://govnokod.ru/27747 https://govnokod.xyz/_27747
    #130: https://govnokod.ru/27755 https://govnokod.xyz/_27755
    #131: https://govnokod.ru/27766 https://govnokod.xyz/_27766
    #132: https://govnokod.ru/27790 https://govnokod.xyz/_27790
    #133: https://govnokod.ru/27828 https://govnokod.xyz/_27828
    #134: https://govnokod.ru/27834 https://govnokod.xyz/_27834

    nepeKamHblu_nemyx, 25 Ноября 2021

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

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

    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
    Disk /dev/sdc: 14,46 GiB, 15523119104 bytes, 30318592 sectors
Disk model: Storage Device
Units: sectors of 1 * 512 = 512 bytes
Sector size (logical/physical): 512 bytes / 512 bytes
I/O size (minimum/optimal): 512 bytes / 512 bytes
Disklabel type: dos
Disk identifier: 0x00000000

Device     Boot   Start     End Sectors   Size Id Type
/dev/sdc1       1009664 7802879 6793216   3,2G  b W95 FAT32
/dev/sdc2  *      73728  139263   65536    32M  6 FAT16
/dev/sdc3             1 1009664 1009664   493M 85 Linux extended
/dev/sdc5        139264  172031   32768    16M 83 Linux
/dev/sdc6        172032  204799   32768    16M 83 Linux
/dev/sdc7        204800  275455   70656  34,5M 83 Linux
/dev/sdc8        275456  776191  500736 244,5M 83 Linux
/dev/sdc9        776192  976895  200704    98M 83 Linux
/dev/sdc10       976896 1009663   32768    16M 83 Linux

    Изначально хотел запихнуть в старый PocketBook515 флешку побольше. Она там хитрая, с линуксом, просто так поменять нельзя. Столкнулся с тем, что не могу parted подвинуть границы раздела, потому что overlapping partitions запрещены. Что делать? вот 

    fdisk -l


    Хочу пореверсинжинирить это всё, извлек изнутри sd-карту, покопировал dd на другую флешку. Пока со своей загрузиться не могу, устройство виснет без объяснений. Возможно где-то прописаны гуиды флешки или что-то такое. Но при прямом чтении вижу всякие разделы с кишками кастрированного линукса. Конечная цель -- запустить на этой фигне vim с подключенной клавой. В целом прошивка закрытая, есть блобы. Но много и конфигов и шелл-скриптов в чистом виде, так что поменять можно многое. Плюс раньше был для них ещё какой-то дохлый sdk но уже очень давно. Хотя текстовый редактор думаю написать можно будет, если не удастся обуздать этот линукс.

    Если кому-то пиздец как не лень, вот dd родной флешки
    https://disk.yandex.ru/d/L08isezHHoZCOQ

    Буду крайне рад, если кто-то поглядит что там вообще в целом.

    Завтра если кто-то отзовётся поскидываю ещё скринов и содержимое скриптов.

    vistefan, 23 Ноября 2021

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

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

    0

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

    #104: https://govnokod.ru/27534 https://govnokod.xyz/_27534
    #105: https://govnokod.ru/27544 https://govnokod.xyz/_27544
    #106: https://govnokod.ru/27552 https://govnokod.xyz/_27552
    #107: https://govnokod.ru/27554 https://govnokod.xyz/_27554
    #108: https://govnokod.ru/27557 https://govnokod.xyz/_27557
    #109: https://govnokod.ru/27581 https://govnokod.xyz/_27581
    #110: https://govnokod.ru/27610 https://govnokod.xyz/_27610
    #111: https://govnokod.ru/27644 https://govnokod.xyz/_27644
    #112: https://govnokod.ru/27648 https://govnokod.xyz/_27648
    #113: https://govnokod.ru/27652 https://govnokod.xyz/_27652
    #114: https://govnokod.ru/27659 https://govnokod.xyz/_27659
    #115: https://govnokod.ru/27665 https://govnokod.xyz/_27665
    #116: https://govnokod.ru/27671 https://govnokod.xyz/_27671
    #117: https://govnokod.ru/27675 https://govnokod.xyz/_27675
    #118: https://govnokod.ru/27685 https://govnokod.xyz/_27685
    #119: https://govnokod.ru/27701 https://govnokod.xyz/_27701
    #120: https://govnokod.ru/27703 https://govnokod.xyz/_27703
    #121: https://govnokod.ru/27710 https://govnokod.xyz/_27710
    #122: https://govnokod.ru/27728 https://govnokod.xyz/_27728
    #123: https://govnokod.ru/27729 https://govnokod.xyz/_27729
    #124: https://govnokod.ru/27730 https://govnokod.xyz/_27730
    #125: https://govnokod.ru/27732 https://govnokod.xyz/_27732
    #126: https://govnokod.ru/27733 https://govnokod.xyz/_27733
    #127: https://govnokod.ru/27737 https://govnokod.xyz/_27737
    #128: https://govnokod.ru/27742 https://govnokod.xyz/_27742
    #129: https://govnokod.ru/27747 https://govnokod.xyz/_27747
    #130: https://govnokod.ru/27755 https://govnokod.xyz/_27755
    #131: https://govnokod.ru/27766 https://govnokod.xyz/_27766
    #132: https://govnokod.ru/27790 https://govnokod.xyz/_27790
    #133: https://govnokod.ru/27828 https://govnokod.xyz/_27828

    nepeKamHblu_nemyx, 21 Ноября 2021

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

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

    0

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

    #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
    #33: https://govnokod.ru/27801 https://govnokod.xyz/_27801
    #34: https://govnokod.ru/27817 https://govnokod.xyz/_27817
    #35: https://govnokod.ru/27822 https://govnokod.xyz/_27822
    #36: https://govnokod.ru/27826 https://govnokod.xyz/_27826
    #37: https://govnokod.ru/27827 https://govnokod.xyz/_27827

    nepeKamHblu_nemyx, 21 Ноября 2021

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

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

    0

    1. 1
    2. 2
    3. 3
    4. 4
    5. 5
    6. 6
    7. 7
    8. 8
    Rectangle {
    id: round
    height: ~~(parent.height / 2)
    width: height
    anchors.centerIn: parent
    color: "blue"
    radius: width / 2 - 1  // Радиус скругления углов
}

    QML.
    Мне кажется, что каждый раз, когда я использую элемент Rectangle, чтобы нарисовать кружок, кому-то где-то приходится приваривать к верхнему днищу бака треугольное отверстие диаметром три на четыре...
    Алсо, оператор хвостик (чтобы избежать субпиксельной границы).

    Steve_Brown, 19 Ноября 2021

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