Size: a a a

2020 October 30

SP

Stanislav Popov in rust_offtopic
читал все утро чето по идрису. и я просто не знаю как подступиться. вообще ничего не понятно. чето там пацаны доказывают. я не понимаю смысл доказательства вообще, ничего не понимаю лол
источник

b

badtrousers in rust_offtopic
Stanislav Popov
читал все утро чето по идрису. и я просто не знаю как подступиться. вообще ничего не понятно. чето там пацаны доказывают. я не понимаю смысл доказательства вообще, ничего не понимаю лол
хочешь на пальцах тебе объясню?
источник

SP

Stanislav Popov in rust_offtopic
да. было бы топ
источник

b

badtrousers in rust_offtopic
ты не замечал что есть определенная связь между компьютерными программами и математическими доказательствами?
источник

SP

Stanislav Popov in rust_offtopic
(нет)
источник

b

badtrousers in rust_offtopic
источник

SP

Stanislav Popov in rust_offtopic
и более того я совсем не понимаю и математические доказательства
источник

b

badtrousers in rust_offtopic
хорошо давай с другой стороны зайдем
источник

b

badtrousers in rust_offtopic
включи плейлист по заданому таймкоду
источник

SP

Stanislav Popov in rust_offtopic
я бы даже с этого начал
источник

tr

tony radonezhsky in rust_offtopic
источник

b

badtrousers in rust_offtopic
Stanislav Popov
я бы даже с этого начал
включил? я могу продолжать?
источник

SP

Stanislav Popov in rust_offtopic
да
источник

b

badtrousers in rust_offtopic
ты замечал что есть правильные программы, а есть неправильные?
источник

H

Hirrolot in rust_offtopic
Stanislav Popov
читал все утро чето по идрису. и я просто не знаю как подступиться. вообще ничего не понятно. чето там пацаны доказывают. я не понимаю смысл доказательства вообще, ничего не понимаю лол
там же книжка для макак
источник

H

Hirrolot in rust_offtopic
type-driven development with idris
источник

SP

Stanislav Popov in rust_offtopic
badtrousers
ты замечал что есть правильные программы, а есть неправильные?
ээм нет
источник

b

badtrousers in rust_offtopic
Stanislav Popov
ээм нет
ну ты что не слышал про баги?
источник

SP

Stanislav Popov in rust_offtopic
я не верю в баги
источник

b

badtrousers in rust_offtopic
дай определение бага
источник