읽을 가치가 있는 기사만, 짧고 또렷하게.

SpaceX 주가가 신기록을 경신하며 IPO 이후 최저치를 기록했고 한 달 만에 1조 달러의 가치를 상실했습니다. 이는 회사의 주가 상승세가 꺾이고 매도세가 지속되고 있음을 보여줍니다.

이러한 하락은 회사가 상장 후 약 5주 만에 발생했으며, 목요일 예정되었던 첫 스타십 발사가 취소되면서 발생했습니다. 이 발사는 사우스 텍사스의 스타베이스 시설에서 계획되었으나, 엔진이 점화되지 않아 자동 발사 중단이 발생했습니다.

일론 머스크 CEO는 X(구 트위터)를 통해 일부 엔진이 작동하지 않았다고 밝혔으며, 회사는 다음 주 초에 목표를 설정하여 재발사를 시도할 계획이라고 언급했습니다. 스타십은 스페이스X의 미래 계획, 특히 스타링크 위성 발사와 NASA의 아르테미스 달 착륙 프로그램에 중요한 역할을 하고 있습니다.

또한, 다가오는 분기 보고서와 관련하여 일부 투자자와 직원들이 주식을 매도할 수 있는 락업 기간이 만료될 예정이어서 시장에 추가적인 매도 압력이 예상됩니다.

초경량 멀티 에이전트 스텔스 브라우저 컨트롤러인 browser-rs-mcp가 발표되어 멀티 에이전트 시스템 운영의 메모리 오버헤드를 획기적으로 줄이는 방법을 제시합니다. 현재 에이전트 하나당 크롬 브라우저를 실행할 경우 에이전트당 500MB에서 1GB의 RAM이 필요하며, 에이전트 5개를 구동하면 브라우저만으로 2.5GB에서 5GB의 메모리가 소모됩니다. 여기에 Playwright의 CDP 세션 역시 기본적으로 약 180MB를 차지하므로 에이전트가 늘어날수록 이 오버헤드가 선형적으로 증가하여 실전 환경에서 멀티 에이전트를 구동하기 어렵다는 문제가 있었습니다.

이 문제를 해결하기 위해 브라우저 인스턴스를 하나만 실행하고, 서버가 소유자 단위로 탭을 강제 격리하는 구조를 도입했습니다. 이를 통해 에이전트가 아무리 많아져도 브라우저 메모리 사용량은 증가하지 않으며, 서버 자체는 단일 바이너리 6MB에 불과합니다. 또한, 탐지를 피하기 위해 패치된 가짜 브라우저 대신 사용자의 실제 Chrome과 지속적인 프로필을 그대로 사용하며, 탐지하기 쉬운 CDP 도메인을 비활성화하는 방식으로 스텔스 기능을 구현했습니다.

browser-rs-mcp는 접근성 트리, 네트워크, 쿠키, 저장소, PDF, iframe 등 62가지 도구를 제공하며 raw CDP 기반으로 작동합니다. 이 도구들은 agent-connector와 같은 도구와 결합하여 LLM을 위한 웹 브라우저 자동화용 MCP 서버를 구축하는 데 활용될 수 있습니다. 개발자는 Rust로 구현된 이 컨트롤러를 통해 AI 에이전트 도구를 만들면서 토큰 사용량을 98% 절약하는 전략을 구사할 수 있습니다.

삼성 갤럭시 Z 폴드 8의 리디자인된 모습과 일부 사양이 유출되었습니다. 유출자는 이 정보를 삼성의 공식 발표가 예정된 7월 22일 출시 행사 직전에 공개했으며, 이미지들은 이전 유출 정보와 일치하는 더 짧고 넓어진 폴더블 디자인을 보여줍니다.

