Dutch central bank ditches AWS and chooses Lidl for European Cloud

네덜란드 중앙은행(DNB)이 미국 기반 클라우드 서비스(AWS 등)에 대한 의존도를 줄이고 유럽 내에서 데이터 주권을 확보하기 위해 리들(Lidl)의 IT 부문인 Schwarz Digits를 유럽 클라우드 파트너로 선택했습니다. 이는 지정학적 위험과 클라우드 의존도에 대한 우려를 해소하기 위한 움직임이며, 유럽 법률 하에 데이터를 보관하는 '주권 클라우드(sovereign cloud)' 구축을 목표로 합니다. 다만, 유럽 대안이 아직 미국 서비스만큼 안정적이지 않을 수 있다는 점과 클라우드 마이그레이션 과정의 복잡성 등 주의할 점도 존재합니다.

National Science Board eviscerated; Trump admin fires all 22 members

트럼프 행정부는 과학 및 공학 문제에 대한 자문 기구이자 국립과학재단(NSF)을 지도하는 독립 기구인 국립과학위원회(National Science Board)의 22명 전원을 해고했습니다. 이는 미국 과학 및 공학 전반에 심각한 타격을 주며, 미국이 중국에 과학적 영역을 양보하고 있다는 보고서를 발표할 계획이었던 배경으로, 과학 정책 결정 과정에 대한 중대한 변화를 의미합니다.

Canva apologizes after its AI tool replaces 'Palestine' in designs

Canva의 AI 기능인 'Magic Layers'가 디자인에서 특정 단어('Palestine')를 의도치 않게 다른 단어('Ukraine')로 대체하는 오류를 일으켰으며, 이에 대해 Canva가 사과하고 수정 조치를 취했습니다.

* **무엇이 일어났는지:** Canva의 Magic Layers AI 기능이 이미지 요소를 분리하는 과정에서 사용자 디자인 내의 특정 문구를 자동으로 변경하는 버그가 발생했습니다.
* **왜 중요한지:** 이는 AI 기반 디자인 도구의 신뢰성과 보안에 대한 중요한 문제를 제기하며, AI가 사용자 콘텐츠를 조작할 수 있다는 잠재적인 위험을 보여줍니다.
* **주의할 점 또는 맥락:** 오류는 'Palestine'라는 특정 단어에 국한되었으며, Canva는 즉시 문제를 인지하고 수정 조치를 취하고 재발 방지를 위한 추가적인 보안 검사를 도입했다고 밝혔습니다.

“Why not just use Lean?”

한두 문장으로 핵심 요약.

수학의 형식화 역사와 증명 보조 시스템(Lean, Isabelle/HOL 등)의 발전 과정을 통해, 개발자들이 증명 시스템을 선택할 때 단순히 복잡한 타입 이론(propositions as types)에 얽매이기보다 자동화와 가독성을 우선해야 함을 강조합니다. 이는 Lean 커뮤니티가 '구성적 증명'에 대한 집착을 버리고 실용적인 도구와 AI를 활용하여 증명을 명확하게 만드는 방향으로 나아가고 있음을 보여줍니다.

What’s behind Europe’s efforts to ditch US software in favor of sovereign tech

유럽 국가들이 미국 소프트웨어 제공업체에 대한 의존도를 줄이고 '주권 기술(sovereign tech)'을 추구하는 움직임을 보이고 있습니다. 이는 미국 법(CLOUD Act)과 같은 법적 제약 속에서 유럽이 자체적인 클라우드 솔루션(예: Scaleway) 및 오픈 소스 대안(예: Linux, LibreOffice)을 통해 기술 주권을 확보하려는 시도이며, 유럽 기반의 AI 및 클라우드 기업들이 시장 기회를 얻을 수 있는 배경이 되고 있습니다. 다만, 이러한 전환 과정은 불균등하며, 대안 기술들이 근본적인 의존성 문제를 해결해야 하는 과제를 안고 있습니다.

Next El Niño could be tipping point for a hotter climate

