TGViewer
Лаборатория Математики и Программирования Сергея Бобровского Лаборатория Математики и Программирования Сергея Бобровского @lambda_brain · 1.41K subscribers
Post #2393 777
Я добился повышения точности, и уменьшение цены работы AI пайплайна в ~17 раз, и примерно x20 скорость работы))))
 (Заменил дорогущий дписик на квен 3.6 на 31B – сказка, надежность, фантастика, я в восторге, вы меня резко прокачали в AI инженерии, это новый мета-уровень мастерства, и да, AI-DSL + SGR это мега SoTA!!!)
Спасибо вам большое, теперь проект не убыточный по экономике планируемой :D :D :D
 
Стоило это 40 долларов за гайд "Функциональные Архитектуры"? :)
При том, что это отзыв сеньор техдир по сути, + с мощным бэкграундом в devops.
 
Продолжаю развивать ФА, планирую для него ещё и инженерные фишки по пайплайнам из палантира и ибм-а похитить 😎 У них правда, цель другая - топ качество и безопасность, ну возможно как раз с нейронками это тоже хорошо прокатит.
Закончил кстати базу AI-DSL, дальше темка - мастерство выделения (под)доменов/BC в эпоху AI.
 
В тему нашёл дико уважительный проект: Aver (впн) -- язык, оптимизированный для генерации нейронками. designed for AI to write in and humans to review. VM, Rust, standalone WASM.
 
No null No exceptions No mutable state No closures No loops No if/else No async runtime
No magic No decorators, no implicit behaviour, no runtime reflection.
Code is what it says.
 
🔥
 
Пацан из Польши вовсю его пилит, и какой у него прекрасно задизайненный минималистичный блог (upd) без логов, без куков. Кстати, да, RSS - единственная веб-технология, что надо взять в будущее.
 
Вот ещё, вау =>
Lean proof export for pure logic and classified effectful laws, and Dafny verification for automated law checking via Z3. 🙏
 
Срочно включаю Aver в ФА. Пока осторожно, но очень похоже что это почти идеальный DSL для наших целей!!1
 
Это Победа! 💥
 
...
 
Синхронизм1
Пока писал пост, пришла рассылка - и там разбор другого языка схожего, для AI. Топовые американские функциональщики разбирают ровно эту темку эксплицитно в контексте DSL! Это тренд! 🚀 Все детали разберу уже в ФА только для ментатов.
 
=

Риторическое: почему такие языки создают не в России? А представляете, если бы буквально крохи от одного процента из 40 миллиардов рублей, выделенных на то, чтобы отрезать русских от международной Сети, направить на подобные прорывные SotA-проекты?! Но увы... А было бы как на картинке...
 
"Мы хотим только, чтобы наша страна любила нас так же сильно, как любим её мы."
-- Рэмбо
  • 🔥 43
  • ✍ 7
  • ❤ 3
  • 👍 2
  • ❤‍🔥 1
More from @lambda_brain
  1. Sep 28, 2026. Облако драгоценностей за неделю. Дипломный проект разросся уже так, что расширил его до…
  2. Sep 27, 2026GELU (Gaussian Error Linear Unit) -- базовая фича архитектуры трансформеров, да и вообще в…
  3. Sep 27, 2026Продолжение сериала "Совершенно не удивлён, и дальше будет только хуже" (с) На этой неделе…
  4. Sep 26, 2026А вы разве не работаете сейчас (на себя, а не на дядю)?? Потребность в программистах уже в…
  5. Sep 25, 2026Гарри Поттер и Методы Математического Мышления Книга 1. Гарри Поттер и Неорганический Инте…
  6. Sep 25, 2026Свежее от ребят (и девчат). ...Так же было собеседование в Сбере, каким то чудом прошел их…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →