수학자들은 힐베르트 10번째 문제의 주요 확장을 해결하여 디오판토스 방정식이 해를 가지는지 여부를 결정하는 것이 광범위한 수 환에 대해 결정 불가능하다는 것을 증명했습니다. 1970년 유리 마티야세비치의 정수 해에 대한 증명을 기반으로, 이 연구는 타원 곡선과 이차 비틀림을 사용하여 비정수 해를 갖는 이전 접근 방식의 한계를 극복합니다. 이 돌파구는 계산 가능성의 한계에 대한 이해를 심화시킬 뿐만 아니라 수학 연구를 위한 새로운 도구도 제공합니다.
더 보기
최신 코딩 어시스턴트는 코드 검색에 크게 의존하지만, 기존 평가 방법은 부족합니다. Voyage AI의 연구는 현재 데이터셋의 문제점을 강조합니다. 노이즈가 많은 레이블, 심층 알고리즘적 추론 평가 부족, 데이터 오염 등으로 모델 평가 결과가 신뢰할 수 없습니다. 이를 해결하기 위해 Voyage AI는 고품질 코드 검색 데이터셋을 생성하는 두 가지 방법을 제안합니다. 질문 답변 데이터셋을 재사용하고, GitHub 저장소와 이슈/티켓을 활용하는 것입니다. Voyage AI는 여러 프로그래밍 언어, 다양한 QA 데이터셋, 도메인별 벤치마크를 포함하는 자체 내부 벤치마킹 스위트를 구축하여 여러 코드 임베딩 모델을 평가했습니다. 그 결과 Voyage-code-3 모델이 최고 성능을 보였습니다.
더 보기
보안 연구원이 Marvel Rivals에서 원격 코드 실행(RCE) 취약점을 발견했습니다. 같은 Wi-Fi 네트워크에 연결된 공격자는 다른 플레이어의 PC에서 임의의 코드를 실행할 수 있습니다. 이 취약점은 게임이 패치 적용에 RCE를 사용하고 서버 연결을 확인하지 않고 관리자 권한으로 실행되기 때문입니다. 이로 인해 PC 원격 장악이 가능해집니다. 연구원은 게임 개발자가 보안을 우선시하고, 강력한 버그 보고 시스템을 구현하고, 버그 현상금 프로그램을 설립하여 취약점 공개를 장려해야 한다고 강조합니다.
더 보기
저자는 특히 여성들이 불균형적으로 수행하는 가족 관계 유지 작업을 '감정 노동'이라고 부르는 일반적인 관행에 이의를 제기합니다. 그녀는 이 용어가 자신이 '가족 일'이라고 부르는 이 작업의 매우 중요한 의미를 모호하게 한다고 주장합니다. 이것은 단순한 감정 관리가 아니라 인간 사회 네트워크를 유지하고 생존과 지원을 보장하기 위한 필수적인 노동입니다. '감정 노동'으로 치부하는 것은 그 중요성을 과소평가하고 현대 사회에서의 지속적인 필요성을 무시하는 것입니다. 저자는 가족 관계 유지를 위한 책임을 공유해야 한다고 주장하며, 그것을 여성만의 부담으로 간주해서는 안 된다고 강조합니다.
더 보기
시니어 개발자가 자신의 소프트웨어 개발 철학을 공유하며, 처음부터 코드를 다시 작성하는 것의 함정을 강조합니다. 코드 재작성이 매력적으로 보일 때는 이미 기술 부채 누적이나 코드 복잡성 증가와 같은 피할 수 있는 실수들이 발생했음을 지적합니다. 조언으로는 확장 단계(새로운 기능)와 통합 단계를 번갈아 가며 진행하고, 다듬고 테스트하는 데 충분한 시간을 할당하고, 모범 사례를 자동화하는 등이 포함됩니다. 에지 케이스와 비정상적인 데이터를 고려하고, 정확성이 명백한 테스트하기 쉬운 코드를 작성하는 것도 중요하게 다룹니다.
더 보기
Anthropic의 안전 연구팀은 AI 탈옥에 대한 새로운 방어책으로 헌법 분류기를 발표했습니다. 합성 데이터로 훈련된 이 시스템은 유해한 출력을 효과적으로 필터링하면서 오탐을 최소화합니다. 프로토타입은 수천 시간의 인간 레드 팀 테스트를 견뎌내며 탈옥 성공률을 크게 줄였지만, 초기에는 높은 거부율과 계산 오버헤드에 시달렸습니다. 업데이트된 버전은 거부율의 약간 증가와 적당한 계산 비용만으로 강력함을 유지합니다. 기간 한정 라이브 데모에서는 보안 전문가를 초대하여 내구성을 테스트하고 점점 더 강력해지는 AI 모델의 더욱 안전한 배포를 위한 길을 열 것입니다.
더 보기
5년 동안 Rust의 `time` 크레이트를 유지보수한 후, 저자는 상당한 성능 최적화를 수행했습니다. 유클리드 아핀 함수와 영리한 정수 연산을 사용하여 `Date::to_calendar_date` 알고리즘을 재설계함으로써, 부동 소수점 연산과 분기를 피하고 성능을 57.5% 향상시켰습니다. 새로운 알고리즘은 날짜와 월을 함께 계산하는 경우뿐만 아니라 개별적으로 계산하는 경우에도 훨씬 빠릅니다. 이는 간단한 작업이 아니었지만, 저자는 성능 향상이 노력할 만한 가치가 있다고 믿습니다.
더 보기
httptap은 root 권한 없이 모든 프로그램의 HTTP 및 HTTPS 요청을 모니터링하는 Linux용 명령줄 도구입니다. 격리된 네트워크 네임스페이스에서 대상 프로그램을 실행하고 네트워크 트래픽을 가로채는 방식으로 작동합니다. Go 언어로 작성되었으며, 종속성이 없고 바로 실행할 수 있습니다. URL, HTTP 상태 코드, 요청 본문, 응답 본문 등 요청에 대한 자세한 정보를 표시하고, 데이터를 HAR 파일로 내보내는 기능도 지원합니다. httptap은 DoH(DNS over HTTPS)도 지원하며 HTTP 리다이렉트를 처리합니다.
더 보기
OpenAI의 최근 상표 출원은 AI 지원 하드웨어 기기(헤드폰, 안경, 스마트워치 등), 휴머노이드 로봇, 맞춤형 AI 칩, 양자 컴퓨팅 서비스 등 다양한 흥미로운 신제품 라인을 탐구하고 있음을 보여줍니다. OpenAI CEO 샘 알트만은 AI 하드웨어 제품이 아직 몇 년 더 남았다고 언급했지만, 이러한 움직임은 AI 모델 훈련 비용을 절감하고 성능을 개선하기 위해 OpenAI가 하드웨어 및 양자 컴퓨팅 분야에 적극적으로 진출하고 있음을 시사합니다. 이는 AI 산업 체인의 추가 확장과 미래 AI 기술 개발의 새로운 방향을 예고합니다.
더 보기
이 글에서는 느린 HDD의 쓰기 백 캐시로 NVMe SSD를 활용하여 랜덤 쓰기 성능을 획기적으로 향상시키는 Linux의 dm-writecache 커널 모듈을 자세히 다룹니다. 저자는 dm-writecache 유무에 따른 랜덤 쓰기 속도 차이를 실험을 통해 수십 배의 속도 향상을 증명합니다. bcache 및 ReadyBoost와 같은 다른 캐싱 방법 및 도구도 다루고 있으며, LVM2를 사용하는 경우와 사용하지 않는 경우 모두 dm-writecache를 설정하는 방법을 자세히 설명합니다. LVM2가 없더라도 dmsetup을 사용하여 수동으로 설정할 수 있습니다. 마지막으로 dm-writecache를 통해 얻을 수 있는 상당한 성능 향상을 요약하고, 남은 NVMe 용량을 다른 느린 드라이브의 캐시로 활용할 것을 제안합니다.
더 보기
두 명의 프로그래머가 컴퓨터 비전, 깊이 우선 탐색 알고리즘, 그리고 직접 만든 유틸리티 함수를 사용하여 Nintendo Switch의 온라인 멀티플레이어 게임인 테트리스 99를 플레이하는 "Jeff"라는 AI 프로그램을 만들었습니다. Jeff는 HDMI를 통해 게임 화면을 캡처하고, 보드 상태와 다음 블록을 분석하여 마이크로컨트롤러를 통해 Switch에 버튼 명령을 보냅니다. 처음에는 웹캠과 블루투스 제어를 목표로 했지만, 최종적으로는 HDMI 캡처 카드와 USB 연결로 전환하여 프로세스를 크게 간소화했습니다. 화면 효과 방해 및 알고리즘 최적화와 같은 과제를 극복하고, Jeff는 몇몇 게임에서 1위를 차지했습니다. 이 프로젝트는 실시간 게임 플레이를 위한 컴퓨터 비전과 고전적 AI의 조합의 강력함을 보여줍니다.
더 보기
arXivLabs는 협력자들이 arXiv의 새로운 기능을 직접 arXiv 웹사이트에서 개발하고 공유할 수 있는 프레임워크입니다. arXivLabs에 참여하는 개인 및 조직은 개방성, 커뮤니티, 우수성, 사용자 데이터 개인 정보 보호라는 arXiv의 가치를 수용하고 있습니다. arXiv는 이러한 가치를 준수하며, 이러한 가치를 준수하는 파트너와만 협력합니다. arXiv 커뮤니티에 도움이 되는 프로젝트 아이디어가 있으십니까? arXivLabs에 대해 자세히 알아보세요.
더 보기
1924년, 닐스 보어, 헨드릭 크라머스, 존 슬레이터는 당시 양자 역학이 직면했던 위기를 해결하고자 양자 방사에 대한 획기적인 이론을 제안했습니다. 이 이론은 에너지 보존 법칙이 양자 수준에서는 성립하지 않을 수 있다는 대담한 가설을 세웠습니다. 실험으로 곧 반박되었지만, 이 이론은 양자 역학에 대한 물리학계의 혼란과 탐구를 반영했으며, 보어와 아인슈타인 사이에서 오랫동안 지속된 해석에 대한 논쟁의 전조가 되었습니다. 이 논문은 나중에 양자 역학의 중요한 해석(드브로이-봄 해석 등)이 되는 '파일럿파' 개념에도 언급되어 양자 역학 역사에 독특한 발자취를 남겼으며, 더 깊이 있는 이해를 위한 탐구를 촉진했습니다.
더 보기
집주인이 Venmo를 받지 않고 세금은 수표로 내야 하나요? Check Supply는 오래된 문제에 대한 현대적인 해결책을 제공합니다. 청구서, 선물 또는 급여를 위해 무제한 수표를 보내고 실시간 추적 및 자세한 보고서를 이용할 수 있습니다. 향후 기능에는 예약된 배송, 정기적인 결제 및 잔액이 부족할 경우 경고가 포함되어 재정 관리가 간소화됩니다.
더 보기
이 글에서는 imessage-exporter 프로젝트에서 수행한 Apple의 독점 바이너리 직렬화 프로토콜인 typedstream의 리버스 엔지니어링 과정을 자세히 설명합니다. iMessage 데이터 저장에 사용되는 typedstream은 문서화되어 있지 않으며 Apple의 공개 API에 포함되지 않습니다. iMessage 데이터베이스의 BLOB 데이터를 분석하여 저자는 typedstream 형식의 패턴을 식별했습니다. 예를 들어 0x84는 데이터 블록의 시작을 나타내고, 그 다음 바이트는 길이를 나타내며, 0x86은 블록의 끝을 나타냅니다. 이러한 패턴을 사용하여 저자는 typedstream 데이터를 역직렬화하여 iMessage 데이터에 대한 플랫폼 간 액세스를 달성했습니다.
더 보기
뉴욕 시장 에릭 아담스는 건강 문제로 1주일간 공개 행사에 불참했으며, 4월에는 부패 혐의 재판을 앞두고 있습니다. 지지율은 겨우 6%입니다. 하지만 하렘 지역의 파일럿 프로그램에서 밀폐된 쓰레기통 사용과 주 6일 쓰레기 수거를 의무화함으로써 쥐 개체 수 감소라는 초기 성공을 거두었습니다. 2년간 이어진 '쥐와의 전쟁'에서 작은 승리라고 할 수 있습니다.
더 보기
이 글에서는 Python에서 널리 사용되는 JIT 데코레이터 패턴, 특히 JAX 및 Triton 라이브러리에서의 사용에 대해 자세히 설명합니다. 저자는 단순화된 예시를 사용하여 AST 기반, 바이트코드 기반, 추적 기반의 세 가지 JIT 데코레이터를 처음부터 구현합니다. AST 기반 접근 방식은 추상 구문 트리를 직접 조작하고, 바이트코드 기반 접근 방식은 Python의 바이트코드 인터프리터를 활용하며, 추적 기반 접근 방식은 런타임 시 함수 실행을 추적하여 표현식 IR을 구성합니다. 이 글에서는 각 접근 방식의 장단점을 자세히 설명하고, JAX와 Numba를 예시로 들어 실제 애플리케이션에서의 전략을 설명합니다.
더 보기
6개월 동안 저자는 여가 시간을 활용하여 Semblance라는 이름의 C언어 기반 WebAssembly 가상 머신을 구축했습니다. 이 프로젝트는 단명한 사이드 프로젝트의 반복에서 벗어나 WebAssembly 코어 사양에 대한 깊이 있는 이해를 가능하게 했습니다. 이 글에서는 모듈 디코딩, 가져오기 해결, 모듈 인스턴스화, 명령어 실행 등을 포함한 아키텍처에 대한 자세한 내용을 설명합니다. 저자는 과제와 교훈을 공유하며, 최종적으로 "Hello, World!" 프로그램을 성공적으로 실행했습니다. 이 프로젝트는 저자의 기술 향상뿐만 아니라 향후 산업 수준의 런타임에 기여하기 위한 견고한 기반을 마련했습니다.
더 보기
오랫동안 루비에서의 "스레드 경합"을 오해했습니다. 혼란스러운 싸움이 아니라, 루비 스레드는 글로벌 가상 머신 락(GVL)을 얻기 위해 정중하게 큐잉합니다. 각 스레드는 GVL을 얻고, 코드를 실행한 다음, 해제하거나 일정 시간(스레드 퀀텀, 기본값 100ms) 후에 선점됩니다. 스레드가 I/O를 수행하거나 퀀텀보다 오래 실행될 때 발생합니다. 이를 이해하는 것은 멀티스레드 애플리케이션 최적화, 특히 CPU 바운드 스레드가 I/O 바운드 스레드를 블로킹하여 테일 레이턴시가 증가하는 것을 방지하는 데 필수적입니다. CPU 바운드 스레드의 우선순위를 낮추거나 스레드 퀀텀을 줄이면 해결할 수 있지만, 최소 슬라이스는 10ms입니다.
더 보기
Klarity는 생성 모델 출력의 불확실성을 분석하는 도구입니다. 원시 확률 분석과 의미 이해를 결합하여 텍스트 생성 중 모델의 동작에 대한 심층적인 통찰력을 제공합니다. 이 라이브러리는 이중 엔트로피 분석, 의미 클러스터링, 구조화된 JSON 출력, 그리고 사람이 읽을 수 있는 통찰력을 제공하는 AI 기반 분석을 제공합니다. 현재 Hugging Face Transformers를 지원하며, 더 광범위한 프레임워크 및 모델 지원을 계획하고 있습니다.
더 보기
셰익스피어의 저자를 의심하는 것부터 역사 전체 기간의 존재를 의심하는 것까지, 역사에 대한 음모론은 많이 있습니다. 17세기 프랑스 사제 장 아르단은 이것을 극단적으로 몰고 가서 서기 1300년 이전의 거의 모든 책이 위조이며 복음서와 그리스-로마 문학의 대부분도 포함된다고 주장했습니다. 이것은 역사적 진실에 대한 지속적인 논쟁을 불러일으켰고, 614년부터 911년까지의 전체 세기가 날조되었다는 제안을 하는 학자들도 있습니다. 이 기사에서는 이러한 "유령 시간" 이론의 근원과 역사 연구 및 사회적 이해에 대한 잠재적 위험을 살펴봅니다.
더 보기
윌리엄 깁슨의 새로운 SF 소설 <페리페럴>은 극심한 물질주의, 기술, 디자인이 인간 정체성의 의미 자체에 어떻게 도전하는지 탐구한다. 비평가 저스틴 맥거크는 깁슨이 묘사하는 미래는 허구가 아니며, 그 뿌리는 이미 우리 현실에 단단히 자리 잡고 있다고 주장한다. 이 소설은 브랜드, 소비재, 기술 제품에 대한 상세한 묘사를 통해 후기 자본주의 사회의 소비주의의 복잡성과 모순, 그리고 점점 더 동질화되는 세계에서의 정체성 탐구라는 갈등을 드러낸다. 궁극적으로 고도의 기술은 가상과 현실의 경계를 모호하게 만들어 인간 정체성에 대한 의문을 제기하고 미래에 대한 심오한 성찰을 불러일으킨다. 카테고리: 기술
더 보기
2월 2일은 EU AI 법의 첫 번째 준수 마감일이며, '용납할 수 없는 위험'을 초래하는 것으로 간주되는 AI 애플리케이션이 금지됩니다. 여기에는 소셜 스코어링, 조작적인 의사 결정, 취약점 악용, 범죄 예측 및 무단 생체 인식 데이터 수집에 사용되는 AI가 포함됩니다. 준수하지 않는 기업은 최대 3500만 유로의 벌금이 부과됩니다. 일부 기업은 EU AI 팩트에 선행하여 서명했지만, 다른 규정과의 상호 작용이나 면제 사항을 포함한 구현 세부 사항에 대한 명확성은 부족합니다. 2025년 초에 추가 지침이 발표될 예정입니다.
더 보기
인디 개발자 Sinevibes의 YouTube 채널이 "스팸 및 기만적인 정책 위반"으로 삭제되어 논란이 되고 있습니다. Sinevibes는 자체 제작 제품 데모만 게시했을 뿐이며 삭제에 당황하고 있다고 주장합니다. 이 사건은 알고리즘 오류가 콘텐츠 제작자에게 미치는 영향을 보여주며 플랫폼 모더레이션에 대한 논의를 불러일으키고 있습니다.
더 보기
연구원들은 정렬 오류 아티팩트를 크게 줄이는 새로운 고속 동적 얼굴 투영 매핑(DFPM) 시스템을 개발했습니다. 이는 잘라낸 영역으로 제한된 보간/외삽 기반 얼굴 감지와 고속 회귀 트리 앙상블(ERT)을 사용한 랜드마크 감지(0.107밀리초)를 사용하는 고속 얼굴 추적 방법을 통해 달성됩니다. 렌즈 시프트가 있는 동축 프로젝터 카메라 설정은 최소 오류(1m~2m 사이에서 1.274픽셀)로 높은 광학 정렬을 유지합니다. 이 시스템은 거의 완벽한 정렬을 달성하여 메이크업과 엔터테인먼트 분야의 몰입형 경험을 향상시킵니다.
더 보기
이 튜토리얼은 베이즈적 인식론을 소개하고, 그 핵심 규범인 확률주의와 조건화 원칙에 초점을 맞춥니다. 에딩턴의 일식 관측을 사례 연구로 사용하여 베이즈적 방법이 가설에 대한 신념을 어떻게 갱신하는지 보여줍니다. 그런 다음 사전 확률, 일관성, 조건화의 범위에 대한 베이즈주의 내부의 의견 차이를 탐구하고, 네덜란드 도박 논증, 정확도 우위 논증, 비교 확률 논증 등의 기본적인 주장을 제시합니다. 마지막으로 이상화 문제와 과학에서 베이즈적 방법의 응용에 대해 논의합니다.
더 보기
Google Dart팀은 Flutter 및 Dart 개발에서 반복적인 코드 작성을 간소화하기 위한 매크로 프로젝트를 중단했다고 발표했습니다. 성능 목표를 달성하지 못했고 수년간의 프로토타이핑으로도 충분한 성과를 얻지 못했기 때문에 Google은 매크로를 더 작은 기능으로 분할합니다. Flutter 및 Dart 팀의 전 리더인 저자는 이 결정을 Steve Jobs의 "No라고 말함으로써 Yes를 위한 공간을 만든다"는 철학과 연결하여 집중의 중요성을 강조하고 Dart팀의 미래에 대해 낙관적인 전망을 제시합니다.
더 보기
Ubuntu 개발팀은 2025년 3월부터 실시간 소통을 위한 주요 플랫폼을 IRC에서 Matrix로 변경한다고 발표했습니다. 이 변경은 의사소통 효율 향상, 정보 파편화 방지, 그리고 새로운 개발자 유치를 목표로 합니다. IRC는 여전히 인기가 있지만, 기능 제한으로 인해 토론 기록, 검색, 오프라인 메시징 등의 기능을 갖춘 Matrix와 같은 풍부한 플랫폼을 선호하는 새로운 기여자들에게 매력이 떨어집니다. 많은 Ubuntu 팀과 오픈소스 프로젝트에서 이미 Matrix를 사용하고 있어 자연스러운 선택이 되었습니다. 이는 개발자 내부 소통에만 영향을 미치며, 최종 사용자에게는 영향이 없습니다.
더 보기
Anthropic의 채용 지원 양식은 지원 과정에서 AI 어시스턴트 사용을 명시적으로 금지합니다. 회사는 AI 중재 없이 지원자의 Anthropic에 대한 진정한 관심과 의사소통 능력을 평가하고자 합니다. 이를 통해 지원자의 능력과 사고 과정을 공정하고 신뢰할 수 있게 평가할 수 있습니다.
더 보기
기존의 지속 실행은 AWS Step Functions와 같은 외부 오케스트레이터에 의존하여 개발 및 배포가 복잡해집니다. DBOS Transact는 외부 오케스트레이터 없이 지속 실행을 프로그램 자체에 통합하는 경량형 오픈소스 라이브러리입니다. Postgres 데이터베이스에 프로그램 실행 상태를 지속적으로 저장하여 지속 실행을 구현하며, 프로그램이 충돌하거나 다시 시작되는 경우에도 중단된 지점에서 자동으로 복구할 수 있습니다. DBOS Transact는 지속 수면, 지속 메시징, 지속 큐와 같은 추가 기능도 제공하여 안정적이고 상태를 유지하는 프로그램의 개발을 더욱 간소화합니다.
더 보기