에이전트에게 Rust 코드를 더 빠르게 만들라고 반복해서 요청하기
저자는 기준선과 통계적 벤치마크, 정확성 검증을 갖춘 반복 작업으로 에이전트가 Rust 코드를 최적화한 과정을 소개합니다. UMAP 구현은 umap-learn보다 4~15배 빨랐다고 보고하지만, 벤치마크 맞춤 최적화와 기능 비활성화 같은 속임수를 막으려면 다양한 입력과 별도 품질 검증이 필요합니다.
최신기사
AI, 개발 도구, 오픈소스, 보안과 인프라의 변화와 이용 조건을 설명하는 최신 기사입니다.
프로그래밍 언어의 타입 시스템에 별칭 추론을 맡기지 마세요
Futhark는 배열을 복사하지 않고 갱신하는 기능의 안전성을 보장하려고 소비(consumption)와 별칭(alias)을 타입 검사에서 추적합니다. 이 글은 추상 타입과 고차 함수가 추적 규칙을 복잡하게 만드는 과정을 설명하고, 자기 별칭(self-aliasing) 처리와 매개변수성(parametricity)을 활용하는 설계안을 제시합니다.
TypeScript와 CSS로 만드는 네이티브 앱
GeaStack은 TypeScript와 CSS로 작성한 앱을 여러 운영체제와 ESP32 같은 임베디드 기기에서 실행하는 도구 모음입니다. 중심에는 TypeScript를 C++로 정적으로 컴파일하는 컴파일러가 있으며, 저장소에는 앱 예제와 빌드·플래시 절차가 정리돼 있습니다.
차분한 UI를 만드는 간단한 가이드
이 글은 저장·삭제 대화상자의 로딩 상태와 알림 토스트를 줄여 사용자가 작업 결과를 바로 확인하게 하는 방법을 소개합니다. 오류 메시지 위치, 키보드 제출, 입력란 자동 포커스처럼 작은 UI 동작도 함께 다룹니다.
AI를 의인화하지 않고 말하는 법
Emily M. Bender와 Nanna Inie는 소프트웨어에 사고력·감정·행위 의도가 있는 듯한 표현을 줄이고, 시스템 기능과 이를 사용하는 사람을 드러내는 대체 표현을 제안합니다. ‘환각’을 ‘바람직하지 않은 출력’으로, ‘AI 에이전트’를 ‘확률적·검증되지 않은 소프트웨어 조작기’로 바꾸는 식입니다.
OpenAI는 나비에–스토크스 문제를 잘못 풀었을까요?
OpenAI가 푼 문제는 클레이 수학연구소의 공식 조건에는 들어맞지만, 외력을 쓰지 않는 나비에–스토크스 문제는 여전히 풀리지 않았습니다. 새 연구는 OpenAI의 방법이 외력을 제거한 문제에는 적용되지 않는다고 보이며, 수학적 성과의 의미를 둘러싼 논쟁도 이어집니다.
미국 의회 주식 거래 신고 10,809건을 정리해 183,675건의 거래 데이터베이스로 공개했습니다
미국 하원·상원 의원의 주식 거래 신고를 정리한 데이터셋과 SQLite 도구를 공개했습니다. Hugging Face나 SQL로 데이터를 조회하고, 공식 신고 자료에서 직접 데이터베이스를 구축할 수도 있습니다.
Obscura: 이용 기록을 볼 수 없도록 설계한 VPN
Obscura는 사용자와 Mullvad 출구 서버 사이에 독립된 릴레이를 두는 VPN 서비스입니다. 사용자 IP와 인터넷 트래픽을 한 사업자가 함께 보지 못하게 하고, WireGuard 패킷을 QUIC으로 전달합니다. 다만 이 구조가 보호하는 범위와 QUIC의 우회 효과, 두 사업자 간 공모 가능성은 토론에서 쟁점이 됐습니다.
C3 0.8.4: 매개변수 리플렉션·스택 보호·iOS 지원, 마지막 키워드 변경
C3 0.8.4는 매개변수 리플렉션과 계약 기능을 확장하고, 스택 보호 옵션과 iOS 타깃 지원을 추가한 릴리스입니다. 0.9.0에서 문법을 동결하기 전 마지막 키워드 변경을 시험하며, 표준 라이브러리와 컴파일러의 여러 기능 및 버그 수정도 포함합니다.
ReBarUEFI: 거의 모든 UEFI 시스템에서 Resizable BAR 활성화
ReBarUEFI는 공식적으로 Resizable BAR를 지원하지 않는 UEFI 펌웨어에 DXE 드라이버를 추가해 그래픽카드의 BAR 크기를 조정하는 프로젝트입니다. 펌웨어 수정과 메모리 주소 공간 설정이 필요하며, 작성자는 RX 580에서 2GB BAR를 사용해 최대 12%의 FPS 향상을 측정했습니다.
유출된 GitHub App 개인 키로 CDC·BuildBuddy 등 앱 440개 사칭 가능
GitGuardian이 공개 유출 데이터에서 GitHub 관련 RSA 개인 키 4,802개를 조사해 474개가 여전히 유효하며 앱 440개에 접근할 수 있음을 확인했습니다. GitHub App 키는 만료되지 않아 권한이 큰 앱의 오래된 키가 조직과 공급망을 위협할 수 있습니다.
Unreal Agent — 비동기 도구 호출로 에이전트 비용을 줄이는 하네스
Unreal Agent는 도구 호출을 백그라운드에서 실행하고, 완료 전에도 사용자가 에이전트를 조정할 수 있게 설계한 Go 기반 에이전트 하네스입니다. 자체 벤치마크에서 Codex보다 최대 40%, Pi보다 최대 20% 비용을 아꼈다고 보고했으며, 댓글에서는 비교 조건과 비동기 호출의 실제 비용 절감 효과를 두고 검증이 이어졌습니다.
가짜 채용 제안으로 전 세계 구직자 기기를 감염시키는 북한 해커
북한 연계 해킹 조직 WaterPlum이 가짜 채용 절차를 이용해 100여 개국에서 구직자 기기 수만 대를 감염시켰다고 각국 기관이 경고했습니다. 암호화폐 지갑 7,000개 이상에서 자격 증명이나 자금을 훔쳤으며, 현재도 위협이 이어지고 있습니다.
관개 수로 위 태양광 패널, 캘리포니아가 시험하며 얻는 교훈
캘리포니아는 관개 수로 위에 태양광 패널을 설치하는 Project Nexus를 통해 발전량과 증발량 감소, 수질 변화를 시험하고 있습니다. 수로마다 구조와 관리 여건이 달라 확대 적용은 아직 결정되지 않았으며, 토지 이용과 설치·유지 비용이 커뮤니티에서도 쟁점입니다.
AMD, EPYC ‘Venice’가 NVIDIA Vera보다 2.24배 빠르다고 주장
AMD는 백서에서 256코어 EPYC 9996 ‘Venice’가 NVIDIA의 88코어 Vera보다 SPECrate 2026 정수 성능이 2.24배 높다고 밝혔습니다. 다만 스레드 수와 컴파일러 버전이 달라 직접 비교하기 어렵고, 독립적인 실측 결과가 나오기 전까지는 AMD 측 추정치로 봐야 합니다.
Show HN: Drop — gVisor를 지원하는 루트리스 Linux 샌드박스
Drop은 기존 Linux 배포판과 설치된 프로그램을 그대로 쓰면서 코딩 에이전트나 외부 프로그램을 격리하는 루트리스 샌드박스입니다. Linux 네임스페이스를 기본 격리 수단으로 쓰고, 선택적으로 gVisor를 붙여 호스트 커널과 프로그램 사이에 사용자 공간 커널을 둡니다.
Intel NPU 스택을 역공학해 프로그래밍 가능한 SHAVE 코어에서 C 커널 실행
npunlock은 Intel NPU의 그래프 실행 경로를 역공학해, 사용자가 작성한 C 커널을 ACT-SHAVE 코어에서 실행하도록 연결하는 도구입니다. Meteor Lake의 NPU3720과 Windows x64에서 검증했으며, 현재 정적 텐서와 제한된 커널·레이아웃만 지원합니다.
WordPress 비인증 경로 순회 취약점, 조건에 따라 원격 코드 실행 가능
WordPress의 페이지 템플릿 탐색 과정에서 인증 없이 경로 순회를 일으켜 테마 디렉터리 밖의 PHP 파일을 불러올 수 있는 취약점이 발견됐습니다. 테마와 서버 설정 등 조건이 맞으면 원격 코드 실행으로 이어질 수 있으며, WordPress 7.1.2와 4.7 이후 각 브랜치에 수정 사항이 배포됐습니다.
Cargo 팀 상주 유지보수 담당자로 Scott Schafer를 영입합니다
Rust 프로젝트가 Rust Foundation Maintainers Fund와 추가 지원금으로 Cargo 전담 상주 유지보수 담당자 Scott Schafer를 영입했습니다. 최소 12개월 동안 Cargo 유지보수를 맡으며, 팀의 관리 부담을 덜고 지속적인 개발을 지원합니다.
SAML: 나쁜 설계가 반복되는 프로토콜
Trail of Bits는 XML 서명과 정규화, 구현 간 파서 차이, 과도한 명세 범위가 SAML의 보안과 유지보수를 어렵게 만든다고 설명합니다. 새 서비스에는 OpenID Connect(OIDC)를 우선 적용하고, 기존 SAML 연동은 단계적으로 종료하자는 주장입니다.