We decreased our LLM costs with Opus

LLM 비용 절감과 효율화는 '에이전트 계층 구조'를 통해 달성되었습니다. 비싼 모델(Opus)이 모든 로그를 분석하는 대신, 저렴한 에이전트(Haiku)가 실패의 중복 여부를 판단하고 필요한 컨텍스트를 선별적으로 추출하여 비용을 크게 절감합니다. 이는 대규모 이벤트 데이터(CI 로그, 보안 로그 등)를 다룰 때, 비용 대비 성능을 높이고 탐색 과정을 체계화하는 데 중요한 패턴을 제시합니다.

PgQue – Bloat 없는 Postgres 큐

PgQue는 기존 Postgres 큐의 고질적인 문제인 dead tuple 누적과 VACUUM 부하를 제거하여 Bloat 없는 메시지 큐를 제공하며, Kafka와 유사한 공유 이벤트 로그 및 독립 커서 구조를 통해 네이티브 fan-out을 지원합니다.

이는 C 확장 없이 순수 PL/pgSQL로 재구현되어 managed Postgres 환경에서 C 확장이나 외부 데몬 없이 바로 사용 가능하며, SQL API 기반으로 Python, Go 등 모든 Postgres 드라이버에서 호환되어 RDS, Aurora 등 주요 managed Postgres 프로바이더 전체를 지원합니다.

개발자는 SQL 파일 하나로 설치하고 pg_cron으로 구동할 수 있으며, 권한 분리(pgque_reader, pgque_writer, pgque_admin)를 내장하여 애플리케이션 유저에게 superuser 권한이 불필요하다는 점이 특징입니다.

At his OpenAI trial, Musk relitigates an old friendship

엘론 머스크가 OpenAI 소송 과정에서 자신의 핵심 동기 중 하나가 구글의 래리 페이지와의 AI 안전 문제에 대한 의견 차이에서 비롯되었다는 과거의 우정을 재조명했습니다. 이는 그들의 관계가 OpenAI 설립과 이후의 AI 안전 논쟁에 어떤 영향을 미쳤는지에 대한 맥락을 제공하며, 법정에서 처음으로 이 내용을 증언한 것입니다.

DeepSeek-V4 논문 읽기 요약 - 노정석

DeepSeek-V4는 600B에서 1.6T 규모로 확장되었으며 Sparse Attention, mHC, Muon 옵티마이저 등 세 가지 알고리즘 변화를 통합 적용한 아키텍처 혁신을 공개했습니다. 이는 단순한 성능 향상을 넘어, 롱컨텍스트 학습과 인프라 최적화를 사전학습 단계에 녹여낸 방법론을 제시하며 중국발 프론티어 모델의 새로운 베이스가 될 가능성을 보여주지만, 학습 불안정성과 포스트트레이닝 및 데이터 구성에 대한 과제는 여전히 남아있습니다.

OpenAI Realtime API 기반 음성 제어 React 컴포넌트

Realtime API를 기반으로 구축된 React/브라우저용 음성 제어 컴포넌트를 통해 사용자가 음성으로 폼 입력 및 다양한 동작을 지시하고 이에 반응하는 위젯을 구현할 수 있게 합니다. 이 컴포넌트는 어시스턴트가 앱이 허용한 동작만 수행하도록 제한하는 tool-constrained UI 패턴을 제공하며, 세션 관리, 오디오 처리, 도구 실행 등을 하나의 컨트롤러가 일괄 관리하여 개발자가 WebRTC나 Realtime 프로토콜을 직접 다룰 필요 없이 기존 앱에 쉽게 통합할 수 있도록 9단계 가이드를 제공합니다.

* **무엇이 일어났는지:** OpenAI Realtime API를 기반으로 Realtime API 위에 구축된 React/브라우저용 음성 제어 컴포넌트가 공개되었습니다.
* **왜 중요한지:** 음성 입력으로 폼 입력부터 다양한 동작을 지시하고 반응하는 위젯을 구현할 수 있게 하며, 어시스턴트가 앱이 허용한 동작만 수행하도록 제한하는 `tool-constrained UI` 패턴을 제공하여 안전하고 구조화된 음성 인터페이스 개발을 가능하게 합니다.
* **주의할 점 또는 맥락:** 이 패턴은 브라우저 UI 플로우에 특화된 패키지이며, 기존 앱에 통합 시 상태의 유일한 소스(source of truth)를 유지하고 음성 레이어는 제한된 앱 핸들러를 호출하는 구조를 따릅니다. API 비용 부담이 있을 수 있으나, 로컬 모델 구현 가능성도 언급되었습니다.

