"LLMs are making formal software verification feasible at a much larger scale" by Anthropic Frontier Red Team https://www.anthropic.com/research/formal-verification Крайне актуальное чтиво.
emacsway-log: Technical Leadership, Management, Software Architecture, DDD, Microservices, Distributed Systems, XP, Agile, etc.
频道Leaders are leaders of change – change in other people, change in working groups, and change in organizations. / Gerald M. Weinberg Chat: https://t.me/emacsway_chat Persistence: https://dckms.github.io/system-architecture/
互动与广告
近 30 天帖子聚合
- 平均反应
- 14.6
- 平均评论
- 6.3
- 平均转发
- 24.7
- 广告帖子(30 天)
- 2
- 广告占比
- 7.7%
- 被提及(30 天)
- 1
榜单位置
各窗口最近一次榜单
暂未进入榜单
频道进入榜单池并满足数据条件后会显示名次。
最近帖子
按发布时间倒序,最多展示 8 条
LSP-server может существенно экономить токены. Для этого нужно установить lsp analyzer plugin для вашего языка в claude-code, если он ещё не установлен, и убедиться, что он работает (потребуется установить сам lsp server в toolchaine). Без него Claude использу…
"Flex Model: an event-driven feature engineering system" by Jane Street https://blog.janestreet.com/flex-model-an-event-driven-feature-engineering-system/ Интересная статья.
Почему люди любят смотреть сериалы про Шерлока Холмса? И причём здесь лидерство? В реальном мире люди часто сталкиваются с несправедливостью, хаосом и нераскрытыми тайнами. Шерлок Холмс дает чувство контроля и порядка: какой бы сложной, запутанной и пугающей н…
Я думаю, что сейчас открываются интересные возможности. Как обычно развивается средний продукт на рынке? Вначале он быстро наращивает функционал, об архитектуре обычно никто не думает. Через 1-3 года кратно увеличивается размер системы и количество разработчик…
Как изменится рынок? Какая стратегия окажется выигрышной в новых условиях экспансии ИИ? Хочу поделиться своими мыслями, которые не претендуют на абсолютную истину. В системной динамике есть парадокс: увеличение эффективности использования ресурса увеличивает,…
По поводу OCaml в канале уже не раз писалось, поэтому повторюсь. Развивается он компанией Jane Street: Jane Street Group получила $39,6 млрд торговой выручки в 2025 году, установив рекорд Уолл-стрит. Фирма превзошла JPMorgan Chase & Co. (Нью-Йорк:JPM) на 11% п…
Итак, что удалось достигнуть на практике. Проект в области IoT, который разрабатывался двумя командами на протяжении 8 лет. Было принято решение написать проект с нуля по SDD с объемом функциональности кратно (я бы даже сказал на порядок) превосходящим функцио…
相似频道
基于 Telegram 官方相似频道推荐
暂无相似频道
等待相似频道抓取任务运行。