The Ploopy A+ Trackball Is Here

Ploopy에서 새로운 A+ 트랙볼 마우스를 출시했다는 소식이 발표되었습니다. 이 제품은 개발자나 디자이너들이 작업 효율성을 높일 수 있도록 설계된 입력 장치입니다.

이번 발표는 Ploopy의 새로운 하드웨어 제품에 대한 기대감을 높이며 커뮤니티 내에서 주목받고 있습니다. A+ 트랙볼이 구체적으로 어떤 기능을 제공하며 기존 제품들과 어떤 차별점을 가지는지에 대한 상세 정보가 제공될 예정입니다.

해당 제품에 대한 자세한 정보와 사양은 블로그 링크를 통해 확인할 수 있습니다. 관심 있는 사용자들은 해당 링크를 방문하여 새로운 트랙볼의 세부 사항을 확인하고 제품 출시 소식을 접할 수 있습니다.

NSA and IETF, Part 9

NSA와 IETF의 절차에 대한 업데이트는 인터넷 표준 프로세스 내에서 절차적 공정성과 권리 보호에 대한 논쟁을 다룹니다. IETF는 이의 제기(appeal)를 처리하는 절차에 대해 외부 기관의 지침을 따르지 않으며, RFC 철회와 같은 행정 절차를 회피하기 위한 인센티브가 존재할 수 있다는 지적이 제기되었습니다.

IETF 내에서 이의 제기 절차는 IESG, SEI, IAB를 거치지만, 이 과정에서 절차적 제약이 부족하여 반대 의견을 억압할 수 있다는 우려가 있습니다. 이러한 절차적 불투명성은 보안 표준 및 암호화 기술(PQcrypto, 하이브리드 방식)의 개발 과정에 영향을 미치므로, 표준 결정에 참여하는 모든 당사자의 권리 보호가 중요합니다.

궁극적으로 IETF 절차에 불만족할 경우 인터넷소사이어티(Internet Society) 이사회에 이의를 제기할 수 있는 마지막 단계가 존재합니다. 이 과정에서 IETF 절차가 공정하고 개방적인 인터넷 표준 프로세스 참여자들의 권리를 보호하기에 불충분하다는 점을 주장할 수 있습니다.

이러한 논의에는 NSA 직원들과 같은 이해관계자들이 참여하고 있으며, 특정 인물들이 IETF 절차의 공정성을 보장하는 데 있어 어떤 역할을 할 수 있는지에 대한 맥락이 포함되어 있습니다. 이는 암호화 기술의 표준화 과정에서 발생하는 권력 관계와 절차적 문제를 이해하는 데 중요한 배경이 됩니다.

hubble.md - 사람과 에이전트를 위한 노트패드

사람과 에이전트가 함께 사용할 수 있도록 설계된 무료 오픈소스 노트 앱 hubble.md가 공개되었습니다. 이 앱은 Markdown과 HTML을 기반으로 하며, Notion이나 Apple Notes와 유사한 작성 경험을 제공하여 효율적인 정보 관리 환경을 제공합니다.

hubble.md는 단순한 노트 기능을 넘어 개발자와 에이전트가 협업할 수 있는 구조를 제공하는 것이 특징입니다. 사용자는 `/` 명령어, Markdown 단축키, 프로퍼티, frontmatter 등의 기능을 지원받아 복잡한 정보를 체계적으로 정리할 수 있습니다.

특히 이 노트 앱은 에이전트 연동 기능을 내장하고 있어, 인간 사용자와 AI 에이전트 간의 정보 교환 및 작업 흐름을 원활하게 연결할 수 있도록 설계되었습니다. 이는 개인적인 메모를 넘어 에이전트 기반의 자동화된 작업 환경을 구축하려는 사용자들에게 중요한 도구가 될 것입니다.

2D Gaussian Splatting for Bézier Spline Line Art Vectorization

2D 가우시안 스플래팅을 이용한 베지어 스플라인 라인 아트 벡터화 연구가 발표되었습니다. 이 연구는 라인 아트와 스케치의 벡터화 문제를 해결하기 위해 최신 기술을 활용하여 새로운 최고 수준의 방법을 제시합니다.

