AG
ну я так понимаю там довольно условная физика
Size: a a a
2021 June 08
AG
типа показать что соблюдается какой-то инвариант в численной реализации решения определенного дифура
M
мой сынок
M
горжусь!
M
я тут абстракцию сделала
M
аж гордость за себя берёт
M
если бы можно было себя обнять за это, я бы обняла
M
абстракцию
M
у меня прост руки два месяца не доходили до этого, лол
AS
Понаделают дифуров, потом точности не хватает 😒
M
для бд
M
у меня там psycopg2, очереди, и другие свистопляски
M
и, наконец-то, сделала!
AG
посмотрел тезис абрамского, он оказывается про конструирование программной логики из денотационной семантики через дуальность стоуна
s
Алекс у меня такое ощущение что современная математика утратила высоту и философию, превратилась в манипулирование символами, стала заложником деталей. Это ложное ощущение?