유출된 사양에 따르면, 갤럭시 Z 폴드 8은 퀄컴 스냅드래곤 8 엘리트 포 갤럭시 프로세서를 탑재할 예정입니다. 또한 후면 카메라로는 50MP 광각 및 50MP 초광각 카메라가 적용되며, 내부 및 외부 화면에는 각각 10MP 셀피 카메라가 포함됩니다.

배터리 관련해서는 최대 26시간의 비디오 재생 시간을 제공한다고 광고되었는데, 이는 폴더블 기기의 사용 경험과 배터리 효율성에 대한 중요한 정보를 제공합니다. 이 외에도 유출자는 갤럭시 Z 플립 8과 갤럭시 Z 폴드 8 울트라의 이미지도 함께 공유했습니다.

Ars Technica가 선임 기술 기자직을 채용하고 있습니다. 이 자리는 하드웨어 전반에 걸친 실습 경험이 풍부하고 기술에 대한 열정을 가진 작가를 찾고 있습니다.

채용 공고에 따르면, 지원자는 여러 해의 전문적인 경력을 가진 기술 전문가여야 하며, 단순히 기술을 다루는 것을 넘어 하드웨어에 직접 손을 대는 것에 흥분하는 사람을 선호합니다. 이는 기술에 대한 즐거움이 업무에 자연스럽게 반영된다고 보는 채용사의 관점입니다.

이 직책은 데스크톱, 노트북, 휴대폰, CPU, GPU, NAS 등 다양한 하드웨어에 대한 깊이 있는 지식을 요구하며, 기술에 대한 호기심과 실습 경험을 글쓰기에 접목할 수 있는 기회를 제공합니다.

공식 채용 설명과 연봉 범위 등 자세한 내용은 Ars Technica의 채용 페이지에서 확인할 수 있습니다. 기술에 대한 깊은 이해를 바탕으로 하드웨어 관련 콘텐츠를 작성하고 전달하고 싶은 개발자나 기술 애호가에게 적합한 기회입니다.

최근 미국에서 소형차 르네상스가 일어나고 있다는 움직임이 포착되고 있습니다. 슬레이트 트럭, 앰블의 듄 버기, 피아트 토폴리노와 같은 소형차뿐만 아니라 일본의 케이카(kei car) 및 트럭 등 다양한 차량들이 인기를 얻으며 새로운 대안을 제시하고 있습니다. 이러한 소형차 시장은 아직 미국 내 판매량이 매우 적지만, 미국인들이 차량 크기를 줄이는 것에 대해 이전보다 덜 폐쇄적인 태도를 보이고 있다는 신호가 나타나고 있습니다.

이러한 흐름 속에서 최근 주목받는 사례는 마이애미에 기반을 둔 스타트업 칩 모터스(Chip Motors)의 출시입니다. 칩 모터스는 쉽게 분류하기 어려운 독특한 디자인의 개방형 전기차를 선보이며 큰 관심을 받고 있습니다. 이 차량은 골프 카트인지, 찌그러진 지프 랭글러인지, 혹은 그 둘의 조합인지에 대한 질문을 던지며 기존 자동차의 범주를 확장하고 있습니다.

칩 모터스의 등장은 단순히 새로운 차량 모델을 넘어, 미국 시장에서 소형차에 대한 인식이 변화하고 있음을 보여줍니다. 이는 기술과 디자인의 경계를 허물고 개인화된 이동 수단에 대한 수요가 증가하고 있음을 시사합니다. 따라서 소형차 시장의 성장은 단순한 트렌드를 넘어, 미래 모빌리티 디자인과 소비자 선호도의 변화를 반영하는 중요한 지표로 해석될 수 있습니다.

최근 개발자 커뮤니티에 공개된 'Show HN: Explore the Workspaces of Modern Creators'라는 제목의 프로젝트에 대한 내용입니다. 이 프로젝트는 현대 크리에이터들을 위한 작업 공간(Workspaces)을 탐색하고 공유하는 것에 초점을 맞추고 있습니다.