GitHub 이전의 오픈소스 세계

제공해주신 텍스트는 소프트웨어 개발, 오픈소스 커뮤니티, 코드 관리 시스템(Git), 그리고 소프트웨어 생태계의 역사와 변화에 대한 깊이 있는 개인적인 경험과 통찰을 담고 있습니다.

이 텍스트는 다음과 같은 핵심 주제들을 다루고 있습니다:

### 1. 소프트웨어 생태계의 변화와 도구의 진화
* **Git과 코드 관리:** Git을 중심으로 한 버전 관리 시스템의 중요성과 그 사용 경험을 암시합니다.
* **중앙화 vs. 분산화:** 대규모 프로젝트 관리와 코드 공유 방식의 변화에 대한 논의가 내포되어 있습니다.

### 2. 커뮤니티와 소유권 문제
* **오픈소스의 본질:** 소프트웨어의 소유권, 커뮤니티의 역할, 그리고 이것이 어떻게 발전해왔는지에 대한 철학적인 질문을 던집니다.
* **플랫폼 의존성:** 특정 플랫폼(예: GitHub)에 대한 의존성과 그로 인한 잠재적 위험에 대한 성찰이 담겨 있습니다.

### 3. 개인적인 경험과 회고
* **과거와 현재의 비교:** 과거의 개발 방식과 현재의 방식 사이의 차이점, 그리고 그 과정에서 겪은 경험들을 회고합니다.
* **기술 선택의 딜레마:** 어떤 도구와 접근 방식을 선택하는지에 대한 개인적인 고민과 그 결과에 대한 평가가 나타납니다.

### 4. GitHub와 그 영향력
* 텍스트 전반에 걸쳐 GitHub와 같은 플랫폼이 소프트웨어 개발 방식에 미친 영향에 대한 언급이 자연스럽게 녹아 있습니다.

### 요약 및 해석

이 글은 단순히 기술적인 정보를 나열하기보다는, **기술적 도구들이 어떻게 사회적, 커뮤니티적 맥락 속에서 발전해왔는지**에 대한 깊은 성찰을 담고 있습니다. 특히, **개인적인 경험(개발자로서의 여정)**을 통해 **플랫폼의 변화, 소유권, 그리고 기술 생태계의 역학 관계**를 이해하려는 시도가 돋보입니다.

마지막 부분에서 언급된 GitHub에 대한 논의는, 기술이 어떻게 권력과 커뮤니티를 형성하는지에 대한 현대적인 논의와 연결됩니다.

Ghostty가 GitHub를 떠납니다

- **Ghost(Ghost)의 이탈:** Ghost가 GitHub를 떠나 다른 플랫폼으로 이동하는 상황에 대한 내용입니다.
- **GitHub의 문제점:** GitHub 플랫폼의 안정성 및 사용자 경험에 대한 비판이 제기되고 있습니다.
- **플랫폼 이동의 이유:** Ghost가 다른 대안을 모색하는 배경에 대한 논의가 이루어집니다.
- **플랫폼 경쟁:** GitHub와 같은 플랫폼들의 경쟁 구도에 대한 전반적인 논의가 포함되어 있습니다.

Do birds have accents? the regional differences in birdsong

새소리에는 지역별 억양 차이가 존재하며 이는 흥미로운 연구 주제입니다. 연구에 따르면 새들은 지역에 따라 노래가 다르게 들리며, 심지어 같은 종이라도 개체별로도 차이가 있습니다. 예를 들어, 영국에서 흔한 나무비둘기(woodpigeon)의 노래는 지역에 따라 마지막 구절에 음절이 추가되는 등 지역 방언의 차이를 보입니다.

특히 영국에서 서식하는 옐로우해머(yellowhammer)는 두 가지 뚜렷한 방언을 가지며, 이는 노래의 마지막 부분에서 차이를 보입니다. 또한 뉴질랜드의 옐로우해머는 영국에서 사라진 19세기 영국 방언을 여전히 노래하고 있어, 이는 영국에서 개체 수가 감소하면서 발생한 현상으로 추정됩니다. 새들은 주로 부모나 이웃으로부터 노래를 배우며, 이는 지리적 모자이크 형태의 지역적 억양을 형성합니다.