연구팀은 깊이 예측 모델과 의미론적 특징 추출 모델을 활용하여 휴리스틱을 넘어선 의미 있는 선분(strokes)을 추출하는 방법을 보여줍니다. 이를 통해 스케치의 골격 그래프를 하위 그래프로 분할하여 선분을 초기화함으로써 예술적 의도에 더 잘 부합하는 결과를 얻을 수 있습니다.

또한, 선분을 기하학적 및 외관 구성 요소로 이루어진 베지어 곡선으로 모델링하고 2D 가우시안 스플래팅을 사용하여 빠르고 구별 가능한 렌더링을 수행합니다. 이 접근 방식은 제어점과 브러시 질감을 공동으로 최적화하여 입력에 효율적으로 선분을 통합할 수 있게 합니다.

시간 추적 및 적응형 키프레임 도입을 통해 비디오에 대한 유망한 결과를 입증했으며, 이미지 재구성에서 최고 수준의 결과를 달성하면서도 빠르고 고품질의 선분을 생성합니다. 이 방법은 스플라인 수정과 최적화 매개변수 선택을 통해 사용자 입력과 높은 호환성을 보입니다.

Simplifying and Refactoring Introductory Calculus

조나단 바틀렛(Jonathan Bartlett)이 발표한 이 논문은 기초 미적분학을 가르치는 방식이 학생들에게 지나치게 부담스럽다는 문제점을 지적합니다. 현재의 교육 방식은 학생들이 동일한 작업을 수행하기 위해 다양한 절차를 암기하도록 요구하여 비효율적이라는 것입니다.

저자는 이러한 미적분학 과정들을 단순화하고 재구성하여, 더 적은 개념만으로도 첫해 학생들에게 더 많은 유연성과 능력을 제공할 수 있다고 주장합니다. 이는 복잡한 수학적 개념을 더 효율적이고 유연하게 구조화하는 접근 방식을 제안합니다.

이러한 단순화와 재구성은 학생들이 불필요한 암기 부담을 줄이고 핵심적인 이해에 집중할 수 있도록 돕습니다. 결과적으로, 기초 미적분학 학습 과정에서 개념의 흐름을 개선함으로써 학생들의 수학적 사고력과 문제 해결 능력을 향상시키는 데 기여할 수 있습니다.

LongRCA Bench: Diagnosing Responsible Roles and Root Causes in Long-Horizon Agent Failures

장기 에이전트 실행 실패 시, 결과 수준 평가만으로는 결정적인 오류가 궤적의 어느 지점에서 발생했는지 알 수 없습니다. 개발자는 책임 있는 역할과 가장 이른 결정적 근본 원인 단계를 식별하기 위해 전체 실행을 검사해야 합니다. 기존의 실패 귀인 벤치마크는 주로 짧은 실행 경로에 초점을 맞추고 있어 수백 단계에 걸친 진단은 충분히 탐구되지 못했습니다.

이에 연구진은 인위적인 오류 없이 다섯 가지 도메인에 걸친 1,140개의 실패 궤적을 포함하는 LongRCA Bench를 소개합니다. 이 벤치마크는 책임 있는 역할과 가장 이른 결정적 근본 원인 단계에 대한 독립적인 인간 레이블을 제공합니다. 이 궤적의 중앙값은 145단계이며, 가장 강력한 기준선은 정확한 근본 단계 정확도 13.2%에 불과합니다.

또한, 연구진은 Segment Summary와 궤적에서 후보 오류 단계를 검색하고 이를 이전의 핸드오프 지침에 추적하는 학습 불필요 방법인 Root-Cause Trajectory Attribution(RCTA)을 제시합니다. RCTA는 동일한 백본, 벤치마크 인스턴스 및 평가 프로토콜을 사용하여 책임 있는 역할 정확도 51.1%와 정확한 근본 단계 정확도 24.1%를 달성했습니다.

