to post messages and comments.

← All posts tagged programming

@qnikst:

<rubber-duck-mode>
А как бы задавать неявные методы для решения ОДЕ, так чтобы пользователь мог задать стратегию решения?
После размышления, у меня ощущение, что если в явном методе я могу возвращать (в простом случае без доп структуры):
phi :: x -> f x -> f x
то для неявного я должен писать:
phi :: x -> (f x, f x) -> f x

где теперь мне на вход подается начальная координата и первое приближение, и в ответ я выдаю набор следующих координат. Вроде в этом случае вся свобода, которая должна быть остается в руках у пользователя, можно и начальное приближение удобным способом выбирать, и решать хочется ли fixed point или newton iteration или вообще заанролить метод на нужную глубину.
</rubber-duck-mode>

@qnikst:

На какой бы задаче идеально имеющей аналитическое решение потестить методы рунге-кутта, чтобы добавить в тесты проекта?

@qnikst:

а в чем плюсы от того, чтобы пытаться угадать порт, который открывать, вместо того, чтобы передать 0 и посмотреть, что ведро выдало? Уже не в первой библиотеке встречаю такой идиотизм. При этом они действительно открывают любой порт, а не только в какой-то области или т.п.

@qnikst:

twitter.com

@qnikst:

А какой у нас сейчас state of the art для авторизации на связанных сайтах. Есть один главный сайт foo.bar.com, есть N сервисов (только web sockets) на которые юзверь так же может посылаться. На foo.bar.com есть авторизация через oauth, так же проверяются права на то, какие сервисы есть права и где они живут и туда посылается юзверь.

Вопрос в том, как сделать так чтобы сервис мог бы дешево проверять что юзверь это действительно нормальный юзверь и имеет доступ, не реализуя логику авторизации на двух узлах

@qnikst:

Киньте ссылки в умные ресурсы про то как описывать протоколы и идеально по этому описанию уметь доказывать определенные их свойства

@qnikst:

а накидайте интересных материалов по BPF кроме qmonnet.github.io (пока лень читать было)

@qnikst:

Как правильно дизайнить тесты и вообще стабильность системы из многих компонентов, чтобы не пропустить возможные случаи live/dead локов и неожиданных падений?

@qnikst:

А есть тут кто-нить разбирающийся в elastic search стеке, у меня есть уйма тупых вопросов?

@qnikst:

кто хочет поработать на благо военки в славном городе гатчине (от питера добраться просто) за какие-то 80-90к (если все уметь) или на сколько-то меньше, если быть готовым учиться. Делать так чтобы корабли меньше тонули, а на складах было меньше ЧП, ну или хотя бы чтобы об этом узнали все кому следует знать. Там всякие C + возможно что-то более высокоуровневое можно.
Говорят секретности или нет или та, что проблем с загран паспортом и выездами не будет.

@qnikst:

Если программист на Haskell говорит reflection, generic и singleton, то в большинстве случаев его не понимают

@qnikst:

Есть key value база данных. В ней среди прочего хранятся квадраты как (TopLeft_x, TopLeft_y, Width, Height)+всякие даные; в данный момент ключем является форма квадрата, т.е. сериализация этих самых (x,y,w,h); вопрос, есть ли идеи как это складывать таким образом, чтобы можно было эффективно выгружать интересные квадраты, т.е. те которые пересекаются с заданным?

Кстати хорошую структурку, в которую эти квадраты можно сложить в памяти (в haskell) тоже бы не помешало.

@qnikst:

У идриса какая-то проблема, если понимать что делаешь то можно вывести все доказательства показать пруфы и даже отрицания, и даже тоталити чеккер что-то разумное делает. Но если не понимать, то можно получить совершенно безумные доказательства, точнее выводы, хотя в разумном языке просто ничего не должно получаться. Надо будет потом попробовать агду затестить или даже сразу кок и посмотреть что во взрослых языках

@qnikst:

вот почему написано, что все хорошо, ведь если lock сервис не находится в том же месте что и storage, то у нас тот же race?

@qnikst:

Товарищи, а кто-нить знает где почитать про API для гуглодисков.
Что хочется есть в гуглодисках документ в нем есть места, куда хорошо бы вставлять автоматически сгенерированную документацию из собранных исходников.
Интересует под любой язык, но если под subj есть что готовое, то было бы идеально.

@qnikst:

я правильно понимаю, что в datalog такой тупой язык для правил для того, чтобы он был завершаем? И идея сделать даталог (аналог), где в body правил можно иметь forall и отрицание — это плохая идея и такие вещи должны решаться интерактивно запросами?

@qnikst:

workplace.stackexchange.com

@qnikst:

UPDATE: This post attracted two kinds of pro-Rust response. One was stupid flamage from zealots. The other was thoughtful commentary from a few people close to the core of the Rust community. The latter group has convinced me that there is considerable awareness of the problems I ran into; a couple even agreed, after analysis, that Rust is at present a poor fit for NTPsec’s requirements. This gives me hope that the Rust of five years from now may become the mature and effective replacement for C that it is not yet.
я обожаю людей. все кто со мной согласны те мудрые и пишут логичные вещи, и пришли к тем же выводам, а те, кто не согласны тролли тупые.. И отменное выборочное чтение. Блин, я думал такие только тролли в жуйкопоинтах бывают

@qnikst:

На самом деле все баги проявляется из-за ко-багов, это такие баги, исправление которых приводит к появлению новых багов, и успех в программировании заключается в нахождении фиксированной точки для этих багов

@qnikst:

Haskell достиг успеха, это дерьмо появляется в PR... то лицо когда хочется притвориться камнем и сказать, что не меинтейнишь проект


If I created a pull request which changed the terms "master" and "slave" to "manager" and "worker", respectively, would it be pulled?
Reasoning:
I can see how these terms make a person, whose culture has a history of slavery, uncomfortable.
It would help me when discussing these topics with my team.
It makes me uncomfortable using these names in a public space.
I understand the PC culture is off putting, but this change would be of tremendous help to me.

Manager only adds one more character to type.
Worker only adds one more character to type.