해당 프로젝트는 크리에이터들이 작업 환경을 효율적으로 관리하고 협업할 수 있도록 돕는 데 중점을 두고 있습니다. 개발자 관점에서 볼 때, 이는 새로운 협업 도구나 플랫폼의 가능성을 탐색하는 기회가 될 수 있습니다.

구체적인 기능이나 기술적 세부 사항은 제공된 자료에 포함되어 있지 않으므로, 현재로서는 해당 워크스페이스가 어떤 방식으로 작동하며 어떤 기술 스택을 사용하는지에 대한 정보는 부족합니다. 따라서 이 프로젝트에 대해 더 깊이 이해하기 위해서는 원본 기사나 댓글을 참고하는 것이 필요합니다.

ICE는 '유권자 사기' 및 이민 사기를 조사하기 위해 개인 데이터에 접근하기 위해 데이터 브로커 기업인 Thomson Reuters에 1억 2,500만 달러를 지불할 계획입니다. 이 계약에 따라 ICE는 개인의 이름, 사회 보장 번호, 인종, 소셜 미디어 게시물, 지리 정보와 같은 개인 데이터베이스에 접근할 수 있게 됩니다.

이 조치는 Thomson Reuters가 ICE가 수백만 명의 개인과 실체에 대해 지속적으로 모니터링할 수 있도록 데이터 접근 권한을 제공하는 것을 포함합니다. 이는 ICE가 이민 사기뿐만 아니라 선거 보안과 관련된 사기 행위를 조사하는 데 필요한 광범위한 개인 정보에 접근하는 것을 의미합니다.

이러한 데이터 확보 계획은 최근 선거 보안에 대한 논란과 ICE의 폭력 사건 이후 발표되어 정치적 맥락에서 주목받고 있습니다. 또한 ICE는 이민자들의 세금 식별자와 관련된 기록을 구매하는 등 개인 데이터 및 기록에 대한 정부의 접근 범위가 확대되고 있음을 보여줍니다.

연방 당국이 스팀 게임 악성코드를 통해 암호화폐를 훔친 혐의로 플로리다 남성을 체포했습니다. 이 사건은 지역 뉴스 매체 Local10이 보도했으며, 공식 고소장에 따르면 21세의 지레일 윌킨스와 공범들이 2024년 5월부터 2026년 2월까지 총 여덟 개의 악성코드가 삽입된 게임을 배포하여 약 8,000대의 기기를 감염시키고 80개의 암호화폐 지갑에 접근했다고 기소했습니다.

수사 기록에 따르면, 해당 게임들이 스팀 플랫폼에 직접 업로드되었는지에 대한 구체적인 언급은 없지만, 이는 밸브가 소유한 게임 플랫폼을 지칭하는 것으로 보입니다. FBI는 이 사건과 관련하여 피해자 정보를 요청하는 공고를 내는 등 관련 수사를 진행하고 있습니다.

이러한 행위는 게임 플랫폼을 악용하여 대규모로 사용자 기기를 감염시키고 암호화폐 자산을 탈취하는 심각한 보안 위협을 보여줍니다. 사건은 2026년 6월에 최종 심리가 예정되어 있으며, 이는 게임 보안과 플랫폼 안전성에 대한 중요한 맥락을 제공합니다.

리눅스 어셈블리로 작성된 최초의 X 서버인 프레임(Frame)에 대한 내용입니다. 이 소프트웨어는 의존성, 라이브러리, 가비지 컬렉터 없이 시스템의 핵심 그래픽 엔진을 직접 구현하여 효율성과 통제권을 확보하고자 개발되었습니다.

개발자는 프레임을 통해 시스템의 하드웨어 계층과 이벤트 처리 방식을 깊이 이해하게 되었으며, 기존의 복잡한 X11이나 gdm 같은 시스템을 대체하는 데 필요한 코드를 어셈블리로 구현했습니다. 이로 인해 시스템은 유휴 상태일 때 매우 효율적이며 배터리 수명 개선에도 기여했습니다.