태평양의 열파는 일시적이지만, 과학자들은 다음 엘니뇨 현상이 지구 평균 기온을 1.5°C 상승 임계점을 넘어설 수 있으며, 이는 돌이킬 수 없는 기후 변화 영향을 초래하는 전환점이 될 수 있다고 경고합니다.

이는 강력한 열 엔진인 태평양의 현상이 기후 변화에 미치는 영향이 장기적으로 심각한 결과를 초래할 수 있음을 시사하며, 정치적 합의 및 과학적 문서에 명시된 한계를 넘어서는 중요한 맥락을 가집니다.

Gateway manufacturer finally acknowledges issue, fails to mention "corrosion"

한 달 게이트웨이 거주 모듈의 부식 문제에 대해 제조사들이 공식적으로 인정했습니다.

* **무엇이 일어났는지:** NASA 고위 관료가 의회 청문회에서 달 게이트웨이 거주 모듈이 부식되었다고 언급한 후, 주요 계약자였던 Northrop Grumman과 유럽우주국(ESA)이 해당 부식(corrosion) 및 제조상의 불규칙성(manufacturing irregularity)이 발생했음을 인정했습니다.
* **왜 중요한지:** 이는 우주 시스템의 구조적 무결성과 제조 품질에 대한 중요한 문제 제기이며, 우주 탐사 관련 하드웨어의 신뢰성에 대한 의문을 제기합니다.
* **주의할 점 또는 맥락:** 제조사들은 논란의 핵심인 '부식(corrosion)' 자체를 명시적으로 언급하지 않고 '제조상의 불규칙성'을 인정하는 데 그쳤습니다.

Show HN: Utilyze – an open source GPU monitoring tool more accurate than nvtop

요약 품질이 낮아 기본 표시에서 숨겼습니다.
요약 원문 보기
이 글은 딥러닝 워크로드의 맥락에서 GPU 활용에 대한 보다 미묘한 이해가 필요하다는 매우 상세하고 설득력 있는 주장입니다.

다음은 핵심 내용과 전체 메시지의 요약입니다.

### 핵심 주장: 단순 활용 지표의 문제점

이 글은 단순히 GPU 활용률(예: GPU가 얼마나 바쁜지)만 보는 것이 딥러닝에서 성능 병목 현상을 이해하기에 불충분하다는 점을 암시합니다.

### 해결책: 실제 작업량 대 유휴 시간 측정

저자는 단순한 활용 지표에서 벗어나 메모리 접근, 계산, 동기화 사이의 복잡한 상호작용을 고려하여 실제로 수행되는 **계산 작업(computational work)**을 측정해야 한다고 제안합니다.

### 제안된 프레임워크: 성능 병목 현상

중심 주제는 성능이 GPU가 바쁘기 때문만이 아니라 **병목 현상이 어디에 위치하는지**에 달려 있다는 것입니다.

1. **활용률 대 성능:** GPU가 100% 활용될 수 있지만, 느린 메모리 접근이나 동기화로 인해 여전히 병목 현상에 걸릴 수 있습니다.
2. **맥락의 필요성:** 계산, 메모리 대역폭, 지연 시간 사이의 관계를 이해하는 것이 매우 중요합니다.

### 도구: "작업(Work)"의 개념 (암시)

글은 단일 지표를 정의하지는 않지만, 단순한 점유율을 넘어 실제로 수행된 *유용한 작업*을 측정하는 시스템(또는 방법론)을 옹호합니다.

### 제품: 텍스트의 "작업"

이 글은 본인이 **"작업(Work)"**이라고 부르는, 이러한 더 깊은 통찰력을 제공하는 시스템(또는 방법론)에 대한 제안입니다.

### 행동 촉구

저자는 커뮤니티가 이 개념에 참여해 주기를 요청하며, 실제 작업을 측정함으로써 훈련 및 추론에서 상당한 성능 향상을 이룰 수 있다고 제안합니다.

### 주요 시사점

