안나 아카이브 팀은 최신 업데이트를 발표하며 지식 검열에 대한 싸움에서 상당한 진전을 이루었다고 밝혔습니다. 수천만 권의 책, 과학 논문 등을 백업하는 데 성공했습니다. 증가하는 공격에도 불구하고 보안 강화에 힘쓰고 있습니다. 팀은 자원봉사자와 파트너(LibGen 포크, STC/Nexus, Z-Library 등)에게 감사를 표하며 LibGen 포크 중 하나가 사라진 것을 유감스럽게 생각합니다. 또한 커뮤니티에 대한 기여가 없다는 이유로 신흥 플랫폼 WeLib의 사용에 주의를 당부합니다. 앞으로 수백 테라바이트의 데이터를 계속 처리하고 자원봉사자와 기부를 요청할 것입니다.
더 보기
OpenAI의 o1 모델이 스스로 코드네임 게임을 플레이했는데, 그 결과는 놀랍도록 인상적이었습니다. 20번 이상의 게임에서 o1은 단서 제공자와 추측자 모두로서 뛰어난 추론 능력과 방대한 지식을 꾸준히 보여주었습니다. 연구자들은 o1이 인간보다 훨씬 뛰어난 일반 지식을 가지고 있으며, 언뜻 보기에는 관련이 없어 보이는 단어들을 기발하게 연결하는 것을 발견했습니다. 예를 들어, "007"을 단서로 사용하거나, "메일", "변호사", "선", "로그"를 "종이"라는 단어 하나로 연결하는 식입니다. 이는 전략 게임에서 대규모 언어 모델의 잠재력을 보여주는 것이며, 다양한 게임 환경에서의 미래 응용을 시사합니다.
더 보기
이 글에서는 켈리 기준을 사용하여 보험에 대한 합리적인 결정을 내리는 방법을 살펴봅니다. 저자는 보험에 대한 일반적인 오해를 풀고, 그것이 철학적 문제가 아니라 수학적 문제라고 주장합니다. 핵심적인 아이디어는 보험이 큰 재산 감소를 방지하여 복리 효과의 성장을 가속화한다는 것입니다. 보험 가치(V)를 계산하기 위한 공식이 제시되며, 현재 자산, 보험료, 사고 확률, 비용 등이 고려됩니다. 오토바이 보험과 헬리콥터 보험의 예를 사용하여 계산과 자기 부담금의 영향이 설명되고, 보험 회사가 어떻게 이익을 얻는지, 그리고 비용의 상대성에 대해서도 설명합니다.
더 보기
이 기사에서는 단어 계산 프로그램 최적화 과정에서 저자가 겪은 여정을 자세히 설명하며, 놀라운 494배의 속도 향상을 달성한 방법을 보여줍니다. 단순한 Python 구현(89.6초)부터 시작하여 CPython의 `re` 모듈(13.7초), C 스칼라 루프(1.205초), 그리고 마지막으로 SIMD 명령어와 멀티스레딩(181밀리초)을 사용하여 단계적으로 성능을 개선했습니다. 각 최적화 단계에서는 C 확장 활용, 효율적인 C 루프, 멀티코어 CPU 활용 등이 설명됩니다. 멀티스레딩으로 인한 속도 향상은 예상보다 크지 않았지만, 최종 버전에서는 놀라운 5.52 GiB/s의 처리 속도를 달성했습니다. 저자는 추가적인 최적화 제안을 요청합니다.
더 보기
구글의 최신 Android 16 AOSP 릴리스에서는 Pixel폰의 디바이스 트리와 드라이버 바이너리가 생략되어 맞춤 ROM 구축이 훨씬 어려워졌습니다. 구글은 AOSP가 사라지지 않을 것이라고 주장하며, "Cuttlefish"라는 가상 디바이스를 참조 대상으로 전환하고 있지만, 개발자는 변경 사항을 역설계해야 하므로 복잡성이 증가합니다. 이는 LineageOS 및 GrapheneOS와 같은 맞춤 ROM 커뮤니티에 영향을 미쳐 디바이스 트리를 처음부터 다시 만들어야 하므로 작업량이 크게 증가합니다. 구글은 AOSP가 단계적으로 폐지되는 것은 아니라고 말하지만, 이러한 변경으로 Pixel 기기 지원이 어려워졌습니다.
더 보기
PgAssistant는 개발자가 PostgreSQL 데이터베이스 성능을 이해하고 최적화하도록 설계된 오픈소스 도구입니다. 데이터베이스 동작 분석, 스키마 최적화, SQL 쿼리 라이브러리 관리 등의 기능을 제공합니다. OpenAI 또는 로컬 LLM과의 통합을 통해 SQL 쿼리 최적화를 지원합니다. 사용자 친화적인 인터페이스를 통해 조작이 간소화되고, JSON 파일을 사용하여 SQL 쿼리 라이브러리를 관리합니다. 또한 PGTune을 통합하여 데이터베이스 매개변수 조정 및 Docker Compose 파일 생성을 용이하게 합니다.
더 보기
리눅스와 오픈소스 소프트웨어에 중점을 둔 뉴스 사이트인 LWN.net이 경제적 역풍에 직면하고 있습니다. 3월 이후 새로운 구독과 갱신이 크게 감소했는데, 이는 미국 정부의 세계 무역 시스템 공격과 그에 따른 경기 침체와 관련이 있습니다. 아직 존폐의 위기에 처한 것은 아니지만 심각한 우려 사항입니다. LWN은 비용 절감과 독자들의 구독 독려, 기업들의 단체 구독 권장을 통해 대응하고 있습니다. 인플레이션과 반미 감정은 추가적인 과제가 될 수 있습니다. 이러한 어려움에도 불구하고 LWN은 고품질 콘텐츠 제공에 전념하고 있으며 오랜 기간 지원해 준 독자들에게 감사를 표하고 있습니다.
더 보기
mkosi는 맞춤형 OS 이미지 생성을 간소화하는 강력한 도구입니다. dnf, apt, pacman, zypper와 같은 일반적인 패키지 매니저를 래핑하여 추가 기능을 갖춘 개인화된 디스크 이미지를 쉽게 만들 수 있습니다. 새로운 배포판 추가, 소스 코드로부터 RPM 빌드, 사용자 지정 initrd 생성, 시스템 확장 구축 등 mkosi는 프로세스를 간소화하여 효율성을 크게 향상시킵니다.
더 보기
Vanta는 경량급의 빠른 명령줄 기반 네트워크 동작 분석기로, 프로토콜 수준의 플로우를 재구성하고 캡처된 데이터에서 구조화된 활동을 추출합니다. Wireshark와 같은 완전한 GUI 도구와 달리 Vanta는 명확성, 구조, 단순성에 중점을 두어 사용자 정의 스크립팅과 최소한의 설정에 이상적입니다. HTTP, DNS, TLS(부분 지문 포함) 파싱을 지원하며, 양방향 플로우를 자동으로 재구성하고 깔끔한 JSON 요약을 출력합니다. MacBook Air M1에서 학부생이 개발했으며, 유학생들을 지원한 대학에 대한 감사의 표현입니다.
더 보기
연구진이 이황화몰리브덴(MoS2)을 이용한 획기적인 32비트 RISC-V 프로세서를 개발했습니다. '실리콘을 넘어선' 하드웨어 분야의 큰 발전입니다. 실리콘처럼 MoS2를 도핑하여 임계 전압을 조절할 수 없어서, 서로 다른 금속 배선(알루미늄과 금)과 매립 재료를 사용했습니다. 머신러닝을 통해 트랜지스터 조합을 최적화했습니다. 결과적으로 5900개의 트랜지스터를 포함하는 프로세서는 속도는 느리지만, 완벽한 32비트 RISC-V 명령어 집합을 구현하며 칩 레벨 수율은 99.8%에 달합니다. 초기에는 저전력 어플리케이션(센서 등)에 한정되지만, 미래 잠재력은 엄청납니다.
더 보기
1964년, 아이작 아시모프는 자동화된 가정, 지하 도시, 항공 여행, 로봇 집사, 달 식민지, 그리고 세계적인 레이저 통신 네트워크 등 기술의 경이로 가득 찬 2014년을 상상했습니다. 그러나 이 기술 유토피아는 임박한 인구 위기의 그림자에 가려져 있었습니다. 아시모프는 2014년 세계 인구를 65억 명으로 예측하며, 막대한 자원 압박과 사회 문제를 야기하고 엄격한 인구 억제책이 필요할 것이라고 했습니다. 이 글은 낙관적인 기술적 진보와 통제되지 않은 인구 증가의 잠재적 위험에 대한 냉철한 고찰을 결합한 매력적인 작품으로, 오늘날에도 우리에게 생각할 거리를 줍니다.
더 보기
이 글에서는 Lean과 같은 기존의 대화형 정리 증명기와는 상당히 다른 새로운 AI 정리 증명기인 Acorn을 살펴봅니다. Acorn은 사용자가 단계적으로 명제를 제시하고 시스템이 자동으로 검증하는 대화형 상호 작용 방식을 채택합니다. 이는 인간의 증명 과정을 더욱 충실하게 반영하여 번거로운 형식 선언과 미리 정의된 정리를 찾는 과정을 생략합니다. Acorn은 간단한 ML 모델을 사용하여 증명 과정을 지원하고 사용자의 개입이 필요한 부분을 표시하여 효율성과 이해도를 높입니다. Lean과 같은 시스템과 달리 Acorn은 직관성과 자연어 표현을 우선시하여 수학적 증명 분야에서 인간과 AI의 협업 가능성을 크게 보여줍니다.
더 보기
네덜란드 과학자팀은 우주의 붕괴 속도가 이전 예상보다 훨씬 빠르다는 것을 밝혀냈습니다. 호킹 복사와 유사한 과정을 계산한 결과, 가장 오래 지속되는 천체인 백색왜성은 약 10⁷⁸년 후에 붕괴될 것으로 예측됩니다. 이는 이전 예측치인 10¹¹⁰⁰년보다 훨씬 짧은 기간입니다. 이 연구는 호킹 복사에 대한 재해석을 기반으로 하며, 중성자별과 같은 다른 천체의 '증발' 과정도 고려하고 있습니다. 연구팀은 인간과 달의 '증발' 시간도 계산하여 약 10⁹⁰년이라는 결과를 얻었습니다. 이 학제 간 연구는 천체물리학, 양자물리학, 수학을 결합하여 호킹 복사에 대한 이해를 심화시키는 새로운 통찰력을 제공합니다.
더 보기
Bosch Sensortec은 CES에서 세계에서 가장 작은 PM2.5 공기질 센서 BMV080을 발표했습니다. 이 혁신적인 팬리스 센서는 실내 PM2.5 농도에 대한 정확한 실시간 데이터를 제공하여 종종 간과되는 실내 공기 오염 문제를 해결하는 데 필수적입니다. 실내 공기는 실외보다 3~5배 더 오염되어 있는 경우가 많으며, BMV080은 조리 등으로 인한 공기질 악화를 파악하고 대처할 수 있도록 합니다.
더 보기
계산 복잡도 이론의 핵심 질문 중 하나는 P와 PSPACE의 관계입니다. P는 합리적인 시간 내에 해결 가능한 문제의 클래스이고, PSPACE는 합리적인 공간 내에 해결 가능한 문제의 클래스입니다. 직관적으로 공간은 시간보다 더 강력한 자원입니다. 왜냐하면 공간은 재사용 가능하기 때문입니다. 50년 동안 연구자들은 PSPACE가 P보다 크다는 것을 증명하려고 노력해 왔습니다. 즉, 빠른 알고리즘으로는 해결할 수 없지만 제한된 공간으로는 해결할 수 있는 문제가 존재한다는 것을 증명하려고 했습니다. Hopcroft, Paul, Valiant는 1975년에 획기적인 발견을 이루어 공간이 시간보다 약간 더 강력하다는 것을 보였습니다. 하지만 이러한 진전은 '시뮬레이션' 접근 방식의 한계에 의해 제한되었습니다. Ryan Williams가 마침내 오랜 난제를 해결하는 혁신적인 접근 방식을 고안했습니다.
더 보기
이 인터뷰는 싱가포르의 Spatial Anatomy 설립자인 Calvin Chua가 설계, 연구, 그리고 옹호를 어떻게 어려운 글로벌 맥락에 통합하는지에 대해 논의합니다. Chua의 작업은 싱가포르의 '스트라타 몰'의 독특한 소유 구조와 일상 생활의 현실을 보여주는 북한 아파트 복제 프로젝트 등 도시 개발을 형성하는 숨겨진 힘에 초점을 맞춥니다. 그는 대규모 자본 프로젝트부터 커뮤니티 주도 노력에 이르기까지 적응적 재활용의 다양한 모델을 강조하며, 성공적인 적응적 재활용에는 건물의 구조와 정신을 모두 이해해야 함을 강조합니다. Chua의 경험은 북한의 도시 계획 교육부터 2023년 싱가포르 건축 축제의 큐레이션에 이르기까지 도시 개발에 대한 그의 깊은 통찰력을 보여줍니다.
더 보기
Duolingo의 최근 감원은 'AI 우선' 전략으로 포장되었지만, 숨겨진 진실을 드러냈습니다. 바로 AI에 의한 일자리 감소가 이미 광범위하게 진행되고 있다는 것입니다. 수백 명의 작가와 번역가들이 AI로 대체되었고, 이러한 경향은 창작 산업, 언론, 심지어 정부에도 나타나고 있습니다. 이것은 로봇 봉기가 아니라, 기업들이 비용 절감과 권력 강화를 위해 AI를 이용한 계산된 움직임입니다. 그 결과 발생한 일자리 위기는 특히 최근 졸업생들에게 심각하며, 실업률은 역사적 최고치에 달하고 있습니다. 경제 전반에 미치는 영향은 아직 불분명하지만, 이 위기는 더 심각한 문제, 즉 소중한 일자리의 침식과 AI가 기존 불평등을 악화시킬 가능성을 드러냅니다. 우리는 중요한 갈림길에 서 있으며, AI에 의한 일자리 대재앙이 우리를 집어삼키기 전에 어떤 일자리에 가치를 두어야 하고 어떻게 보호해야 할지를 정의해야 합니다.
더 보기
과학자들은 4억 년 전에 살았던 거대 생물 프로토탁시테스가 거대한 균류였다는 오랜 믿음에 이의를 제기하고 있습니다. 화석의 독특한 내부 구조와 화학적 구성을 분석한 새로운 연구는 그것이 생명의 계통수에서 완전히 새로운 그리고 멸종된 가지를 나타낼 가능성을 시사합니다. 이것은 모든 알려진 균류, 식물, 동물, 원생생물과 다릅니다. 이 획기적인 발견은 지구상의 생명 역사에 미스터리의 층을 더하고, 먼 과거의 알려지지 않은 생물 다양성의 가능성을 강조합니다.
더 보기
ArduinoOS는 Arduino를 위한 경량 실시간 운영체제(RTOS)입니다. 락을 사용한 스레드 안전성(스레드 충돌 방지), try-catch-clearException을 이용한 예외 처리(예외 상속 및 사용자 정의 타입 지원), OnKernelPanic 함수를 이용한 커널 패닉 처리, 메모리 관리 함수(freeMemory, freeStack), 설정 가능한 스레드 스택 크기(InitTaskWithStackSize), 스레드 인자 전달(InitTaskWithArgument), 설정 가능한 커널 틱 주기 등의 기능을 제공합니다. 또한 다양한 하드웨어에 대한 추상 클래스를 제공하여 하드웨어 상호 작용을 간소화합니다.
더 보기
ghidraMCP는 대규모 언어 모델(LLM)이 애플리케이션을 자율적으로 리버스 엔지니어링할 수 있도록 하는 모델 컨텍스트 프로토콜(MCP) 서버입니다. Ghidra의 핵심 기능의 다양한 도구를 MCP 클라이언트에 공개합니다. 주요 기능으로는 Ghidra에서 바이너리의 디컴파일 및 분석, 메서드 및 데이터의 자동 이름 바꾸기, 메서드, 클래스, 가져오기 및 내보내기 목록 표시 등이 있습니다. 설치는 간단하며, 플러그인을 다운로드하여 Ghidra에 임포트하기만 하면 됩니다. Claude Desktop 및 5ire 등 여러 MCP 클라이언트를 지원합니다.
더 보기
GovEagle은 정부 계약업체를 위한 AI 기반 플랫폼을 최적화할 경험 많은 Kubernetes 및 Python 전문가를 채용하고 있습니다. 이 역할에는 Kubernetes 작업 부하, Celery 큐, Redis 캐싱 및 클라우드 네트워킹의 안정성 감사, 우선 순위가 높은 행동 계획 수립 및 신속한 개선 구현(예: HPA 조정, 알림, 롤아웃 전략), Celery가 부족한 경우 Temporal 채택에 대한 지침 또는 프로토타입 제공이 포함됩니다. 지원자는 고가용성 프로덕션 시스템 운영 경험 5년 이상, Kubernetes에서 Python 서비스 확장에 대한 깊이 있는 경험, 큐 기반 아키텍처 및 관찰 가능성에 대한 실적이 필요합니다. FedRAMP/GovCloud에 대한 지식이 있으면 더욱 좋습니다.
더 보기
Cactus는 Flutter와 React Native를 지원하는 크로스 플랫폼 프레임워크로, 앱 내에서 대규모 언어 모델(LLM), 비전 언어 모델(VLM), 텍스트 음성 변환(TTS) 모델을 로컬로 배포할 수 있습니다. Hugging Face의 GGUF 모델(Qwen, Gemma, Llama 등)을 지원하며, FP32부터 2비트 양자화 모델까지 다양한 정밀도를 처리합니다. Cactus는 AI 기능 향상(알림, 이미지 검색, 메시지 회신 등)을 위한 MCP 툴 호출, 복잡한 작업을 위한 클라우드 모델 폴백, Jinja2 기반 채팅 템플릿, 토큰 스트리밍을 제공합니다. 샘플 코드, 다양한 기기의 성능 벤치마크, C++ 백엔드가 제공됩니다.
더 보기
일 년 전, Safe C++ 제안은 기존 C++ 코드를 손상시키지 않고 Rust와 같은 강력한 보장(메모리 안전, 타입 안전, 스레드 안전)을 제공하는 안전한 하위 집합을 C++에 추가하는 것을 목표로 했습니다. 그러나 이 제안은 결국 C++ 위원회에 의해 거부되었고, 프로파일 방식이 우선되었습니다. 프로파일 방식은 안전 속성을 보장하기 위해 C++의 제약된 모드를 정의합니다. Safe C++보다 실용적이고 채택하기 쉬운 솔루션이지만, 제공되는 안전 보장이 그다지 포괄적이지 않을 수 있습니다. 결국, 더 현실적인 미래의 길로 간주됩니다.
더 보기
많은 사용자가 BlueSky로 이동하는 가운데, 저자는 플랫폼 참여에 신중한 접근 방식을 공유합니다. 핵심 주장은 다른 사람이 제어하는 플랫폼에 모든 가치를 의존하지 않는 것입니다. “남의 왕국에 성을 짓지 마라”는 비유를 사용하여 저자는 자신이 제어할 수 있는 공간에서 최대 가치를 창출하고 다른 플랫폼을 해당 공간으로 관심을 유도하는 도구로 활용할 것을 제안합니다. BlueSky를 3년 이내에 사라질 가능성이 있는 플랫폼으로 간주하기 때문에 저자는 장기적인 가치 축적을 위해 개인 웹사이트와 자신이 구축한 커뮤니티에 중점을 둡니다. 이러한 접근 방식은 서드파티 플랫폼에 의존하는 대신 자신의 데이터와 온라인 존재를 제어하는 것을 우선시합니다.
더 보기
Mistral AI는 투명성, 다국어 지원 및 특정 도메인 전문 지식을 특징으로 하는 첫 번째 추론 모델 'Magistral'을 발표했습니다. 오픈소스 버전(Magistral Small, 240억 매개변수)과 엔터프라이즈 버전(Magistral Medium)의 두 가지 버전으로 제공됩니다. Magistral은 AIME2024와 같은 벤치마크에서 뛰어난 성능을 보였으며, 경쟁사보다 최대 10배 빠른 추론 속도를 제공합니다. 법률 연구, 금융 예측, 소프트웨어 개발, 창작 글쓰기 등 광범위한 용도로 사용할 수 있으며, 특히 투명성과 정확성이 중요한 다단계 작업에 적합합니다. Magistral Small의 오픈소스 출시를 통해 커뮤니티의 기여와 향후 모델 개선이 촉진됩니다.
더 보기
이 글에서는 SIMD 함수와 컴파일러 자동 벡터화에서의 역할에 대해 자세히 설명합니다. 여러 데이터 포인트를 동시에 처리할 수 있는 SIMD 함수는 성능을 크게 향상시킬 수 있습니다. 그러나 컴파일러의 SIMD 함수 지원은 불균일하며 생성된 벡터화 코드는 놀라울 정도로 비효율적일 수 있습니다. 이 글에서는 OpenMP pragma와 컴파일러 특정 속성을 사용하여 SIMD 함수를 선언 및 정의하는 방법을 자세히 설명하고 다양한 매개변수 유형(변수, 균일, 선형)이 벡터화 효율에 미치는 영향을 분석합니다. 또한 함수 인라이닝 처리 및 컴파일러의 특성을 다루는 방법에 대해서도 설명합니다. 성능 향상이라는 큰 가능성을 가지고 있지만 SIMD 함수의 실제 적용에는 상당한 어려움이 있습니다.
더 보기
많은 서비스가 결함 있는 로그인 방법을 사용합니다. 이메일이나 전화로 6자리 코드를 보내는 방법입니다. 이것은 매우 안전하지 않습니다. 공격자는 쉽게 피싱 사이트를 만들어 사용자를 속여 코드를 입력하게 하고 계정을 훔칠 수 있습니다. 비밀번호 관리자는 보호 기능을 제공하지 않습니다. 이 방법을 사용하는 Microsoft의 Minecraft 로그인은 이미 수많은 계정 도난 피해를 입었습니다. 이 안전하지 않은 로그인 시스템의 사용을 중지하십시오!
더 보기
소셜 미디어에 휘둘리는 것에 지치셨나요? 이 기사에서는 스마트폰 중독에서 벗어날 수 있도록 40가지 이상의 실용적인 팁을 제공합니다. 지루함, 불안, 미루는 버릇 등 스마트폰 과다 사용의 근본적인 원인을 분석하고, 적당한 소셜 미디어 사용은 나쁘지 않다는 점을 강조합니다. 그런 다음 사고방식을 바꿔 스마트폰 사용 시간을 줄이는 대신 다른 활동 시간을 늘리는 방법을 설명하고, iOS와 Android의 기본 화면 시간 관리 기능 및 One Sec, Opal, SpeedBump과 같은 유용한 앱을 추천합니다. 이러한 도구는 사용 제한 설정, 데이터 추적, 건강한 습관 형성에 도움이 됩니다. 마지막으로 알림 관리, 앱 레이아웃 정리, 회색조 모드 등 추가 전략을 제시하여 점진적으로 화면 시간을 줄이고 직장과 개인 생활의 균형을 개선하는 방법을 보여줍니다.
더 보기
오랜 PC 게이머가 20년 만에 Steam 계정을 삭제했습니다. 그 이유는 Steam 클라이언트의 과도한 크기, 오래된 하드웨어와의 호환성 문제를 야기하는 DRM 약속 위반, 게임의 호환성과 기능을 저해하는 독점 API 등입니다. 저자는 Steam과 Epic, Microsoft Store, GOG를 비교하며 이러한 대안들이 더 나은 DRM과 사용자 경험을 제공한다고 주장합니다. 더 나은 게임 경험과 소프트웨어 소유권을 위해 구독 서비스나 다른 플랫폼에서의 구매를 제안하고 있습니다.
더 보기
백악관 고위 관계자가 미국이 금 보유고를 활용해 비트코인을 추가로 매입할 가능성을 시사했습니다. 대통령 디지털 자산 자문 위원회의 보 하인즈 사무국장은 이것이 예산에 영향을 미치지 않고 비트코인 보유고를 늘릴 수 있는 방법이 될 수 있다고 말했습니다. 그는 연방준비제도의 금 증서를 매각하여 자금을 조달하고 5년 동안 100만 비트코인을 취득하도록 제안하는 2025년 비트코인 법안을 언급했습니다. 트럼프 대통령 또한 미국을 비트코인 강국으로 만들겠다고 약속했습니다.
더 보기