도시 환경에 적응하면서 새들의 노래도 변화하고 있습니다. 도시 새들은 낮은 주파수의 소음이 잘 전달되도록 더 높은 음조로 노래하며, 시골 새들보다 새벽에 최대 5시간 더 일찍 새벽 합창을 시작합니다. 이러한 변화는 인공 조명과 교통 소음 등 인간의 환경에 반응하는 결과입니다.

현재까지 새들의 노래 차이에 대한 연구는 여전히 진행 중이며, 특히 암컷 새들의 노래에 대한 데이터가 부족하여 성별에 따른 차이를 더 깊이 이해하는 데는 추가적인 연구가 필요합니다.

Regression: malware reminder on every read still causes subagent refusals

Claude 시스템에 삽입된 '악성코드 경고' 시스템 프롬프트 버그로 인해 멀티 에이전트(subagent) 작업이 실패하고 엄청난 토큰 비용이 발생하고 있습니다.

이 버그는 파일 읽기마다 경고가 삽입되어 에이전트가 합법적인 코드 수정 작업을 거부하게 만들어 병렬 워크플로우를 사용 불가능하게 만들며, 이는 에이전트 기능의 사용자 경험을 심각하게 저해합니다. 해결책으로는 경고를 완전히 제거하거나, 조건부 구문을 명확히 하여 경고의 범위를 특정 파일에 한정하는 등의 수정이 제안되었습니다.

How ChatGPT serves ads

ChatGPT가 광고를 제공하는 과정은 백엔드에서 SSE 스트림을 통해 광고 단위 정보를 주입하고, 방문자의 브라우저에서 실행되는 OAIQ 추적 SDK를 통해 클릭 정보를 보고하는 이중 시스템으로 작동합니다. 이 두 시스템은 네 개의 Fernet 암호화된 토큰을 통해 연결되어 있으며, 이는 광고 노출부터 최종 클릭에 이르는 복잡한 어트리뷰션 루프를 형성합니다.

**핵심 요약:**

OpenAI의 광고 플랫폼은 ChatGPT 응답 스트림에 광고 단위 정보를 주입하는 백엔드와 방문자의 브라우저에서 작동하는 OAIQ 추적 SDK로 구성되어 있으며, 이 둘은 Fernet 암호화된 클릭 토큰을 통해 연결되어 광고 노출부터 클릭까지의 전체 과정을 추적하는 복잡한 어트리뷰션 루프를 구현합니다.

**왜 중요한지:**

이 기사는 대규모 언어 모델(LLM) 기반 서비스에서 광고가 어떻게 삽입되고 추적되는지에 대한 기술적 메커니즘을 상세히 보여주며, 서버 측 데이터 주입과 클라이언트 측 추적 간의 암호화된 연결 구조를 이해하는 데 중요합니다.

**주의할 점 또는 맥락:**

광고 추적은 `ads_spam_integrity_payload`, `oppref`, `olref`, `ad_data_token`과 같은 네 개의 Fernet 토큰을 통해 이루어지며, 이 토큰들은 서버 측 무결성 검증과 클라이언트 측 이벤트 로깅을 위해 사용됩니다. 개발자는 이 시스템을 차단하기 위해 `bzrcdn.openai.com` 및 `bzr.openai.com` 도메인을 필터링 목록에 추가해야 하며, 클릭 후에는 `__oppref` 및 `__oaiq_domain_probe` 쿠키를 검사해야 합니다.

Claude for Creative Work

Anthropic은 Blender, Adobe, Autodesk 등 기존의 창작 소프트웨어와 Claude를 연결하는 커넥터(Connectors)를 출시하여, 창작자들이 더 빠르고 야심찬 아이디어를 구상하고 반복적인 작업을 처리할 수 있도록 지원합니다. 이 연결 기능은 Claude가 코드 작성, 데이터 형식 변환, 3D 모델 수정 등 다양한 창작 파이프라인 내에서 작동하도록 하며, 특히 Blender의 Python API 연동을 통해 오픈 소스 생태계와의 통합을 강화하는 데 중점을 둡니다.

Apple CMF (Color-Matching Functions) 2026

이 텍스트는 **디스플레이 기술, 색상 정확도, 그리고 현대 디스플레이에서 다양한 색 공간(예: sRGB 대 DCI-P3)의 의미**에 중점을 둔 상세하고 기술적인 분석이며, 아마도 리뷰나 심층 분석 기사에서 나온 내용일 것입니다.

