@gosunov_ch в комментах подсказал, что DAI – неплохой пример, чтобы разобраться, что такое формальная верификация на примере смарт-контракта. Вот чем можно заменить думскроллинг новостей на сегодня🕊
https://github.com/sky-ecosystem/dss
Post #840
2.63K
dev.insuline.eth gm! Виталик установил OpenClaw тоже принял AI Как истинный шифропанк он установил локальную модель gpt-oss:20b, и в твите пофлексил тем, что за час переписал свою платформу для ведения блога. При этом, офк, он понимает, что нормальная модель справилась бы…
- 👍 15