이러한 결과는 장기 궤적 실패 진단에서 책임 있는 역할 귀속과 정확한 근본 단계 위치 파악을 별도의 목표로 평가해야 할 필요성을 강조합니다. 이는 복잡한 에이전트 시스템의 오류 진단에 있어 새로운 평가 기준을 제시합니다.

Harness the Memory: A Holistic Evaluation of Memory Substrates in Memory Agents

장기 LLM 에이전트를 위한 메모리 기법에 대한 포괄적인 평가를 통해 메모리 서브스트레이트의 사용에 대한 실질적인 지침을 제공합니다. 연구진은 밀집 및 희소 인덱스, 텍스트 기록, 구조적 저장소, 계층적 저장소, 정제 기반 메모리, 매개변수 업데이트, 활성화 호환 컨텍스트 메커니즘 등 다양한 메모리 서브스트레이트를 메모리 증강 에이전트에게 적용하여 통제된 평가를 수행했습니다.

이 평가를 위해 세 가지 백본 모델과 사용자 중심 질의응답 및 에이전트 중심 의사결정이라는 네 가지 벤치마크를 사용하여 26가지 성능 및 효율성 지표를 측정했습니다. 그 결과, 단일 메모리 서브스트레이트가 일관되게 우위를 점하지 않는다는 사실이 밝혀졌습니다. 광범위한 검색은 장문 맥락의 사실적 질의응답에 이점을 주지만, 과도한 검색은 행동에 중요한 컨텍스트에서 주의를 분산시켜 순차적 의사결정에 해를 끼칠 수 있습니다.

또한 확장성은 메모리 서브스트레이트 라우팅의 추가 축을 제시하는데, 중간 길이의 기록에서 잘 작동하는 서브스트레이트도 더 긴 수평선에서는 비용이 많이 들거나 취약해질 수 있습니다. 이러한 발견은 적응형 에이전트 메모리 시스템에 서브스트레이트 라우팅을 필수 구성 요소로 만들고, LLM 에이전트를 위한 효율적이고 신뢰할 수 있으며 상황 인식적인 장기 메모리를 설계하기 위한 경험적 지침을 제공합니다.

StateM: Reaching 95.3% Raw Accuracy, or a \$15 Frontier Run, on Terminal-Bench 2.1 via Harness Scaling

장기 에이전트가 구성 단계는 해결할 수 있음에도 불구하고 실패하는 현상은 종종 상태 관리의 어려움에서 비롯됩니다. 에이전트는 가변적인 상태를 놓치거나 이전 실행에서 얻은 교훈을 재활성화하지 못하거나, 알려진 절차를 건너뛰거나 조기에 중단할 수 있습니다. 이러한 문제를 해결하기 위해 모델 가중치를 변경하지 않고 에이전트 주변의 실행 시스템을 개선하는 것에 중점을 둔 StateM이라는 에이전트 네이티브 런타임을 소개합니다.

StateM은 에이전트와 사용자가 함께 검사할 수 있는 지속적인 상태, 단계별 맥락, 확인된 전환, 복구 가능한 실행 계획서(runbooks), 버전화된 절차적 관행을 중심으로 실행을 조직합니다. Terminal-Bench 2.1에서 StateM은 GPT-5.5 xhigh를 83.1%의 기준치 대비 92.1%로, GPT-5.6 Sol Ultra를 91.9%로 향상시켰습니다. 특히 GPT-5.6 Sol xhigh의 경우 445번의 시험에서 95.3%의 원시 정확도를 달성하며 89개 작업 모두에 최소 한 번 성공했습니다.

또한, 이 런타임을 사용하여 프로파일을 고정했을 때 GPT-5.6 Luna는 76.7%에서 85.4%로 상승하여 84.9%의 Sol xhigh 기준치를 넘어섰습니다. BusinessBench에서는 개발 세트를 기반으로 한 가족별 실행 계획서가 0.55의 매크로 점과 1.34의 마이크로 점을 제공했으며, 두 가지 메커니즘 일치 가족은 10.04점 향상되었습니다.

StateM은 사후 분석 결과를 영구적이고 실행 가능한 전제 조건 및 관행으로 전환하여, 학습된 제어를 상태 기반 제어를 통해 명시적이고 시행 가능하게 만듭니다. 이는 에이전트의 실행 시스템을 개선하고 제어 방법론을 광범위하게 적용할 수 있게 합니다.