다음은 제시된 핵심 주제와 정보의 분석입니다.

### 1. 색상 및 디스플레이 표준에 대한 초점
이 텍스트의 핵심은 서로 다른 색 공간이 화면에서 어떻게 처리되고 인식되는지에 관한 것입니다. 다음 개념들을 언급합니다:
* **색 공간 (Color Spaces):** sRGB 및 DCI-P3과 같은 표준에 대한 논의가 내포되어 있습니다.
* **색상 정확도 (Color Accuracy):** 전체 분석은 표시되는 색상의 충실도를 이해하는 데 중점을 두고 있습니다.

### 2. 애플/디스플레이 맥락 (암시적)
애플 관련 용어에 대한 집중(비록 제품 리뷰로 명시되지는 않았지만)은 색상 보정이 매우 중요한 고급 소비자 디스플레이에 대한 맥락임을 시사합니다.

### 3. 기술적 심층 분석 (데이터)
이 텍스트는 성능을 비교하기 위한 상세한 측정치와 비교를 포함하여 풍부한 구체적인 기술 데이터를 담고 있습니다.
* **측정 및 비교:** 성능을 비교하기 위해 상세한 측정을 사용합니다.
* **표준 및 측정 기준:** 확립된 색상 측정 기준을 참조합니다.

### 4. 맥락적 단서 (각주)
주변 텍스트는 파편적이지만 기술 평가의 더 넓은 맥락을 가리킵니다.
* **구조:** 특정 디스플레이 기술 또는 보정 방법에 대한 비교 또는 비판의 구조를 취하고 있습니다.

### 의도 요약
이 문서는 **일반적인 기사가 아닙니다.** 디스플레이 사양, 색채 과학, 기술 테스트에 익숙한 독자를 대상으로 하는 고도로 전문화된 콘텐츠입니다. 이는 특정 시각적 결과에 대한 벤치마크를 설정하거나 심층적인 기술적 근거를 제공하는 역할을 합니다.

Dillo 브라우저 3.3.0 릴리스

Dillo 브라우저 3.3.0 릴리스는 `dilloc` 프로그램을 통해 명령줄 및 스크립트로 브라우저를 직접 제어할 수 있는 원격 제어 및 자동화 기능을 대폭 강화했습니다. 이는 `page_action` 옵션을 추가하여 사용자가 페이지 내용을 임의로 조작하거나 외부 스크립트를 실행할 수 있게 하며, OAuth 로그인 시 쿠키 처리를 조정하여 인증 흐름을 유지하면서도 추적 방어를 보장합니다. 또한, FLTK 1.4 실험 지원과 같은 새로운 기능 및 다양한 버그 수정이 포함되어 전반적인 사용성과 안정성이 향상되었습니다.

MCP 도구 50개를 짜며 깨달은 것: 함수 호출은 비정상적으로 친밀한 관계였다

주말 동안 MCP 도구 50개를 설계하며, 함수 호출이 호출자와 작성자 간의 '비정상적으로 친밀한 관계'임을 발견했습니다. 이는 RPC가 호출자 신뢰에 기반한다면, MCP는 도구를 만든 쪽이 호출자(LLM)를 신뢰해야 한다는 근본적인 차이를 보여주며, 도구 설계에서 단일 책임 원칙(SRP) 대신 도구의 어포던스(Affordance)를 고려하고 호출자에게 운영 원칙을 제시하는 방향으로 변화해야 함을 시사합니다.

크롬 프롬프트 API

제공해주신 텍스트는 매우 길고 다양한 주제를 포함하고 있으며, 특정 질문에 대한 직접적인 답변을 요청하는 형태는 아닙니다. 텍스트의 내용을 요약하거나 특정 부분에 대해 설명해 드릴 수 있습니다.

**어떤 부분에 대해 궁금하신가요?** 예를 들어, 다음과 같은 질문을 해주시면 답변드리겠습니다.

1. **이 텍스트의 주요 주제는 무엇인가요?**
2. **특정 기술(예: Prompting, LLM, 모델 배포)에 대한 설명이 있나요?**
3. **텍스트에서 언급된 핵심 아이디어는 무엇인가요?**
4. **특정 문단에 대해 설명해 주세요.**

원하시는 내용을 구체적으로 말씀해 주시면 최선을 다해 도와드리겠습니다.