* **효율성에 집중:** 목표는 값비싼 하드웨어의 효율성을 극대화하는 것입니다.
* **맥락이 왕이다:** 원시적인 수치는 오해의 소지가 있으며, 맥락(메모리, 지연 시간)이 필요합니다.
* **실제 적용:** 이는 단순한 이론이 아니라 딥러닝 훈련 시간에 직접적이고 측정 가능한 영향을 미칩니다.
* **커뮤니티 참여:** 저자는 이 측정 방법론을 개발하고 검증하기 위해 협력을 구하고 있습니다.

**요약하자면, 이 글은 단순한 활용률을 넘어 실제 계산 노력을 포착하여 AI/ML에서 GPU 성능을 측정하는 새로운, 더 정확한 방법을 옹호하는 글입니다.**

Tendril – a self-extending agent that builds and registers its own tools

Tendril은 모델이 스스로 도구를 발견하고, 필요에 따라 구축하며, 등록하는 자율적인 에이전트 시스템입니다. 이 시스템은 'Agent Loop'와 'Capability Registry'를 통해 세션마다 능동적으로 도구 능력을 확장하며, 사용자가 명시적으로 도구를 요청하지 않아도 복잡한 작업을 수행할 수 있도록 설계되었습니다.

이는 에이전트가 도구의 수를 관리하는 기존의 한계를 극복하고, 사용 환경에 맞춰 도구 표면을 동적으로 확장하는 새로운 에이전트 패턴을 제시한다는 점에서 중요합니다.

구현은 AWS Strands Agents SDK와 Tauri를 기반으로 하며, Deno를 이용한 샌드박스 환경에서 도구 실행을 안전하게 관리하고, 시스템 프롬프트 규칙을 통해 에이전트의 자율적인 행동을 보장합니다.

The next phase of the Microsoft OpenAI partnership – OpenAI

마이크로소프트와 OpenAI 간의 파트너십이 다음 단계로 진입했다는 내용입니다. 이는 AI 기술의 발전과 통합에 있어 중요한 변화를 의미하며, 개발자들은 향후 이 파트너십을 통해 어떤 기술적 발전과 통합이 이루어질지 주목해야 합니다.

Microsoft and OpenAI end their exclusive and revenue-sharing deal

마이크로소프트(MSFT)와 OpenAI는 AI 모델 판매에 대한 독점권을 포기하고, 마이크로소프트가 OpenAI 제품에 대한 수익 공유를 중단하기로 합의했습니다. 이는 OpenAI가 아마존과 같은 클라우드 경쟁사와 협력할 수 있는 길을 열어주며, AI 붐 초기 마이크로소프트의 클라우드 판매 촉진에 기여했던 독점 관계가 종료됨을 의미합니다.

China blocks Meta’s $2B Manus deal after months-long probe

중국이 메타(Meta)의 에이전트 AI 스타트업 Manus 인수에 대해 수개월간의 조사 끝에 거부권을 행사하며 거래를 무산시켰습니다.

이는 중국이 국경을 넘어선 AI 산업과 관련한 대규모 거래에 개입한 사례로, 메타가 AI 에이전트 분야에서 추구하던 목표에 심각한 타격을 입혔다는 점에서 중요합니다.

이 결정으로 인해 Manus의 창업자들은 중국 본토를 떠나지 못하는 출국 금지 조치를 받았으며, 이 거래는 중국 자본과 관련된 해외 투자에 대한 미국의 우려까지 불러일으키며 지정학적 맥락을 더하고 있습니다.

OpenAI could be making a phone with AI agents replacing apps

OpenAI가 AI 에이전트를 통해 앱을 대체하는 스마트폰을 개발할 가능성이 있으며, 이는 2028년경 양산될 것으로 예상됩니다.

이는 애플이나 구글이 통제하는 앱 파이프라인의 제약을 벗어나 AI가 모든 기능을 제한 없이 사용할 수 있도록 하려는 전략이며, OpenAI는 온디바이스 모델과 클라우드 모델을 혼합하여 다양한 요청과 작업을 처리할 계획입니다.

