Pull to refresh
17

User

0,3
Rating
3
Subscribers
Send message

Говорите как-будто РФ эта единственная страна с таким мышлением .

https://habr.com/ru/amp/publications/1022444/

Э.. как бы на этом построен весь C++.
Порядок имеет значение.
Добавляем перегрузку и получаем другие инварианты.

#include <string>
#include <type_traits>

// First overload
int f(int a) { return a; }

template<typename T>
concept can_call_f = requires {
    f(T{});
};

void before() {
    static_assert( can_call_f<int>);
    static_assert(!can_call_f<std::string>);

    f(1);
}

// New overload
std::string f(std::string c) { return c; }

template<typename T>
concept can_call_f_2 = requires {
    f(T{});
};

void after() {
    static_assert(can_call_f_2<int>);
    static_assert(can_call_f_2<std::string>);

    f("a");
}

int main()
{
}

Ну то есть подход как в Rust только без удобств.

И даже там в итоге не все так просто и многие приходят к решению упростить через https://docs.rs/anyhow

Сегодня можно вместо Result вернуть std::expected.

Это удобно когда вы хотите раскидать задачу по множеству агентов.

Где каждый живет в своем окружении.

В этом случае курсор становится заметным накладным расходом и хочется сэкономить.

Вот и получаем CLI подход.

Промахнулся кнопкой +1 :(

Так и есть. Не любая ошибка это катастрофа.

Скажем пришел неправильный запрос от клиента это ведь не катастрофа.

А кто сказал, что не ревьюют?

Одна модель пишет код другая модель проводит ревью.

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

С другой стороны получаем возможность решать задачи сложнее и быстрее.

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

В ленту вам обратный опыт.

Как раз я вижу, что развиваюсь и при чём существенно.

Раньше я даже не думал лезть в девопс со своими советами.

А сейчас с помощью моделей делаю работу которую сами девопсы иногда не в силах сделать сами.

Параллельно к этому и учусь новым инструментам. Ведь прелесть моделей это не только формы клепать, а возможность спросить почему так сделано и что это делает.

Также я начал большой проект по перестройке инфраструктуры которая сделана через пень-колоду.

Лучшие умы сдались давно, а с моеделчми дал задание и оно пол дня работает на результат.

Проверил, не достаточно хорошо и понятно ещё пол дня поработало и выдало идею.

Смотришь на изменения если подходят хорошо, правишь где надо. Не подходит дальше пусть думает.

Действительно чем это лучше того же Zig?

Также мы тут получаем все недостатки Go с interface{}. А точно ли оно надо ?;)

Самое время убедиться, что нейронами действительно на что-то полезное способны, а не токенами трепать.

https://devblogs.microsoft.com/oldnewthing/20121218-00/?p=5803

https://devblogs.microsoft.com/oldnewthing/20220106-00/?p=106122

Такое может отловить и статический анализ кода.

Возможно там никто не настраивал или не смотрел на результаты.

Вот из небольшого найденного. А починили ли всё, вопрос хороший.

https://pvs-studio.com/en/blog/posts/cpp/0460/

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

Самая интересная часть это модель Mythos

https://freedium-mirror.cfd/https://medium.com/ai-software-engineer/anthropic-leaks-new-claude-mythos-and-might-be-too-dangerous-to-release-16f2d30ea592

И можно посмотреть как строить своих агентов

https://www.markdown.engineering/learn-claude-code/

Там надо ещё допереводить

ИИ , инструмент, биллинг, клиент , профиль, специальность, секретарь, юрист и полно нерусских слов.

Много чего невозможно доказать, однако это не делает действие законным.

Тут зависит от юристов и денег.

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

Брать машинный код для изучения это как раз противоречит лицензии пользования.

Есть и альтернативная мнемоника для лёгкого запоминания для неанглоязычных:
eXtract Ze File
Create Ze File

А если это публикуется в автоматическом режиме без участия человека? Как тогда?

Типизация Питона сделана чтобы сказать "мы сделали", а реально сложные кейсы это не решает.

В C# кстати так можно:

using System.Diagnostics.CodeAnalysis;

class Example
{
    private int? _a;

    [MemberNotNull(nameof(_a))]
    public void Init()
    {
        _a = 1;
    }

    public void Print()
    {
        Init();
        Console.WriteLine(_a.Value); // Тут мы знаем _a is not null == true
    }
}

Вы изобрели структурную типизацию.

В Python можно выразить через typing.Protocol.

Тут в Питоне не хватает возможностей выразить зависимости.

Как вариант можно сделать свойство и в него всунуть assert.

1
23 ...

Information

Rating
3,048-th
Registered
Activity