Don't credit the LLM

최근 LLM을 사용한 결과물을 공유할 때 해당 도구에 대한 크레딧을 부여하는 습관에 대해 의문을 제기합니다. 개발자들이 LLM을 사용하여 코드 작성이나 단위 테스트 등을 요청하고 그 결과를 공유할 때, 마치 도구의 사용을 인정하는 것처럼 언급하는 경우가 많습니다. 이는 마치 글쓰기 도구를 언급하는 것과 유사하며, 결과물의 품질에 대한 책임은 최종 사용자에게 있음을 강조해야 합니다.

작성자는 LLM 사용에 대한 크레딧을 부여하는 것이 오히려 자신의 책임감을 희석시킨다고 주장합니다. LLM의 성능이 기대치를 넘어서더라도, 결과물에 대한 최종적인 책임과 오류를 발견하고 수정하는 것은 사용자 본인의 몫입니다. 따라서 LLM이 생성한 결과물에 대해 완벽하지 않더라도 그 책임은 전적으로 사용자에게 있으며, 이는 모든 의미 있고 가치 있는 결과물이 생성되는 방식과 동일합니다.

결과적으로, LLM을 사용했는지 여부와 관계없이 창작물에 대한 완전한 크레딧과 책임은 인간에게 귀속되어야 합니다. 도구는 책임의 주체가 될 수 없으므로, 사용자는 자신이 만든 결과물에 대해 전적인 책임을 지고 개선해야 합니다. 이는 AI의 등장과 관계없이 모든 창작 과정에서 적용되어야 할 원칙입니다.

NetBSD 11.0 출시

NetBSD 11.0 버전이 여러 차례 지연을 거쳐 공개되었으며, 아키텍처별 설치 안내와 CDN 설치 이미지가 제공되었습니다. 개발자와 시스템 관리자를 위해 설치 과정에 필요한 구체적인 자료가 제공되었으니 참고하시기 바랍니다.

설치 매체에 따라 파일 선택 기준이 달라지므로 설치 시 주의가 필요합니다. CD-ROM을 설치 매체로 사용할 경우 700MB 미만 분할 ISO 파일 또는 -dvd.iso 파일을 사용해야 합니다.

반면, USB와 같은 플래시 미디어를 사용할 경우에는 압축을 풀지 않은 .img 파일을 선택해야 합니다. 이러한 설치 매체별 파일 선택 기준을 정확히 숙지해야 원활한 설치가 가능합니다.

OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf]

OpenAI가 코네스(Connes)의 강성 추측(Rigidity Conjecture)에 대한 반증을 주장했으나 그 주장이 무효하다는 내용이 발표되었습니다. 이 논문은 해당 주장의 수학적 또는 이론적 근거에 대한 검토 결과를 제시하며, 기존의 반증 시도가 유효하지 않음을 밝히고 있습니다.

이 결과는 수학적 이론의 경계와 관련된 논쟁에 중요한 영향을 미칩니다. 코네스의 강성 추측은 비가환 기하학 및 양자장론과 같은 심오한 분야에서 중요한 역할을 하며, 이 추측에 대한 반증 시도는 이론 물리학 및 수학 분야에서 활발하게 논의되어 왔습니다.

따라서 OpenAI가 제시한 반증의 유효성 문제는 해당 이론적 배경에 관심 있는 개발자나 연구자들에게 수학적 논증의 타당성에 대한 새로운 관점을 제공합니다. 이 정보는 특정 알고리즘이나 기술 구현에 직접적인 영향을 주기보다는, 근본적인 수학적 가정에 대한 이해를 확장하는 데 기여합니다.

The teenage hitmen recruited to kill across Europe

유럽 전역에서 십대 살인자들이 조직 범죄 집단에 의해 모집되어 살인 및 테러 행위를 저지른 사건이 드러났습니다. 이들은 이란 정권과 연관된 조직인 폭스트롯 네트워크의 '폭력 서비스(VaaS)' 전술에 동원되었으며, 이 과정에서 약 35건의 살인과 이스라엘 표적에 대한 공격 시도가 발생한 것으로 추정됩니다.