스마트폰의 칩 개발은 MediaTek, Qualcomm, Luxshare와의 협력을 통해 진행될 예정이며, 하드웨어 사양과 공급업체는 2027년 초까지 확정될 것으로 보입니다.

Running local LLMs offline on a ten-hour flight

10시간 비행 중 노트북으로 로컬 LLM을 구동하는 실험을 통해 하드웨어의 물리적 한계와 비용 효율성에 대한 중요한 통찰을 얻었습니다.

**무엇이 일어났는지**
저자는 비행 중 10시간 동안 MacBook Pro M5 Max(128GB 메모리, 40코어 GPU)에서 Gemma 및 Qwen 모델을 구동하며, 전력 소모, 발열, 지연 시간(latency) 등의 물리적 제약과 시스템 불안정성(무한 루프 등)을 측정했습니다. 이 과정에서 시스템의 성능과 비용이 하드웨어의 전력 및 열 관리 상태에 직접적으로 영향을 받는다는 것을 확인했습니다.

**왜 중요한지**
이 실험은 AI 추론(Inference)에 대한 '기계적 공감(mechanical sympathy)' 원칙을 적용하여, 로컬 추론이 비용 대비 이점(cost-benefit)이 명확한 작업(예: 좁은 범위의 코딩, 탐색 도구)에 적합하며, 대규모 추론이나 에이전트 워크플로우는 여전히 클라우드 환경이 필수적임을 시사합니다. 또한, 로컬 환경에서 비용을 직접 경험함으로써 프롬프트 크기, 컨텍스트 관리, 도구 호출 오버헤드에 대한 개발자적 규율을 형성하는 데 도움을 줍니다.

**주의할 점 또는 맥락**
로컬 LLM 구동 시에는 전력 및 발열 관리가 성능에 결정적인 영향을 미치며, 특히 케이블 선택에 따라 성능 차이가 발생할 수 있습니다. 개발자는 시스템을 측정하고 모니터링하는 도구(예: powermonitor)를 구축하여 시스템의 상태를 인지하는 것이 중요하며, 로컬 환경에서의 경험을 클라우드 사용에 대한 비용 인식으로 확장해야 합니다.

Critical infrastructure giant Itron says it was hacked

미국 에너지 기술 기업인 Itron이 4월 중순 사이사이에 사이버 공격을 받았으며 해커가 일부 시스템에 접근했다는 사실을 확인했습니다.

이는 수많은 가정과 비즈니르의 에너지 및 물 관리 시스템을 담당하는 핵심 인프라 기업이 표적이 되었음을 의미하며, 데이터 유출 및 규제 당국의 통보가 발생할 수 있는 심각한 보안 문제로 간주됩니다.

현재 Itron은 해커를 추방하고 추가 침입 흔적은 없다고 밝혔으나, 공격 유형이나 시스템에 미친 정확한 영향은 명시하지 않았으며, 책임 소재와 잠재적인 법적 통보 여부에 대해서는 추가적인 법적 절차가 남아있는 상황입니다.

Windows 11's second-chance setup dialogs hurt IT, drain productivity

Windows 11의 '두 번째 기회 설치(Second Chance Out of Box Experience, SCOOBE)' 기능이 IT 부서의 생산성을 저해하고 조직의 신뢰를 훼손하는 심각한 문제를 야기하고 있습니다.

**무엇이 일어났는지**
Windows 11 설치 과정에서 사용자가 원하지 않는 구독 서비스(예: Xbox Game Pass, Office 365)를 구매하도록 유도하는 기만적인 광고 및 설정 과정을 반복적으로 제시하는 기능이 존재합니다. 이 과정은 PC 설정 후 수개월 또는 수년이 지나서도 다시 나타날 수 있습니다.

**왜 중요한지**
이러한 SCOOBE는 단순한 불편함을 넘어, 관리되는 PC를 사용하는 조직에 심각한 문제를 일으킵니다. 직원들이 시스템 오류로 오인하여 IT 지원 요청을 증가시키고, 조직이 원하지 않는 소프트웨어 구독을 구매하게 만들어 IT 부서의 업무 효율성을 떨어뜨립니다. 이는 Microsoft가 기존 Windows 라이선스 사용자보다 구독 서비스 수익을 우선시하는 행태로 해석됩니다.