MOSS-VL Technical Report

오픈 비전-언어 모델 패밀리인 MOSS-VL이 실시간 상호작용(말하는 동안 인식하기)을 최우선 기능으로 다루는 새로운 접근 방식을 제시합니다. 이 모델은 언어 디코더가 게이티드 크로스-어텐션만을 통해 시각 정보를 처리하여 생성과 동시에 들어오는 프레임을 자연스럽게 볼 수 있도록 설계되었습니다. 또한, 합성된 상호작용 코퍼스가 모델이 언제 말하고, 언제 침묵하며, 언제 수정해야 하는지를 감독하며, 스테이지별 커리큘럼을 통해 모든 실시간 특화 훈련을 강력한 오프라인 기반 위에 집중시킵니다.

오프라인 환경에서는 MOSS-VL-Instruct가 동등한 규모에서 경쟁하며 시간 추론 비디오 세트에서 선두를 차지합니다. 실시간 스트리밍 벤치마크에서 MOSS-VL-Realtime은 오픈 소스 스트리밍 모델 중 세 가지(네 번째는 두 번째)에서 최고의 평균 성능을 기록했습니다. 특히 능동적 행동을 측정하는 세 가지 하위 집합에서 66.0 대 37.5의 격차를 보이며 OmniMMI Proactive Alerting에서 가장 좋은 기준선을 달성했습니다.

모델은 113억 개의 파라미터를 가지며 시각 토큰이 디코딩된 시퀀스 외부에 존재하지만, 시각적 맥락이 확장됨에 따라 동일한 백본 Qwen3-VL-8B 대비 첫 토큰 도달 시간 우위가 2.8배에서 5.1배로 확대됩니다. 개발자들은 모든 체크포인트, 훈련 커리큘럼, 실시간 추론 코드를 https://github.com/OpenMOSS/MOSS-VL에서 공개하고 있습니다.

Prototype-Rectified Iterative Self-supervised Manifold Denoising under Severe Acoustic Shift

오디오-텍스트 파운데이션 모델(ATMs)은 심각한 음향 노이즈 환경에서 치명적으로 실패하는데, 기존의 적응 전략들은 노이즈를 신호보다 강화하는 경사 기반 테스트 시간 적응(TTA)이나 추론 시점에 사용할 수 없는 특권적인 노이즈 주석이 필요한 프롬프트 튜닝에 의존하는 한계를 가지고 있습니다. 이 문제를 해결하기 위해 연구진은 Affine Noise Hypothesis에 기반한 훈련 불필요, 소스 불필요 TTA 프레임워크인 PRISM(Prototype-Rectified Iterative Self-supervised Manifold Denoising)을 제안했습니다.

PRISM은 심각한 음향 노이즈가 멀티모달 잠재 공간에 저차원 아핀 이동을 유발하며, 왜곡 에너지의 90% 이상이 선행 60개 주성분 내에 국한된다는 가설을 활용합니다. PRISM은 고정된 텍스트 프로토타입을 기하학적 앵커로 사용하여 이 왜곡을 추정하고 되돌리며, 아핀 편향 회귀(Affine Bias Regression)를 통해 세 가지 폐쇄형 기하학적 보정을 단일 정적 투영 행렬로 통합합니다.

이러한 방법은 추론 시점에 적응을 단일 행렬-벡터 곱셈으로 줄여 0.0009ms 만에 수행되므로 경사 기반 TTA보다 훨씬 빠르며 추가적인 훈련이 필요 없습니다. UrbanSound8K 데이터셋에서 PRISM은 제로샷 기준선 대비 12.94 퍼센트포인트 개선을 보였고, 오라클 지원 TTA 기준선보다 9.41 퍼센트포인트 더 높은 성능을 달성했습니다.

또한, 광대역 클래스에 대한 부분 공간 붕괴의 원인인 다중음향 함정(Polyphonic Trap)이라는 실패 모드를 식별하고, 자신감 인식 회귀(Confidence-Aware Regression, CAR)를 통해 이를 해결하여 가장 영향을 많이 받은 클래스에서 최대 8.16 퍼센트포인트를 회복시켰습니다.