이 범죄 조직은 소셜 미디어를 통해 십대들을 모집하고 컴퓨터 게임처럼 '게이미피드' 방식으로 지시를 내리는 등 디지털 환경을 악용하여 범죄를 실행했습니다. 유럽연합(EU)의 Europol이 이 문제를 해결하기 위해 구성한 운영 태스크포스(OTF GRIMM)는 벨기에, 스웨덴, 프랑스 등 11개국에 걸쳐 이 현상을 조사하고 있습니다.

폭스트롯 네트워크의 리더인 라와 마지드 등은 이란 정권에 의해 자신들의 네트워크를 이용해 이란의 적들을 공격하도록 지시받았다고 보도되었습니다. 이들은 이란과의 연관성을 통해 이스라엘 표적이나 반체제 인사들을 대상으로 공격을 감행했으며, 이 과정에서 텔레그램과 같은 메신저 앱을 통해 임무가 전달되었습니다.

특히 한 십대 살인자인 요하네스 나틀랜드의 사례는 이러한 시스템이 어떻게 작동하는지를 보여줍니다. 그는 온라인 핸들러들을 통해 임무를 받고, '에이전트 47'이라는 가상의 캐릭터처럼 지시를 받아 실제 살인 임무를 수행했으며, 이는 디지털 플랫폼이 어떻게 폭력 행위를 조직화하는지에 대한 심각한 우려를 제기합니다.

The time filter in Google Search broke a few days ago

구글 검색의 시간 필터 기능에 문제가 발생하여 며칠 전에 오류가 발생했습니다. 이 문제는 사용자들이 검색 결과를 특정 시간 범위로 제한하는 데 사용하던 기능에 영향을 미쳤습니다.

해당 오류는 구글 검색 시스템 내의 시간 필터 구현에 기술적인 결함이 생겼음을 시사합니다. 이는 검색 결과의 정확성과 사용자의 검색 경험에 직접적인 영향을 미칠 수 있는 중요한 문제입니다.

개발자 관점에서 이 사건은 구글 검색 인프라나 특정 필터링 로직에 잠재적인 취약점이 있음을 의미합니다. 따라서 관련 시스템을 구축하거나 유지보수하는 개발자들은 이러한 검색 기능의 안정성과 데이터 처리 방식을 재검토할 필요가 있습니다.

MkLinux and the pimped-out Apple Workgroup Server 9150

MkLinux와 구형 Apple Workgroup Server 9150을 재구성하는 과정은 클래식 MacOS와 MkLinux를 하나의 서버에서 구동하는 기술적 도전과 역사적 맥락을 제공합니다. 이 글은 Floodgap 연구소에서 구형 Apple Network Server인 Workgroup Server 9150을 재건하여 MkLinux를 설치하는 과정을 다루며, 이는 구형 하드웨어에 새로운 리눅스 기반 시스템을 적용하는 실질적인 방법을 제시합니다.

Workgroup Server(WGS)는 Apple의 Macintosh 라인업과 관련하여 고성능 옵션과 서버 소프트웨어가 추가된 기기들이었으며, 이는 Apple이 서버 라인을 시작하기 전의 맥락을 이해하는 데 중요합니다. 과거 Apple은 IBM AIX를 구동하는 서버를 운영했으며, 이는 당시의 하드웨어 및 소프트웨어 전략과 관련이 있습니다.

이 과정에서 Apple은 Macintosh Office 프로젝트와 Big Mac과 같은 서버 시스템을 개발했으나, 시장 수요를 예측하고 하드웨어 공급을 관리하는 데 실패했습니다. 이러한 역사적 배경은 하드웨어의 재구축과 운영체제 전환이 단순히 기술적인 작업이 아니라, 과거 Apple의 비즈니스 및 시스템 전략의 결과임을 보여줍니다.

결론적으로, 이 글은 구형 Apple 시스템을 재활용하여 MkLinux를 구동하는 구체적인 구성 방법을 제시함과 동시에, 운영체제와 서버 하드웨어의 진화 과정을 이해하는 데 필요한 중요한 역사적 맥락을 제공합니다.

Linux desktop market share has hit over 10% in North America

북미 지역 데스크톱 시장에서 리눅스(Linux)의 점유율이 10%를 넘어섰다는 내용이 보고되었습니다. 이 수치는 리눅스가 점차 주류 운영체제로 자리 잡고 있음을 시사하며, 개발자 커뮤니티 내에서 운영체제 시장의 변화에 대한 논의를 촉발하고 있습니다.

