숫자 분할(Number Partitioning) 및 스도쿠(Sudoku) 해결을 위한 2048-스핀 벌크 음향파(Bulk Acoustic

벌크 음향파(BAW) 지연선을 활용하여 열적으로 안정적이고 저전력인 새로운 시분할 다중화 이징 머신을 제안합니다. 2,048개의 스핀을 지원하며 숫자 분할 및 스도쿠 문제 해결에서 우수한 성능을 입증했습니다.

지속 가능한 FPGA 기반 Vision Transformer 추론을 위한 근사 어텐션 가중치 산출 방식

FPGA 환경에서 Vision Transformer(ViT)의 셀프 어텐션 연산을 효율적으로 수행하기 위한 BRAM-free 근사 어텐션 가중치 산출 방식을 제안합니다. 분산 LUT 패브릭을 활용한 구간 선형 함수로 소프트맥스를 근사하여 자원 소모를 최소화하면서도 높은 정확도를 유지합니다.

Codex를 오케스트레이션 매니저(Orchestration Manager)로 변환하는 나의 프롬프트를 가져가세요

코딩 에이전트를 단순 채팅 도구가 아닌 오케스트레이션 매니저로 활용하는 프롬프트 전략을 소개합니다. 작업을 계획, 일정 관리, 검증 단계로 분리하여 에이전트가 스스로 워크플로우를 완수하도록 유도하는 방법론을 다룹니다.

Alcoa, South32 자산 41억 달러 규모 인수를 발표하며 주가 하락 (AA)

Alcoa가 South32의 보크사이트, 알루미나 및 알루미늄 자산을 41억 달러에 인수하기로 합의했습니다. 이번 인수를 통해 Alcoa는 업스트림 포트폴리오를 확장하고 수직 계열화를 강화할 계획입니다.

MSC Industrial, 3분기 실적이 예상치를 상회하며 주가 급등

MSC Industrial이 시장 예상치를 상회하는 3분기 실적을 발표하며 주가가 10% 이상 급등했습니다. 가격 책정 조치와 물량 회복에 힘입어 매출과 주당순이익 모두 컨센서스를 넘어섰습니다.

Claude Code로 Threads 운영을 완전 자동화하는 7단계 (경쟁사 리서치 → 예약 게시 → 효과 분석)

점진적, 적응적 및 상호작용적 피드백을 통한 코드 개선 벤치마킹

LLM의 코드 생성 및 수정 능력을 정밀하게 평가하기 위한 새로운 벤치마크인 PAIR-Bench를 소개합니다. 기존의 이진 통과 여부 평가 방식에서 벗어나, 피드백을 통한 점진적이고 적응적인 코드 개선 과정을 측정합니다.

TRIBE의 전역 예측 fMRI 구동 신호는 YouTube 재시청 히트맵을 예측하지 못함

TRIBE 모델의 fMRI 예측 신호가 YouTube 비디오의 재시청 히트맵을 예측할 수 있는지 분석한 연구입니다. 분석 결과, 예측된 신경 신호는 시청자의 재시청 행동과 유의미한 상관관계를 보이지 않았습니다.

GPUAlert: GPU 학습 작업 실패 진단을 위한 무설정(Zero-Instrumentation) 프로세스 경계 모니터

GPU 학습 작업의 실패를 실시간으로 진단하고 알림을 제공하는 무설정(Zero-Instrumentation) 모니터링 도구 GPUAlert를 소개합니다. 기존 실험 트래커와 달리 학습 스크립트 수정 없이 프로세스 경계에서 로그를 보존하고 구조화된 실패 원인을 분석합니다.

커맨드 라인 AI 코딩 에이전트의 도입 및 영향: Microsoft의 Claude Code 및 GitHub Copilot CLI의 2026년

Claude Code 및 GitHub Copilot CLI와 같은 커맨드 라인 AI 에이전트의 도입 효과를 분석한 연구 결과입니다. 도입 시 엔지니어의 PR 병합 수가 약 24% 증가하며, 사회적 네트워크를 통한 확산과 실제 코딩 활동이 유지율에 핵심적인 역할을 합니다.

AI 네이티브 엔지니어링 팀을 위한 리스크 아키텍처: 에이전틱 시스템 거버넌스를 위한 조직적 프레임워크

에이전틱 AI 시스템이 기존 소프트웨어 엔지니어링의 결정론적 가정을 위반함에 따라 발생하는 리스크를 분석합니다. 팀의 성격에 따른 7차원 프로필과 6가지 실패 모드 분류 체계를 제안하며, 조직적 경계에서 발생하는 리스크를 탐지하는 프레임워크를 다룹니다.

해부학에서 냄새까지: Agent Skills 내 SKILL.md에 대한 실증적 연구

Agent Skills의 핵심 구성 요소인 SKILL.md 파일의 작성 패턴과 품질을 체계적으로 분석한 연구입니다. 238개의 실제 사례를 통해 의미론적 분류 체계를 도출하고, 권장 가이드라인을 위반하는 '스킬 스멜(skill smells)' 개념을 정의했습니다.

Matter 표준에 대한 GitHub 커뮤니티의 통찰: 개발자 관점과 과제

Matter 표준 구현 시 개발자들이 겪는 기술적 과제를 GitHub 이슈 분석을 통해 연구한 논문입니다. 토픽 모델링을 통해 테스트, 상호운용성, 개발, 플랫폼 및 네트워크라는 네 가지 주요 이슈를 식별했습니다.

Kani: Rust를 위한 모델 체커 (Model Checker)

Kani는 Rust의 MIR을 활용하여 메모리 안전성, 기능적 정확성, 런타임 패닉 부재를 검증하는 오픈 소스 모델 체커입니다. CBMC 엔진을 기반으로 하며, 함수 계약과 명세 언어를 통해 경계 모델 체킹을 무경계 검증으로 확장합니다.

버지니아주, 위치정보 데이터 판매 금지

버지니아주의 위치정보 데이터 판매 금지 법안 발효에 따른 데이터 프라이버시 규제와 그 실효성을 논의합니다. 데이터 브로커의 악의적 행위를 제한하는 명확한 규제의 필요성과 기업의 법적 준수 방식에 대해 다룹니다.

Hawk: 고성능 NPU 커널 생성을 위한 하드웨어 인식 지식 활용

Hawk는 NPU 커널 개발 시 발생하는 하드웨어 제약 조건 문제를 해결하기 위한 training-free 프레임워크입니다. 하드웨어 인식 지식을 활용하여 LLM이 NPU의 메모리 계층 구조와 제약 조건을 준수하며 고성능 커널을 생성하도록 돕습니다.

애자일 프로젝트를 위한 역량 인식 Parr 모델

애자일 환경의 가변적인 인력 역량을 반영하기 위해 기존 Parr 모델을 리팩토링한 새로운 예측 모델을 제안합니다. 이 모델은 자원 제한 상황에서도 프로젝트의 진행 상황, 완료 시간, 역량 부족 및 여유를 효과적으로 예측할 수 있습니다.

AgentFlow: 에이전트 프로그램의 정적 분석을 위한 에이전트 의존성 그래프 구축

에이전트 프로그램의 복잡한 의존성을 분석하기 위한 최초의 정적 분석 프레임워크인 AgentFlow를 소개합니다. 에이전트 의존성 그래프(ADG)를 구축하여 에이전트 BOM 생성 및 보안 위험 탐지를 지원합니다.

단일 패치는 충분하지 않다: 수정 후보들의 결정론적 융합 (Deterministic Fusion of Repair Candidates)

LLM 코딩 에이전트가 생성한 여러 패치 후보 중 최적의 패치를 선택하기 위한 결정론적 융합 방식인 PatchFusion을 제안합니다. PatchFusion은 편집 원자 증거를 재사용하여 후보들을 융합함으로써, 단일 소스로 해결 불가능한 버그를 복구하고 높은 성능을 보여줍니다.

에이전트가 멈추지 않을 때: LLM 에이전트에서의 무한 에이전트 루프(Infinite Agentic Loops) 규명

LLM 에이전트가 피드백 제한 없이 모델 호출과 도구 사용을 반복하며 발생하는 '무한 에이전트 루프(IAL)' 문제를 규명합니다. 이를 탐지하기 위해 에이전트 코드를 추상화하여 분석하는 정적 분석 도구인 IAL-Scan을 제안합니다.