이 글은 '체제 전환'이라는 용어의 진화를 추적하며, 초기에는 미국이 주도한 2차 대전 이후 신자유주의 질서를 의미했지만, 현재는 군사 개입과 관련되어 사용되는 것을 살펴봅니다. 2008년 위기 이후 대규모 케인즈주의적 개입에도 불구하고 신자유주의의 핵심 원칙은 유지되었고, 불평등이 더욱 심화되었습니다. 현상황에 도전하는 좌우파 포퓰리즘 운동이 등장했지만 명확한 대안은 제시하지 못하고 있습니다. 저자는 진정한 '체제 전환'은 서구 사회가 큰 외부 충격에 직면할 때만 가능하며, 신자유주의의 지배에서 벗어날 수 있을 것이라고 주장합니다.
더 보기
멕시코시티에 위치한 YC 지원 핀테크 스타트업 Blaze에서 주니어 소프트웨어 엔지니어를 채용하고 있습니다. 이 역할은 Cursor와 같은 AI 도구를 활용하여 결제 플랫폼의 프론트엔드와 백엔드 개발을 가속화하는 것을 포함합니다. 이상적인 지원자는 JavaScript, React 및 AI 개발 도구에 대한 탄탄한 지식과 핀테크에 대한 열정을 가져야 합니다. Blaze는 경쟁력 있는 보상, 주식, 그리고 빠르게 성장하는 환경에서 성장할 수 있는 기회를 제공합니다.
더 보기
저자는 TeleMessage Explorer라는 오픈소스 도구를 공개했습니다. 이 도구는 트럼프 전 대통령의 국가안보보좌관이 사용했던 수정된 Signal 앱을 제공하는 TeleMessage의 대규모 데이터 유출 사건을 분석하도록 설계되었습니다. 이 도구를 통해 언론인과 연구자들은 데이터를 분석하고 귀중한 통찰력을 얻을 수 있습니다. 이 글에서는 도구 사용법을 자세히 설명하고 24세 백악관 직원의 Signal 메시지 등 데이터를 탐색하는 기능을 보여줍니다. TeleMessage 고객으로는 DC 경찰, Andreessen Horowitz, JP 모건 등이 있습니다. 저자는 데이터가 최신 상태인 동안 언론인이 이 도구를 사용하여 더 많은 이야기를 발굴할 것을 권장합니다.
더 보기
2015년, 라즈베리 파이 2에서 기묘한 하드웨어 취약점이 발견되었습니다. 카메라 플래시로 인해 기기가 즉시 꺼지는 현상이었습니다. '제논 사망 플래시'라고 불리는 이 현상은 커뮤니티 전체의 조사를 불러일으켰습니다. 테스트 결과, 범인은 U16 전원 레귤레이터 칩인 것으로 밝혀졌습니다. WL-CSP 패키지는 실리콘 다이를 노출시켜 강한 빛에 취약하게 만들었고, 이로 인해 크래시가 발생했습니다. 커뮤니티는 해결책(블루택!)을 찾아냈고, 라즈베리 파이 재단은 개선된 하드웨어 리비전을 출시했습니다. 이 사건은 커뮤니티의 힘을 보여주고, 현대 전자 제품의 소형화 위험과 더욱 포괄적인 테스트의 필요성을 강조했습니다.
더 보기
CD Projekt Red (CDPR)은 최근 실적 보고서에서 사이버펑크 2077의 속편(가제: 사이버펑크 2)이 개념 단계에서 프리프로덕션 단계로 넘어갔다고 발표했습니다. 현재 96명의 개발자가 프로젝트에 참여하고 있으며, 코드네임은 "Project Orion"입니다. 공식 출시일은 아직 공개되지 않았지만, 회사는 "적절한 시기에" 출시할 것이라고 밝혔습니다. 한편, 사이버펑크 2077 확장팩 팬텀 리버티는 1000만 장 이상 판매되었으며, 6월 5일에는 닌텐도 스위치 2 출시 타이틀로 출시될 예정입니다. CD Projekt Red는 위쳐 3 와일드 헌트 10주년을 기념하며, 6000만 장 이상의 판매고를 기록했다고 발표했습니다.
더 보기
하버드 대학교의 피어스 논문은 8만 페이지가 넘는 원고로 구성되어 있으며, 편집상 큰 과제를 제시합니다. 이 글에서는 대부분 미발표된 방대한 저작물의 선정과 편집에 사용된 엄격한 원칙을 자세히 설명합니다. 현대적인 텍스트 연구와 디지털 도구를 활용하여 편집자들은 다양한 분야에서 피어스의 지적 성과를 가장 완전하고 정확하게 표현하는 것을 목표로 합니다.
더 보기
Rust의 강력한 타입 시스템은 유명하지만, 복잡한 타입 오류는 개발자에게 좌절감을 줄 수 있습니다. 이 글에서는 Rust Trait 추론 트리를 그래픽 인터페이스로 시각화하여 복잡한 Trait 오류를 단계별로 이해하는 데 도움이 되는 대화형 디버거 Argus를 소개합니다. Argus는 하향식 및 상향식 두 가지 뷰를 제공하며, 긴 타입 및 경로의 대화형 확장을 통해 오류 파악 효율성을 크게 향상시킵니다. 사용자 연구 결과, Argus를 사용하면 Trait 오류 파악 속도가 3.3배 향상되는 것으로 나타났습니다. Argus는 VSCode 확장 프로그램으로 사용 가능하며, 소스 코드는 오픈소스입니다.
더 보기
뛰어난 미국인 사제인 레지날드 포스터는 40년 동안 바티칸에서 교황의 라틴어 비서로 일했습니다. 그는 라틴어 대가일 뿐만 아니라, 독특한 교육 방식으로 수천 명의 라틴어 애호가를 양성하며 교회의 라틴어 유산에 큰 영향을 미쳤습니다. 이 글은 강력한 추기경에 의해 수도회에서 발탁된 그의 전설적인 삶과 라틴어 학습을 로마의 역사와 문화와 결합시킨 그의 파격적인 교육 방식에 대해 이야기합니다. 포스터의 유산은 그가 교육한 수많은 학자와 교사들을 통해 지속되며, 고대 언어에 새로운 생명을 불어넣고 있습니다.
더 보기
Rivulet은 기존 키워드를 버리고 대신 서예를 연상시키는 시각적 스타일을 채택한 독특한 프로그래밍 언어입니다. 코드는 흐르는 선으로 작성되며, 그 논리는 대부분의 프로그래밍 언어와 달리 자연어의 진화에 더 가깝습니다. 발표자는 Rivulet과 자연어와 인공 언어의 덜 알려진 측면에서 영감을 얻은 다른 난해한 프로그래밍 언어를 소개하고, 그 모호함과 표현력을 보여줍니다. Rivulet 코드는 '가닥'이라는 것을 사용하여 숫자 0을 7가지 다른 방법으로 표현하며, 이들의 조합이 '글리프'를 형성합니다. 시각적 스타일은 미로, Anni Albers의 작품, 공간 채우기 알고리즘에서 영감을 받았습니다.
더 보기
저자는 90년대 후반부터 개인 웹사이트를 운영해 왔으며, HTML 수작업부터 WYSIWYG 에디터, WordPress와 같은 동적 CMS까지 다양한 웹사이트 제작 방법을 경험했습니다. 동적 CMS의 지속적인 보안 업데이트와 유지보수에 대한 불만으로 정적 사이트 생성기로 전환했습니다. bashblog, Pelican, Nikola(Nikola용 Docker 컨테이너도 제작)를 사용해 본 후, 2015년에 자체 Bash 정적 사이트 생성기(BSSG)를 개발했습니다. BSSG는 시간이 지남에 따라 발전하여 테마, 아카이브, 태그 등의 기능이 추가되었습니다. 장점은 경량성, 이식성, 고성능, 높은 접근성 점수, Markdown 지원, 다양한 테마입니다. 코드의 불완전성을 인지하고 있지만, 저자는 BSSG를 오픈소스로 공개하여 동적 CMS 유지보수에 지친 사람들에게 도움이 되기를 바랍니다.
더 보기
PHP-ORT 프로젝트는 PHP에 머신러닝 추론 기능을 직접 통합하여 PHP 개발자들이 AI 혁명에 참여할 수 있도록 지원하는 것을 목표로 합니다. 이 프로젝트는 고성능 텐서 API와 수학 라이브러리를 제공하며 ONNX를 지원하여 개발자는 마이크로서비스나 API 호출의 오버헤드 없이 지능형 애플리케이션을 구축할 수 있습니다. 이를 통해 머신러닝이 대중화되고 수백만 명의 PHP 개발자가 이 분야에 참여하여 혁신을 주도할 수 있게 됩니다.
더 보기
퍼스 주차장에 팔리지 않고 쌓여 있는 많은 수의 테슬라 모델 Y는 호주 시장에서 테슬라가 처한 어려움을 보여줍니다. 경쟁 심화, 가격 경쟁, 일론 머스크의 정치 활동 등이 판매 부진의 원인으로 작용하고 있습니다. 재고 처리를 위해 판매점들이 가격을 크게 인하하면서 기존 고객들에게 피해를 주고 고객 신뢰를 잃고 있습니다. 호주의 부족한 충전 인프라 또한 문제를 악화시켜 소비자들이 하이브리드 차량으로 눈을 돌리고 있습니다.
더 보기
연구에 따르면 OpenAI의 Whisper 음성 인식 모델과 자연스러운 대화 중 인간 뇌의 신경 활동 사이에 놀라운 일치가 발견되었습니다. Whisper 임베딩과 하전두피질(IFG) 및 상측두회(STG)와 같은 뇌 영역의 뇌 활동을 비교하여 연구자들은 발화 중에는 언어 임베딩이 음성 임베딩보다 먼저 최고점에 도달하고, 이해 중에는 반대되는 것을 발견했습니다. 이는 뇌 메커니즘을 고려하지 않고 개발된 Whisper가 언어 처리의 중요한 측면을 포착하고 있음을 시사합니다. 또한 이러한 발견은 뇌 언어 처리의 '소프트 계층'에 대해서도 밝히고 있습니다. IFG와 같은 고차원 영역은 의미 및 구문 정보에 우선 순위를 두지만 저수준 청각 기능도 처리합니다. 반면 STG와 같은 저차원 영역은 음향 및 음운 처리를 우선시하지만 단어 수준의 정보도 포착합니다.
더 보기
lin-alg는 벡터, 행렬, 쿼터니언 데이터 구조와 연산을 제공하는 Rust 선형대수 라이브러리로, f32 및 f64 유형을 지원합니다. 컴퓨터 그래픽, 생체역학, 로보틱스 등에 적합합니다. 이 라이브러리는 no_std 환경을 지원하며 컴퓨터 그래픽 기능과 bincode 인코딩/디코딩 기능을 제공합니다. 참고: 이 코드베이스에서는 `cargo fmt`를 사용하지 마십시오.
더 보기
Scheme의 매크로 시스템은 매크로 전개 시 변수 이름 충돌을 방지하기 위해 '위생적인' 메커니즘을 사용합니다. 이 글에서는 Scheme에서 식별자의 개념을 심층적으로 살펴봅니다. 식별자는 심볼 이름뿐만 아니라 어휘적 컨텍스트와 역사적 컨텍스트도 포함합니다. 술어 `bound-identifier=?`와 `free-identifier=?`는 식별자의 동등성을 비교합니다. 전자는 매크로 전개 후 바인딩된 식별자의 교환 가능성에 중점을 두고, 후자는 자유 식별자의 교환 가능성에 중점을 둡니다. 이 글에서는 여러 가지 예를 통해 이 두 동등 관계의 차이점과 위생적인 매크로 메커니즘에서 역사적 컨텍스트의 역할을 보여줍니다. 결론적으로 Scheme이 식별자의 이력 정보를 사용하여 매크로의 위생성을 보장하고 변수 이름 충돌을 방지하는 방법을 설명합니다.
더 보기
사이버 보안 연구원들이 160억 개의 비밀번호가 유출된 사상 최대 규모의 데이터 유출 사건을 발견했습니다. 이는 지금까지 확인된 가장 큰 규모의 도난당한 접근 데이터 유출입니다. 이러한 자격 증명은 이전 해킹에서 재활용된 것이 아니라 새롭고, 문서화되지 않았으며, 매우 위험한 것입니다. Apple, Google, Facebook 등 주요 플랫폼에 영향을 미칩니다. 데이터의 구조화된 형식은 능동적인 데이터 유출, 아마도 infostealer 맬웨어를 통해 이루어졌으며, 판매 또는 배포를 위해 최적화되었음을 시사합니다. 연구원들은 임박한 대규모 피싱 공격, 자격 증명 채우기 공격 및 계정 해킹을 경고합니다. 이 유출은 잘못 구성된 클라우드 설정 및 부적절한 비밀번호 관리 관행 등 기업 데이터 보안의 지속적인 취약성을 강조합니다.
더 보기
미 국가안보국(NSA) 전 직원 마가렛 뉴스햄은 60분 제작진의 초청으로 영국 멘위스힐 감청 기지에 돌아왔다. 수년 만에 그녀는 기지의 확장에 놀랐고, 제작진과 함께 체포 위험을 무릅쓰고 기지에 접근하여 촬영과 인터뷰를 진행했다. 뉴스햄은 기지에서 근무했던 경험과 관찰 내용을 이야기하며, 이 비밀 감청 기지의 막대한 규모와 영향력을 드러내는 스릴 넘치는 모험이 되었다.
더 보기
이 글에서는 대규모 언어 모델(LLM)을 사용하여 빠르고 비용 효율적인 검색 서비스를 구축하는 방법을 보여줍니다. 저자는 경량 LLM(Qwen2-7B)을 호출하는 FastAPI 애플리케이션을 배포하고 Google Kubernetes Engine(GKE) Autopilot을 활용하여 클러스터 관리를 자동화함으로써 검색 쿼리를 구조화된 방식으로 파싱합니다. Docker 이미지 빌드 및 배포와 Valkey 캐싱 메커니즘을 통해 성능과 확장성이 크게 향상됩니다. 이 접근 방식은 비용이 많이 드는 클라우드 API에 대한 빈번한 호출을 피하여 비용을 절감하고 로컬 인프라에서 LLM을 실행할 수 있는 가능성을 보여주며, 더욱 스마트하고 빠른 검색 엔진을 구축하는 데 새로운 관점을 제공합니다.
더 보기
이 글은 종종 혼란을 야기하는 AI 에이전트의 정의를 다룹니다. 저자는 AI 에이전트와 AI 어시스턴트를 구분하는 핵심은 '정체성'에 있다고 주장합니다. 진정한 AI 에이전트는 자체 정체성으로 행동하며, 감사 로그에 반영됩니다. 반면 AI 어시스턴트는 사람 사용자의 정체성으로 작동합니다. 이 정체성 기반 정의는 자율성, 능력, 추론 능력을 의미합니다. 저자는 법적 대리인과 비교하고, 자사 제품을 예로 들어 이 정의의 실용적인 적용을 보여줍니다.
더 보기
작성자는 Python의 속도를 크게 향상시키는 것을 목표로 컴파일 언어인 Mojo를 사용하여 Python 확장 기능을 만드는 실험을 수행했습니다. 계승 계산과 소수 계산에 대한 테스트에서 Mojo는 순수 Python이나 NumPy보다 뛰어난 성능을 보였습니다. 오버플로우 문제 등 아직 초기 개발 단계이지만, Mojo는 큰 잠재력을 가지고 있으며 Python 개발자에게 코드 속도 향상을 용이하게 하는 수단을 제공합니다.
더 보기
arXivLabs는 참여자들이 arXiv의 새로운 기능을 웹사이트에서 직접 개발하고 공유할 수 있는 프레임워크입니다. arXivLabs에 참여하는 개인 및 조직은 개방성, 커뮤니티, 우수성, 사용자 데이터 개인 정보 보호라는 arXiv의 가치를 수용하고 있습니다. arXiv는 이러한 가치를 중시하며, 이러한 가치를 준수하는 파트너와만 협력합니다. arXiv 커뮤니티에 가치를 더할 프로젝트 아이디어가 있으십니까? arXivLabs에 대해 자세히 알아보세요!
더 보기
arXivLabs는 협력자가 arXiv의 새로운 기능을 웹사이트에서 직접 개발하고 공유할 수 있는 프레임워크입니다. arXivLabs와 협력하는 개인 및 조직은 개방성, 커뮤니티, 우수성, 사용자 데이터 개인 정보 보호라는 arXiv의 가치를 수용합니다. arXiv는 이러한 가치에 전념하며, 이러한 가치를 공유하는 파트너와만 협력합니다. arXiv 커뮤니티를 향상시킬 아이디어가 있으십니까? arXivLabs에 대해 자세히 알아보세요.
더 보기
10년 전, JSON Web Token(JWT)이 RFC 7519가 되면서 간단한 JSON 기반 보안 토큰 형식과 기본적인 JSON 기반 암호화 표준을 만드는 4년 반의 여정이 마무리되었습니다. JWT와 관련 사양은 널리 채택되었으며, 초기 개발자의 예상을 뛰어넘었습니다. 하지만 새로운 위협과 취약성에 대처하기 위해 사양 업데이트 작업이 계속되고 있으며, 향후 10년 동안 JWT의 안전성을 보장합니다.
더 보기
이 글은 Tenstorrent의 AI 컴퓨팅 아키텍처 설계를 강하게 비판하며, 추상화 계층(LLK)에 대한 과도한 의존이 비효율성을 초래하고 Nvidia와 같은 거대 기업과의 경쟁을 저해한다고 주장합니다. 저자는 Tenstorrent가 프런트엔드(PyTorch/ONNX 등), 컴파일러(MLIR/LLVM 등), 런타임의 세 가지 핵심 모듈에 집중할 것을 권고합니다. 런타임은 하드웨어에 독립적이어야 하며, 컴파일러는 메모리 배치, 연산 스케줄링, 커널 융합에 집중하고 ELU와 같은 불필요한 활성화 함수를 피해야 합니다. 저자는 아키텍처를 단순화하고 핵심 구성 요소의 성능을 향상시키는 것만으로 Tenstorrent가 AI 컴퓨팅 분야에서 성공할 수 있다고 강조합니다.
더 보기
클라우드 지출은 연간 5000억 달러에 달하며, 기술 회사의 가장 빠르게 성장하는 비용 항목입니다. Pump는 AI 기반 플랫폼을 제공하여 비용 절감을 자동화하고 공동 구매를 활용하여 클라우드 비용을 최대 60%까지 절감합니다. Y Combinator의 지원을 받는 Pump의 경험 많은 팀은 투명하고 협력적이며 빠른 속도로 성공을 추구하는 기업 문화를 구축하고 있습니다.
더 보기
보안 연구원이 스위스에서 널리 사용되는 Worldline Yomani XR 결제 단말기의 리버스 엔지니어링을 통해 암호화되지 않은 펌웨어와 공개적으로 접근 가능한 root 쉘을 발견했습니다. 물리적 훼손 방지 기능이 있음에도 불구하고 디버그 포트는 외부에서 접근 가능하여 공격자가 30초 이내에 root 권한을 얻고 악성 코드를 배포할 수 있습니다. 그러나 심층 분석 결과 Linux 시스템은 카드 정보와 같은 민감한 데이터를 처리하지 않으며, 독립적인 암호화 및 서명된 프로세서가 보안 기능을 처리하는 것으로 나타났습니다. 소프트웨어 엔지니어링의 심각한 실수이지만, 직접적인 위험은 처음 우려했던 것보다 적을 수 있습니다.
더 보기
이 블로그 게시물에서는 Lean 정리 증명기를 사용하여 동적 계획법 문제를 메모이제이션으로 풀고 그 정확성을 공식적으로 검증하는 방법을 보여줍니다. 저자는 Bytelandian Gold Coins 문제를 다루며 처음에는 HashMap을 사용한 메모이제이션된 해법을 제시합니다. 데이터 구조 불변량에 대한 추론의 어려움으로 인해 정확성을 직접 증명하는 어려움이 강조됩니다. 이 해결책은 서브타입과 종속 쌍을 사용하여 `PropMap`을 만듭니다. 이것은 계산된 값뿐만 아니라 그 정확성에 대한 증명도 저장하는 메모이제이션 테이블입니다. 그런 다음 알고리즘의 정확성은 재귀적 구현 자체 내에서 점진적으로 증명되며, 결국에는 사소한 최상위 수준 증명으로 귀결됩니다. 이 접근 방식은 코드와 증명을 교묘하게 연결하여 동적 계획법 알고리즘을 공식적으로 검증하는 강력한 기법을 보여줍니다.
더 보기
OpenAI는 ChatGPT macOS 앱이 Xcode, VS Code, JetBrains 등 개발 도구에서 코드를 직접 편집할 수 있는 기능을 발표했습니다. 유료 사용자는 현재 이용 가능하며, 무료 사용자는 다음 주에 사용 가능해집니다. 이는 2024년 11월에 출시된 "앱과의 협업" 기능을 기반으로 하며, 코드 복사 및 붙여넣기의 번거로움을 줄입니다. 이를 통해 ChatGPT는 Cursor 및 GitHub Copilot과 같은 AI 코딩 도구와 더욱 직접적으로 경쟁하게 됩니다. OpenAI는 향후 소프트웨어 엔지니어링 전용 제품을 출시할 계획입니다. AI 코딩 도구의 인기가 높아짐에 따라 보안, 저작권, 신뢰성 문제에 대한 우려도 제기되고 있으며, AI 생성 코드 디버깅에 많은 시간을 소비한다는 연구 결과도 있습니다.
더 보기
이 글에서는 `bundle-uri` 기능을 사용하여 Git 복제 속도를 최적화하려는 저자의 노력에 대해 자세히 설명합니다. 로컬 파일을 시작점으로 사용하면 복제 속도가 크게 빨라졌지만, CDN을 사용한 경우 예상 외로 느렸습니다. 근본 원인은 Git이 `refs/heads` 참조만 복사하고 다른 참조는 무시하기 때문입니다. 이 문제를 해결하는 작은 패치가 제출되었고, 결과적으로 증분 데이터만 다운로드하는 빠른 복제가 가능해졌습니다. 미래의 Git 서버는 `bundle-uri`를 자동으로 사용하여 서버 부하를 줄이고 복제 효율을 높일 것입니다.
더 보기
이 글에서는 다음 Django 프로젝트에 사용해야 할 10가지 필수 도구에 대해 설명합니다. 종속성 관리, 성능 프로파일링 등 개발 효율성, 보안, 성능을 향상시키는 도구들을 다룹니다. Poetry를 이용한 종속성 관리부터 Silk을 이용한 성능 프로파일링까지, Django Extensions, Django REST Framework, djangorestframework-camel-case, Django Storages, django-simple-history, django-otp, Celery, Gunicorn with Uvicorn Workers 등 각 도구에 대해 Pipenv, FastAPI, django-reversion 등의 대안과 비교하여 설명합니다. 이러한 도구는 더 빠르고 안전하며 효율적인 Django 애플리케이션을 구축하는 데 도움이 됩니다.
더 보기