b
без никаких голодраных формализов, сраных ебаных типов
Size: a a a
2021 March 18
b
а по доказательству ты можешь понять, что тебя правильно поняли
b
интерактивная компиляция на основе машинного обучения
b
убьет
b
языки
b
программирования
b
/thread
p
Нет
А
Рабочие машины которые доставляют лбдей
полностью автономно и по городу?
А
формулировки теорем ты сам пишешь
теоремы без формализмов
p
Тучка ненавидит программирование потому что пишет на го, и хочет поэтому уничтожить программирование
p
Это такая травма от плохого языка
p
Бывает
А
Тучка ненавидит программирование потому что пишет на го, и хочет поэтому уничтожить программирование
логично
p
полностью автономно и по городу?
Да
H
без никаких голодраных формализов, сраных ебаных типов
а как машина сможет загуглить в интернетике как выставить порт в виндоус?
А
а ну тогда всё, человеки больше не нужны
p
а ну тогда всё, человеки больше не нужны
Ну, лет через 10 эти машинки и до нас дойдут
SP
машины давно решены же вы че
s
а как машина сможет загуглить в интернетике как выставить порт в виндоус?
Машины уже лучше отвечают на тривию, чем люди. See Watson.