Rust에서 숫자 타입 간의 안전하고 조합 가능한 형변환을 위해 갈로이스 연결(Galois connections)을 도입한 크레이트가 공개되었습니다. 이 크레이트는 `f64`에서 `f32`로의 형변환이나 `Duration`에서 초로의 변환과 같이 부분 순서 타입 간의 법적인 변환을 정의하며, 각 연결 단계가 단순한 부등식을 통해 결정되도록 보장합니다. 표준 형변환 연산자가 반올림이나 손실을 무시하는 방식으로 작동하는 것과 달리, 이 크레이트는 명확한 의미론을 제공하며 좌갈로이스 및 우갈로이스 부등식을 통해 연결의 속성들을 증명합니다.
이 크레이트는 `Conn` 구조체를 복사 가능하고 힙이 없으며 안전하게 설계되었으며, `compose!` 매크로를 통해 여러 연결을 컴파일 타임에 하나의 새로운 연결로 결합할 수 있게 하여 형변환 체인을 안전하게 구성할 수 있도록 합니다. 특히, 이 크레이트는 SMT 검증 도구인 Kani를 활용하여 이러한 갈로이스 법칙에 대한 증명을 제공합니다. 이는 생성된 고정 너비 정수, Q-포맷, NonZero 등의 연결 가족에 대해 전체 비트 폭 영역에서 Kani 하네스를 사용하여 증명을 수행합니다.
부동 소수점 타입의 경우, IEEE 비트 공간이 전체 갈로이스 증명에 너무 크기 때문에 증명은 더 좁게 제한됩니다. 예를 들어, `f64`에서 `f32`로의 변환에 대해 ULP-walk가 최대 2회 이내로 수렴함을 증명하며, 이는 NaN이나 $\pm\infty$를 포함하는 경우에 대한 증명은 아닙니다. 이 증명 과정은 여러 계층의 하네스를 사용하여 입력 제약을 점진적으로 강화하며, 전체 증명 트리는 몇 분 내에 완료됩니다.
이러한 접근 방식은 Rust 개발자가 컴파일 타임에 형변환의 안전성과 수학적 속성을 보장하며, 런타임 오류를 최소화하고 코드의 정확성을 높이는 데 기여합니다. Kani는 런타임 의존성을 추가하지 않고 증명을 수행하며, `cargo kani` 명령어를 통해 전체 증명 트리를 실행할 수 있습니다.
Hacker News
피드 등록 2026-07-16
partialsolve
수집 2026-07-16 17:36
미국 성인의 42%가 재정적 지원을 위해 부모에게 의존하고 있다고 설문조사 결과가 나왔습니다. 이 수치는 제너레이션 Z 세대의 72%, 밀레니얼 세대의 절반 이상, 그리고 X 세대의 3분의 1을 포함합니다. 이러한 세대 간의 재정적 지원은 부모와 자녀 사이에 복잡한 감정을 유발할 수 있다는 분석입니다.
재정 치료사 메건 맥코이(Megan McCoy)에 따르면, 부모의 지원은 때로는 자녀가 성공적인 삶을 구축하는 데 필요한 '발판' 역할을 할 수 있지만, 이는 지속적인 소통을 통해서만 효과적입니다. 지원에 대한 언어는 종종 '아직 성장하지 않았다'는 식의 부정적인 프레임을 띠기 쉬우며, 이는 관계에 갈등을 야기할 수 있습니다.
재정적 지원을 할 때 부모와 자녀 모두 감정적인 측면을 고려해야 합니다. 부모는 죄책감이나 통제 욕구 때문에 지원을 하는 것이 아니라 자녀의 재정적 스트레스를 완화하거나 목표 달성을 돕는 방식으로 지원해야 합니다. 자녀 입장에서는 이러한 지원이 영구적인 의존이 아니라 중요한 시기를 위한 일시적인 도움임을 이해하는 것이 중요합니다.
따라서 부모가 재정적 선물을 제공하기 전에 자녀의 장기적인 목표를 고려하고, 필요하다면 재정 전문가와 대화하여 계획을 세우는 것이 좋습니다. 이러한 대화는 가족 내에서 재정적 및 개인적 갈등을 피하고 투명성을 확보하는 데 큰 도움이 됩니다.
Hacker News
발행 2026-07-16
root-parent
수집 2026-07-16 18:37
OnePlus가 북미와 유럽 지역에서의 신규 스마트폰 출시를 중단한다고 공식 발표했습니다. 이는 글로벌 전략 조정의 일환으로 새로운 제품 출시를 중단하기로 결정했다는 내용입니다.
이러한 결정은 OnePlus가 인도 시장에 집중하고 모회사인 Oppo와의 브랜드 및 소프트웨어 경험을 일치시키는 글로벌 전략 변화에 따른 것입니다. 이로 인해 사용자들은 새로운 기기를 선택할 수 있는 폭이 줄어들게 되었습니다.
OnePlus는 이미 출시된 기기에 대한 지원을 계속할 것이라고 밝혔습니다. 다만, 북미와 유럽 지역에서는 OnePlus 15가 2025년 말에 출시될 예정이며, 이는 해당 지역에서 OnePlus 기기를 볼 수 있는 마지막 모델이 될 것입니다.
Ars Technica
발행 2026-07-16
Ryan Whitwam
수집 2026-07-16 16:36
프로그래머 지프리 헌틀리(Geoffrey Huntley)가 만든 프로그래밍 언어 bet은 표면적으로는 속어 키워드를 사용하지만 실제로는 LLVM을 통해 컴파일되는 진지한 컴파일러를 기반으로 합니다. 이 언어는 게임 개발에서 발생하는 메모리 관리 문제를 해결하기 위해 프레임 단위의 메모리 할당 및 해제를 효율적으로 처리하는 아레나 할당(arena allocation) 패턴을 도입했습니다.
bet의 핵심은 메모리 관리 방식에 있으며, 이는 수동적인 메모리 추적이나 가비지 컬렉션(GC) 중단 없이 프레임당 메모리를 할당하고 해제하는 방식으로 작동합니다. 이 실험적인 접근 방식은 게임 엔진의 성능 병목 현상을 해결하며, 이는 기존의 언어들이 제공하지 못했던 실질적인 성능 개선을 가능하게 합니다.
이러한 실험은 bet이 실제 소프트웨어를 구동하는 데 성공했다는 점에서 의미가 있습니다. bet은 id Software의 DOOM 게임 전체 소스 코드를 재작성하여 네이티브 바이너리로 컴파일했으며, 시뮬레이션 결과는 원본과 비트 단위로 동일하게 구현되었습니다. 이는 bet이 단순한 언어가 아니라 실제 소프트웨어를 구현할 수 있는 강력한 도구임을 입증합니다.
Hacker News
피드 등록 2026-07-16
ghuntley
수집 2026-07-16 17:36
해당 기사는 여러 국가의 가족들이 소유한 물품과 소득 간의 관계를 사진으로 보여주는 데이터에 관한 내용입니다. 이 데이터는 가프미인더(Gapminder)의 달러 스트리트(Dollar Street) 프로젝트를 통해 제공됩니다.
기사의 핵심은 소득 수준에 따라 가족들이 보유한 물품의 차이를 시각적으로 비교하여, 경제적 격차가 소비 패턴과 물질적 자산에 어떻게 반영되는지를 보여주는 데 있습니다. 이는 소득 불평등이 단순히 돈의 차이를 넘어 실제 생활 수준과 소비재의 접근성에 어떤 영향을 미치는지 분석하는 데 중점을 둡니다.
이러한 비교는 국제적인 경제 불평등의 현황을 구체적인 물질적 증거를 통해 이해하는 데 도움을 줍니다. 다만, 제공된 자료에는 구체적인 통계나 분석 내용이 포함되어 있지 않아, 기사 본문을 통해 소득과 물품 간의 상관관계에 대한 상세한 데이터나 맥락을 확인해야 합니다.
Hacker News
피드 등록 2026-07-16
uneven9434
수집 2026-07-16 17:36
최근 유럽의 세 주요 언론 매체는 중국과 러시아가 일론 머스크의 스타링크를 무력화하려는 '공동 계획'에 대한 조사 결과를 발표했습니다. 이 조사 결과는 양국 간의 군사 협력에 대한 문서를 검토한 내용을 바탕으로 이루어졌습니다.
조사 결과에 따르면 중국과 러시아는 통합 공중 및 미사일 방어 시스템, 자율 '군집' 표적 무기, 차세대 장갑 차량, 군용 항공 분야에서 증가하는 군사 협력의 증거를 발견했습니다. 특히 이들 문서는 양국이 우주 무기 분야에서 상호 협력하고 있음을 보여주며, SpaceX의 스타링크 위성 광대역 네트워크에 대응하기 위한 전략 개발에 중점을 두었습니다.
이는 중국과 러시아가 우주 무기 분야에서 훨씬 더 깊은 파트너십을 맺고 있으며, 스타링크와 같은 위성 통신망을 방어하거나 무력화하는 전략을 개발하고 있음을 시사합니다. 이러한 군사적 협력의 맥락에서 중국이 스타링크와 유사한 위성 군집을 배치할 경우, 유사한 우려와 논의가 발생할 수 있습니다.
Ars Technica
발행 2026-07-16
Stephen Clark
수집 2026-07-16 16:36
Decoy Font는 사용자가 입력하는 텍스트를 AI가 읽는 것을 어렵게 만드는 TTF 폰트입니다. 이 폰트는 각 글자에 대해 다른 공간 주파수를 사용하여 두 가지 다른 문자를 같은 공간에 숨기는 방식으로 작동합니다. 가까이서 보면 얇은 윤곽선이 전경을 이루고 멀리서 보면 흐릿한 저주파의 덩어리가 나타나기 때문에 시각적 착시를 유발합니다.
이러한 시각적 속임수는 AI 시스템이 이미지를 분석할 때 발생하는 작동 방식의 취약점을 이용합니다. AI 모델은 일반적으로 가장 명확하게 윤곽이 잡힌 전경 텍스트에 집중하기 때문에, 이 폰트가 적용된 이미지를 분석할 때 실제 숨겨진 메시지를 놓치게 됩니다. 이는 ChatGPT나 Gemini 3.5와 같은 고급 LLM이 단일 이미지에서 실제 숨겨진 메시지를 읽는 데 실패하게 만드는 효과를 가져옵니다.
Decoy Font는 앨버트 아인슈타인과 마릴린 먼로의 혼합 이미지와 같은 하이브리드 이미지 기법을 타이포그래피에 적용하여 텍스트를 AI 스크래퍼나 OCR 기술로부터 보호하려는 실험입니다. 이 폰트는 움직임이나 비디오를 필요로 하는 다른 'Ghost Font'와 달리 실제 TTF 폰트 파일 형태로 제공되어 개발자들이 직접 프로젝트에 설치하고 사용할 수 있습니다.
이 기술은 텍스트 인식 LLM의 한계를 테스트하는 벤치마크로 활용될 수 있으며, 향후 캡차나 개인 메시지 전송과 같은 분야에 적용될 가능성이 있습니다. 앞으로 AI의 지능이 향상됨에 따라 이러한 시각적 착시를 해독하는 능력이 발전할 것으로 예상되며, 이는 폰트 기술과 AI의 교차점에 대한 흥미로운 연구 주제를 제공합니다.
Hacker News
피드 등록 2026-07-16
ray__
수집 2026-07-16 17:36
최신 리눅스를 10년 된 HTC QWERTY 휴대폰에 포팅하여 휴대용 터미널로 구현한 프로젝트가 공개되었습니다. 이 작업은 하드웨어 제약이 큰 환경에서 운영체제를 구동하는 포팅 기술에 관심 있는 개발자들에게 주목받고 있습니다.
작성자는 이 프로젝트의 코드와 진행 과정을 공개했으며, 리눅스 포팅에 사용된 코드는 GitHub에 공개되어 있습니다. 특히 리눅스 안정 버전을 MSM-DSI 파일로 포팅하는 과정에서 발생한 기술적인 접근 방식과 다른 시도들을 Git 히스토리를 통해 확인할 수 있습니다.
이 포팅 과정은 하드웨어 제약 조건 하에서 최신 리눅스 환경을 구현하는 데 필요한 구체적인 기술적 해결책을 제시합니다. 관심 있는 개발자들은 해당 GitHub 저장소와 블로그 게시물을 통해 실제 구현 과정과 코드의 역사를 참고하여 임베디드 시스템 포팅에 대한 통찰을 얻을 수 있습니다.
Hacker News
피드 등록 2026-07-16
tmzt
수집 2026-07-16 17:36
코딩 에이전트들이 협업할 수 있도록 돕는 플러그인인 agent-talk가 공개되었습니다. 이 도구는 Claude Code와 같은 에이전트에게 다른 에이전트와 메시지를 주고받으며 작업을 조정할 수 있는 기능을 제공하여, 대규모 프로젝트에서 에이전트들이 병렬로 협력할 수 있도록 합니다. 기존에는 에이전트들이 서로 소통할 방법이 없어 사용자가 수동으로 지시를 전달해야 하는 비효율성이 있었습니다.
agent-talk는 에이전트 간의 저수준 구현을 조정할 수 있게 함으로써 사용자가 고수준의 세부 사항에 집중할 수 있도록 돕습니다. 이 시스템은 retalk CLI를 기반으로 하며, 서로 다른 머신이나 조직에 있는 에이전트들이 신뢰할 수 없는 릴레이를 통해 종단 간 암호화된 메시지를 교환할 수 있도록 설계되었습니다. 이는 에이전트들이 독립적으로 관리되면서도 메시지를 주고받는 핵심적인 기능을 제공합니다.
agent-talk는 다른 멀티 에이전트 시스템과 차별화됩니다. 예를 들어, 기존의 agmsg가 동일한 머신 내에서 평문으로 통신하는 반면, agent-talk는 종단 간 암호화된 메시지를 릴레이를 통해 전송하여 에이전트들이 서로 다른 환경에서 안전하게 소통할 수 있게 합니다. 이는 에이전트들이 작업 목록이나 자동적인 의존성 해제와 같은 고수준의 오케스트레이션 기능을 제공하지는 않지만, 메시징을 통한 내구성, 관찰 가능성, 그리고 동료 간의 자유로운 조정 패턴을 가능하게 합니다.
이 플러그인은 Claude Code나 Codex와 같은 환경에서 설치할 수 있으며, 에이전트들이 서로 통신하는 데 필요한 기본 메커니즘을 제공합니다. 개발자는 이 메시징 계층 위에 필요한 오케스트레이션 기능을 직접 구축할 수 있는 유연성을 얻게 됩니다.
Hacker News
피드 등록 2026-07-16
xhluca
수집 2026-07-16 17:36
AI 기반 여행 대행 플랫폼 포라(Fora)가 10억 달러 가치를 인정받으며 6000만 달러 규모의 시리즈 D 투자를 유치했습니다. 이 투자는 Forerunner와 Tactile Ventures가 주도했으며, Insight Partners와 Thrive Capital 등 다른 투자자들도 참여했습니다. 포라는 2021년에 설립되었으며, 고객 커뮤니케이션 및 여행 계획을 지원하는 인프라를 제공하는 이원화된 플랫폼을 운영하고 있습니다.
이 플랫폼은 사용자들이 코스타리카나 태국 같은 목적지로 여행을 계획할 때 여행 대행사로부터 조언을 구하고 소통할 수 있도록 돕는 기능을 제공합니다. 포라는 현재 플랫폼에서 에이전트들이 30억 달러 이상의 여행을 예약했으며, 사용자 대다수가 여행 자문 경험이 없는 신규 사용자라는 점이 주목됩니다.
회사는 새로 확보한 자금을 AI 비서인 Via를 확장하는 데 사용할 계획입니다. Via는 여행 대행사들이 연구 및 일정 계획과 같은 지루한 관리 업무를 처리하도록 돕는 역할을 합니다. 포라의 목표는 AI가 인간 여행 대행사를 대체하는 것이 아니라, 인간의 생산성을 높여 고객 관계 구축에 더 많은 시간을 할애할 수 있도록 돕는 데 있습니다.
또한 포라는 크루즈 및 항공편과 같은 다른 여행 카테고리로 사업을 확장할 계획입니다. 이는 AI 기술을 활용하여 여행 산업의 인프라를 어떻게 혁신하고 사용자 경험을 개선할 수 있는지 보여주는 사례입니다.
TechCrunch
발행 2026-07-16
Dominic-Madori Davis
수집 2026-07-16 16:36
Leaves는 WinDirStat이나 KDirStat에서 영감을 받아 디스크 사용량을 시각화하는 텍스트 기반 유틸리티입니다. 이 도구는 디렉터리 계층 구조를 중첩된 사각형으로 표시하여 파일과 디렉터리의 크기를 비율에 따라 보여주며, 이는 그래픽 도구가 제공하는 시각적 정보에 대한 대안을 제공합니다. Rust와 멀티스레딩을 사용하여 개발되었기 때문에 수백만 개의 파일을 처리할 수 있는 충분한 성능을 제공합니다.
Leaves의 주요 장점은 단순히 공간 사용량을 보여주는 것을 넘어 파일 유형별 요약이나 확장자로 상위 디렉터리를 분할하여 공간이 어떻게 사용되고 있는지 구체적으로 파악할 수 있게 한다는 점입니다. 예를 들어, 특정 디렉터리에서 가장 큰 공간을 차지하는 파일 유형을 즉시 확인할 수 있습니다. 이는 디스크 공간 분석 시 단순히 용량뿐만 아니라 파일 구조와 유형까지 이해하는 데 도움을 줍니다.
다만, 텍스트 기반으로 작동하기 때문에 픽셀 기반의 그래픽 도구만큼 정밀하지는 않으며, 블록 문자를 사용하기 때문에 항목을 해결하는 데는 어느 정도의 한계가 있습니다. 또한, 심볼릭 링크는 추적하지 않으며 하드 링크는 이중으로 계산될 수 있다는 점을 고려해야 합니다. 사용자는 테마 설정이나 색상 변화 옵션을 통해 터미널 환경에 맞게 시각적 구분을 조정할 수 있습니다.
Hacker News
피드 등록 2026-07-16
patonw
수집 2026-07-16 17:36
구글이 AI 노트 정리 앱인 NotebookLM의 이름을 Gemini Notebook으로 변경한다고 발표했습니다. 이 앱은 Gemini 및 구글 검색과 더욱 깊이 통합되면서도 독립적인 앱으로 계속 존재할 예정입니다.
구글은 2023년 5월에 Gemini Notebook(당시 Project Tailwind로 불림)을 처음 공개한 후 몇 달 뒤에 NotebookLM을 출시했습니다. 이후 구글은 지난 몇 년 동안 이 앱에 AI 기반 기능들을 추가하여 사용자들이 노트를 정리하고 이해하는 데 도움을 주었습니다.
이러한 기능들에는 AI 팟캐스트로 요약하기, 내레이션 슬라이드쇼 제작, 틱톡 스타일 클립 생성 등이 포함됩니다. 최근에는 사용자들이 서로의 노트를 연결할 수 있는 기능도 추가되어 노트 관리의 확장성이 더욱 강화되었습니다.
The Verge
발행 2026-07-16
Emma Roth
수집 2026-07-16 16:36
구글이 AI 연구 제품인 NotebookLM을 Gemini Notebook으로 리네이밍하며 기능을 대폭 강화했습니다. 이번 업데이트의 핵심은 데이터 분석을 위해 코드 실행 기능을 통합하여 사용자가 여러 소스를 활용하고 복잡한 데이터 분석을 도구 내에서 직접 수행할 수 있게 되었다는 점입니다.
새로운 업데이트는 각 노트북을 보안 컨테이너로 만들어 사용자가 코드를 생성하여 결과물을 상호작용적으로 만들 수 있도록 지원합니다. 이는 기존의 연구 및 자료 정리 기능을 넘어 실제 코드를 활용한 데이터 분석이 가능해져 개발자와 사용자에게 강력한 도구로 활용될 여지를 제공합니다.
이러한 기능은 현재 Google AI Ultra 유료 플랜 사용자 및 Workspace 비즈니스 고객 중 AI Ultra 액세스 및 AI 확장 액세스를 보유한 사용자들에게 먼저 제공되고 있으며, 프로 사용자들에게는 곧 접근이 가능할 예정입니다. 구글은 사용자들이 이미 Gemini 앱 내에서 노트북을 확인할 수 있으며, 곧 검색 내 AI 모드를 통해 노트북에 접근할 수 있게 될 것이라고 밝혔습니다.
TechCrunch
발행 2026-07-16
Ivan Mehta
수집 2026-07-16 16:36
구글이 AI 모드를 통해 사용자가 자주 사용하는 일부 앱과 연결하고 상호작용할 수 있도록 기능을 확장했습니다. 이번 업데이트를 통해 AI 모드는 단순한 질문 답변을 넘어 사용자가 일상적으로 사용하는 앱들에서 실제 작업을 완료하는 데 중점을 둡니다.
출시된 기능에는 Instacart, Canva, YouTube 등이 포함되며, 구체적인 사용 예시로는 바비큐 계획 시 Instacart 계정을 연결하여 식재료를 쇼핑 카트에 추가하고 결제하는 기능이나, 디자인 아이디어를 얻기 위해 Canva에서 템플릿을 요청하는 기능 등이 있습니다. 또한 AI 모드를 활용하여 파티 플레이리스트를 큐레이션하고 이를 YouTube Music에 즉시 저장하는 것도 가능해졌습니다.
구글은 이러한 앱 통합 기능을 통해 OpenAI의 ChatGPT나 Anthropic의 Claude와 같은 경쟁사들과의 경쟁에서 우위를 점하고 있습니다. 구글은 이미 Gemini 앱에 서드파티 앱을 연결하여 작업을 더 빠르게 완료하는 기능을 선보인 바 있으며, 이번 업데이트는 이러한 AI 모드의 역량을 더욱 확장하는 것입니다. 구글은 미국 사용자들을 대상으로 이 업데이트를 배포하고 있으며, 앞으로 더 많은 앱 지원을 계획하고 있습니다.
TechCrunch
발행 2026-07-16
Aisha Malik
수집 2026-07-16 16:36
Kickstage라는 소프트웨어 회사가 전력 산업 및 계통 운영을 위한 솔루션을 제공하며 개발자들에게 오픈 소스 웹 UI인 BambooGrid를 공개했습니다. 이 도구는 전력 흐름 모델링과 전력 흐름 분석을 시각적으로 수행할 수 있도록 설계되었습니다.
BambooGrid는 전력 시스템 시뮬레이션 라이브러리인 pandapower를 기반으로 구축되었으며, 사용자가 버스, 선로, 부하, 발전기, 변압기 등의 요소를 캔버스에 드래그하여 연결하고 파라미터를 설정하여 전력 흐름을 실행할 수 있게 합니다. 결과는 캔버스에 직접 표시되며 버스별 전압에 따라 색상이 구분되고 상호 작용 가능한 어드미턴스 행렬도 확인할 수 있습니다.
이 도구는 기존의 주피터 노트북이나 파이썬 콘솔만으로는 전력 흐름 분석의 기본 개념을 깊이 이해하기 어렵다는 문제점을 해결하고자 개발되었습니다. BambooGrid는 파이썬 백엔드와 React 프론트엔드로 구현되었으며 완전히 MIT 라이선스로 공개되어 누구나 사용하고 수정할 수 있습니다.
현재 BambooGrid는 공식 웹사이트를 통해 설치 없이 바로 사용해 볼 수 있으며, 사용자들이 도구 개선에 대한 피드백을 환영하고 있습니다.
Hacker News
피드 등록 2026-07-16
soaringmonchi
수집 2026-07-16 22:41
에너지 기업들이 인공지능(AI) 붐에 투자하는 방안을 모색하면서 이번 세기에서 가장 빠른 속도로 IPO를 통해 자금을 조달하고 있습니다. 이는 데이터 센터 운영에 필요한 막대한 에너지 접근성이 AI 투자 붐의 병목 현상으로 부각되면서 발생한 현상입니다.
데이터 분석 회사인 딜로직(Dealogic)의 데이터에 따르면, 올해 상반기에 에너지 기업들의 기업공개(IPO)를 통해 총 126억 달러가 모금되었습니다. 이는 1999년 말 닷컴 버블 정점 이후 상반기 최고 기록이며, 2025년 연간 총액인 43억 달러를 훨씬 상회하는 수치입니다.
이러한 자금 조달 증가는 수조 달러 규모의 AI 투자 붐을 뒷받침하는 데 필수적인 에너지 확보가 핵심 병목으로 작용하고 있음을 보여줍니다. 즉, AI 데이터 센터 운영에 필요한 에너지 공급망 확보가 현재 거대한 기술 투자 흐름의 중요한 제약 요인으로 작용하고 있습니다.
Ars Technica
발행 2026-07-16
Martha Muir in New York
수집 2026-07-16 16:36
스플라툰 레이더스(Splatoon Raiders)의 출시일이 7월 23일로 다가오면서 실물 버전 사전 주문 시 10달러 할인 혜택을 받을 수 있는 기회가 곧 마감됩니다. 디지털 버전은 49.99달러이며, 월마트에서 카트리지 버전을 사전 주문하면 49.94달러에 구매할 수 있습니다.
아마존은 이전에는 사전 주문 할인을 적용했으나 현재는 정가인 59.99달러에 판매하고 있어, 구매자는 출시 전까지 이 혜택을 놓치지 않도록 주의해야 합니다. 닌텐도는 일부 스위치 2 디지털 게임이 실물 버전보다 10달러 저렴하게 출시될 것이라고 발표했지만, 요시와 미스터리 북, 스타폭스 같은 다른 타이틀은 출시 전까지 동일한 가격으로 판매되었습니다.
스플라툰 레이더스는 싱글 플레이에 중점을 둔 스위치 2 독점 타이틀이지만, 최대 네 명의 플레이어가 로컬 또는 온라인으로 협동 플레이할 수 있는 멀티플레이 요소가 포함되어 있습니다. 실물 매체를 선호한다면 이 기간 한정 혜택을 활용하는 것이 좋습니다.
The Verge
발행 2026-07-16
Cameron Faulkner
수집 2026-07-16 16:36
국립교통안전위원회(NTSB)는 텍사스주에서 발생한 테슬라 차량 관련 치명적인 사고에 대한 예비 보고서를 통해 운전자가 완전 자율 주행(FSD) 기술을 수동으로 무시하고 가속 페달을 100퍼센트까지 밟아 사고를 냈다고 확인했습니다. 조사관들은 차량의 전자 데이터를 검토한 결과, 사고 당시 테슬라 모델 3 차량이 시속 70마일(약 112km/h) 이상의 속도를 달리고 있었음을 발견했습니다.
이 사고는 지난 6월 44세의 마이클 버틀이 캣티(Katy), 텍사스에 위치한 주택에 충돌하여 76세의 마사 아빌라 씨를 사망에 이르게 한 사건이었습니다. 해당 주택은 제한 속도가 시속 30마일인 2차선 도로에 위치해 있었습니다.
이 보고서는 FSD 시스템의 작동 방식과 운전자의 개입이 실제 사고 상황에서 어떤 영향을 미쳤는지에 대한 중요한 맥락을 제공합니다. 이는 자율 주행 기술의 오용 가능성과 시스템이 운전자의 수동 조작에 어떻게 반응하는지에 대한 안전 기준을 재고할 필요가 있음을 시사합니다.
The Verge
발행 2026-07-16
Emma Roth
수집 2026-07-16 16:36
DoorDash가 개발자와 AI 에이전트가 터미널에서 상점 검색, 장바구니 구성, 주문을 할 수 있게 해주는 명령줄 도구인 dd-cli의 제한된 베타 버전을 공개했습니다. 이 도구는 소프트웨어를 인간이 아닌 AI 에이전트를 위해 설계하는 단계로 나아가는 중요한 발걸음을 의미합니다.
dd-cli는 개발자와 AI 에이전트가 터미널 환경에서 DoorDash 상점과 상호작용할 수 있도록 설계되었습니다. 이를 통해 복잡한 이커머스 작업을 자동화하고 에이전트 기반의 상업적 애플리케이션 개발에 새로운 가능성을 제시합니다.
이러한 기능은 기존의 사용자 인터페이스를 거치지 않고 시스템 레벨에서 직접 상거래 프로세스를 처리할 수 있게 함으로써, AI 에이전트가 실제 상업적 환경에서 더 효율적으로 작동할 수 있는 기반을 마련합니다. 이는 AI 기반 소프트웨어의 자동화 및 상호작용 방식을 근본적으로 변화시킬 수 있습니다.
TechCrunch
발행 2026-07-16
Sarah Perez
수집 2026-07-16 16:36
오웬 플라워스(Owen Flowers)와 탈하 주베르(Thalha Jubair)라는 두 명의 피고인이 런던 대중교통 시스템을 해킹한 혐의로 유죄를 인정하고 징역형을 선고받았습니다. 이들은 악명 높은 해킹 그룹인 Scattered Spider의 일원들이었습니다.
두 사람은 런던의 대중교통 시스템을 해킹한 혐의로 5년 6개월의 징역형을 선고받았습니다. 이 사건은 단순히 개인의 범죄를 넘어, 이들이 속했던 해킹 그룹의 운영에 중대한 차질을 초래했다는 점에서 보안 커뮤니티에 주목받고 있습니다.
경찰은 이 두 젊은 해커의 체포가 해당 해킹 그룹의 활동을 중단시키는 데 기여했다고 밝혔습니다. 이는 대규모 해킹 조직의 활동을 저지하는 데 있어 개인의 체포가 얼마나 중요한 영향을 미칠 수 있는지 보여주는 사례입니다.
이 사건은 해킹 그룹의 운영과 관련된 법적 책임 및 보안 활동의 연관성을 강조하며, 잠재적인 위협에 대응하는 데 있어 법 집행의 역할을 재조명하게 합니다.
TechCrunch
발행 2026-07-16
Lorenzo Franceschi-Bicchierai
수집 2026-07-16 16:36