Gathered, Not Admitted: How Attention Brings a Latent Variable into Verbalizable Form

언어 모델은 잠재량을 보고할 수 있는 형태로 보유하며, 이 형태는 태스크가 해당 정보를 유연하게 재사용할 때 더 많이 존재합니다. 이 표현이 발생하는 원인을 결정하는 '게이트'가 존재하지만, 오픈 웨이트 모델에 야코비안 렌즈를 적용하여 테스트한 결과, 이 게이트가 변수를 예측하지는 못했습니다.

요구사항이 높아지면 개념의 렌즈 가시성이 증가하며, 이는 주요 체크포인트에서 0.050의 퍼센타일 랭크 증가를 가져왔습니다. 하지만 이 결과는 일부 팔에서 최대치로 응답하는 경우에 더 강한 대비를 보였으며, 변수를 디코딩하는 공유 선형 맵은 모든 팔에서 6.4~9.0배의 선택 보정 하한값으로 변수를 해독합니다.

실제 읽기 가능한 형태를 생성하는 것은 중간 깊이 창(mid-depth window) 내에서의 어텐션 기반 수집(attention-mediated gathering)입니다. 이 창은 패치 깊이와 읽기 깊이를 분리하여, 비포화 읽기에서 더 얕은 곳보다 최소 17배 이상 높은 위치에 변수를 운반합니다. 이 창은 수요에 따라 특정되며, 아래쪽의 생존 실패와 위쪽의 파괴라는 두 가지 측정된 경계를 가지며, 이는 다른 모델 계열에서도 동일한 분수 깊이에 위치합니다.

결과적으로, 이 읽기 결과는 사용에 대한 보정된 측정치가 아니며, 세 가지 구성 요소가 서로 12% 이내로 움직이고 답변에 미치는 영향은 7.4배 차이가 납니다. 따라서 변수가 패스지에서 이동하는 경로가 아니라 설치되고 읽히는 위치를 파악하는 것이 중요합니다.

Understanding Cognition-Induced Risks in Agentic AI Systems

거대 언어 모델(LLM) 기반의 최첨단 에이전트 시스템은 인간과 유사한 인지 패턴을 보입니다. 이러한 시스템이 다양한 영역에 깊이 통합됨에 따라 인지적 참여가 증가하고 있으며, 이는 인간 사회에 대한 아직 충분히 연구되지 않은 중요한 우려를 제기합니다. 연구진은 이러한 인지 능력 확장이 야기하는 위험을 체계적으로 분석하기 위해 세 가지 수준의 인지 범위, 즉 물리적 인지, 사회적 인지, 그리고 자기 참조적 인지를 기준으로 위험을 분석하는 틀을 제시했습니다.

연구는 각 인지 수준에 상응하는 인간의 행위 능력, 자율성, 그리고 통제 능력에 대한 잠재적 위험을 탐구합니다. 이는 에이전트 시스템이 인간의 주체성과 통제에 미치는 영향을 이해하는 데 중점을 둡니다. 이러한 분석을 바탕으로 연구진은 이러한 위험을 완화하고 에이전트 AI 시스템의 통제 가능성을 향상시키기 위한 전략을 제안했습니다.

궁극적으로 이 연구는 에이전트 AI 시스템의 장기적인 안전한 개발을 보장하기 위해 인지 기반 위험을 관리하고 통제력을 강화하는 방안을 모색하는 데 기여합니다. 이는 에이전트 시스템의 발전 방향을 설정하고 안전성을 확보하는 데 중요한 통찰을 제공합니다.

VibeWorlding: Can Multimodal Agents Construct 3D Open Worlds End-to-End?