하지만 이 수치에 대해 일부 사용자들은 데이터의 정확성에 의문을 제기하고 있습니다. 일부 댓글에서는 오픈BSD나 FreeBSD와 같은 다른 리눅스 기반 시스템의 사용자 수가 훨씬 많을 것이라는 의문을 제기하며, 데이터가 로봇 크롤링이나 특정 환경을 잘못 계산했을 가능성을 언급했습니다.

또한, 운영체제 시장 점유율에 대한 논쟁이 이어지면서 macOS와 OSX의 시장 점유율 비교 등 다른 운영체제 간의 상대적인 위치에 대한 질문도 제기되었습니다. 이러한 논의는 리눅스 생태계의 확장성과 실제 사용자 기반에 대한 보다 심층적인 분석이 필요함을 보여줍니다.

Karpathy’s Pelican

안드레이 카르파티(Andrej Karpathy)는 대규모 언어 모델(LLM)의 잠재력을 테스트하기 위해 복잡한 세계관 생성에 LLM을 활용하는 실험을 진행했습니다. 그는 Opus 5 모델에게 『반지의 제왕』의 첫 단락을 입력하고 100만 토큰 예산(약 1달러) 내에서 Three.js 렌더링 코드를 요청하여 이야기를 절차적으로 렌더링하도록 지시했습니다. 그 결과 Opus 5는 약 2시간 동안 5500줄의 코드를 작성하여 이야기를 시각적으로 구현해냈습니다.

이 실험은 LLM이 얼마나 많은 인내심과 지구력을 가지고 있는지 보여주며, 기존에는 아무도 시도하지 않았을 법한 매우 맞춤화된 결과물을 생성할 수 있음을 시사합니다. 카르파티는 LLM이 "아무도 시도하지 않을 일"에서 "왜 안 될까, 시도해 보자"로 사고방식을 전환할 수 있다는 점에 흥미를 느꼈습니다. 그는 이러한 능력을 활용하여 플레이어가 등장인물이나 관찰자로 참여할 수 있는 초개인화된 가상 세계를 만드는 것에 열정을 보였습니다.

하지만 세계나 게임의 영역에서 LLM의 한계도 드러났습니다. LLM은 생성한 결과물을 효율적으로 검토하거나 내재적으로 인식하지 못하기 때문에 작업물을 쉽게 감사하기 어렵습니다. 실제로 Opus 5는 여러 지점에서 스크린샷을 매우 느리고 고통스럽게 찍어야 했으며, 이 과정에서 오류가 발생하여 많은 결함이 생기는 모습을 보였습니다. 이는 멀티모달 및 게임플레이 능력에 있어 LLM이 아직 부족함을 보여주는 사례입니다.

Plug-in solar is coming. Plug-in batteries should follow

플러그인 태양광이 등장함에 따라 플러그인 배터리가 뒤따라와야 한다는 주장이 제기되고 있습니다. 이는 특히 전통적인 가정용 배터리 시스템 설치가 어려웠던 임차인, 아파트 거주자, 저소득층 가구에게 전기 요금 절감 기회를 제공할 수 있기 때문입니다.

플러그인 배터리는 가정 배선에 별도의 수정 없이 표준 벽 소켓에 연결하여 사용할 수 있는 휴대용 에너지 저장 장치입니다. 이 배터리는 시간대별 요금제(time-of-use tariff)의 비첨두 시간대에 전기를 충전하고 전기가 비싼 시간에 방전하여 가계 비용을 절감할 수 있습니다. 기존의 가정용 배터리 시스템과 달리 전문 전기 기술자의 설치가 필요 없으며, 이는 설치 비용을 크게 절감하는 장점이 있습니다.

플러그인 시스템의 비용은 설치 비용이 매우 낮지만, 배터리 용량당 비용은 크므로 소규모 시스템의 경우 단위당 비용이 높을 수 있습니다. 하지만 시간대별 요금제와 배터리 크기, 가정의 전력 수요 패턴에 따라 가구의 총 에너지 절감액은 달라지며, 고에너지 가구의 경우 10년 동안 최대 2,400파운드까지 절약할 수 있다는 분석 결과가 제시되었습니다.

Deep-sea vehicles spot 'alien' sharks deep beneath the waves in the Pacific