Anti-Trump Instagram pic of seashells now enough to indict ex-FBI directors

슬랭 용어 '86'의 의미에 대한 설명입니다.

식당 용어에서 '86'는 메뉴에서 사라지거나 끝났다는 의미로 사용되지만, 다른 슬랭 사전에서는 이 단어가 거부당한 사람이나 살인을 의미할 수도 있어 문맥에 따라 여러 의미로 사용됨을 설명합니다.

왜 그냥 Lean만 쓰지 않나요?

요약 품질이 낮아 기본 표시에서 숨겼습니다.
요약 원문 보기
제공해주신 텍스트는 **수학적 증명, 형식 검증, 그리고 컴퓨터 과학 분야의 논의**에 깊이 관여하는 사람의 사색과 경험을 담고 있습니다. 특히 **Lean, Mathlib, 그리고 증명 시스템**과 관련된 기술적 논의와 더불어, **지식의 표현, 도구의 발전, 그리고 커뮤니티의 역학**에 대한 철학적인 고찰이 섞여 있습니다.

핵심적으로 다루고 있는 주제들을 요약하고 분석해 드리겠습니다.

---

## 1. 핵심 주제 요약

### A. 형식 검증 및 수학적 증명 시스템 (Lean/Mathlib)
* **Lean과 Mathlib:** 이는 수학적 명제를 형식적으로 증명하고 검증하는 시스템(Lean)과 그 증명들을 체계화한 라이브러리(Mathlib)에 대한 논의로 보입니다. 이는 컴퓨터 과학과 수학의 교차점에서 형식적 논리를 어떻게 구현하고 확장할 것인가에 대한 탐구를 반영합니다.
* **형식적 논리의 중요성:** 증명의 정확성과 신뢰성을 확보하는 것이 핵심 주제입니다.

### B. 도구의 발전과 커뮤니티 역학
* **도구의 역할:** Lean과 같은 도구들이 어떻게 수학 연구의 효율성을 높이고 커뮤니티를 형성하는지에 대한 논의가 내포되어 있습니다.
* **커뮤니티의 힘:** 논의의 흐름은 단순히 기술적인 구현을 넘어, 사람들이 어떻게 지식을 공유하고 발전시키는가에 대한 사회적, 철학적 측면을 포함합니다.

### C. 지식과 실용성의 균형
* **이론과 실용성:** 깊은 수학적/논리적 이론(Lean)과 실제 적용 가능한 도구(프로그래밍) 사이의 관계에 대한 고민이 나타납니다.

---

## 2. 심층 분석 및 맥락 추론

이 글은 **"어떻게 수학적 진리를 가장 정확하고 효율적으로 표현하고 검증할 것인가?"**라는 근본적인 질문에 대한 기술적, 철학적 답변을 시도하고 있습니다.

### 기술적 맥락 (Lean/Mathlib)
Lean과 Mathlib은 **"증명 자동화"**와 **"형식적 수학"** 분야에서 매우 중요한 위치를 차지합니다. 이 논의는 단순히 코드를 작성하는 것을 넘어, **증명 자체의 구조와 의미**를 어떻게 형식화할 것인가에 대한 깊은 고민을 담고 있습니다.

### 철학적 맥락 (지식의 본질)
글쓴이는 지식(증명)이 **객관적이고 형식적**이어야 한다는 믿음을 바탕으로, 이를 구현하는 도구(Lean)의 필요성을 강조합니다. 이는 **플라톤적 이상**과 **현대 수학의 형식주의**가 만나는 지점입니다.

### 커뮤니티 및 방법론
글쓴이는 특정 방법론(Lean)을 통해 지식을 구축하는 과정에서 발생하는 **방법론적 선택**과 **커뮤니티의 합의**의 중요성을 암시합니다.

---

## 3. 결론

제공된 텍스트는 **고급 수학적 형식화 작업**을 수행하는 과정에서 발생하는 **방법론적, 철학적 성찰**을 담고 있으며, **도구(Lean)의 발전**과 **지식의 신뢰성**에 대한 깊은 관심을 보여줍니다. 이는 단순한 프로그래밍 논의를 넘어, **인간의 사고방식과 수학적 진리를 다루는 방식**에 대한 광범위한 논의의 일부라고 해석할 수 있습니다.

학생들에게