사용자 질의로부터 상호작용 가능한 3D 오픈 월드를 구성하는 것은 중요하지만, 기존 방법들은 이상화되고 단순한 질의에 주로 평가되어 멀티모달 에이전트가 사용자 의도를 이해하고 3D 도구를 사용하며 텍스트 및 시각적 3D 세계 정보를 추론하는 방식을 체계적으로 분석하기 어렵습니다. 이러한 문제를 해결하기 위해 연구진은 VibeWorlding이라는 멀티모달 에이전트 벤치마킹 및 훈련을 위한 통합 프레임워크를 제안했습니다.

VibeWorlding은 에이전트가 사용자 의도를 자율적으로 추론하고, 장면 레이아웃을 계획하며, 3D 도구를 호출하고, 멀티모달 피드백을 반영하는 과정을 다중 턴 에이전트-환경 상호작용 과정에서 수행할 수 있도록 설계되었습니다. 이를 위해 2,616개의 고품질 3D 에셋, 323개의 인간 주석이 달린 시드 3D 세계, 그리고 6,828개의 역합성된 멀티모달 사용자 질의로 구성된 VWE-BENCH 벤치마크를 구축했습니다. 또한, 물리적 실현 가능성과 의도 충족을 결합한 기준 기반 검증기와 자원 효율적인 멀티모달 강화 학습(RL) 후 훈련 프레임워크인 VibeWorlding-Gym을 개발하여 모델 평가와 확장 가능한 보상 서비스를 지원합니다.

실험 결과, 현재의 최첨단 MLLM들은 3D 세계 편집의 정확성에서 병목 현상을 보이며, GPT-5.5나 Qwen3.8-Max와 같은 모델조차도 성공률 60% 미만으로 에이전트 작업 전체를 해결하지 못하는 것으로 나타났습니다. 연구진은 RL 훈련이 이러한 약점을 완화하여 오픈 소스 MLLM이 폐쇄형 모델의 성능을 능가할 수 있게 한다고 발견했습니다.

구체적으로 VibeWorlder-8B 모델은 최첨단 MLLM과 비교할 만한 성능을 보였으며, 플래그십 모델인 VibeWorlder-30B-A3B는 평가된 모든 모델 중에서 가장 우수한 Pass@1 점수를 달성했습니다.

The Case Against Formal Verification, 50 Years Later

엔지니어들이 소프트웨어 검증에 대해 다시 흥분하고 있는 배경에는 AI 코딩 에이전트의 발전이 있습니다. AI가 코드를 작성하면서 프로그램의 정확성에 대한 이해가 부족해졌기 때문에, 이제는 다른 수단으로 정확성을 보장해야 할 필요성이 커졌습니다. 이러한 상황에서 50년 전 제기된 형식 검증(Formal Verification)에 반대하는 논쟁을 재검토하는 것은 현재의 소프트웨어 개발 환경에 중요한 통찰을 제공합니다.

원래 형식 검증에 반대하는 논문은 수학적 증명과 프로그램 검증의 관계, 비공식적인 요구사항을 형식적인 명세로 변환하는 과정의 문제점, 그리고 완전 자동 검증의 불가능성 등을 주장했습니다. 그러나 최근의 발전은 이러한 논쟁의 맥락을 변화시킵니다. 특히 코딩 에이전트가 코드를 생성하고 검증 루프를 닫는 역할을 하면서, 형식 검증이 소프트웨어 신뢰성 확보에 있어 유일한 해결책이 아니라는 주장이 더욱 강화되고 있습니다.

논문은 소프트웨어의 신뢰성은 단순히 검증에만 달려 있는 것이 아니라, 엔지니어링 프로세스, 비즈니스 고려 사항, 그리고 커뮤니티의 신뢰와 같은 더 넓은 요소들이 포함된다고 주장합니다. 따라서 형식 방법론의 다양한 부분이 전체적인 이해나 더 나은 설계 선택에 기여할 수 있다는 점을 간과해서는 안 됩니다.

결론적으로 형식 검증은 모든 정확성 문제를 해결하는 마법 지팡이가 아니며, 코딩 에이전트 시대에는 명세 작성과 검증을 포함한 다른 모든 노력들이 소프트웨어 정확성을 확보하는 데 동등하게 중요합니다.

Yadda 3.0.0: BDD in the Age of AI Agents