태평양 심해에서 심해 탐사 차량이 '외계' 상어들을 발견했다는 내용이 보도되었습니다. 이 발견은 심해 생물학 연구에 새로운 질문을 던지며 미지의 생태계에 대한 이해를 확장할 가능성을 제시합니다.

심해 탐사 차량을 통해 포착된 이 상어들은 기존에 알려진 종들과는 다른 특성을 보여주어 과학자들에게 놀라움을 안겨주고 있습니다. 이러한 발견은 심해 환경이 우리가 상상하는 것보다 훨씬 더 다양하고 독특한 생물종을 품고 있을 수 있음을 시사합니다.

이러한 심해 생물 발견은 해양 생물 다양성의 광범위함을 강조하며, 심해 환경 보존의 중요성을 더욱 부각시킵니다. 앞으로 심해 탐사 기술의 발전은 미지의 생물종과 환경에 대한 더 깊은 이해를 가능하게 할 것입니다.

Four Time Scales for Technology Development and Deployment

기술 개발과 배포에는 네 가지 다른 시간 규모가 존재하며, 사람들은 이 시간들을 혼동하여 기술의 미래에 대해 잘못된 예측을 하는 경우가 많습니다. 첫 번째 시간 규모는 새로운 연구 아이디어의 형성으로, 실질적인 실험적 시연을 위해서는 10년에서 20년이 걸리며, 신경망 모델의 초기 연구부터 오늘날의 대규모 언어 모델(LLM)이 탄생하기까지는 수십 년이 소요되었습니다.

두 번째 시간 규모는 과대 포장(Hype) 생성 단계로, 연구 결과가 대중에게 빠르게 확산되면서 과도한 기대가 생겨나는 현상입니다. 블록체인이나 메타버스 같은 기술들이 빠르게 유행하지만, 실제로는 기초 과학이나 공학적 난제를 해결하는 데는 훨씬 더 오랜 시간이 필요합니다. 이처럼 실제 기술 발전 속도보다 과장된 기대가 앞서기 때문에, 실제 기술과 과장된 기대 사이의 비율은 매우 높습니다.

세 번째 시간 규모는 대규모 배포(At Scale Deployment) 단계로, 잘 설계된 제품을 대중이 실제로 사용하는 단계로 넘어가는 데 필요한 시간입니다. 소프트웨어는 제조 비용이 거의 없지만, 실제 물리적 시스템을 대규모로 구축하고 고객 지원을 포함한 배포를 확장하는 것은 초기 단계보다 훨씬 더 많은 노력을 요구합니다.

마지막 네 번째 시간 규모는 경제 재편(Reshape the Economy) 단계로, 인공지능이나 로봇이 노동력을 대체하여 새로운 세계 경제 질서를 만드는 과정입니다. 이러한 대규모 기술 변화는 수천 년에 걸쳐 이루어졌던 역사적 변화들처럼, 기술이 세계 경제를 재편할 만큼 충분한 규모로 배포되기 위해서는 수십 년, 즉 인간의 수명에 달하는 시간이 필요합니다.

When random.bytes() runs but doesn't work

Coldcard 펌웨어에서 무작위 숫자 생성(RNG)에 취약점을 유발하는 버그가 발견되었습니다. 이 문제는 특정 커밋에서 하드웨어 RNG를 비활성화하는 코드를 추가하면서 발생했는데, 이로 인해 보안에 중요한 엔트로피가 약해지는 문제가 생겼습니다.

해당 커밋의 메시지는 단순히 "runs"라는 5글자로 매우 불명확했으며, 코드 변경량 대비 커밋 메시지 비율이 극도로 낮아 코드 변경의 맥락을 파악하기 어렵습니다. 개발자는 코드 변경 시 변경 사항을 명확히 설명하는 좋은 커밋 메시지를 작성해야 하며, 특히 보안에 중요한 함수를 변경할 때는 더 엄격한 검토가 필요합니다.

기술적으로 이 버그는 C 코드와 Python 애플리케이션 간의 바인딩 과정에서 발생한 충돌 때문에 생겼습니다. 개발자가 하드웨어 RNG를 비활성화하는 과정에서 컴파일러 오류가 발생했으나, 개발자는 이 오류를 해결하기 위해 논리적 오류를 수정하는 대신 임의의 값을 설정하여 오류를 무시했습니다. 이는 근본적인 문제 해결이 아닌 증상만 가린 결과를 초래했습니다.