**주의할 점 또는 맥락**
SCOOBE는 사용자 경험을 악화시킬 뿐만 아니라, 기업 환경에서 비용과 관리 측면에서도 문제를 야기합니다. IT 관리자는 이러한 잠재적인 소프트웨어 내의 비효율성을 인지하고, 사용자 경험과 조직의 효율성을 위해 이러한 메커니즘에 대한 이해가 필요합니다.

Show HN: OSS Agent I built topped the TerminalBench on Gemini-3-flash-preview

이 글은 **오픈소스 기반의 AI 에이전트인 'Dirac'가 벤치마크 테스트에서 뛰어난 성능을 보였다**는 내용을 다루고 있습니다.

**주요 요약:**

1. **성능 입증:** Dirac가 특정 벤치마크 테스트에서 높은 점수를 기록하며 경쟁력을 입증했습니다.
2. **기술적 우위:** Dirac는 효율적인 구조와 최적화된 방법을 통해 코드 생성 및 작업 수행 능력을 보여줍니다.
3. **오픈소스 기여:** 이 프로젝트는 오픈소스 커뮤니티에 기여하며 AI 에이전트 분야의 발전에 기여하고 있습니다.

**핵심 내용:**

* **Dirac의 성과:** Dirac는 벤치마크 테스트에서 경쟁 모델들을 능가하는 성능을 보여주었습니다.
* **효율성 강조:** 이 에이전트는 단순히 결과를 내는 것을 넘어, 효율적인 방법으로 작업을 수행하는 데 중점을 두고 있습니다.
* **오픈소스 생태계:** 이 프로젝트는 오픈소스 기술을 활용하여 AI 에이전트 분야에서 새로운 가능성을 제시하고 있습니다.

**결론적으로,** 이 내용은 **오픈소스 기술을 활용하여 개발된 AI 에이전트가 실제 성능 테스트에서 높은 평가를 받았으며, 이는 AI 에이전트 분야의 발전 가능성을 보여준다**는 점을 강조합니다.

Spotify’s next frontier: Fitness content

Spotify가 피트니스 콘텐츠를 주요 카테고리로 확장하며 운동 영상, 플레이리스트, 펠로톤 클래스 등을 앱 내에서 제공하기 시작했습니다. 이는 프리미엄 및 무료 사용자에게 제공되며, 사용자 데이터와 운동 음악에 대한 수요를 기반으로 한 전략입니다. 다만, 콘텐츠 확장이 앱을 복잡하게 만들 수 있다는 사용자 경험에 대한 우려가 있으며, Spotify는 이미 비디오를 끌 수 있는 옵션을 제공하는 등 콘텐츠 관리 방안을 고민하고 있습니다.

China blocks Meta's acquisition of AI startup Manus

중국 정부가 Meta의 AI 스타트업 Manus에 대한 20억 달러 인수를 중단시키도록 요구하며 거래를 차단했습니다. 이는 중국이 해외 자본 이동을 제한하고 AI 기업의 국외 이전(싱가포르 세탁 모델)을 막으려는 움직임과 관련되어 있으며, 미국과 중국 간의 기술 및 투자 규제 갈등이 AI M&A에 미치는 영향을 보여줍니다.

Show HN: A terminal spreadsheet editor with Vim keybindings

Rust로 작성된 터미널 기반 스프레드시트 편집기 'cell'이 공개되었으며, Vim 키 바인딩을 활용하여 효율적인 편집 경험을 제공합니다. 이 도구는 CSV/TSV 입출력과 수식(SUM, IF 등)을 처리하는 네이티브 `.cell` 파일 형식을 지원하며, 핵심 로직과 터미널 UI를 분리한 모듈식 구조(Cargo workspace)로 설계되었습니다.