Yadda 3.0.0 버전은 AI 에이전트 시대에 BDD(행위 주도 개발) 라이브러리가 어떻게 진화하는지를 보여줍니다. 이 업데이트는 JavaScript용 BDD 라이브러리인 Yadda를 현대화하는 데 중점을 두었으며, Node 전용으로 변경하고 구식 통합 기능을 제거하며 ES6 문법을 채택하고 Playwright 및 Puppeteer와 같은 최신 예제를 추가했습니다. 또한 TypeScript 정의도 포함되어 있어 개발 환경을 더욱 현대적으로 만들었습니다.

이번 릴리스의 가장 중요한 변화는 Claude Code를 사용하여 Yadda를 현대화하는 과정에서 AI 에이전트가 어떻게 복잡한 작업을 수행했는지에 대한 사례를 제공한다는 점입니다. 개발자는 기능을 분리하여 단계별로 현대화하는 접근 방식을 통해 에이전트가 최소한의 실수로 코드를 개선하고, 기존의 테스트 스위트의 무결성을 유지할 수 있음을 확인했습니다.

이러한 발전은 코딩이 더 이상 병목 현상이 아니며, 대신 여러 에이전트가 병렬로 작업하는 오케스트레이션 능력이 새로운 핵심 역량이 되었음을 시사합니다. 실행 가능한 명세는 소프트웨어의 행동에 묶여 있어 에이전트가 요구되는 행동을 이해하고 검증하는 계약 역할을 수행함으로써 에이전트 기반 개발 환경에서 더욱 가치가 높아집니다.

나아가 Yadda는 GitHub-flavored Markdown 형식으로 기능 명세 작성을 지원하여, 실행 가능한 명세가 프로젝트 위키 및 다른 지식 자산과 자연스럽게 공존하도록 했습니다. 이는 에이전트가 시스템의 행동을 이해하는 데 필요한 풍부한 도메인 컨텍스트를 제공하며, 명세가 단순한 문서가 아닌 실행 가능한 계약으로 기능하게 만듭니다.

Jane Street suffers $15B hit after meltdown at Situational Awareness

제인 스트리트가 상황 인식(Situational Awareness) 관련 붕괴로 인해 150억 달러의 손실을 입었습니다. 이는 최근 시장의 불안정성과 기관 투자자들의 움직임을 반영하며 금융 시장 전반에 영향을 미치고 있습니다.

이러한 사건은 인공지능 분야의 경쟁 구도와 지정학적 리스크가 금융 시장에 미치는 영향을 보여줍니다. 이스라엘, OpenAI, Anthropic 등 주요 기업들의 이탈과 중국 AI 경쟁국의 부상으로 인해 AI 관련 기술주와 시장 심리가 크게 요동치고 있습니다.

한편, 시장의 전반적인 낙관론이 회복되면서 투자자들이 미국 주식으로 다시 몰리고 있습니다. 이에 따라 JPMorgan은 규제 우려로 인해 Polymarket을 탈퇴했으며, 미국은 2001년 이후 최고 차입 비용으로 30년 만기 채권을 발행하고 있습니다.

The case for overhauling American science

미국 과학을 개혁해야 하는 당위성에 대한 논의가 다뤄진 기사입니다. 이 기사는 미국 과학 시스템의 구조와 방향성에 대한 근본적인 질문을 제기하며, 현재의 과학적 접근 방식에 대한 비판적인 시각을 제시합니다.

기사는 미국 과학의 현재 상태를 재평가하고 개혁해야 할 필요성을 주장하며, 이러한 개혁이 사회와 기술 발전에 미칠 잠재적 영향을 탐구합니다. 이는 단순히 학문적 논의를 넘어, 과학적 연구와 정책 결정이 어떻게 이루어져야 하는지에 대한 광범위한 논쟁을 담고 있습니다.

이러한 논의는 과학적 진보의 속도와 방향에 영향을 미치므로, 기술 개발자나 정책 결정자들에게 과학 시스템의 구조적 문제점을 이해하는 것이 중요합니다. 기사는 과학적 방법론과 자원의 배분 방식에 대한 근본적인 재고를 촉구하고 있습니다.