결론적으로 개발자는 자신이 배포하는 코드를 완전히 이해해야 하며, 커밋 메시지를 통해 변경 이력을 명확히 기록하고 코드를 신뢰할 수 있도록 관리해야 합니다. 복잡성은 적이 아니며, 코드를 이해하고 문서화하는 노력이 보안을 지키는 데 필수적입니다.

Show HN: I'm a 15 Year Old Wannabe Engineer, This Is a Cycloidal Gearbox I Built

15세 개발자가 직접 제작한 사이클로이드 기어박스 프로젝트를 공유하는 내용입니다. 이 프로젝트는 SOLIDWORKS 자료를 기반으로 설계된 핸드크랭크 기어박스에서 시작하여 3D 프린팅의 한계를 극복하며 실제 작동하는 버전을 구현하는 과정을 담고 있습니다.

최종적으로 완성된 버전 3은 NEMA 17 스테퍼 모터를 구동하는 데 성공했으며, 기어비는 1:9로 설정되었습니다. 이 기어박스는 외경 90mm의 크기를 가지며, PLA 소재로 제작되었고 기어박스 자체의 효율은 66%를 달성했습니다. 이는 기어박스에 1.28 N·m의 토크를 전달했으며, 구동 모터의 기본 토크는 0.21 N·m로 측정되었습니다.

개발 과정에서 설계자는 작은 사이클로이드 구동체의 정밀도 문제와 3D 프린팅의 제약을 해결하기 위해 여러 버전을 거쳤습니다. 특히 설계 시에는 외경(R)과 편심(E) 사이의 제약 조건($R > E \cdot N$)을 만족시키고, 마찰을 줄이기 위해 MR128 베어링 사용 및 출력 핀에 금속 커버를 적용하는 등의 개선 방안을 모색했습니다.

이 결과는 취미를 넘어 실제 기계 설계와 제어 시스템에 대한 이해를 바탕으로 하드웨어 제작의 가능성을 보여줍니다. 효율과 강성을 높이기 위한 추가적인 개선 여지가 남아있어, 향후 기어박스 설계에 대한 연구와 발전 가능성을 시사합니다.

Show HN: CostPerPrompt – Live AI API pricing and real-workload cost calculators

AI API 가격은 토큰당 비용을 기준으로 하며 입력(Input)과 출력(Output)에 따라 요금이 달라진다는 점을 이해해야 합니다. 일반적으로 모델이 생성하는 출력 비용은 입력 비용보다 3배에서 5배 더 비싸기 때문에 단순히 토큰 가격만 보고 비용을 추정하기 어렵습니다.

CostPerPrompt는 232개 이상의 모델에 대한 실시간 API 가격을 제공하며, 사용자가 실제 챗봇, 에이전트, RAG 시스템 등 특정 워크로드의 비용을 계산할 수 있는 도구를 제공합니다. 이 도구는 GPU 임대 가격과 이미지 API 가격까지 포함하여 전체 비용을 추정할 수 있게 해줍니다.

특히 비용 절감 방법으로 프롬프트 캐싱을 통해 입력 비용을 최대 90% 절감하거나 배치 API를 사용하여 전체 비용을 50% 절감하는 방법을 제시합니다. 이러한 최적화 기법을 반영하여 실제 비용을 계산함으로써, 기존의 추정치보다 정확한 비용 예측이 가능합니다.

이러한 계산기는 대부분의 비용 관련 기사들이 놓치는 실제 사용 환경에서의 비용 차이를 반영하여, 개발자들이 AI 시스템 구축 시 현실적인 예산을 설정하는 데 도움을 줍니다.

Ripgrep musl 바이너리가 초대형 검색 중 간헐적으로 세그멘테이션 오류를 일으킴

Ripgrep 15.2.0의 x86_64-unknown-linux-musl 바이너리가 대규모 파일 트리를 높은 동시성으로 검색할 때 간헐적으로 세그멘테이션 오류(SIGSEGV)를 일으키는 문제가 보고되었습니다. 이 충돌은 시스템이 메모리를 할당하는 과정에서 발생하며, 이는 대규모 작업 환경에서 Ripgrep의 안정성에 영향을 미칠 수 있습니다.

