Size: a a a

2020 July 15

AS

Alex S in rust_offtopic
Stanislav Popov
вот смотрите. есть задача спозиционировать тело которое в покое из одной точки в другую.

я чисто ЛОГИКОЙ додумался что наиболее быстро его спозиционировать будет придав просто макс. силу в одноу строну и макс силу в другую сторону. точка где инверснуть силу будет хитрой но там будет чтото типа максимальной высоты подьема камня

но мне хочется например задавать больше констрейнов. например как распланировать затраты минимально или как задать чтобы тело летело так то.

тоесть вопрос есть ли какое то общее решение или общий метод. если это системы диффуров например то есть ли какой то метод эти диффры составлять
Затраты чего?
источник

p

polunin.ai in rust_offtopic
после этого я удаляюсь оттуда
источник

p

polunin.ai in rust_offtopic
человек в неадеквате
источник

AS

Alex S in rust_offtopic
Stanislav Popov
вот смотрите. есть задача спозиционировать тело которое в покое из одной точки в другую.

я чисто ЛОГИКОЙ додумался что наиболее быстро его спозиционировать будет придав просто макс. силу в одноу строну и макс силу в другую сторону. точка где инверснуть силу будет хитрой но там будет чтото типа максимальной высоты подьема камня

но мне хочется например задавать больше констрейнов. например как распланировать затраты минимально или как задать чтобы тело летело так то.

тоесть вопрос есть ли какое то общее решение или общий метод. если это системы диффуров например то есть ли какой то метод эти диффры составлять
Тело летело так-то имеется в виду как по траектории найти функцию силы, как толкать тело?
источник

p

polunin.ai in rust_offtopic
Т-34 85
и всё равно очень хуёво
мы рассматриваем вариант: баг со стороны программиста. такое очевидно случается, при чем ОЧЕНЬ часто. что лучше - паника или уб?
источник

p

polunin.ai in rust_offtopic
polunin.ai
мы рассматриваем вариант: баг со стороны программиста. такое очевидно случается, при чем ОЧЕНЬ часто. что лучше - паника или уб?
ответ: паника. потому что не корраптит данные и проще отлаживать при тестировании
источник

Т8

Т-34 85 in rust_offtopic
polunin.ai
ответ: паника. потому что не корраптит данные и проще отлаживать при тестировании
это всё понятно. Но если уж баг допущен, то пиздец. Тока что утешения искать
источник

p

polunin.ai in rust_offtopic
Т-34 85
это всё понятно. Но если уж баг допущен, то пиздец. Тока что утешения искать
ошибки будут пока есть люди
источник

p

polunin.ai in rust_offtopic
зачем плакать
источник

Т8

Т-34 85 in rust_offtopic
Alex Zhukovsky
а у него "Ну прост баг)))"
источник

KR

Kai Ren in rust_offtopic
@tucnak ну и витьевато же ты пишешь. Я понимаю, что ты поэт, но, имхо, эссе должно быть более сухим. Тогда его тупо проще поглощать и понимать, нежели продираться сквозь остроумные эпитеты к зёрнам понимания.
источник

KR

Kai Ren in rust_offtopic
@f0land дочитал базовую эссейку.
Задавай свои ответы.
источник

p

polunin.ai in rust_offtopic
Kai Ren
@f0land дочитал базовую эссейку.
Задавай свои ответы.
как запустить программу на логосе
источник

KR

Kai Ren in rust_offtopic
polunin.ai
как запустить программу на логосе
Есть виртуальная машина, его исполняющая. По сути, вычислитель. Не важно, он на одном компа, распределённый, либо ещё как.

Ты описываешь на Логосе по сути логику, состоящую из аксиом и утверждений. При этом параллельно с этим, это описание и является его человеко-понятным интерфейсом.

Далее ты скрамливаешь эту логику + произвольное утверждение в ней в вычислитель, и он вычисляет твоё утверждение согласно описанной логике.
Если утверждение нонсенс - выдаст ошибку.
источник

KR

Kai Ren in rust_offtopic
Для меня это вообще всё похоже на банальный лямбда-калкулус
источник

KR

Kai Ren in rust_offtopic
Собственно, изоморфизм намекает
источник

p

polunin.ai in rust_offtopic
Kai Ren
Есть виртуальная машина, его исполняющая. По сути, вычислитель. Не важно, он на одном компа, распределённый, либо ещё как.

Ты описываешь на Логосе по сути логику, состоящую из аксиом и утверждений. При этом параллельно с этим, это описание и является его человеко-понятным интерфейсом.

Далее ты скрамливаешь эту логику + произвольное утверждение в ней в вычислитель, и он вычисляет твоё утверждение согласно описанной логике.
Если утверждение нонсенс - выдаст ошибку.
ты сейчас любой язык программирования описал
источник

p

polunin.ai in rust_offtopic
замени аксиомы на типы данных а произвольное утверждение на функцию main
источник

KR

Kai Ren in rust_offtopic
Само описание логики - может иметь привязки к realworld. Этим уже занимается система, интегрирующая логос в себя.

Таким образом, когда мы хотим перевести 10 баксов с одного кошелька на другой, то вычислитель, во время размотки утверждения "Стив переводит Девиду 10 баксов" будет вызывать соответствующие привязки, и когда утверждение (его называют пропозицией) довычислиться успешно - операция завершится.
источник

KR

Kai Ren in rust_offtopic
polunin.ai
ты сейчас любой язык программирования описал
Так и есть. Это просто вычислитель. Идея в том, чтобы интерфейс его был произвольной грамматикой.
источник