일일 요약 · Hacker News
· 89 해커뉴스
Tristan Buckmaster와 Levent Alpöge는 LLM(대형 언어 모델)의 도움으로 비압축성 오일러 방정식과 관련 방정식의 매끄러운 강제력을 가진 유한 시간 폭발을 증명했습니다. 이 작업은 Diego Córdoba와 Luis Martínez-Zoroa의 프로그램을 확장한 것입니다. Buckmaster는 또한 OpenAI가 자신들의 진행 상황…
OpenAI가 내부 AI 시스템을 이용해 나비에-스토크스 방정식의 존재성과 매끄러움 문제, 즉 밀레니엄 문제 중 하나를 해결했다고 발표했습니다. 이 증명은 유체 운동이 유한 시간 내에 특이점을 발생시킬 수 있음을 보여주며, Lean으로 공식화되었습니다. OpenAI는 이 결과가 AI 발전 속도를 보여주는 중요한 이정표라고 강조했습니다.
프랑스 AI 스타트업 Mistral이 시리즈 D 라운드에서 30억 유로(약 4조 3천억 원)를 조달하며 유럽 기술 기업 사상 최대 규모의 자금 조달 기록을 세웠다. 이번 라운드는 삼성전자가 주도했고, 기업가치는 210억 유로 이상으로 평가받았다. Mistral은 이 자금을 프론티어 연구와 컴퓨팅 인프라 확장에 투자할 계획이다. 현재 20개국에서 운영되며…
LibreOffice 26.8이 출시 일주일 만에 설치 프로그램 다운로드 100만 건을 돌파하며 역대 최고 인기를 기록했습니다. The Document Foundation(TDF)은 생성형 AI 기능을 포함하지 않기로 한 결정이 주효했다고 분석합니다. TDF는 AI 기술의 개인정보 보호 문제를 지적하며, 사용자 통제, 무단 데이터 전송 금지, 텔레메트리…
Meta가 개인 AI 에이전트 'Muse'를 출시했다. Muse는 전용 가상 머신에서 실행되는 보안 브라우저를 통해 예약, 양식 작성, 고객 서비스 처리 등의 작업을 수행하며, WhatsApp과 Muse 앱에서 대화하듯 사용할 수 있다. 사용자는 중요한 작업(이메일 발송, 구매 등)을 사전 승인할 수 있고, 전체 감사 추적을 확인할 수 있다. 로그인 정보…
오픈소스 미디어 서버 Jellyfin이 12.0을 출시했다. 이번 업데이트는 10.11에서 시작된 데이터베이스 개편을 마무리하고 성능을 대폭 개선했다. 특히 에피소드에 대한 다중 버전(예: 1080p/4K, 방송판/확장판)을 지원하며, 북과 코믹 기능이 서버에 통합되어 플러그인 없이도 메타데이터와 표지를 처리한다. 또한 재생목록과 컬렉션 저장 방식을 개선…
Google DeepMind가 인간 게놈의 모든 가능한 단일 염기 변이의 조절 영향을 예측한 대규모 데이터베이스 'AlphaGenome Atlas'를 출시했다. 이는 AI 모델 AlphaGenome을 사용해 90억 개의 단일 문자 유전자 변이를 사전 계산한 1페타바이트 규모의 데이터로, 연구자들이 코딩 및 비코딩 영역을 아우르는 통합 점수(AVI)를 통해…
한 가족이 지하 게임룸과 사무실을 포함한 집 전체를 LAN 파티를 위해 설계했다. 벽에 12대의 PC를 숨기고, 테이블을 변신시켜 6개의 게임 스테이션을 만들었으며, 바닥에는 DDR 패드를 설치했다. 20대의 동일한 게임 머신이 서버에서 네트부팅되고, 전용 에어컨과 케이블 관리 시스템을 갖췄다. 30년 넘게 함께 LAN 파티를 해온 친구들이 조립을 도왔다.
Gamers Nexus와 Level1Techs, 보안 연구원들이 공동 조사한 결과, LG 스마트 TV가 오프라인이거나 대기 모드일 때도 거의 항상 사용자와 가정에 대한 데이터를 수집·업로드하는 것으로 드러났다. TV는 Wi-Fi 네트워크를 스캔해 주변 기기를 탐지하고, 마이크로 오디오를 녹음하며, 오디오·비디오 샘플링으로 시청 콘텐츠를 식별한다. 특히 인…
- ▲ 564위키를 가둬버린 구글의 새 '감옥'
Weird Gloop이 Overwatch와 Fortnite 위키를 Fandom에서 독립시킨 직후, 구글 검색에서 신규 도메인 위키가 메인 페이지 외에는 노출되지 않는 '구글 감옥' 현상을 상세히 분석한다. 2024년 3월 구글 코어 업데이트 이후 신규 도메인의 위키 대부분이 수개월에서 1년간 검색 결과에서 사실상 차단되며, 이는 콘텐츠 품질과 무관하게 발…
GitHub에서 28.7k 스타를 받은 오픈소스 프로젝트 'i-have-adhd'는 코딩 에이전트(Claude Code, Codex, Cursor 등)가 답을 장황하게 묻지 않고 핵심부터 말하도록 강제하는 스킬/플러그인이다. '다음 행동 먼저', '단계 번호 매기기', '군더더기 제거' 등 10가지 규칙을 적용해 에이전트의 출력을 ADHD 친화적으로 바꾼…
한 보안 연구자가 1999년 넷스케이프 4.51에 포함된 캐나다 인증기관 E-Certify의 512비트 RSA 루트 키 두 개를 소인수분해하는 데 성공했다. CADO-NFS를 이용해 데스크톱에서 각각 32시간과 29시간이 걸렸으며, 이를 통해 개인 키를 복구해 실제로 Netscape 4.51에서 작동하는 인증서를 발급했다. 이는 90년대 초기 웹 PKI의…
필즈상 수상자 테렌스 타오가 AI 시대의 수학 연구에 대한 우려를 제기했다. 그는 좋은 미해결 문제가 이제 비재생적 자원처럼 고갈되고 있다고 주장한다. 물에 둘러싸인 나라가 식수를 부족해하는 것과 같다는 비유로, 무한히 많은 문제 중 의미 있는 문제는 드물다고 설명한다. AI 도구가 문제 해결의 난이도 지형을 평평하게 만들어 유망한 문제를 식별하기 어렵게…
블랙매직디자인이 IBC 2026에서 DaVinci Resolve 21.1을 발표했습니다. 이번 업데이트는 Claude, ChatGPT Codex 등 AI 어시스턴트와의 통합을 지원하여 프로젝트 분석, 미디어 정리, 일괄 렌더링을 대화형 언어로 처리할 수 있습니다. 또한 Fujifilm GFX/X, Leica SL, Sony A7R V 등 카메라 포맷 지원…
e-ink 리더 Xteink X3를 진짜 프린터로 개조한 경험담. IPP(Internet Printing Protocol)를 구현하고, macOS에서 드라이버 없이 인식되도록 Bonjour 서비스를 설정했다. 문제는 400KB RAM에 불과한 하드웨어에서 8.4MB 크기의 페이지를 처리해야 한다는 것. 해결책은 이미지 데이터를 디스플레이 메모리에 직접 스…
Mondo Mayo의 'Associate Slop Doula'인 화자는 RTO(사무실 복귀)가 왜 필수인지 열정적으로 설명한다. 그는 AI 도구 SlurryHose로 GENERATE 버튼과 APPROVE 버튼을 하루에 수천 번 클릭하는 일을 하면서도, 6일 근무, 14시간 근무가 필요하다고 생각하지 않았다. 하지만 경험이 그가 틀렸다는 것을 증명했다. R…
CipherCue의 추적 데이터에 따르면, CDN을 사용하는 유럽 기업 44,143곳 중 89.6%인 39,547곳이 Cloudflare를 사용하는 것으로 나타났습니다. 국가별로는 네덜란드가 95.6%로 가장 높았고, 독일이 81.4%로 가장 낮았습니다. 이는 Cloudflare의 시장 집중도가 매우 높다는 것을 보여주며, Cloudflare의 장애가 유…
Paramount가 Warner Bros.와의 1,110억 달러 규모 합병을 지지하는 것처럼 보이게 하기 위해 가짜 풀뿌리 조직 'Neighbors for Strong Communities'를 이용한 사실이 드러났다. 이 단체는 캘리포니아 주민들에게 문자를 보내 Rob Bonta 법무장관에게 반독점 소송을 취하하도록 압력을 넣으라고 요청했다. 그러나 이…
OpenAI가 새로운 이미지 생성 모델 ChatGPT Images 2.5를 공개했습니다. 이 모델은 더 선명한 디테일, 자연스러운 조명과 질감, 정밀한 편집 기능을 제공하며, 이미지 생성 지연 시간을 최대 50% 단축했습니다. ChatGPT에서는 Sketch 기능과 템플릿, 이미지에 직접 주석을 다는 기능, 프롬프트 공유 기능이 추가되었습니다. API에는…
404 Media의 조사에 따르면, 미국 국토안보부(DHS) 산하 국경순찰대(Border Patrol)가 '예측 치안'을 내세워 미국 시민의 금융 활동과 같은 데이터를 분석하고, 이를 지역 경찰에 넘겨 특정 범죄 혐의가 없는 사람들을 정밀 검문하도록 하는 비밀 부서 'Predictive Intelligence Targeting Team(PITT)'을 운영…
Terrastruct의 자동 레이아웃 알고리즘 TALA가 D2와 동일한 MPL-2.0 라이선스로 오픈소스화되었습니다. TALA는 소프트웨어 아키텍처 다이어그램을 위해 설계된 새로운 알고리즘으로, 화이트보드 스타일의 직교 레이아웃을 생성하며 대칭성, 흐름, 클러스터링 등 다양한 미적 기준을 최적화합니다. D2 v0.9.0에 번들되어 `--layout=tal…
중국 AI 연구소 Z.ai가 오픈웨이트 모델 GLM 5.3-flash를 공개하면서, 이를 악용 목적으로 개조한 'abliterated' 버전이 등장했습니다. 이 모델은 소비자용 하드웨어에서 실행 가능하며, 사이버 보안 벤치마크에서 최고 수준의 성능을 보여줍니다. 저자는 프론티어 LLM을 활용해 취약점을 사전에 찾고 패치하는 Anthropic의 Projec…
Qwen3.8 27B 모델의 다양한 양자화 수준(GGUF)을 GPQA Diamond, IFBench, Terminal-Bench 2.1 벤치마크로 평가한 결과, 4비트 Q4_K_M(17GB)은 BF16 원본과 거의 동일한 성능을 보였고, 2비트 UD-Q2_K_XL(10.7GB)도 상당한 성능을 유지했습니다. 그러나 1비트 UD-IQ1_S(6.2GB)는 G…
Deltafin은 Apple Silicon의 MacBook Pro에서 Moonshot AI의 2.8조 파라미터 MoE 모델 Kimi K3 전체를 SSD에서 스트리밍하여 실행하는 단일 네이티브 바이너리입니다. 가지치기 없이 16개 전문가 전부를 사용하며, M1 Max에서 초당 0.29토큰을 달성했습니다. 이 프로젝트는 1.7TB 모델을 로컬에서 실행하여 2…
South Park 제작자 Trey Parker와 Matt Stone이 에미상 수상 후 시리즈 이름을 'South America'로 바꾼다고 발표했다. 이들은 Apple과 Google의 용기와 애국심에서 영감을 받았다고 밝히며, 모회사인 Paramount를 'Skydance Capitulation'으로 감사했다. 새 이름으로 방영되는 29번째 시즌은 9월…
- ▲ 247흙을 만지는 것만으로 건강이 좋아진다
BBC Future의 기사에 따르면, 흙, 이끼, 나무를 만지는 것은 피부와 면역 체계에 다양한 건강상의 이점을 제공한다. 핀란드 연구자들은 손을 흙에 20초간 문지르는 것만으로도 피부 미생물의 다양성이 증가하고, 이는 유해균을 억제하고 면역 체계를 강화하는 데 도움이 된다는 것을 발견했다. 또한 숲 바닥에서 노는 아이들은 피부 미생물 다양성이 증가하고…
10세기 조지아에서 기록된 성 발람과 요사팟 이야기는 사실 부처의 생애가 변형된 것입니다. 인도의 왕자 요사팟이 병들고 늙고 죽는 모습을 보고 고뇌하다가 은수자 발람을 만나 기독교로 개종한다는 줄거리는 고타마 붓다의 전설과 거의 일치합니다. 이 이야기는 아랍어, 페르시아어를 거치며 '보살'이 '요사팟'으로 변했고, 가톨릭과 정교회 성인으로 받아들여져 아이…
Inception Labs가 Mercury 2.5를 출시했습니다. 이 모델은 Mercury 2 대비 지능이 40% 향상되었으며, 초당 1,107토큰의 속도와 260K 토큰의 컨텍스트를 지원합니다. 가격은 토큰당 $0.20(입력)/$0.75(출력)이며, 출시 기념으로 80% 할인된 가격에 제공됩니다. Mercury 2.5는 현재까지 훈련된 가장 큰 확산 언…
Copperhead는 회로 기판 설계를 위한 오픈소스 AI 에이전트입니다. KiCad 파일을 직접 편집하고, 문서와 BOM을 자동으로 업데이트하며, ERC/DRC 검증을 통과할 때까지 반복합니다. 문서 기반 설계, 변경 제안 검증, 버전 관리 통합을 통해 하드웨어 설계의 '드리프트' 문제를 해결합니다. CLI는 무료이며, 클라우드 및 팀 플랜은 협업과 C…
웹은 끊임없이 변화하며, 그에 따라 HTML도 진화해 왔습니다. 이 글은 사라진 브라우저와 플랫폼을 위해 사용되었던, 이제는 쓸모없어진 HTML 스니펫들을 소개합니다. X-UA-Compatible부터 ICBM 좌표, IE 조건부 주석, PICS, 프레임 버스터, Baidu 트랜스코딩 방지 태그, Skype 툴바 비활성화, 그리고 초기 모바일 웹앱 메타 태…
1966년부터 운용된 대형 수송 헬리콥터 CH-53은 회전익의 미세 균열을 조종사가 실시간으로 감지해야 할 필요가 있었다. 초기에는 전자식 센서가 회전하는 블레이드에서 작동하기 어려웠고, 슬립링 배선은 복잡했다. Sikorsky가 개발한 IBIS(Inflight Blade Monitoring System)는 블레이드 내부에 소량의 방사성 스트론튬-90을…
OpenReview에 게재된 연구에 따르면, 대규모 언어 모델(LLM)은 단순히 훈련 데이터의 편향을 재현하는 것을 넘어, 적응적 탐색 과정을 통해 기존에 없던 새로운 사회적 편향을 스스로 개발할 수 있습니다. 이 연구는 LLM이 환경과 상호작용하며 학습할 때, 인간이 가지지 못한 독특한 편향이 어떻게 생겨나는지를 보여줍니다. 이는 AI 시스템의 공정성과…
Emacs용 미니멀 스타터 키트 Bedrock 2.0이 출시되었습니다. 이번 메이저 업데이트는 Emacs 29 지원을 중단하고 Emacs 31을 요구합니다. Bedrock은 기본 설정에 타사 패키지를 사용하지 않으며, 사용자가 직접 init.el을 수정하며 자신의 설정을 소유하도록 설계되었습니다. 주요 변경 사항으로는 embark-auto-prefix-h…
Dan Luu이 26가지 프롬프트 조건(테스트 주도 개발, 퀵체크, 형식 검증 등)으로 에이전트(Zstd 구현)의 테스트/검증 기법 활용 능력을 평가했습니다. 결과는 기본 지시(추가 지시 없음)가 평균 이상의 성능을 보였고, 특정 기법을 지시해도 에이전트는 피상적으로 적용하거나 잘못 사용했습니다. 형식 검증과 퍼징은 평균적으로 비슷했으며, 인기 스킬(EC…
알바니지 호주 정부가 '디지털 돌봄 의무(Digital Duty of Care)' 초안을 공개했다. 이 법안은 소셜 미디어 플랫폼이 사용자에게 기본 피드에서 알고리즘 기반 개인화 콘텐츠를 볼지, 아니면 직접 팔로우하는 친구와 크리에이터의 콘텐츠만 볼지 선택하도록 알림을 보내는 것을 의무화한다. 또한 온라인 게임, 앱, AI 챗봇 등 디지털 서비스는 18세…
뉴욕타임스가 92세의 수학자와 10대 제자가 함께 연구를 진행하는 특별한 이야기를 소개한다. 두 사람은 나이 차이를 뛰어넘어 수학적 호기심과 열정으로 뭉쳤고, 그들의 협업은 세대 간 교류의 새로운 모델을 보여준다. 이 기사는 두 사람의 만남, 연구 과정, 그리고 수학계에 미친 영향에 대해 다룬다.
NYU 수학 교수 Tristan Buckmaster가 화요일, 이론 수학의 주요 미해결 문제 중 하나에 대한 예비 결과를 포함한 세 가지 증명을 발표했다. 이 연구는 Anthropic 수학자 Levent Alpöge와 공동으로 수행됐으며, Codex와 Claude AI 모델을 사용했다. 그러나 발표와 함께 OpenAI의 동일 문제 해결 시도를 둘러싼 이례…
LLM Attention Visualizer는 대규모 언어 모델(LLM)의 주의 메커니즘을 시각화하는 인터랙티브 도구입니다. 생성된 토큰을 탭하거나 호버링하면, 해당 토큰 생성에 영향을 준 이전 토큰들이 강조 표시됩니다. 이 도구는 주의 가중치와 값 벡터의 크기를 결합하여 모든 어텐션 헤드와 레이어를 집계한 단일 수치를 기반으로 투명도를 조절합니다. 브라…
FreeBSD 프로젝트가 14.5-RELEASE를 공식 발표했습니다. 이번 릴리스는 stable/14 브랜치의 여섯 번째 버전으로, 레거시 브랜치 후반부에 해당하여 새로운 기능보다는 유지보수에 중점을 두었습니다. 주로 버그 수정, 드라이버 업데이트, 외부 소프트웨어 버전 갱신이 포함됩니다. amd64, i386, aarch64, armv7, powerpc…
Plush 인터프리터 개발자가 Rust의 태그된 enum(16바이트)을 64비트 워드에 저비트 태깅(low-bit tagging) 기법을 적용한 새 값 표현으로 교체했습니다. 이 기법은 힙 객체의 정렬된 주소와 정수의 하위 비트를 활용해 태그를 저장하며, 플로트는 셀프 태깅 방식을 사용합니다. 그 결과 메모리 사용량이 줄었을 뿐만 아니라, 예상과 달리 성…
e-infinity.space의 'A Topological Picture Book, Rendered'는 Francis의 『A Topological Picture Book』(1987)에 실린 중세 스타일의 손으로 그린 표면 그림을 컴퓨터로 재현한 인터랙티브 3D 모델 모음입니다. 이 페이지는 픽셀이 아닌 실제 스트로크로 그림을 그리며, 윤곽선, 이중 곡선,…
건축 사진작가 John Margolies는 40년 가까이 미국 도로변의 독특한 건축물과 간판을 기록했습니다. 그의 방대한 아카이브(11,710장의 컬러 슬라이드)는 이제 미국 의회도서관이 소장하게 되었고, 모든 저작권 제한이 해제되어 누구나 고해상도 디지털 이미지를 열람할 수 있습니다. 고래 모양의 세차장, 커피포트 모양의 커피숍, 기괴한 농담이 담긴 광…
OECD가 발표한 PISA 2025 결과에 따르면, OECD 회원국 학생들의 읽기와 수학 성적이 전반적으로 크게 하락했습니다. 이는 코로나19 팬데믹의 영향과 교육 시스템의 구조적 문제를 반영하는 것으로 분석됩니다. 보고서는 국가별 격차와 교육 정책의 효과를 비교하며, 특히 저성취 학생 비율 증가와 최상위권 학생과의 격차 확대를 지적합니다. OECD는 각…
영국 전역의 공항에서 항공교통관제 시스템 장애로 수백 편의 항공편이 결항되거나 지연되는 등 대규모 혼란이 빚어졌다. 관제 기관인 Nats는 시스템 문제가 해결됐다고 밝혔지만, 항공편 적체로 인한 후유증은 몇 시간 더 이어질 전망이다. 히드로 공항은 도착 항공편을 더 이상 받지 못할 정도로 포화 상태에 이르렀고, 최소 22편이 다른 공항으로 회항했다. Br…
한 개발자가 동일한 Three.js Sci-Fi 격납고 생성 프롬프트로 10가지 모델·하네스 조합을 테스트했다. GLM 5.3 Flash Max를 OpenCode 하네스와 함께 쓴 경우가 96.89%의 성공률로 가장 좋았고, Luna 5.6 Max와 Codex 조합은 92.76%로 그 뒤를 이었다. 반면 Astra 6.0 Max와 Codex 조합은 37분…
TauricResearch가 오픈소스로 공개한 TradingAgents는 실제 트레이딩 회사의 구조를 모방한 다중 에이전트 LLM 프레임워크입니다. 기본 분석가, 감성 분석가, 뉴스 분석가, 기술적 분석가로 구성된 분석 팀이 시장을 평가하고, 낙관론자와 비관론자 연구원이 토론을 통해 투자 아이디어를 검증합니다. 트레이더 에이전트가 최종 결정을 내리고, 리…
Gamers Nexus와 보안 연구원들의 조사에 따르면, LG 스마트 TV는 사용자의 대화를 녹음·전사하고, 꺼진 것처럼 보여도 오디오를 캡처하며, 연결된 웹캠을 통해 녹화하고, 로컬 네트워크를 스캔하는 등 심각한 개인정보 침해 행위를 계속하고 있습니다. Apple TV를 사용하더라도 TV 자체가 인터넷에 연결되어 있으면 이러한 추적을 피할 수 없습니다.…
가디언이 입수한 미공개 문서에 따르면, 미국 전역의 경찰과 연방 기관이 메타의 레이밴 스마트 글라스가 경찰관이나 시설을 몰래 촬영하거나 범죄 및 테러에 악용될 것을 우려하고 있다. 뉴욕경찰(NYPD)은 지난 1월, 스마트 글라스가 수감자나 체포된 사람들이 경찰 내부를 녹화하는 데 사용될 수 있다며 경찰관들에게 경고 메모를 보냈다. 메인주에서 캘리포니아까지…
GamersNexus의 장문 조사 영상은 LG 스마트 TV의 보안 취약점과 광고 기능을 통한 도청 가능성을 제기한다. 영상은 TV가 사용자의 음성 검색, 시청 기록, 네트워크의 다른 기기 정보를 수집하고, 웹캠과 마이크를 원격으로 제어할 수 있다고 주장한다. 그러나 필자는 이러한 주장의 상당수가 과장되었거나 맥락이 빠졌다고 분석한다. 암호화된 트래픽으로…
ZX Spectrum의 1비트 스피커를 실험한 개발자가 PCM 및 PWM 오디오 재생을 구현하고, 이를 바탕으로 다채널(코드) 사운드를 구현한 과정을 기록했습니다. 사이클 단위 타이밍, Z80 어셈블리 코드, 그리고 실패 사례를 포함한 상세한 내용을 다룹니다.
Herdr 0.9가 출시되어 이제 SSH로 원격 머신을 추가하고, 로컬 및 원격 워크스페이스, 탭, 에이전트를 하나의 TUI에서 관리할 수 있습니다. 70만 다운로드와 약 1,000개 플러그인을 보유한 Herdr은 에이전트가 24시간 실행되는 환경의 필요성에 대응하여 멀티플렉서(tmux, Zellij)가 지원하지 않던 '여러 서버를 하나의 클라이언트로 제…
Google DeepMind이 AlphaGenome Atlas를 공개했다. 이 플랫폼은 인간 게놈에서 가능한 모든 단일 염기 변이 90억 개의 분자적 영향을 예측한 데이터를 제공하며, 이는 1페타바이트 규모로 AlphaFold Database보다 30배 이상 크다. 연구자들은 무료 웹 포털을 통해 변이의 영향을 빠르게 평가할 수 있는 AVI 점수와 그 근…
Arm이 최초의 AI 네이티브 모바일 GPU인 Mali G2-Ultra NX를 발표했습니다. 이 GPU는 셰이더 코어에 신경 가속기를 통합하여 신경 그래픽 워크로드를 기존 그래픽 및 컴퓨트와 함께 실행합니다. Neural Super Sampling(NSS), Neural Frame Rate Upscaling(NFRU), Neural Super Sampli…
Y Combinator가 2026년 가을, 샌프란시스코에서 'Early Access Network'를 시작합니다. 이는 YC 파트너가 선정한 엔터프라이즈 AI 파운더들과 실제 파일럿을 진행할 수 있는 구매 담당자들을 한자리에 모으는 초대 전용 행사입니다. 연 4회 개최되며, 회원은 신청을 통해 선발됩니다. 참가자들은 커리큘럼을 직접 설계하고, 로드맵을 조…
시스템 소프트웨어의 안전성 검증은 중요하지만, 기존 검증 도구는 프로그래머가 직접 사용하기 어려워 검증된 소프트웨어의 개발·유지보수 비용이 높습니다. C*는 C 언어를 확장해 프로그래머가 코드와 함께 증명 코드 블록을 작성할 수 있게 하며, 기호 실행 엔진과 LCF 스타일 증명 커널을 통해 실시간 검증을 지원합니다. 또한 C를 공통 언어로 사용해 구현과…
Claude Code와 Instinct 같은 에이전트가 모바일에서 실행되면서, 각 플랫폼이 VM을 어떻게 구성하는지 내부를 살펴본다. Claude Code는 Firecracker 마이크로VM에 자체 커널과 Rust 기반 init을 부팅하고, 호스트 제어 에이전트를 PID 1로 두어 격리한다. Instinct는 E2B 샌드박스를 빌려 쓰며, 전체 Ubunt…
Applied Compute의 Agent Cloud(AC2)는 오픈 가중치 모델의 훈련, 추론, 지속적 학습을 위한 엔드투엔드 연구자 콕핏입니다. 코딩 에이전트(Claude Code, Cursor, Codex 등)와의 통합을 통해 CLI 설치, 로그인, MCP 서버 연결, 첫 프로젝트 설정을 자동화합니다. SDK 패키지(ac2.sdk, ac2.runtim…
GCC의 중첩 함수(nested function)가 어떻게 구현되는지 설명한다. 중첩 함수가 부모 함수의 변수에 접근할 때, GCC는 해당 변수들을 하나의 구조체로 모아 숨은 인자로 전달한다. 이는 C++ 람다가 캡처된 변수를 객체에 저장하는 방식과 유사하다. 두 기능의 구현 방식은 다르지만, GNU C와 C++ 버전의 예제가 동일한 의미를 갖는다. 결론…
Joshua Gans의 MIT Press 서적 'The Microeconomics of Artificial Intelligence'가 오픈액세스로 공개되었습니다. 이 책은 AI를 예측 기술로 보고, 기업과 산업 내 의사결정 효율성에 미치는 영향을 미시경제학적 관점에서 분석합니다. AI의 공급과 수요 특성, 예측 가격 결정, 시장 구조와의 상호작용, 그리고…
메모리 계층 구조부터 CPU 캐시, 메모리 인터리빙, SIMM/DIMM, RDIMM, SSD 내부 구조까지, 컴퓨터 메모리 아키텍처의 핵심 개념을 설명한다. 각 메모리 기술의 특성과 트레이드오프를 다루며, 프로세서 속도 향상이 메모리 대기 시간을 따라잡지 못하는 문제와 캐시의 필요성을 강조한다. 또한 메모리 인터리빙의 역사적 유래와 동작 원리, 다양한 D…
Bevy에서 3D 캐릭터 애니메이션을 재생하려면 AnimationPlayer와 AnimationGraph라는 두 가지 핵심 개념을 알아야 합니다. 이 글은 공식 예제를 단계별로 분석하며, .glb 파일에서 애니메이션을 로드하고, AnimationPlayer가 있는 엔티티를 찾아 AnimationGraphHandle을 추가하고, play()를 호출하는 전체…
디자이너 커리어가 '저주받은 문제(cursed problem)'라는 주장을 다룬다. 세상을 더 낫게 만들고 싶다는 열망과 주주 가치를 추구하는 조직의 요구 사이의 모순은 해결 불가능하며, 이는 디자이너의 만성적 피로와 불만의 근원이다. Lenny Rachitsky와 Noam Segal의 2026년 설문조사에 따르면 디자이너는 가장 높은 소진율과 최악의 매…
Jacobian lens(J lens)는 LLM의 중간 활성화를 토큰으로 해석하는 기법이다. 이 글에서는 J lens를 역이용하여 개념 토큰 몇 개만으로 일반적인 활성화 스티어링 벡터를 만드는 방법을 실험한다. Qwen3-1.7B 모델로 실험한 결과, 모두 대문자로 출력하는 것과 같은 단순한 행동은 잘 유도되지만, 거절(refusal)과 같은 복잡한 행동…
개발자이자 게임 제작자인 novalis.org의 저자가 한 권의 책을 다시 출판하기로 결심한 과정을 담은 글. 저자는 1953년판 'Professor Mmaa's Lecture'의 판권을 얻어 Picolibrary라는 이름의 소규모 출판사를 설립했다. Authors Guild 모델 계약서를 바탕으로 Claude가 작성한 계약서를 사용했고, 스캔한 책을 L…
Jane Street가 출제한 ASIC 역공학 퍼즐을 해결하는 과정을 설명합니다. GDS 파일의 구조부터 시작해, 셀 이름을 통해 SkyWater 130nm 공정을 식별하고, 레이어와 트랜지스터, 논리 게이트, 플립플롭을 이해하는 방법을 다룹니다. 이어서 회로를 복구하고 논리적으로 추론하는 과정을 3부작으로 풀어냅니다.
OUI-1은 DiffusionGemma를 미세 조정한 오픈 웨이트 모델로, Generative UI Benchmark에서 71.7%의 점수를 기록하며 기존 모델들을 압도했습니다. 4B 활성 파라미터로 소비자용 GPU에서 실행 가능하며, 에이전트 기반 인터페이스의 세 가지 핵심 제약(1초 미만 생성, 신뢰성, 로컬 실행)을 해결하기 위해 설계되었습니다. 두…
NumPy의 np.add(a, b)는 가장 많이 실행되는 Python 코드 중 하나일 것입니다. 이 글은 NumPy 2.5.2 소스 코드를 따라, Python 호출이 어떻게 C 레벨의 ufunc 디스패치, 타입 프로모션, 반복자 또는 최적화된 트리비얼 루프를 거쳐 최종적으로 SIMD 커널에 도달하는지 단계별로 추적합니다. __array_ufunc__ 오버…
호주에서 멸종된 태즈메이니아 호랑이(주머니늑대)가 늑대와 비슷한 외모 때문에 가축을 공격했다는 오명을 썼지만, 새로운 연구에 따르면 이들의 두개골 구조는 작고 민첩한 먹이를 사냥하는 데 특화되어 있었습니다. 연구팀은 주머니늑대의 두개골이 회색늑대만큼 크지만 주둥이는 길고 가늘며, 빠른 스냅 동작으로 작은 먹이를 잡는 데 적합하다고 밝혔습니다. 이는 주머니…
한 개발자가 자신의 비즈니스 파트너가 결제 백엔드 모듈 전체를 단 하루 만에 AI로 '바이브 코딩'하고, 테스트조차 하지 않은 채 5,236줄의 PR을 보냈다고 고백했다. 그는 파트너가 API 문서조차 제대로 읽지 않아 오류 코드 설명이 틀리고 API 키 위치가 빠져 있다고 지적한다. AI에 모든 것을 의존하면 인지 능력이 퇴화한다는 그의 경고는, 결국…
LED 디스플레이용 수신 카드로 우연히 만들어진 Colorlight 5A-75B가 저렴한 FPGA 개발 보드로 변신했습니다. Lattice ECP5 FPGA를 탑재하고 Yosys 오픈소스 툴체인을 지원하며, 가격은 평균 20~25달러에 불과합니다. q3k 등의 하드웨어 해커들이 완전히 리버스 엔지니어링하여 회로도와 핀아웃을 공개했고, 듀얼 기가비트 이더넷…
AlphaGeo의 기후 리스크 및 회복력 지수(CRRI)를 기반으로 세계 72개 대도시의 기후 적응력을 분석한 보고서. 물리적 위험 노출도와 적응력 조정 리스크(RAJ)를 분리해 '적응 델타'를 도출했다. 시카고(RAJ 8)가 가장 회복력이 높은 도시로 꼽혔고, 아디스아바바, 멜버른, 바르셀로나 등이 뒤를 이었다. 반면 아마다바드, 하이데라바드(파키스탄)…
FT 칼럼은 냉전 종식 이후 미국 외교 정책의 실패를 날카롭게 비판한다. 저자는 걸프전의 승리, 9·11 이후의 대테러 전쟁, 이라크 침공, 아프가니스탄 철수, 그리고 최근의 우크라이나 전쟁까지 되짚으며, 미국이 일관된 전략 없이 위기에 즉흥적으로 대응해 왔다고 주장한다. 그 결과 30대 이하 미국인들은 성공적인 외교 정책을 경험해 본 적이 없으며, 이는…
디지털 시대에 청소년의 뉴스 소비와 미디어 리터러시가 우려되는 가운데, 프랑스에서 2024-25학년도에 걸쳐 243개 고등학교, 총 9,628명의 학생을 대상으로 한 대규모 무작위 대조 실험이 진행됐다. 연구팀은 학생들에게 주요 전국 일간지의 1년 무료 디지털 구독을 제공하거나 교사 주도의 미디어 교육 모듈을 시행했고, 그 효과를 실제 온라인 뉴스 소비…
- ▲ 44함수 인자는 함수 색이 아니다
함수의 색(function color) 논쟁에서 일부는 함수 인자도 색이 될 수 있다고 주장한다. Go의 context.Context가 대표적인 예로, 일단 사용하면 모든 호출 체인에 전달해야 한다는 점에서 색처럼 보인다. 그러나 저자는 이를 '변경 전파 그래프의 형태'로 재정의한다. 일반적인 변경은 호출 스택을 따라 점진적으로 전파되며 중간 함수가 캡슐…
weowntheglass.com은 LG 등 광고 기술 기업이 ACR(Automated Content Recognition) 기술로 TV 화면을 분석하는 것을 비판하며, 사용자가 TV의 내장 브라우저에서 이 사이트를 전체 화면으로 실행하면 역사적인 반란과 혁명을 묘사한 공개 도메인 예술 작품이 슬로우 팬과 줌, 크로스페이드로 전환되며 화면을 채운다. 이는…
GrapheneOS가 Motorola와 협력해 커스텀 Android 기기를 만들기로 했지만, 저자는 이 파트너십에 대해 많은 의문과 우려를 제기합니다. 이 에피소드에서는 파트너십의 실질적 내용, 보안과 개인정보 보호에 미칠 영향, 그리고 오픈소스 커뮤니티의 기대와 현실 사이의 간극을 짚어봅니다. Switched To Linux 팟캐스트의 Teh AnKor…
Michael Harley가 Richmond에서 겪은 실제 물 부족과 정전 경험을 바탕으로, 가족의 생존 준비 전략을 소개한다. 그들은 좀비 아포칼립스 같은 극단적 시나리오가 아닌, 실제 발생 가능한 위협에 대비한다. 식수 35갤런, 비식수 25갤런, 캠프 변기, DJI Power 1000 파워 스테이션, 프로판 히터와 스토브, 그리고 한 달치 식량을 비…
하버드 연구에 따르면 마음이 딴 데 가 있으면 행복감이 떨어진다. 저자는 이 연구 결과를 테크 업계에서 흔히 볼 수 있는 '선택지의 폭정' 현상에 연결한다. 능력과 야망이 있는 사람일수록 무한한 가능성에 사로잡혀 현재의 직업에 만족하지 못하고, 가상의 커리어 시나리오를 그리며 정신적 에너지를 소모한다. 이 글은 끊임없는 비교와 후회가 어떻게 만족을 가로막…
개발자 Daniel de Oliveira가 직접 만든 커스텀 IDE의 한가운데에 떠다니는 구체(orb) 스크린세이버를 넣었다. 에이전트와 터미널이 통합된 이 IDE는 좌우 레인은 고정적이고 중앙이 핵심 공간인데, 그곳에 글자 대신 시각적 노이즈를 넣어 휴식을 돕는다는 것이다. 쓸모없지만 중독성 있는 이 구체는 '모든 게 무료'라는 시대의 여유를 상징한다.
브라운 대학교 연구진이 일본어 필체를 학습한 로봇이 힌디어, 그리스어, 영어 등 처음 접하는 언어의 단어를 예시만 보고 따라 쓰는 데 성공했습니다. 이 시스템은 로컬 모델과 글로벌 모델로 나뉘어 획의 방향과 다음 획의 위치를 예측합니다. 연구진은 로봇이 유치원생의 흔들리는 글씨와 모나리자 스케치까지 모사하는 것을 확인했지만, 오른쪽에서 왼쪽으로 쓰는 언어…
라스알카이마 소재 Falcons AI가 개발한 NSFW(업무상 부적절) 이미지 분류 모델이 Hugging Face에서 최근 28일간 5,080만 회 이상 다운로드되며, 1,400개 이상 모델 중 6위를 차지했다. 이는 Deepseek의 동기간 다운로드 수(370만 회)의 약 13배에 달하는 수치로, UAE AI 연구의 글로벌 영향력을 보여준다. 이 모델은…
DriveSync는 Rust로 작성된 초고속 CLI 도구로, 로컬 폴더와 Google Drive 폴더를 Git처럼 직관적으로 동기화합니다. push, pull, diff 명령어로 변경 사항을 관리하며, 충돌 시 안전하게 처리하고 어떤 데이터도 삭제하지 않습니다. OAuth 인증을 직접 구성하여 보안을 강화했고, MD5 해시와 변경 감지 API를 활용해 효…
LogiCola 3의 개발자가 2008년 오리지널 프로그램을 리버스 엔지니어링하여 얻은 통찰을 바탕으로 새 디자인 언어를 구축한 과정을 소개한다. 색상 구성이 계산된 방식(InvertRect 등)을 분석하고, 이를 현대적인 방식으로 재해석했다. 또한 사용자 피드백을 반영하여 무한 번역 연습을 통한 숙달 학습을 부활시키고, 오프라인 모드를 도입했으며, 레트…
Arm Holdings의 CEO René Haas는 BBC 인터뷰에서 AI가 인간의 수명 내에 암 치료법을 찾을 것이라고 말했다. DNA 마커와 암의 상호작용을 모델링하는 것은 현재 너무 복잡하지만, 더 정교한 컴퓨터가 이 문제를 해결할 것이라고 강조했다. 또한 Haas는 AI 로봇이 5년 내에 널리 보급될 것이며, 데이터 센터 구축에 필요한 칩 부족이…
NYC MapTap은 뉴욕의 동네와 지하철 노선을 재미있게 배울 수 있는 인터랙티브 퀴즈 게임입니다. 10라운드로 구성된 퀴즈를 통해 SoHo, Lower Manhattan과 같은 주요 지역의 위치를 지도에서 찾아보세요. 지하철 경로를 함께 표시해 실제 이동 경로와 동네의 관계를 직관적으로 이해할 수 있습니다. 지리 학습을 게임처럼 즐기고 싶은 뉴요커와…
미국 어류 및 야생동물 관리국(FWS)의 Feather Atlas가 제공하는 온라인 식별 도구는 발견한 깃털의 패턴, 색상, 크기, 위치, 조류 유형을 선택하여 어떤 새의 깃털인지 찾아준다. 크기는 8cm 이하부터 24cm 이상까지 4단계로 나뉘며, 깃털의 위치(날개 첫깃, 둘째깃, 꼬리깃)와 조류 그룹(물새, 맹금류, 올빼미 등)을 지정하면 검색 범위를…
aispace.sh는 AI 에이전트와 인간이 대화에 넣기에는 너무 크거나 구조화되었거나 임시적인 출력물을 안전하게 공유하기 위한 파일 드롭 서비스입니다. 오픈소스 CLI 클라이언트는 자동화를 염두에 두고 설계되어, 하나의 바이너리, 안정적인 종료 코드, 스트리밍 업로드, 그리고 예측 가능한 마지막 줄에 출력되는 공유 URL을 제공합니다. 에이전트를 위한…
anystation은 계정 없이 사용할 수 있는 공개 게시판으로, 모든 게시물이 트리 구조로 연결됩니다. HTTP, 이메일, SSH, DNS, ping, 프린터, raw TCP/UDP 등 다양한 프로토콜을 통해 글을 작성할 수 있으며, 각 게시물은 고유한 주소를 가집니다. 이 게시판은 사용자 기기의 제한을 우회하기 위한 도구로, 데이터를 저장하고 표시할…
Onionspector는 Onion 서비스가 방문자의 브라우저에서 무엇을 볼 수 있는지 검사하는 도구입니다. HTTP 헤더, JavaScript 핑거프린팅, Canvas, WebGL, 글꼴, AudioContext 등을 확인하여 Tor 브라우저의 보호 기능이 얼마나 효과적인지 보여줍니다. 결과는 서버로 전송되지 않으며, 로컬에서만 처리됩니다. 이 도구는…