구체적으로 오류는 opendir 함수가 호출한 calloc 내부에서 발생하며, 이는 musl mallocng의 힙 메타데이터 처리 과정에서 발생한 것으로 확인되었습니다. 이는 Ripgrep이 대량의 파일 정보를 처리하고 동시성을 유지하며 메모리를 관리할 때 내부적인 메모리 할당 로직에 취약점이 있음을 시사합니다.

개발자들은 이러한 문제가 대규모 파일 검색이나 고부하 환경에서 Ripgrep을 사용하는 경우 메모리 관리 및 동시성 처리 방식에 잠재적인 위험이 있음을 인지해야 합니다. 해당 문제는 musl 기반 환경에서 메모리 할당의 안정성을 개선할 필요가 있음을 보여줍니다.

ASRock BC-250: Building the Budget Steam Machine

ASRock BC-250 마더보드를 활용하여 예산에 맞는 고성능 스팀 머신을 구축하는 방법에 대한 상세 가이드입니다. 이 시스템은 가격 대비 성능이 뛰어나 프로젝트에 적합하지만, 최적의 성능을 위해서는 세밀한 하드웨어 및 소프트웨어 튜닝이 필수적입니다.

성능 향상을 위해 VRAM 할당은 일반적으로 512MB가 권장되지만, 작성자는 6GB 할당을 추천하며, 스페셜한 셰이더 캐시를 위해 Steam의 프리캐시 셰이더 다운로드를 비활성화해야 합니다. 또한 시스템 안정성을 위해 HHD 데몬을 비활성화하여 끊김 현상을 방지하고, GPU 성능을 극대화하기 위해 cyan-skillfish-smu GPU 거버너를 설치하여 동적으로 클럭 속도를 조정하는 것이 권장됩니다.

CPU 오버클럭 및 언더볼팅을 위해서는 40CU 잠금을 활용하고, bc250-detect와 스트레스 테스트 도구를 사용하여 시스템 안정성을 확보하면서 최적의 클럭 및 전압 설정을 찾아야 합니다. 특히, 시스템 안정성을 유지하면서 성능을 높이기 위해 최소 주파수를 조정하고 안전 전압 지점을 설정하는 과정이 중요합니다.

최종적으로 셰이더 캐시 최대 크기를 5GB로 설정하고, 시스템이 부팅 시 설정값을 유지하도록 시스템 서비스를 활성화하여 최적화된 경험을 완성할 수 있습니다.

Google은 Google News를 방치했나?

Google 뉴스 검색 결과의 신뢰성에 문제가 발생하여 사용자들이 검색 결과를 신뢰하기 어려워지고 있습니다. 사용자는 검색 시 발행 기간, 언어, 지역 등을 지정할 수 있는 검색 필터가 제공되지만, 이 필터들이 순차적으로 제대로 작동하지 않는 문제가 발생했습니다.

구체적으로 사용자가 Tools 메뉴를 통해 발행 기간, 언어, 지역을 설정하더라도 이러한 검색 필터들이 차례로 작동하지 않게 되면서 의도한 조건에 맞는 결과를 얻기 어렵습니다. 이는 사용자가 원하는 특정 조건에 기반한 뉴스를 찾는 데 있어 검색 기능의 신뢰도를 크게 떨어뜨리는 요인입니다.

결과적으로 검색 결과의 상당 부분이 원하는 정보와 무관한 내용으로 채워질 수 있으며, 이는 Google 뉴스 검색 기능의 핵심적인 사용 경험에 영향을 미칩니다. 개발자나 사용자 입장에서는 검색 결과의 정확성과 필터링 기능의 작동 방식에 대한 명확한 이해가 필요합니다.

The Prospects for 128 Bit Processors ( John Mashey SGI 1995)

128비트 프로세서의 전망에 따르면, 물리적 메모리 압력에 기반하여 64비트에서 128비트로의 전환은 2043년경에 이루어질 것으로 예측됩니다. 이는 메모리 밀도 증가 속도와 가상 메모리 압력의 관계를 분석한 결과이며, 실제 메모리 구매에 편리하게 접근하기 위한 물리적 주소 지정의 필요성이 주요 동인으로 작용합니다.