프레임은 Xorg보다 적은 CPU 자원을 사용하며, 데스크톱이 완전히 정지된 상태에서 최소한의 전력만 소비하도록 설계되었습니다. 이는 사용자가 소프트웨어에 대한 완전한 소유권을 가지며, 대규모 사용자보다는 특정 사용자에게 최적화된 소프트웨어를 구축할 수 있다는 철학을 반영합니다.

결과적으로 개발자는 하드웨어 레이어에 대한 이해를 높이고, 소프트웨어의 효율성과 통제권을 극대화하는 데 성공했습니다. 이는 시스템의 근본적인 작동 방식을 이해하고 개선하려는 개발자들에게 중요한 설계 참고 자료를 제공합니다.

아마존이 일부 AWS 고객에게 사용하지 않은 클라우드 서비스에 대해 수십억 달러의 요금을 청구했던 버그를 수정했습니다. 이 오류로 인해 일부 고객들은 예상치 못한 청구서를 받았습니다.

아마존은 목요일 늦게부터 부정확한 청구 데이터가 발생했음을 인정했으며, 최근 변경 사항을 되돌리는 조치를 취했으나 문제가 해결되지 않았다고 밝혔습니다. 이 문제는 아마존의 청구 계산 서브시스템과 관련된 오류였으며, 고객들은 이 오류로 인해 수백만 달러에서 최대 25억 달러에 이르는 예상 청구액을 받았습니다.

아마존은 이러한 추정치가 실제 사용량과 요금을 반영하지 않는다고 설명하며, 해당 고객들은 청구에서 벗어날 가능성이 높다고 언급했습니다. 이 문제는 아마존의 상태 페이지에 따르면 몇 시간 더 지속될 것으로 예상됩니다.

패트리온이 크리에이터의 콘텐츠를 무단으로 AI 모델 학습에 사용하는 봇을 차단하기 위해 방어 체계를 강화하고 있습니다. 이들은 이 작업을 위해 클라우드플레어와 협력하여 권한 없이 크리에이터 콘텐츠를 학습 데이터로 사용하는 봇을 차단하고 있습니다.

이번 조치는 웹사이트가 단순히 robots.txt 파일만을 사용하여 무단 AI 학습을 차단하는 방식에 의존하는 것에서 벗어나, 능동적으로 이러한 행위를 막는 방향으로 전략을 전환했음을 의미합니다. 이는 AI 학습을 위한 콘텐츠 접근에 대한 통제권을 강화하려는 움직임입니다.

패트리온은 이러한 차단 메커니즘을 통해 크리에이터의 콘텐츠가 허가 없이 AI 모델 학습에 사용되는 것을 방지하는 데 중점을 두고 있습니다. 이는 웹사이트 운영자가 AI 시대에 콘텐츠 보호를 위해 기술적 방어책을 적극적으로 도입해야 한다는 점을 보여줍니다.

단기 공매도 세력이 870억 달러의 수익을 기록하며 스페이스X 주가가 기업공개(IPO) 가격 아래로 하락하는 상황이 보고되었습니다. 이는 시장 참여자들이 스페이스X의 미래 가치에 대해 부정적인 기대를 반영하고 있음을 시사합니다.

이러한 상황은 스페이스X의 주가가 IPO 가격 아래로 하락하면서 발생했으며, 단기 공매도 세력이 상당한 수익을 올렸다는 점에서 시장의 심리가 약화되었음을 보여줍니다. 공매도 세력의 수익 증가는 해당 주가 하락에 대한 시장의 인식을 반영하며, 투자자들은 스페이스X의 장기적인 성장 전망에 대해 재평가하고 있는 것으로 해석됩니다.

투자자들은 이러한 움직임을 통해 스페이스X의 현재 주가 수준이 미래 기대치와 괴리될 수 있다는 점을 고려해야 합니다. 따라서 주가 변동에 주목할 때 공매도 활동과 같은 시장의 역학 관계를 함께 분석하는 것이 중요합니다.