Stop sending me huge PRs; a rant

개발자들이 거대한 풀 리퀘스트(PR)를 보내는 것에 대한 불만을 토로하며, 코드 리뷰 과정의 효율성과 관련하여 논쟁을 제기했습니다. 작성자는 에이전트가 전체 이슈를 한 번에 해결할 수 있는 상황에서 수천 줄에 달하는 PR을 검토하는 것이 리뷰어와 유지보수자에게 부담이 된다고 지적합니다.

작성자는 작은 PR의 목적은 완성된 결과물을 제출하는 것이 아니라, 검토하고 이해하기 쉬운 소화 가능한 작업 조각을 제공하는 데 있다고 주장합니다. 코드의 전체 변경 사항을 제시해야만 작동한다는 주장은 무의미하며, 코드를 완전히 이해하는 데 걸리는 시간은 코드 라인 수에 따라 기하급수적으로 증가하기 때문에 큰 PR은 시간 낭비라는 것입니다.

또한, 작성자는 불필요한 주석에 대해서도 비판하며 변수 이름이 명확하다면 주석이 필요 없다고 강조했습니다. 나아가 AI를 활용하여 코드를 이해하려는 시도에 대해, AI가 이미 생성한 코드를 다시 처리하는 것은 토큰 낭비이며, AI 결과물을 인간이 검토할 수 있도록 분리하여 제공해야 한다고 제안합니다.

Talks to sell PayPal to Stripe and Advent are heating up

PayPal을 Stripe와 사모펀드 Advent에 매각하는 논의가 활발해지고 있습니다. 이는 페이팔의 신임 CEO인 엔리케 로레스가 회사를 재건하기 위한 계획의 일환으로 진행되고 있습니다.

로레스는 페이팔을 기술 회사로 되돌리는 것을 목표로 경영진 개편과 사업을 체크아웃 솔루션, 소비자 금융 서비스(벤모), 결제 서비스 및 암호화폐의 세 가지 운영 모델로 분할하는 계획을 추진하고 있습니다. 또한 향후 2~3년 내에 인력을 20% 감축하는 비용 절감 계획도 포함되어 있습니다.

이러한 재건 노력과 동시에 매각 협상이 진행되고 있어 페이팔의 미래 방향성에 중요한 변화가 예상됩니다. 이 거래는 페이팔이 최근 몇 년간 겪었던 성장 정체와 재정적 어려움을 극복하고 새로운 기술 중심의 회사로 재도약할 수 있는 기회를 제공할 수 있습니다.

RISC-V: They should have known better

RISC-V는 ISA 설계 자체보다는 비용 효율성 때문에 저렴한 단일 사용 마이크로컨트롤러 공간을 점유하게 될 것이라는 주장이 제기됩니다. RISC-V가 모든 사용 사례에 최적화될 수 없다는 점을 인지해야 하며, 고성능 CPU가 필요로 하는 설계와 저비용 마이크로컨트롤러 코어가 필요로 하는 설계는 근본적으로 상반된다는 것입니다.

특히 임베디드 코어의 경우, RISC-V는 기존 경쟁자보다 열등하다는 지적이 있습니다. 저렴한 마이크로컨트롤러 코어는 인터럽트 지연 시간과 크기가 중요하며, RISC-V는 인터럽트 처리 과정에서 더 많은 사이클을 소모하여 경쟁 아키텍처보다 비효율적입니다. 예를 들어, 인터럽트 핸들러가 레지스터를 저장하고 C 핸들러를 호출하는 데 필요한 사이클 비용이 Cortex-M0과 같은 경쟁 코어보다 훨씬 높게 나타납니다.

따라서 RISC-V는 저렴한 코어 시장에서 경쟁하기보다는, 대규모 컴퓨팅이나 ML 가속기처럼 특화된 영역에 집중해야 합니다. 고성능 CPU 시장에서는 ARM의 aarch64와 같은 아키텍처가 더 나은 지원과 라이선스를 확보하고 있으며, 오픈 소스 사양만으로는 잘 설계된 아키텍처가 무료로 제공된다는 보장이 없기 때문입니다.