요약 품질이 낮아 기본 표시에서 숨겼습니다.
요약 원문 보기
이 글은 기술 발전과 인공지능 시대에 직면한 개발자와 전문가들이 가져야 할 **비판적 사고와 윤리적 책임**에 대해 깊이 성찰하게 하는 내용입니다.

핵심 메시지는 다음과 같습니다.

### 1. 기술 발전의 이면에 대한 성찰
글은 기술(특히 AI)이 제공하는 편리함과 효율성 뒤에 숨겨진 역사적, 윤리적 맥락을 되돌아보도록 촉구합니다. 단순히 효율성만을 추구하는 것이 아니라, 기술이 사회와 개인에게 미치는 영향에 대해 질문해야 함을 강조합니다.

### 2. 개발자의 역할과 책임
개발자는 단순히 코드를 작성하는 것을 넘어, 자신이 만드는 기술이 어떤 결과를 낳을지 예측하고 책임져야 합니다. 이는 기술적 능력뿐만 아니라, **어떤 가치를 추구할 것인가**에 대한 철학적 질문을 포함합니다.

### 3. 피상적인 해답에 대한 경계
글은 복잡한 문제에 대해 쉽고 즉각적인 해답(예: LLM의 무조건적인 수용)을 맹목적으로 따르기보다, 깊이 있는 비판과 숙고를 통해 접근해야 함을 시사합니다. 기술의 발전 속도에 휩쓸려 본질을 놓치지 않도록 경고합니다.

---

**요약하자면, 이 글은 기술적 숙련도만큼이나, 기술을 사용하는 주체가 가져야 할 윤리적, 철학적 성숙함의 중요성을 역설하고 있습니다.**

Warp의 오픈소스 전환과 에이전트 중심 개발 모델 발표

Warp의 창업자 Zach Lloyd가 터미널 및 에이전틱 개발환경(ADE)인 Warp 클라이언트를 오픈소스로 전환하고, 개발 방식을 '에이전트 우선(agent-first)' 워크플로우로 재편하는 모델을 발표했습니다. 이는 코드 작성 등의 무거운 작업은 에이전트가 처리하고, 개발자는 사양 정의와 결과 검증에 집중하는 구조를 목표로 하며, OpenAI 모델 기반의 오케스트레이션 플랫폼 Oz를 통해 구현됩니다.

- **무엇이 일어났는지**
Warp 클라이언트 소스 코드를 AGPL 라이선스로 공개하고, 개발 방식 자체를 '에이전트 우선' 모델로 전환했습니다. 코드 작성, 계획, 테스트 등 무거운 작업은 Oz 에이전트가 처리하고, 커뮤니티는 방향성 및 검증에 집중하는 구조를 제시합니다.

- **왜 중요한지**
개발 병목 현상이 '코드 작성'에서 '사양 정의 및 동작 검증'으로 이동함을 지적하며, 에이전트가 구현을 맡고 사람이 감독·검수하는 새로운 개발 모델을 제시합니다. 이는 기여자가 더 높은 레버리지의 작업에 집중할 수 있게 하며, 폐쇄형 경쟁 제품에 대항하는 오픈소스 에이전틱 개발환경의 대안을 제시합니다.

- **주의할 점 또는 맥락**
AGPL 라이선스로 공개되어 상용 통합이나 SaaS 형태로 재배포하려는 기업에게는 라이선스 부담이 될 수 있습니다. 또한, 개발 워크플로우가 Oz 에이전트의 규칙과 검증 루프에 강하게 의존하기 때문에 에이전트의 품질이 프로젝트 결과물의 상한선이 될 수 있다는 한계가 있습니다.

Carrot Disclosure: Forgejo

Forgejo의 보안 취약점을 분석한 결과, SSRF, 인증 메커니즘 오류, 정보 유출 등 다수의 취약점이 발견되었으며, 이를 연결하여 최종적으로 원격 코드 실행(RCE)을 달성할 수 있음을 입증했습니다.

이는 소프트웨어의 보안 상태가 취약할 경우, 개발자가 직접 수정하기보다 '캐럿 디스클로저(Carrot Disclosure)' 모델을 통해 취약점을 공개하여 공급자가 개선하도록 유도하는 방식이 효과적일 수 있음을 보여줍니다.

결론적으로, 개발자는 취약점을 발견했을 때, 코드베이스의 상태를 고려하여 공격 성공 증명(PoC)을 공개함으로써 소프트웨어 개선을 촉진하는 방식으로 보안 문제를 다룰 수 있습니다.