REI에서 선정한 2026년 최고의 새로운 아웃도어 장비에 대한 테스트 결과를 소개합니다. 이 글은 텐트, 침낭, 쿨러, 자전거 등 다양한 장비 중에서 구매할 가치가 있는 제품들을 추천합니다.

작성자는 REI의 최신 및 개편된 아웃도어 장비를 직접 테스트하고 그중 가장 추천할 만한 제품들을 정리했습니다. 이는 2026년 캠핑 및 야외 활동에 필요한 장비 선택에 실질적인 도움을 줄 수 있습니다.

구체적으로 어떤 텐트나 침낭, 쿨러 모델이 추천되었는지에 대한 상세 정보는 본 기사 내에 포함되어 있습니다. 독자들은 이 정보를 통해 새로운 시즌에 적합한 고품질 장비를 선택하는 데 참고할 수 있습니다.

reMarkable의 새로운 Paper Pure는 기존 reMarkable 2의 후속작으로 출시되었으며, 화면에서 벗어나 종이와 펜으로 쓰는 경험을 제공하는 데 중점을 둔 제품입니다. 이 기기는 알림이나 멀티태스킹 앱을 배제하고 작가, 디자이너, 연구자들이 방해 없이 독서와 필기를 할 수 있도록 설계되었습니다.

Paper Pure는 $399의 가격대로 출시되었으며, 기존 모델과 마찬가지로 모노톤 디스플레이를 채택했지만, 가로로 더 많은 텍스트를 담을 수 있도록 해상도를 조정하여 읽고 쓰는 경험을 개선했습니다. 또한, 사용자는 캘린더를 태블릿에 동기화하여 회의 세부 정보를 확인하고 바로 메모를 시작할 수 있으며, 필기한 내용을 탭 한 번으로 변환하여 이메일이나 reMarkable 웹 앱을 통해 공유할 수 있습니다.

이 장치는 문서 작업의 효율성을 높이기 위해 드라이브, 드롭박스, 원드라이브와 같은 클라우드 서비스를 통합하여 문서의 가져오기 및 내보내기를 지원합니다. 다만, Paper Pure는 PDF를 이상적으로 처리하지 못하며, 전용 전자책 리더기만큼의 독서 경험을 제공하지는 않습니다. 따라서 이 기기는 모든 기능을 통합한 기기보다는 아이디어를 기록하고 구상하는 보조적인 작업 도구로서의 역할을 강조하고 있습니다.

오픈 소스 AI의 현황에 대한 보고서에 따르면, 오픈 웨이트 모델이 능력 격차를 해소하고 지능의 가격이 하락하면서 개발자들이 실질적인 이점을 얻게 되었다. 36개월 동안 추론 비용은 50배 감소하여 GPT-4급 모델의 토큰당 가격은 $20에서 $0.40으로 떨어졌다.

현재 오픈 소스 AI는 코딩 및 지시 따르기 측면에서 폐쇄형 모델과 동등한 수준에 도달했으며, 오픈 웨이트는 이제 작업이 이루어지는 핵심 영역이 되었다. 다만, 추론, 장문 컨텍스트 검색, 에이전트 작업과 같은 영역에서 여전히 폐쇄형 모델이 우위를 점하고 있어, 개발자는 모델의 능력보다는 자신의 워크로드에 필요한 도구를 고려해야 한다.

실제 개발 환경에서 오픈 모델의 채택률은 폐쇄 모델보다 높으며, AI 기능을 애플리케이션에 추가하는 개발자의 79%가 오픈 모델을 사용하고 있다. 그러나 실제 프로덕션 환경에서 오픈 모델 팀이 배포에 성공하는 비율은 폐쇄 모델 팀보다 낮아, 모델 능력의 격차보다는 운영 도구와 신뢰성 확보가 중요한 문제로 부상했다.

