보안 연구원 Orange Tsai는 Windows의 새로운 공격 영역인 WorstFit을 공개했습니다. Best-Fit 문자셋 변환 기능을 악용하여 UTF-16에서 ANSI로 변환될 때 예상치 못한 변환을 이용, 경로 탐색, 인수 주입, 심지어 원격 코드 실행(RCE)까지 가능하게 합니다. 다양한 언어 설정에서 Best-Fit 매핑의 예측 불가능성은 여러 유명 애플리케이션에 영향을 미칩니다. 이 연구는 오픈소스 생태계에서 이 문제를 해결하는 어려움을 강조하고 와이드 문자 API 사용과 같은 완화 방안을 제시합니다.
더 보기
이 글은 논리학에 대한 시리즈의 첫 번째 글로, 추론을 위한 강력한 시스템으로서 시퀀트 계산을 소개합니다. Gentzen의 표기법을 사용하여 저자는 논리적 추론을 기호적으로 표현하는 방법을 설명하고, 추론 규칙, 유도 트리, 메타 변수를 다룹니다. 이 글에서는 시퀀트 계산, 시퀀트 자연 연역, 자연 연역을 비교하고, 단측 시퀀트 계산과 직관주의 논리에 대해서도 간략하게 설명합니다. 마지막으로, 직관주의 논리에서의 증명 항과 단순 타입화된 람다 계산과의 관계를 간략하게 소개합니다.
더 보기
HTTP Feeds는 간단한 HTTP API를 사용한 비동기 이벤트 스트리밍 및 데이터 복제를 위한 최소한의 사양입니다. 시간순으로 정렬된 CloudEvents 시퀀스를 일괄 응답으로 반환하는 간단한 HTTP GET 엔드포인트를 정의합니다. `lastEventId` 쿼리 매개변수를 사용하여 클라이언트는 실시간 업데이트를 무한히 폴링할 수 있으며 메시지 브로커(Kafka 또는 RabbitMQ 등)의 대안을 제공합니다. 이 사양에서는 지연 시간 감소를 위한 롱 폴링, 효율성을 위한 데이터 압축 및 삭제, 견고한 이벤트 처리를 위한 이벤트 ID 처리에 대해서도 설명합니다.
더 보기
OmniHuman-1은 사실적인 인간 비디오를 생성할 수 있는 AI 모델입니다. 다양한 시각 및 오디오 스타일을 지원하며, 임의의 종횡비와 신체 비율(프로필, 반신, 전신)로 비디오를 생성합니다. 사실성은 포괄적인 모션, 조명, 텍스처 세부 정보에서 비롯됩니다. 이 모델은 노래, 대화, 다양한 포즈 등 다양한 입력을 처리하며, 만화나 어려운 포즈도 처리합니다. 정확한 제어를 위해 오디오 및 비디오 구동 신호를 사용합니다. 윤리적 고려 사항도 고려되었으며, 이미지와 오디오는 공개 도메인 또는 생성된 모델에서 가져옵니다.
더 보기
트럼프 행정부 시절 멕시코 만을 '아메리카 만'으로 개명하는 행정 명령에 따라 구글 지도가 지도를 업데이트한 데 대해 멕시코가 강력 반발하고 있다. 클라우디아 셰인바움 대통령은 명칭 변경이 미국의 관할 해역으로만 제한되지 않을 경우 구글을 고소하겠다고 발표했다. 셰인바움 대통령은 행정 명령이 미국의 배타적 경제 수역에만 적용될 뿐 만 전체에는 적용되지 않는다고 주장하며, 구글의 행동은 멕시코의 주권을 침해한다고 비판했다. 멕시코 정부는 구글에 시정을 요구하는 서한을 보냈다.
더 보기
일반적인 인식과 달리 SQLite는 소규모 애플리케이션에만 적합한 것이 아닙니다. 이 글에서는 Cloudflare Durable Objects나 Turso와 같은 서비스를 통해 SQLite가 하이퍼스케일 환경에서 놀라운 성능을 발휘할 수 있다고 주장합니다. 이러한 플랫폼은 엔티티마다 SQLite 데이터베이스를 할당하여 기존 분할형 데이터베이스의 복잡성을 해결합니다. 이 접근 방식을 통해 스키마의 경직성, 스키마 변경의 어려움, 파티션 간의 복잡한 작업과 같은 문제가 해결됩니다. 오픈소스 자체 호스팅 솔루션이나 표준화된 프로토콜 부족과 같은 과제는 남아 있지만, SQLite의 ACID 준수, 효율적인 I/O, 풍부한 SQL 확장 기능은 기존 분할형 데이터베이스에 대한 매력적인 대안이 됩니다.
더 보기
컴퓨터 역사에 관한 책을 쓰기 위해 조사 중인 한 저자가 수많은 역사적인 웹 페이지를 보관하는 개인 미러 사이트를 만들었습니다. 특히 90년대 후반부터 끊어진 링크라는 답답한 현실에 대처하기 위해 저자는 공들여 원본 소스를 미러링하여 Unix, Linux, BSD, Microsoft, Atari 등에 대한 귀중한 정보에 대한 접근을 보장합니다. 이 사이트는 컴퓨터 역사의 중요한 순간과 기술에 대한 신뢰할 수 있는 아카이브를 제공하며, 연구자와 애호가들에게 풍부한 자료가 됩니다.
더 보기
블로그 업데이트 빈도가 낮아 고민하던 저자는 독특한 생산성 향상 방법을 채택했습니다. 매달 블로그 게시글을 하나 이상 게시하지 못하면 친구에게 30유로를 지불하는 자기 처벌 방식입니다. 소규모 지속적인 결과물이 소수의 대규모 결과물보다 효과적이라는 생각에서 착안하여 이러한 약속을 통해 정기적인 글쓰기 동기를 높이고 있습니다. 이 시스템을 미니어처 페인팅에도 적용하여 연말까지 블로그 게시글 52개, 페인팅 완료된 미니어처 60개를 목표로 하고 있습니다. 저자는 결과를 보고하고 이 방법을 다른 프로젝트에도 적용할 계획입니다.
더 보기
스탠포드 대학교의 기술 보고서는 '거울 박테리아' 생성의 가능성과 잠재적 위험에 대해 자세히 설명합니다. 거울 박테리아는 모든 키랄 분자(단백질, 핵산, 대사산물)가 거울상으로 대체되어 자연적으로 진화할 수 없지만, 과학 기술의 발전으로 합성이 가능해지고 있습니다. 면역 체계와 포식은 키랄 분자의 상호 작용에 의존하기 때문에, 거울 박테리아는 감지와 통제를 피해 통제 불능으로 확산되어 인간, 동물, 식물, 환경에 심각한 위협을 줄 수 있습니다. 이 보고서는 합성, 생물 안전, 인체 영향, 의료 대책, 생태적 영향 등을 포괄적으로 평가하고, 이러한 잠재적 생물 안전 위험에 대한 주의를 촉구합니다.
더 보기
닌텐도는 스위치 2의 첫 번째 예고편을 공개하고 기존 스위치 게임 대부분(물리적 및 디지털 모두)과의 하위 호환성을 확인했습니다. 하지만 모든 스위치 게임이 완벽하게 호환되는 것은 아닙니다. 자세한 내용은 추후 공개될 예정입니다. 닌텐도 스위치 온라인 멤버십은 스위치 2에서도 계속 사용할 수 있습니다. 스위치 2에 대한 자세한 내용은 2025년 4월 2일 닌텐도 다이렉트에서 공개될 예정입니다.
더 보기
북한 공작원으로 의심되는 자들로부터의 사기성 구직 지원이 미국과 유럽의 기술 기업들을 타겟으로 급증하고 있습니다. 지난 6년간 미국 기업에 최소 8800만 달러의 손해를 입힌 이 정교한 사기는 위조된 이력서를 사용하며, 많은 경우 딥페이크와 AI 생성 답변을 이용하여 채용 담당자를 속입니다. 기업들은 강화된 배경 조사, AI 기반 지원자 선별, 법 집행 기관과의 협력 등으로 맞서고 있습니다. 그러나 이러한 사기의 진화하는 성격과 범죄 전술의 적응은 지속적인 과제입니다.
더 보기
국제 법 집행 기관의 대규모 작전으로 마약 및 무기 밀매부터 데이터 절도, 불법 스트리밍 서비스에 이르기까지 다양한 불법 활동에 연루된 다크웹 사이트 수백 개가 압수되었습니다. 이번 전 세계적 작전은 국제 협력을 통한 사이버 범죄 대응 노력을 보여주는 동시에 인터넷이 무법 지대가 아님을 경고하고 있습니다.
더 보기
PC 및 스마트폰 제조업체의 수요가 예상보다 낮아 NAND 플래시 시장에서 공급 과잉이 발생하여 가격이 급락하고 있습니다. TrendForce는 2025년 NAND 플래시 성장률을 30%에서 10~15%로 하향 조정했습니다. 각 제조업체는 시장 압력에 대응하기 위해 감산에 나서고 있지만, 가격은 2025년 하반기에 회복될 것으로 예상됩니다. 단기적인 시장 부진은 있지만, 장기적으로는 AI 서버의 고용량 SSD 수요가 NAND 플래시 시장 성장을 견인할 것으로 전망됩니다.
더 보기
남덴마크대학교(SDU)의 두 건의 독립적인 연구에 따르면, Ozempic으로 치료받는 2형 당뇨병 환자는 심각하고 영구적인 시력 상실을 유발하는 비동맥염성 전방 허혈성 시신경병증(NAION)을 발병할 위험이 상당히 높은 것으로 나타났습니다. 덴마크 등록 데이터를 기반으로 한 이러한 대규모 연구에서는 Ozempic으로 인해 NAION 위험이 2배 이상 증가하는 것으로 확인되었습니다. 연구진은 의사와 환자가 Ozempic의 이점과 위험에 대해 논의하고, 한쪽 눈에 NAION이 발견되면 치료 중단을 고려할 것을 권장합니다.
더 보기
영국 서섹스 주 의회는 초기 260만 파운드 예상치에서 급증한 4000만 파운드(5000만 달러) 규모의 오라클 기반 전환 프로젝트를 진행하고 있습니다. 이를 위한 자금 조달을 위해 의회는 부동산 등 자산을 매각하고 있으며, 과거 소방서도 포함되어 있습니다. 2021년 시작 예정이었던 이 프로젝트는 여러 차례 연기되었고, 시스템 통합 업체 변경 및 2030년까지 연장된 오라클과의 새로운 계약을 체결했습니다. 이는 대규모 IT 프로젝트의 비용 초과 위험과 지방 자치 단체가 직면한 재정적 어려움을 보여줍니다.
더 보기
딜런 황의 개발자 도구 스타트업 Konfig가 3년 만에 문을 닫았습니다. Konfig는 API 통합을 단순화하는 데 초점을 맞추었으며, 주력 제품은 SDK 생성기, API 문서, API 테스트 도구였습니다. 초기에는 어느 정도 성과를 거두었지만, 계약 체결의 어려움과 낮은 가격으로 인해 급성장을 달성하지 못했습니다. B2B SaaS AI 제품으로의 전환도 성공적이지 못했습니다. 현재 황 씨는 Konfig의 모든 코드베이스(주력 제품, 실패한 전환, 다양한 지원 스크립트 등)를 오픈소스로 공개하여 다른 사람들에게 기여하기를 바라고 있습니다. 스타트업은 실패로 끝났지만, 황 씨는 얻은 귀중한 경험을 강조하고 있습니다.
더 보기
공학적인 질문은 완벽한 구형 루퍼트의 눈물을 만드는 가능성을 탐구합니다. 루퍼트의 눈물은 녹은 유리를 차가운 물에 떨어뜨려 형성되는 유리 물체로, 독특한 내부 응력으로 인해 꼬리 부분을 제외하고는 매우 강인합니다. 이 글에서는 이론적으로는 무중력 환경에서 냉각 속도를 제어하고 중력의 영향을 제거함으로써 구형 루퍼트의 눈물을 만들 수 있지만, 상당한 실질적인 어려움이 남아 있다는 점을 논의합니다.
더 보기
이 프로젝트는 libuv 라이브러리를 사용하여 비동기 작업을 수행하는 Lua 스크립트에 C 컴파일 모듈을 통합하는 방법을 탐구합니다. Lua 인터프리터, libuv 라이브러리, 사용자 정의 C 모듈을 포함하여 C 모듈을 컴파일하고 Lua에 로드하는 방법을 보여주고 간단한 HTTP 서버를 만듭니다. 프로젝트는 명확한 구조를 가지고 있으며, 설치 및 컴파일 절차, 샘플 코드가 자세히 설명되어 있어 Lua와 C 통합, 비동기 프로그래밍 기술 학습에 적합합니다.
더 보기
12월 5일 출시되는 SF 로그라이크 게임 Caves of Qud는 놀라운 138억 픽셀에 달하는 거대한 세계 지도를 자랑합니다! 이 방대한 지도는 240x75개의 구역으로 구성되며, 각 구역은 25x80개의 타일, 각 타일은 16x24픽셀의 해상도를 가지고 있습니다. 웹 뷰어를 사용하면 지표면뿐만 아니라 첫 번째 지하 레벨(데이터 크기로 인해 나머지 20억 개 이상의 레벨은 생략되었습니다)도 탐험할 수 있습니다. 숨 막힐 듯한 스케일은 탐험의 기회로 가득한 장대한 판타지 모험을 약속합니다.
더 보기
이 글에서는 패스워드 매니저에 2단계 인증(2FA) 코드를 저장하는 것의 보안상 영향을 살펴봅니다. 보안 전문가들은 1Password와 같은 패스워드 매니저에 2FA 코드를 사용자 이름과 비밀번호와 함께 저장하는 것은 이상적이지 않지만(침해 위험이 증가함), 편의성이 위험을 상쇄한다고 주장합니다. 2FA의 주요 이점은 피싱 공격 방지이며, 패스워드 매니저가 침해당하더라도 공격자는 2FA 코드가 필요합니다. 대부분의 사용자에게 패스워드 매니저에 2FA 코드를 저장하는 것은 허용 가능한 것으로 간주되지만, 신뢰할 수 있는 패스워드 매니저를 사용하고 YubiKey 사용 또는 오프라인 복구 코드 저장과 같은 추가 보안 조치를 취하는 것이 좋습니다.
더 보기
보안 연구원이 GitHub를 이용한 대규모 사기를 적발했습니다. 게임 모드, 크랙된 소프트웨어 등 매력적인 다운로드로 위장한 수천 개의 저장소가 사용자 데이터를 훔치기 위해 만들어졌습니다. 실행되면 이러한 악성 프로그램은 암호화폐 지갑 키, 은행 계좌 정보, 소셜 미디어 자격 증명 등의 민감한 정보를 수집하여 Discord 서버로 전송합니다. 이러한 사기 저장소 생성에 대한 자세한 가이드를 분석하여 연구원은 잠재적으로 악성인 1115개의 저장소를 식별했습니다. 그중 불만이 있는 공개 문제는 10% 미만입니다. Redox로 식별된 맬웨어는 피해자의 컴퓨터에서 다양한 데이터 포인트를 체계적으로 수집하여 Discord 웹훅으로 전송합니다. 이 사례는 사이버 범죄의 규모와 정교함을 보여주며 GitHub와 같은 플랫폼에서 보안 조치를 강화해야 할 필요성을 강조합니다.
더 보기
소니는 2025년 2월 블루레이 디스크, MD 녹음 디스크, MD 데이터 디스크, 미니 DV 카세트의 모든 모델 생산을 중단한다고 발표했습니다. 후속 모델은 출시되지 않습니다.
더 보기
1956년, 독립을 앞둔 가나를 방문한 루이 암스트롱은 문화적 폭발을 일으켰습니다. 그의 공연은 가나의 토착 음악인 하이라이프와 어우러져 하이라이프를 국제적으로 인정받게 만들었고, 가나 독립 운동에서의 역할을 확고히 했습니다. 암스트롱의 여정은 가나 음악의 세계적인 확산을 촉진했을 뿐만 아니라, 그의 음악적 뿌리를 추적하고 아프리카 문화에 대한 이해를 심화시키는 기회가 되었습니다. 오늘날 가나의 재즈와 하이라이프는 국가의 역사에 대한 새로운 주목과 '귀환의 해' 이니셔티브와 관련하여 부활하고 있습니다.
더 보기
lua-match는 Sum 타입과 Switch 기능을 제공하는 최소한의 Lua 라이브러리입니다. 다양한 데이터 타입과 조건 분기를 깔끔하고 효율적으로 처리하기 위해 태깅 함수를 활용합니다. 간단한 태깅 함수와 switch 테이블을 사용하여 Sum 타입과 같은 동작과 패턴 매칭을 쉽게 구현할 수 있으며, Lua 코드를 크게 간소화할 수 있습니다. 이 라이브러리는 오픈 소스이며 MIT 라이선스를 사용합니다.
더 보기
이 글은 기후 변화와 시스템 위험의 증가로 인해 세계가 보험 불가능해질 가능성이 높아지고 있음을 탐구합니다. 저자는 허리케인 보험에 가입할 수 없었던 자신의 경험으로 시작하여 기후 변화로 인한 극단적인 기상 현상의 증가를 강조하고, 보험 회사가 고위험 지역에서 철수하거나 보험료를 급격히 인상해야 하는 상황을 설명합니다. 이 글은 순전히 정치적 또는 기술적인 해결책에 대한 의존을 비판하며, 정부가 보험 회사에 보험 제공을 강제하는 정책은 지속 불가능하며 궁극적으로 납세자에게 막대한 손실을 초래할 것이라고 주장합니다. 기후 변화로 인해 발생한 역사적인 사회적 불안 사례가 검토되고, 현재의 '무한한 가능성'이라는 사고방식이 자연이 부과한 제약을 무시하고 있음이 강조됩니다. 이 글은 당연하게 여겨지는 많은 것들이 경제적으로 실행 불가능해지고 있으며 증가하는 시스템 위험은 순전히 정치적 또는 기술적인 해결책의 범위를 넘어섰기 때문에 세계가 보험 불가능해지고 있다고 결론짓습니다.
더 보기
이 글에서는 Rust의 비동기 프로그래밍에서 Pin과 pin-project crate를 사용하는 방법을 자세히 설명합니다. Future의 연관 타입과 타입 추론부터 시작하여 Pin의 필요성, 가변 참조와 값 이동으로 인한 메모리 안전성 문제, 그리고 Pin을 사용한 해결책을 설명합니다. Pin의 기능, 사용법, pin-project crate를 사용한 코드 간소화, 안전하고 견고한 비동기 상태 머신 구축 방법, pin-project 사용 시 주의 사항 등을 자세히 설명합니다.
더 보기
SeleniumBase는 웹 자동화, 테스트, 봇 탐지 우회를 위한 강력한 Python 프레임워크입니다. Selenium WebDriver를 기반으로 하며 pytest와 같은 테스트 러너와 통합되어 페이지 요소의 자동 대기, 테스트 보고서 생성, 대시보드, 여러 브라우저 및 운영 체제 지원 등 광범위한 기능을 제공합니다. SeleniumBase는 또한 UC 모드 및 CDP 모드와 같이 은밀성과 안정성을 높이는 모드를 포함하며, 포괄적인 예제와 문서를 통해 빠른 도입이 가능합니다.
더 보기
1970년대에 태어난 한 아이가 전에 소유한 적이 없는 희귀한 소니 FX-300 '잭칼 300' 라디오를 회상합니다. 주로 일본에서 판매된 이 라디오는 미니 CRT TV 화면, 정밀 아날로그 튜닝, 상단에 장착된 카세트 플레이어/레코더, AM/FM 수신 및 멋진 레트로 디자인을 갖추고 있습니다. 저자는 그 독특한 아름다움을 칭찬하며 이 '성배' 기기와 관련된 독자들의 경험을 구합니다.
더 보기
신경 AI 연구 박사 과정 학생이자 컴퓨터 엔지니어인 저자는 9년 동안 Arch Linux를 사용한 후 새로운 MacBook Pro로 전환했습니다. 이 글에서는 이들이 하루 만에 새 기기를 설정하여 이전 워크플로우를 최대한 재현한 방법을 자세히 설명합니다. 그들은 패키지 관리자로 Nix, 윈도우 관리자로 AeroSpace, 런처로 Raycast를 사용하고 zsh 쉘과 Zed 에디터와 같은 익숙한 도구를 유지했습니다. macOS의 패키지 관리는 Arch Linux만큼 편리하지 않지만, 더 안정적인 하드웨어와 향상된 사용자 경험을 위해 타협했습니다.
더 보기
1800년 전, 바빌로니아인들은 부채가 자산을 초과하는 재산 분할 방법을 고안했습니다. 놀랍게도 이 방법은 현대 게임 이론의 최적 해법과 일치합니다. 설명 비디오에서는 "수력 배분"과 유사한 그들의 독창적인 시스템이 설명되어 있으며, 채권자와 상속인 간에 자산을 공정하게 분배하는 방법을 보여줍니다. 이것은 고대 문명의 놀라운 창의성을 보여주며, 고대의 지혜와 현대 기술의 상호 작용에 대해 생각하게 만듭니다.
더 보기