DarkGarden

Topics

  • AI & LLM71
  • Claude Code128
  • Automation74
  • C++186
  • Software Eng.101
  • 반도체165
  • NVIDIA111
  • Economics58
  • Finance57
  • 투자전략90
  • Stock40
  • 지정학148
  • 트럼프126
  • Trend39
  • 빅테크55

Sections

  • Reports
  • Blogs
  • All Tags

태그: static-analysis

12건의 항목

  • 2026년 8월 23일

    Compile-Time Borrow Checker with Stateful Metaprogramming - Alon Wolf - C++Now 2026

  • 2026년 8월 10일

    Guide, Verify, Solve — Anirban Chatterjee, Sonar

  • 2026년 8월 08일

    Link What You Include - Maintain a Coherent CMake Target Model - Frank Miller - C++Now 2026

  • 2026년 8월 05일

    How To Make Formal Methods A Software Quality Solution That Can Actually Be Used In The Industry

  • 2026년 7월 21일

    In the Land of AI Agents, the Verifiers Are King — Tariq Shaukat, Sonar

  • 2026년 6월 01일

    Can LLMs generate Enterprise Quality Code? — Prasenjit Sarkar, Sonar

  • 2026년 5월 05일

    Lightning Talk - The Type Safe Builder Pattern for C++ - John Stracke - CppCon 2025

  • 2026년 3월 12일

    Seamless Static Analysis with Cppcheck - From IDE to CI and Code Review - Daniel Marjamäki

  • 2026년 2월 06일

    CMake Doesn't Have to Be Painful | Simple Strategies That Work - Bret Brown - CppCon 2025

  • 2026년 1월 14일

    Best Practices for AI Tool Use in C++ - Jason Turner - CppCon 2025

  • 2025년 12월 21일

    Catching Bugs Early Validating C++ Contracts with Static Analysis - Peter Martin & Mike Fairhurst

  • 2025년 12월 19일

    What’s New in Visual Studio for C++ Developers in 2025 - Augustin Popa & David Li - CppCon 2025


Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community