Куча — Говнокод.ру

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

+2

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

(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_list)

(declare-fun m_node (M_list M_list) M_list)

; один хер какой порядок, можно переписать (a, b) на (b, a)
(assert
  (forall ( (a M_list) (b M_list) )
    (=
      (m_node a b)
      (m_node b a)
    )
  )
)

; если есть (a (b c)) то можно переписать на (с (a b))
(assert
  (forall ( (a M_list) (b M_list) (c M_list) )
    (=
      (m_node a (m_node b c) )
      (m_node c (m_node a b) )
    )
  )
)

; Можно создавать или удалять повторы, (a a) <=> a
(assert
  (forall ( (a M_list))
    (=
      (m_node a a)
      a
    )
  )
)


; Чтоб узнать, выводима ли такая-то хернь
(declare-fun m_node_select (M_list M_list) Bool)


(assert
  (forall ( (a M_list) (b M_list) )
    (m_node_select
      a (m_node a b)
    )
  )
)

; проверяем, можно ли сконструировать (a a) из (c ((b d) a))
(assert
  (not (forall ( (a M_list) (b M_list) (c M_list) (d M_list) )
    (m_node_select
      (m_node a a)
      (m_node c (m_node (m_node b d) a) )
    )
  ))
)


(check-sat)
(get-proof)

Вот вам немного гомоикон SMT-солвера. Эта вот хренотень сама доказывает, не то что какой-то там Coq.

Понятно что по тем вот говноправилам можно чтоб всплыло 'a' и потом его удвоить "(a a) <=> a"
потом через m_node_select вытащить этот дубликат

j123123, 01 Марта 2021

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

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

0

1
2
3
4
5
6

require(ggplot2)

x=-10:10
X = data.frame(x=x, y=x^2, col=ifelse(x > 0, 1, 2))

ggplot(X, aes(x, y)) + geom_point(aes(colour=col))

Очевидный и понятный интерфейс, да?

3_dar, 27 Февраля 2021

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

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

0

1

IT Оффтоп #80

#50: https://govnokod.ru/26804 https://govnokod.xyz/_26804
#51: https://govnokod.ru/26809 https://govnokod.xyz/_26809
#52: https://govnokod.ru/26817 https://govnokod.xyz/_26817
#53: https://govnokod.ru/26833 https://govnokod.xyz/_26833
#54: https://govnokod.ru/26840 https://govnokod.xyz/_26840
#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

nepeKamHblu_nemyx, 25 Февраля 2021

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

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

0

1

Питушня #13

#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

nepeKamHblu_nemyx, 17 Февраля 2021

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

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

−1

1
2
3
4
5

Скорость SSD - ~450 мбайт/сек.
Скорость RAM - ~6000 мбайт/сек.

Так и не пойму тогда, зачем юзать SSD, когда можно поставить много оперативки и минимизировать обращения к свопу, тем самым минимизировать тормознутость системы?
Я именно про рабочую станцию, ясно что на сервере будет выигрыш.

YpaHeLI_, 15 Февраля 2021

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

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

0

1

IT Оффтоп #79

#49: https://govnokod.ru/26776 https://govnokod.xyz/_26776
#50: https://govnokod.ru/26804 https://govnokod.xyz/_26804
#51: https://govnokod.ru/26809 https://govnokod.xyz/_26809
#52: https://govnokod.ru/26817 https://govnokod.xyz/_26817
#53: https://govnokod.ru/26833 https://govnokod.xyz/_26833
#54: https://govnokod.ru/26840 https://govnokod.xyz/_26840
#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

nepeKamHblu_nemyx, 15 Февраля 2021

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

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

−2

1

https://journal.tinkoff.ru/holidays-millions/

Познакомьтесь с человеком, который ушел из ИТ и зарабатывает до 2 млн рублей на праздниках
https://journal.tinkoff.ru/holidays-millions/

Необычных заказов были десятки: например, мастер-класс по рисованию нефтью. Для него мы нашли пять литров нефти, хотя это очень сложно. Баррель нефти или больше — пожалуйста, только что вы с ней будете делать потом? Утилизировать ее самостоятельно невозможно. Еще нас просили привезти дрессированного медведя на самолете в Новосибирск, провести мастер-класс по созданию леденцов в виде пениса для девичника и мастер-класс по горловому минету.
-------

а вы готовы уйти из IT ради того, чтобы возить медведя в Новосбириск?

MAKAKA, 14 Февраля 2021

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

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

−1

1

Ня, кавай |B

hormand, 14 Февраля 2021

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

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

0

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

Объясните, как правильно разрабатывать в 2021 году

Есть один продукт, состоящий из сайта, сервера и БД, связывающей их.
Сайт на PHP, с микрофреймворком, устанавливаемым через composer, отображающий данные из БД
Сервер - программа, слушающая порт из свой конфигурации и записывающая в БД

Таковы потребности, что на один сервер может быть установлено одна и более изолированных копий этого продукта (сервер + сайт + БД), а серверов несколько.
Сайты разделяют через виртуальные хосты nginx, сервера по портам, БД по имени.
Может случиться такое, что нужно остановить сайт или сервер, оставив второе работать.

Проблема в том, что развёртывание делается вручную переносом копий файлов, что доставляет страданий.
На серверах за всё время образовался бардак в конфигурациях

Что здесь нужно? Kubernetes, swarm, docker, docker-compose?

Проблема в том, что никогда не приходилось внедрять такое самостоятельно.
Смотрю в сторону docker-compose, но везде инструкции только для одного экземпляра продукта на одном сервере (или я чего-то не понимаю)

Объясните, пожалуйста, по-хорошему, что делать в таком случае

Крендель, 11 Февраля 2021

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

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

0

01
02
03
04
05
06
07
08
09
10

impl Drop for FileDesc {
    fn drop(&mut self) {
        // Note that errors are ignored when closing a file descriptor. The
        // reason for this is that if an error occurs we don't actually know if
        // the file descriptor was closed or not, and if we retried (for
        // something like EINTR), we might close another valid file descriptor
        // opened after we closed ours.
        let _ = unsafe { libc::close(self.fd) };
    }
}

https://github.com/rust-lang/rust/blob/master/library/std/src/sys/unix/fd.rs#L294
Похуй на ошибки возврата, да? Ведь из деструктора вернуть код ошибки нельзя, а исключения... А, это ж Раст, хуй с ними с исключениями короче.
Для ШЫНДОШЫ такая же хуйня, но тут они даже камент написать постыдились: https://github.com/rust-lang/rust/blob/master/library/std/src/sys/windows/handle.rs#L54

Вручную скинуть буфер на диск - тоже нечем, потому что функция, которой я пользовался в сишке, тут бесполезна:
https://github.com/rust-lang/rust/blob/master/library/std/src/sys/unix/fs.rs#L861
https://github.com/rust-lang/rust/blob/master/library/std/src/sys/windows/fs.rs#L438

Короче, мне тут продакшон код надо писать за зарплату, а я не знаю, как вернуть юзеру информацию о неудачном закрытии. Что делать-тоа?!

TarasB, 09 Февраля 2021

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

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