이 글에서는 불과 192바이트 크기의 WebAssembly 컴파일러를 자세히 설명합니다. 이 컴파일러는 역폴란드 표기법으로 작성된 산술식을 WebAssembly 모듈로 컴파일할 수 있습니다. 저자는 이처럼 압축된 코드 뒤에 숨겨진 기법들을 단계적으로 공개하며, JavaScript 기능, WebAssembly 바이트 코드 조작, 변수 및 식 최적화의 영리한 사용법을 보여줍니다. 기능은 간단하지만 이 작은 컴파일러는 WebAssembly의 작동 메커니즘을 깊이 이해하는 데 도움이 됩니다.
더 보기
Tig는 ncurses 기반의 Git용 텍스트 모드 인터페이스로, 주로 Git 저장소 브라우저로 기능합니다. 청크 레벨에서 커밋에 대한 변경 사항을 준비하는 것을 지원하며 다양한 Git 명령어의 출력에 대한 페이저로도 기능합니다. 설치 지침, 새로운 기능 및 버그 수정에 대한 자세한 릴리스 노트, 홈페이지, 매뉴얼, Stack Overflow의 Q&A 섹션과 같은 리소스를 쉽게 이용할 수 있습니다. 버그 보고 및 기능 요청은 이슈 트래커 또는 이메일을 통해 제출할 수 있습니다.
더 보기
이 블로그 게시물은 Mac OS X 독 개발 초기 엔지니어인 James Thomson의 경험을 이야기합니다. 아일랜드 애플에서 독 개발에 참여했던 기간, 초기 디자인, Steve Jobs와의 교류, 그리고 애플 퇴사 과정을 자세히 설명합니다. 프로젝트의 기밀 유지, Jobs의 엔지니어 위치에 대한 엄격한 요구, 개발 과정에서의 어려움과 성공 등 긴장감과 미스터리가 가득한 이야기입니다. Mac OS X의 핵심 요소 탄생과 소프트웨어 엔지니어의 커리어를 엿볼 수 있는 흥미로운 내용입니다.
더 보기
구룡성채는 홍콩에 있는 독특한 '헤테로토피아'였습니다. 아편전쟁 이후의 정치적 갈등에서 비롯되어 모호한 주권으로 인해 무법 지대가 되었고, 중국 난민들을 끌어들여 활기 넘치지만 불법적인 경제를 발전시켰습니다. 범죄로 악명 높았지만, 성채는 고립되지 않았으며 홍콩의 다른 지역과 복잡한 경제적, 사회적 관계를 맺고 있었습니다. 하지만 홍콩이 중국으로 반환되면서 정치적 모호성이 끝나고 성채는 철거되었으며, 홍콩 역사의 흥미로운 장을 남겼습니다.
더 보기
BYD의 고급 브랜드인 양왕은 전기 슈퍼카 U9가 웅덩이와 스파이크를 뛰어넘는 영상을 공개하며 온라인에서 큰 주목을 받았습니다. 영상에서 U9는 시속 120km로 가속하여 폭 2.5미터의 웅덩이와 길이 4미터의 스파이크를 뛰어넘는 모습을 보여줍니다. 이는 각 바퀴의 위치를 능동적으로 제어하는 첨단 DiSus-X 유압식 서스펜션 시스템 덕분입니다. U9는 4개의 전기 모터를 탑재하여 총 출력 960kW, 토크 1680Nm을 발휘하며, 최고 속도는 309km/h, 0-100km/h 가속 시간은 2.36초입니다. 현재 호주 출시 계획은 없지만, 그 성능은 확실히 주목할 만합니다.
더 보기
사이버 보안 기업 SentinelOne은 자사 인프라와 파트너 기업을 겨냥한 일련의 공격을 공개했습니다. 공격의 출처는 북한 IT 직원들의 위장 지원, 취약점을 찾는 랜섬웨어 운영자, 중국 정부 지원 조직 등 다양합니다. SentinelOne은 보안 업체 자체의 취약성을 강조하고, 이러한 위협에 대처한 경험을 공유하며, 내부 협력, 인텔리전스 기반 방어, 업계 전반의 협력 강화 필요성을 역설했습니다.
더 보기
델은 XPS, Latitude, Inspiron, Precision 브랜드를 없애고 PC 제품 라인을 Dell, Dell Pro, Dell Pro Max 세 가지 브랜드로 간소화합니다. 이는 제품 식별을 용이하게 하고 성장하는 AI 기반 PC 시장에 더 효과적으로 대응하기 위한 조치입니다. 오랜 기간 해당 브랜드를 사용해 온 고객에게는 향수를 자극하는 변화일 수 있지만, 델은 새로운 브랜드를 통해 보다 명확한 제품 분류, 향상된 내구성, 성능 개선을 제공할 것이라고 주장합니다. 이번 변경은 논란이 되었던 XPS 라인의 재설계와 신제품에서 AI 기능을 강조하는 전환에 따른 것입니다.
더 보기
이 글에서는 바이리니어 업/다운샘플링 기법에서 흔히 발생하는 오류와 함정에 대해 심도 있게 다룹니다. 저자는 바이리니어 업/다운샘플링이 단일 개념이 아니며, 정의와 구현 방식이 달라 TensorFlow와 같은 최고 수준의 라이브러리에도 영향을 미치는 오래된 버그와 혼란을 야기한다는 점을 지적합니다. 이 글에서는 픽셀 그리드 정렬, GPU 반픽셀 오프셋, 홀수/짝수 필터의 역할을 자세히 설명하고, 신호 처리 관점에서 0 삽입 및 후처리 필터링과 같은 연산을 분석하여 최종적으로 올바른 결과를 얻으려면 적절한 좌표계와 필터를 선택하는 것이 중요하다는 결론을 내립니다.
더 보기
DeaDBeeF(0xDEADBEEF)는 GNU/Linux, macOS, Windows, *BSD, OpenSolaris 및 기타 유닉스 계열 시스템과 호환되는 모듈식 크로스 플랫폼 오디오 플레이어입니다. 다양한 오디오 형식 재생, 형식 변환, 고도로 사용자 지정 가능한 UI, 그리고 확장 기능을 위한 다수의 플러그인을 지원합니다. 스크린샷은 여러 플러그인을 사용하여 Linux에서 실행되는 고도로 사용자 지정된 DeaDBeeF 인스턴스를 보여줍니다.
더 보기
Feldera는 세분화된 권한 부여(FGA)에 대한 혁신적인 접근 방식을 제시합니다. 기존 FGA 시스템은 실시간으로 권한 부여 요청을 평가하기 때문에 비효율적입니다. Feldera는 모든 권한 부여 결정을 미리 계산하고 증분 계산 엔진(SQL 기반)을 사용하여 결과를 업데이트하여 권한 부여 요청을 단순한 키-값 조회로 변환합니다. 대규모 객체 그래프에서도 Feldera는 밀리초 단위로 변경 사항을 처리하여 성능을 획기적으로 향상시킵니다. 이 글에서는 FGA 원칙을 자세히 설명하고 SQL을 사용하여 고성능 FGA 엔진을 구축하는 방법을 보여주며 대규모 데이터셋 처리에서의 우수성을 보여줍니다.
더 보기
이 글에서는 Rust에서의 단순한 `for` 루프와 `map`, `fold` 와 같은 함수형 프로그래밍 기법의 성능과 가독성 간의 절충점을 살펴봅니다. 벡터와 중첩 벡터 연산에 대한 다양한 방법을 벤치마킹하여 비교한 결과, 단순 변환에서는 `map`이 `for` 루프보다 대부분의 경우 성능이 우수하고 더 선언적인 스타일을 제공하는 것으로 나타났습니다. 그러나 중첩 벡터 평탄화나 에러 처리와 같은 더 복잡한 시나리오에서는 `for` 루프가 성능 면에서 상당한 이점을 보이며 코드 가독성도 유지합니다. 저자는 함수형 프로그래밍을 맹목적으로 선호하기보다는 상황에 맞는 최적의 도구를 선택하는 실용적인 접근 방식을 제안합니다.
더 보기
1981년, HP 9845 시리즈의 최고급 모델인 HP 9845C가 등장하여 최초로 컬러를 지원하는 HP 컴퓨터로서 강력한 그래픽 성능으로 세상을 놀라게 했습니다. 하드웨어 가속 벡터 드로잉과 폴리곤 채우기 기능, 그리고 3D 모델 렌더링을 위한 고속 행렬 연산을 지원했습니다. 처음에는 과학 기술 분야를 위해 설계되었지만, 다용도 시스템으로 널리 사용되었으며, 1983년 영화 '워 게임'의 그래픽 장면에도 기여했습니다. 데모 프로그램은 4000줄이 넘는 코드로 구성되었으며, 최대 4913색의 고해상도 그래픽으로 3D 셰이딩, 정렬된 디더링, 와이어프레임 렌더링, 인터랙티브 라이트 펜 제어, 컬러 인포그래픽 등 당시 최첨단 컴퓨터 그래픽과 휴먼 인터랙션 개념을 시연했습니다.
더 보기
본 글에서는 ptrace보다 효율적인 Linux 시스템 콜 인터셉션 방법인 seccomp user notify를 소개합니다. BPF 필터를 사용하여 원하는 시스템 콜에 대해서만 결과를 반환함으로써 성능 오버헤드를 크게 줄입니다. 저자는 자신의 도구인 copycat을 예로 들어 open() 시스템 콜을 인터셉트하여 파일을 교체하는 방법을 보여주고, seccomp user notify의 메커니즘, BPF 필터 생성, 시스템 콜 인수 처리 등을 자세히 설명합니다. TOCTOU 공격 등의 보안 문제도 논의됩니다.
더 보기
이 책은 호박이 가벼운 물체를 끌어당긴다는 탈레스의 고대 관찰에서 시작하여 중요한 발견들을 거쳐 전기와 갈바니즘의 역사를 연대순으로 기록합니다. 전기 현상을 체계적으로 연구한 길버트, 도체와 부도체를 구분한 그레이, 양극과 음극 전기를 발견한 뒤페의 업적을 자세히 설명합니다. 그리고 전기와 번개의 동일성을 증명한 프랭클린의 업적이 정점을 이룹니다. 이 텍스트는 라이덴 병, 정전기 발생기, 피뢰침 등 다양한 실험과 기기를 철저히 설명하는 동시에 여러 시대의 전기 이론을 탐구하여 과학의 진화를 통한 매혹적인 여정을 제공합니다.
더 보기
2024년 말, 두 대의 보잉 737-800 항공기가 같은 날 별도의 사고를 당하면서 보잉의 연말을 어둡게 물들였다. 한 대는 노르웨이에서 긴급 착륙 중 활주로를 이탈했지만, 탑승자 182명 전원이 무사했다. 하지만 다른 한 대는 한국에서 추락해 47명의 사망자를 냈다. 같은 날 발생한 이 두 건의 사고는 심각한 안전 문제를 제기하며, 보잉 항공기에 대한 철저한 조사를 불러일으킬 것이다.
더 보기
반복적인 구직 활동에 지친 한 개발자가 단 20분 만에 250개의 구직 지원서를 자동으로 제출하는 시스템을 개발했습니다. 이 시스템은 Python 스크립트와 대규모 언어 모델(LLM)을 사용하여 구직 정보를 수집하고, 데이터를 분석하며, 개인화된 자기소개서를 생성합니다. 스팸 필터를 피하기 위한 이메일 발송 및 추적 기능도 포함되어 있습니다. 이 글은 1부이며, 2부에서는 시스템의 개선 및 향상에 대해 설명합니다.
더 보기
저자는 세대별 가비지 컬렉션의 성능 이점을 검증하기 위해 실험을 수행했습니다. 놀랍게도 결과는 다양한 벤치마크에서 세대별 가비지 컬렉션이 전체 힙 가비지 컬렉션보다 더 오래 걸렸음을 보여주었습니다. 이 글에서는 쓰기 배리어 오버헤드, 너서리 크기 선택, 벤치마크의 대표성, 컬렉션 빈도 등 몇 가지 가능한 원인을 탐구합니다. 저자는 근본 원인을 파악하려면 추가 조사가 필요하다는 결론을 내립니다.
더 보기
이반 슈빈은 인터랙티브 다이어그램 에디터 Schemio를 개발하면서 선형대수의 행렬 연산을 교묘하게 사용하여 여러 가지 어려운 문제를 해결했습니다. 처음에는 Schemio가 단순한 도형 생성 및 조작만 지원했습니다. 하지만 계층 구조가 도입되면서 좌표 변환이 복잡해졌습니다. 저자는 처음에 재귀적인 접근 방식을 시도했지만 스케일링과 피벗 포인트 문제에 직면했습니다. 결국 슈빈은 행렬을 사용하여 변환(병진, 회전, 스케일링)을 나타내고, 행렬 곱셈으로 좌표 변환을 수행하고, 행렬의 역행렬을 교묘하게 사용하여 세계 좌표에서 로컬 좌표로의 변환 문제를 해결했습니다. 또한 행렬 연산을 통해 계층 내에서 객체를 이동할 때 위치와 회전을 정확하게 조정하여 예상치 못한 점프를 방지했습니다. Schemio의 소스 코드는 오픈소스이며 GitHub에서 공개되어 있습니다.
더 보기
HardBreak는 하드웨어 해킹과 IoT 보안에 전념하는 오픈소스 위키입니다. 초보자 가이드부터 고급 기술까지, 하드웨어 도구, 펌웨어 추출, 리버스 엔지니어링, 네트워크 분석, 무선 해킹 등을 다루는 포괄적인 튜토리얼을 제공합니다. 이 사이트는 커뮤니티의 기여를 장려하며, 교육적 목적임을 강조하는 면책 조항을 포함하고 있습니다.
더 보기
이광우 대통령경호처장이 비상계엄 선포 2시간 전인 12월 3일 오후 8시 20분에 챗GPT에서 '계엄' 등의 키워드를 검색한 사실이 드러났다. 이 처장은 포렌식 과정의 시간 오차라고 주장하지만, 계엄 계획을 사전에 인지하고 있었을 가능성이 제기된다. 또 다른 청와대 고위 관계자 김성훈 차장은 증거인멸 혐의를 받고 있다. 두 사람은 21일 구속 전 피의자 심문을 받는다.
더 보기
세사미 연구팀은 더욱 자연스럽고 감정적인 AI 음성 어시스턴트를 만드는 데 상당한 진전을 이루었습니다. 그들의 대화 음성 모델(CSM)은 다중 모드 학습을 사용하여 맥락, 감정, 대화 이력을 고려하여 맥락에 적합한 음성을 생성합니다. 이 기술은 기존의 텍스트 음성 변환(TTS) 모델을 능가하며, 객관적 및 주관적 평가를 통해 자연스러움과 표현력이 향상되었음을 보여줍니다. 하지만 현재는 주로 영어를 지원하며, 앞으로 더 많은 언어를 지원하고 복잡한 대화 구조에 대한 이해도를 높일 계획입니다.
더 보기
캘리포니아의 한 남성인 후안 카탈란은 자신이 저지르지 않은 살인죄로 사형 선고를 받을 위기에 처했습니다. 유일한 목격자의 진술이 카탈란과 일치했지만, 그는 무죄를 주장했습니다. 그의 여자친구는 사건 당일 밤 그가 딸과 함께 다저스 경기를 관람했다는 사실을 기억해냈습니다. 변호사는 HBO 프로그램 ‘흥미로운 억제’의 경기장 촬영분을 확보하여 카탈란과 그의 딸의 모습을 찾아내, 그의 알리바이를 증명했습니다. 이 예상치 못한 증거로 인해 기소는 취하되었고, 목격자 증언의 신뢰성과 잘못된 유죄 판결의 위험성이 드러났습니다.
더 보기
F*(에프 스타라고 발음)는 순수 함수형 프로그래밍과 부작용이 있는 프로그래밍을 모두 지원하는 범용 증명 지향 프로그래밍 언어입니다. 종속 타입의 표현력과 SMT 솔버 및 전술 기반 대화형 정리 증명에 기반한 증명 자동화를 결합합니다. F* 프로그램은 기본적으로 OCaml로 컴파일됩니다. KaRaMeL 도구를 사용하여 F#, C, Wasm으로 추출하거나 Vale 툴체인을 사용하여 어셈블리로 추출할 수도 있습니다. F*는 F*로 구현되고 OCaml을 사용하여 부트스트랩됩니다. F*는 GitHub에서 오픈 소스이며 Microsoft Research, Inria 및 커뮤니티에서 적극적으로 개발하고 있습니다. Mozilla Firefox 및 Linux 커널 등 다양한 프로젝트에서 사용되고 있으며, 보안, 암호화, 시스템 개발 분야에서의 응용을 보여줍니다.
더 보기
Automattic은 WP Engine의 소송으로 인한 자원 분산 및 커뮤니티의 비판을 이유로 WordPress 프로젝트에 대한 후원 기여를 줄일 것이라고 발표했습니다. 이러한 변화를 통해 Automattic은 WordPress.com 및 WooCommerce와 같은 자체 수익 사업에 집중하고 동시에 다른 회사들이 약속한 자원봉사 시간을 커뮤니티 전체의 이익을 위해 조정하여 보안 및 중요 업데이트에 중점을 둘 것입니다. Automattic은 이것이 WordPress에서 철수하는 것이 아니라 WordPress의 장기적인 건전성과 더 효과적인 기여를 보장하기 위한 전략적 조정이라고 강조했습니다.
더 보기
무료 게임 Marvel Rivals는 초기 단계에서 Proton 및 CrossOver와 같은 호환성 도구를 사용한 Mac 및 Steam Deck 사용자들에게 잘못하여 100년간의 게임 접근 금지를 부과했습니다. 플레이어들의 항의와 CodeWeavers CEO의 개입 후, NetEase는 금지를 해제하고 안티 치트 시스템의 정확도 향상을 약속했습니다. 이는 공정한 게임 환경과 다양한 플랫폼 호환성을 조화시키는 어려움을 보여주는 사례입니다.
더 보기
Y Combinator를 포함한 최고 수준의 투자자들로부터 투자를 유치한 스타트업 FurtherAI는 AI 동료를 구축하여 보험 업무 워크플로우를 자동화하고 있습니다. 이러한 AI는 비정형 문서 처리, 데이터 입력, 심지어 전화 통화까지 처리할 수 있습니다. FurtherAI의 목표는 인간 직원과 동등한 수준의 신뢰성, 적응력, 그리고 지속적인 학습 능력을 갖춘 AI를 만드는 것입니다. 현재 제품 디자이너, 응용 연구 엔지니어, 소프트웨어 엔지니어 등 다양한 직책에 대한 채용을 진행 중이며, AI와 보험 업계에 관심 있는 분들에게 좋은 기회가 될 것입니다.
더 보기
유럽연합 집행위원회는 디지털 시장법(DMA)에 따른 예비 조사 결과를 바탕으로 애플에 아이폰과 타사 기기 간 상호 운용성을 보장하기 위한 조치를 취하라고 명령했습니다. 이는 경쟁을 촉진하고 애플이 iOS의 우위를 활용하여 스마트워치, 헤드폰, VR 헤드셋 등 타사 제품과의 호환성을 제한하는 것을 막기 위한 것입니다. 애플은 이로 인해 사용자 개인 정보 보호 및 혁신이 저해될 수 있다고 반박하고 있습니다. 집행위원회는 2025년 3월경 최종 결정을 내릴 것으로 예상됩니다.
더 보기
일론 머스크의 X 플랫폼(구 트위터)이 최근 Signal의 "Signal.me" URL 링크를 차단하여 사용자가 DM, 공개 게시물 또는 프로필 정보에 게시하는 것을 막았습니다. 이 조치는 우려를 불러일으키는데, Signal은 엔드투엔드 암호화와 개인 정보 보호에 중점을 두고 있어 언론인과 내부 고발자에게 중요한 의사소통 도구이며, 최근 미국 정부 데이터 유출 논란에서도 중요한 역할을 했습니다. 사용자는 Signal 사용자 이름을 수동으로 공유할 수 있지만, 이러한 추가적인 마찰은 의사소통에 영향을 미치고 정보 보안과 언론의 자유를 위협할 수 있습니다. 이 차단은 X의 정보 통제 강화를 시사하며, 그 동기는 아직 불분명합니다.
더 보기
Boar's Head 델리 미트와 Yu Shang 즉석 육류 및 가금류 제품과 관련된 두 건의 치명적인 리스테리아균 발생으로 수십 명의 환자와 여러 명의 사망자가 발생한 후 미국 농무부 식품안전검사국(FSIS)이 마침내 조치를 취했습니다. Boar's Head 시설의 결함을 사전에 인지하고 있었음에도 불구하고 FSIS는 발생 이후까지 개입하지 않았습니다. 해당 기관은 향후 발생을 예방하기 위해 검사 범위 확대, 검사관 교육 향상, 시설 감독 강화 등의 더욱 엄격한 조치를 발표했습니다. 이는 식품 안전 규정의 취약성과 신속하고 효과적인 개입의 시급성을 보여줍니다.
더 보기
Qubes OS는 Xen 하이퍼바이저 기반의 보안 중심 운영 체제로, 멀웨어 및 데이터 유출을 방지하기 위해 애플리케이션과 시스템 환경을 격리합니다. Edward Snowden과 같은 보안 전문가들의 지지와 Freedom of the Press Foundation과 같은 기관에서 사용되고 있습니다. Qubes는 사용자에게 보안 제어 권한을 부여하고, 여러 운영 체제를 지원하며, Tor를 통한 익명 브라우징을 위한 Whonix를 통합하여 강력한 개인 정보 보호 기능을 제공합니다.
더 보기