결론적으로 오픈 소스 AI는 경쟁과 상호 운용성을 통해 발전하고 있으며, 개발자들은 이제 모델의 성능뿐만 아니라 비용, 제어, 배포 용이성을 기준으로 선택해야 한다. 이는 오픈 소스 생태계가 더 많은 사람들에게 지능을 분배하고 소유하게 하는 방향으로 나아가고 있음을 보여준다.

인공지능(AI) 스타트업들이 막대한 규모의 시드(seed) 자금을 유치하면서, 투자 자금 확보가 어려운 상황이 초기에 있는 창업자들에게 더욱 어려움을 주고 있습니다. 이러한 자금 조달 추세는 특히 프리시드 단계에서 자금을 구하려는 사람들에게 불리하게 작용하고 있습니다.

최근 AI 분야 스타트업들이 대규모 시드 자금을 유치하는 현상은 투자 생태계에 큰 변화를 가져왔습니다. 이로 인해 초기 단계의 창업자들은 자금 확보 과정에서 더 큰 압박을 받고 있으며, 단순히 제품이나 기술 외에 설득력 있는 스토리텔링과 확신을 보여주는 것이 중요해졌습니다.

이러한 맥락에서 2026년 테크크런치 디스럽트 행사에서는 프리시드 단계에 있는 창업자들이 시드 단계에 준하는 방식으로 자금을 유치할 수 있도록 구체적인 방법을 제시했습니다. 이는 단순히 자금 규모를 넘어 투자자들에게 비전을 효과적으로 전달하는 커뮤니케이션 전략이 성공적인 펀딩에 필수적임을 시사합니다.

AI 에이전트가 자체적으로 금융 행위자 역할을 수행할 수 있도록 온체인 채권 시장을 구축하는 sellbonds.now가 실험적인 프로토콜로 발표되었습니다. 이 시스템은 AI 에이전트가 USDC를 발행, 대여, 차입할 수 있게 하며, 인간의 대리인이 아닌 자율적인 금융 주체로서의 에이전트 금융(agentic autonomous finance)이라는 미래를 구현하고자 합니다.

sellbonds.now는 에이전트가 중개자 없이 직접 체인에서 자본을 조달하고 상환할 수 있도록 설계되었습니다. 에이전트는 sellbonds.now를 통해 채권을 발행하고 USDC로 자금을 조달하며, 이 모든 과정은 계정이나 중개자 없이 스마트 컨트랙트를 통해 직접 이루어집니다. 각 채권은 USDC를 보유하는 자체 스마트 컨트랙트 시장이며, 대여자는 이자 수익을 받는 ERC-20 채권 토큰을 받게 됩니다.

이 프로토콜은 Wildcat Protocol V2의 포크를 기반으로 구축되었으며, Base 메인넷을 기본 체인으로 지원하고 이더리움 및 아비트럼도 지원합니다. 시스템은 완전히 오픈 소스로 공개되어 있으며, CLI/SDK와 스마트 컨트랙트 코드가 Apache-2.0 라이선스 하에 공개되어 있습니다.

sellbonds.now는 자금의 통제권을 에이전트에게 두는 비수탁형(non-custodial) 구조를 채택하여, 자본이 계약 내에 보관되며 에이전트의 키를 통해 모든 거래가 로컬에서 서명됩니다. 채무 불이행 시 벌칙 APR이 발생하며, 이는 채권의 담보 역할을 하므로 대여자는 자금을 제공하기 전에 위험을 평가하게 됩니다.

문샷 AI가 2조 8천억 개의 파라미터를 가진 Kimi K3 모델을 발표하며 중국 AI 연구소의 최신 모델을 공개했습니다. 이 모델은 2026년 7월 27일까지 오픈 웨이트로 공개될 예정이며, 최초의 '오픈 3조 파라미터급 모델'로 불립니다. Kimi K3는 자체 벤치마크에서 Claude Opus 4.8 max 및 GPT-5.5 high를 능가하지만, Claude Fable 5와 GPT-5.6 Sol에는 뒤처지는 성능을 보였습니다.