물리적 주소 지정 측면에서, DRAM의 발전 속도에 따라 시스템은 2~3년마다 2비트의 물리적 주소를 추가해야 합니다. 이 계산에 따르면, 물리적 메모리 압력만 고려했을 때 64비트에서 128비트로의 전환은 약 48년이 소요될 것으로 추정됩니다. 이는 시스템이 실제로 구매할 수 있는 메모리를 편리하게 주소 지정하려는 욕구에서 비롯됩니다.

반면, 가상 메모리 압력은 물리적 크기보다 훨씬 빠르게 증가하며, 파일-with-holes와 파일 매핑 사용이 늘어날 경우 2020년경에 전환이 이루어질 수 있다는 예측도 있습니다. 따라서 128비트 아키텍처로의 전환 시점은 물리적 제약과 소프트웨어적 요구사항 사이의 복합적인 상호작용에 따라 달라질 수 있습니다.

결론적으로, 현재 64비트 CPU는 장기간 충분할 것으로 보이며, 128비트의 필요성은 기술적 한계보다는 메모리 시스템의 물리적 제약과 소프트웨어적 사용 패턴에 의해 결정될 것입니다.

Persistent State Machines: LLM Attention with INT4 In-Memory Cells

LLM의 어텐션 연산에 대한 새로운 이산 프레임워크인 지속 상태 기계(Persistent State Machines, PSM)에 대한 완전한 수학적 증명과 Vivado 구현 종합(버전 8.0)이 발표되었습니다. 이 연구는 어텐션 연산에 대한 형식적인 이산 프레임워크를 제시하며, 계산이 국소적인 결정론적 상태 전이를 평가하는 고정 메모리 셀로 방송되는 방식을 사용합니다.

연구진은 양자화 오류 경계, 명시적인 경계 조건 하에서의 다단계 이산 Softmax 구성, 공간적 분해와의 결정론적 유한 오토마타 동등성, 그리고 DSPACE(O(n))에 대한 멤버십에 대한 완전한 수학적 증명을 제공합니다. 이러한 이론적 기반은 LLM의 효율적인 하드웨어 구현을 위한 엄밀한 기초를 제공합니다.

또한, 이 아키텍처의 구현 가능성을 실제 프로그래머블 로직 패브릭에 대해 검증했습니다. Zynq-7000 xc7z020 환경에서 1024셀 배열 구현을 통해 하드웨어 수준의 자체 활성화 게이팅이 활성 동적 스위칭을 희소 셀로 제한함을 입증했으며, 핵심 로직의 동적 전력은 1.0 mW 미만으로 추정되었습니다.

시스템 온 칩(SoC) 통합을 위해 256셀 하위 배열을 AMBA AXI4 및 AMD Xilinx PCIe Gen3 x1 Bridge(XDMA v4.2)와 함께 통합하여 시스템 수준 호환성을 확인했습니다. 이 SoC는 62.5 MHz의 통합 시스템 클럭에서 타이밍을 성공적으로 완료했으며, 전체 로직 슬라이스의 0.67%만을 차지하여 높은 확장 잠재력을 보여줍니다.

이 결과는 시뮬레이션 기반 도구 추정치이며 실제 FPGA 보드 측정을 수행하지 않았고 시스템 수준의 외부 메모리 에너지는 제외되었음을 유의해야 합니다.

Flint - AI 시대를 위한 시각화 언어

AI 시대를 위한 새로운 시각화 언어인 Flint가 발표되었습니다. Flint는 데이터 필드의 의미를 기반으로 파싱, 축, 서식, 색상을 자동으로 결정하여 사용자가 저수준 설정 없이 차트를 만들고 수정할 수 있게 해주는 시각화 언어입니다.

이 언어는 데이터 자체의 의미, 즉 의미 타입(semantic type)을 활용하여 차트의 시각적 요소를 자동화하는 것을 목표로 합니다. 예를 들어, `Rank`, `YearMonth`, `Delta`, `Temperature`와 같은 의미 타입을 사용하여 데이터의 맥락을 반영한 차트를 쉽게 생성할 수 있습니다.

이는 개발자가 복잡한 시각화 설정을 직접 다루는 대신 데이터의 의미에 집중하여 더 빠르고 직관적으로 차트를 구현할 수 있도록 돕습니다. 결과적으로 데이터 분석과 시각화 과정에서 발생하는 설정의 복잡성을 줄이고 사용자 경험을 개선하는 데 중점을 두고 있습니다.