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

태그: verification

8건의 항목

  • 2026년 8월 05일

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

  • 2026년 7월 27일

    State of Data - Sean Cai Independent / State of Data

  • 2026년 7월 15일

    Don't Build Agents You Can't Answer For — Addy Osmani

  • 2026년 7월 14일

    What Does Done Even Mean? Agents and Paperclip's Liveness Model - Dotta, Paperclip

  • 2026년 7월 07일

    SWE-Marathon - Evaluating Coding Agents at Billion-Token Scale - Rishi Desai, Abundant AI

  • 2026년 2월 13일

    코팩의 두번째 선물. 스킬을 검증하고, 스킬을 만들고, 스킬을 실행하는 스킬 무료 배포

  • 2025년 12월 31일

    Autonomy Is All You Need – Michele Catasta, Replit

  • 2025년 12월 31일

    EP 71. 시끌벅적한 전환의 시기, 쏟아지는 AI 뉴스들 (25. 9. 26. ~ 25. 10. 4.)


Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community