모델의 비용 효율성 측면에서 Kimi K3는 입력 토큰당 3달러, 출력 토큰당 15달러의 가격을 책정했으며, 이는 다른 모델보다 높은 가격대로 책정되어 중국 AI 연구소에서 출시된 모델 중 가장 비싼 모델이 되었습니다. 또한 Kimi K3는 이전 모델 대비 토큰 사용량을 21% 줄이는 효율성을 보였으며, 작업당 비용은 GPT-5.6 Sol과 유사한 수준입니다.

이러한 모델의 성능을 평가하기 위해 시몬 윌리슨이 제시한 '펠리컨 벤치마크'는 모델 비교에 대한 흥미로운 통찰을 제공합니다. 이 테스트는 모델이 SVG를 생성할 수 있는지, 기하학적 및 공간적 인식을 갖추고 있는지 확인하는 'Hello World' 연습의 역할을 합니다.

다만 펠리컨 벤치마크는 에이전트 도구 호출이나 도구를 안정적으로 작동시키는 능력과 같은 오늘날 모델에게 가장 중요한 요소들을 측정하지 못한다는 한계가 있습니다. 따라서 모델 비교 시 이 벤치마크만을 절대적인 기준으로 삼아서는 안 됩니다.

AI 감사 도구인 zkao가 OpenVM의 zkVM에서 치명적인 건전성 버그를 발견했습니다. 이 버그는 게스트 라이브러리인 openvm-pairing에서 발생하며 악의적인 증명자가 페어링 동등성(pairing equality)을 위조할 수 있게 만듭니다. 이는 zkVM 자체의 증명 시스템 문제가 아니라 해당 취약한 라이브러리를 사용하는 코드에 영향을 미치는 사안입니다.

이 취약점은 CVE-2026-46669로 지정되었으며 OpenVM 1.6.0 버전에서 수정되었습니다. 페어링은 Groth16, PLONK, BLS 서명과 같은 프로토콜의 기반이 되는데, 증명자가 잘못된 페어링 곱을 1로 보이게 만들 수 있다면 그 위에 구축된 모든 시스템의 안전성이 무너지게 됩니다.

연구팀은 이 발견을 위해 LLM을 이용한 AI 감사 실험을 진행했는데, 이는 zkVM과 같은 복잡한 코드베이스에서 AI가 의미 있는 버그를 찾는 것이 얼마나 어려운지를 보여줍니다. AI가 발견한 후보 결과를 인간이 검증하고 취약점을 확인하는 과정을 거쳐 최종적으로 이 버그를 공개하게 되었습니다.

유럽인권재판소는 윤리적 비건주의와 반종차별주의가 유럽 내에서 보호받는 철학적 신념임을 확인했습니다. 이 판결은 스위스가 구금 시설에 수감된 두 비건에게 일관되게 비건 식사를 제공하지 않은 것이 기본권을 침해했다고 판단한 사건에서 나왔습니다.

재판부는 당국이 자유 박탈 상태에 있는 신청자들의 비건 신념과 비건 식단 요구를 존중해야 하는 긍정적 의무를 유럽인권협약 제9조에 근거하여 위반했다고 판결했습니다. 이는 당국이 경쟁하는 이해관계 사이의 공정한 균형을 맞추기 위해 필요한 조치를 취하지 않았음을 의미합니다.

이 판결은 비건주의가 보호받는 특성으로 인정되는 다른 법적 사례들과 함께 유럽에서 비건주의에 대한 인식을 확대하는 데 기여하고 있습니다. 영국에서도 2020년에 윤리적 비건주의가 평등법(Equality Act 2010)에 따른 철학적 신념으로 인정된 바 있습니다.