cho.sh

News Alerts

New alert

My alerts

Sign in to create alerts

All alerts

Duneby 제욱AIby 제욱해커뉴스by 성현
해커뉴스
생명은 RNA에서 시작됐나, 45염기 QT45가 남긴 빈틈센서 11개 붙은 2㎡ 텃밭, 400만 건 데이터 읽고 매일 아침 에이전트가 관수를 결정x86-64 PC에서 macOS를 띄우는 UEFI 프로그램 Stela, arm64e 코드를 x86-64로 JIT 번역화웨이 CSL, vLLM·llama.cpp 겸용 로컬 추론 양자화기 MACaQ 공개systemd 부팅 작업을 실시간 트리로 그리는 bootvine, Rust와 ratatui로 만든 TUI 부팅 화면유타 대학, 공식 유타 티팟 페이지 공개…1975년 원본부터 2026년 개선판까지 6개 버전 렌더링·다운로드 제공Apache HTTP Server mod_http2에 원격 코드 실행 취약점, 2.4.55부터 2.4.70까지 영향AI가 magit 커밋을 탭 한 번으로 줄인 시대, Emacs 에세이가 던진 질문은 '소프트웨어 자유란 무엇인가'GitHub Actions 워크플로 잠금 파일 공개, SHA 핀 대신 태그로 의존성 고정Jane Street가 공개한 'Socratic Tutor' 스킬, 질문만 던져 0~5단계 숙련도까지 끌어올리는 튜터 프롬프트애플, MIPS를 ICNN으로 근사해 RAG 검색을 빠르게 (ICML 2026)Show HN: Papers Please를 YC 투자 심사로 바꾼 'Term Sheet, Please' 공개Granola 대안 오픈소스 회의 노트 Yogurt, Electron으로 맥·윈도·리눅스 지원Atuin 18.24, Claude Code 세션을 Codex로 다른 기기에서 이어받는 Atuin Threads 공개페인트 얼룩 93%가 유효한 Perl 프로그램, SIGBOVIK 논문뉴욕타임스, 젠슨 황과 직속 보고 임원의 관계 보도... 해커뉴스서 사퇴 압박론까지구글, 단일 패스로 최대 1,000개 질문에 확률 답하는 Gemini Decisions API 공개유나이티드항공, 제3자 AI 에이전트의 항공권 예약 차단엔비디아 이사회, 중국 스파이 의심 불륜 조사 후 젠슨 황 CEO 해임 절차 착수AI 에이전트 48개가 라이다로 찾은 마야 유적, 알고 보니 2025년 논문에 이미 매핑된 곳효과 없던 사회 개입 사례들, 30억 달러 학교 보조금부터 백신 메시지 역효과까지Astra의 8시간 가중치 탐색, 선형계획법 두 번이면 8배 적은 가중치로 같은 편집WebGL2로 만든 모래 놀이 'safe-sand' 공개, 기울이면 쏟아지는 모래에 HN 반응 갈려전압 결함 주입으로 채굴 카드 CMP 170HX를 A100-80G로 개조, 리테일 A100보다 1.18배 빠름Apple, 1998년부터 이어진 지원 커뮤니티 포럼을 11월 20일 영구 폐쇄공사 먼지가 연기 경보 울리자 냉방 꺼진 제인스트리트 뉴욕 데이터센터, 스프링클러 터지기 전에 전원 케이블부터 뽑음AWS가 직접 만든 aws-emulator 공개, 3주에 커밋 3만 개The Verge, TV 업체 11곳에 감시 관련 17문항 추궁... 하이센스는 메일 무시Zen of Python과 Timsort 남긴 파이썬 핵심 개발자 팀 피터스 별세(1952-2026)48개 AI 에이전트가 72시간 만에 찾아낸 마야 유적, 알고 보니 이미 논문에 있던 곳아미스트라드가 3.5인치 대신 3인치 플로피를 고른 이유는 IBM 5.25인치 호환성16개 LLM에 TIS-100 풀게 했더니 18개 퍼즐에서 새 프런티어 포인트 133개, 사이클 신기록 3개Singularity 만든 Kurtzer의 사용자 공간 커널 Ginux, 해커뉴스서 UML·gVisor와 비교당하며 AI 작성 논쟁Klarna 결제 시스템 10년 지킨 엔지니어가 13년 만에 끝낸 The BEAM Book 이야기미국, 합성 DNA 주문에 의무 스크리닝 도입. 50bp 이상만 검사해 우회 가능하다는 지적메타 레이밴 스마트글래스서 임의 코드 실행, 펌웨어 126까지 DAT APK 서명 검증 없어6809 어셈블리로 28x28 타일 복사를 스택 명령으로 처리한 옛 게임 해킹macOS Secure Enclave SSH 키, sc_auth로 붙긴 하는데 작성자는 결국 접었다앤트로픽, Claude Whiteboards·Sheets 베타 출시하고 Dashboards는 Claude Data로 정식 출시애플, Mac을 사설 AI 추론 서버로 바꾸는 'Harbor' 앱 준비 중 (유출)마이크로소프트, Sysinternals Process Explorer의 macOS 포팅 Procexp-Mac 공개테렌스 타오, 여섯 가지 수학 개념 입문서 'Six Math Essentials' 출간AMD Zen 6, 분기 예측 실패 비용을 분기당 3~3.5ns로 줄이고 단일 스레드가 디코드 클러스터 2개를 모두 사용함3D 도시 데이터를 이미지 모델로 다시 칠해 만든 발렌시아 아이소메트릭 지도 tinyvalencia.com 공개구글 크롬팀, 코딩 에이전트를 2019년식 JS에서 최신 웹 API로 옮기는 스킬 저장소 공개스타링크 미니 2 공개, 배터리 내장으로 최대 4.5시간 사용에 두께 23.1mmSynaptics, DisplayLink 리눅스 드라이버 만든 개인 개발자에 특허 침해 경고하며 개발 중단 요구Val Town, 신규 가입 즉시 중단하고 2027년 2월 1일 코드 공개로 종료Glasswing 7개월, Anthropic 귀속 CVE 442건 중 악용은 2건... 원장은 3만7,966건 발견에 수정 217건Toyota, Scion 브랜드 부활시키고 660cc kei 트럭 KEI-01을 미국에서 판매. 2027년 말 플릿 전용 시범부터애틀랜틱 '아이 상시 위치 추적' 기사에 HN서 부모 죄책감 마케팅 비판 쏟아져2026년 화석연료 CO2 배출 0.4% 감소 전망, 태양광 확대와 이란 분쟁이 만든 '일시적' 감소.NET 11, x86-64-v2 이상 요구로 베이스라인 상향하고 런타임 네이티브 async 도입퀸스 공공도서관, 랜섬웨어 공격으로 웹사이트와 앱 마비… 7개 지점만 공용 PC 복구Ableton Live 13 공개, 스텝 시퀀서와 ARA 2 등 14개 신기능 예고메타에서 해고된 뒤 코드 100%를 AI로 짜는 개발자, AI 코드베이스가 취약해지는 4가지 이유 정리Blender 5.3 공개, 가우시안 스플랫 네이티브 지원과 Cycles DLSS 4.5 디노이저 추가인터넷 끊겨도 집은 돌아간다, 10년 홈오토메이션 규칙 11개Verisign, 2만 2천 건 .name 도메인 종료 계획 철회. 기존 도메인은 무기한 유지딥마인드 AlphaProof Code, Signal 암호 코드를 4주 만에 형식 검증AI 에이전트가 CPython을 Lean으로 옮겨 61만 줄 증명 작성, 파이썬 버그 418건 적발스프레드시트형 관계형 DB UI Ultorg 공개, 17년 연구 끝에 나왔지만 구독료에 불만AVIF everywhere? 토론은 인코딩 CPU 25배와 JPEG XL 비교로 갈렸다에이전트가 다 해주는 2026년, '10x가 100x 됐다'는 관찰로 인간 엔지니어의 몫을 증명하려는 글안테나를 몇 cm 옮기자 사라진 TV 신호, 옆방 걸음걸이 속도까지 재다10개월 걸려 만든 LLM 학습 프레임워크 Jam, GPU·커널 최적화 입문서로 정리CoreWeave 2032년 채권 수익률 16% 돌파, 엔비디아·브로드컴 CDS까지 상승RSA 공개키 안에 문구를 심어 Let's Encrypt 인증서로 항의한 개발자사이먼 윌리슨, Claude Code로 만든 Beep Locator로 40cm 오차까지 삐 소리 추적아마존, 티켓 라벨링에 Sonnet 4.6 대신 Strands Decider E4B 투입해 토큰 비용 98% 절감Infineon, 기존 300mm 실리콘 장비로 세계 첫 300mm SiC 전력소자 웨이퍼 처리 성공C99로 190개 UI 컴포넌트 그리는 CUI 공개, 첫 커밋 4일 만에 611스타구글, 8세대 TPU에 보안용 8tx와 대용량 컨텍스트 8i Max 추가조카가 그린 12보스 그림, Fable 5.2가 밤새 완성한 벨트액션 게임쇼HN: 지난 7일 상공을 지난 모든 위성과 그 위성이 찍은 사진을 보여주는 watched.earthMeta, 입력 100만 토큰당 $0.10짜리 소형 모델 Muse Ember 공개k-means를 미니배치 지수이동평균으로 다시 써서 GPU에서 10~45배 빠르게 만든 e-meansClaude Fable 5.2, Artificial Analysis 지능지수 65로 74개 모델 중 1위... 태스크당 $26.54, 첫 토큰까지 216초구글 Gemini, 연결된 Drive·Gmail을 인간 검토자에게 넘긴다, 2023년 '사람이 보지 않는다' 약속 뒤집어USPS, ZIP 코드 경계 폴리곤을 유료 제품으로 판매 시작이더리움 재단, 직원에 '할복 서약' 요구... 거부 주도한 직원 해고 후 소송라즈베리 파이 5 16GB, $385로 또 인상... 4월보다 $80 올라마젠타 반투명 태양광 아래 브로콜리 수확량은 그대로, 수확은 25일 늦어져malloc(16) 1000번에 brk는 2번, glibc가 syscall보다 22.7배 빠른 이유2024년 11월 8일 해커뉴스 1면 소환: 1위는 미토콘드리아, 댓글창은 AI 피로와 '예전이 나았다'캐나다, 24시간 실시간 결제망 Real-Time Rail 가동 시작Anthropic, Claude Fable 5.2·Mythos 5.2 공개: 100만 토큰당 $8/$40에 벤치마크 대부분 Opus 5.5 추월종이비행기 109종과 세계 기록 설계를 모은 FoldableFlight, 해커뉴스는 로딩과 팝업에 혹평Docker 한 줄로 띄우는 VM/370 CE, 3270 터미널로 메인프레임 놀이Psalm 7 출시, taint 분석 기본 활성화하고 보안 분석 10배 빨라져빈티지 패널 미터에 준로그 눈금을 붙여 만든 주방 타이머Show HN: Flide, Jev류 의사결정 모델 추론을 vLLM·SGLang보다 최대 9.5배 빠르게ChatGPT 데스크톱, 로컬 SSH 에이전트를 원격 머신에 그대로 전달계층적 코드로 텍스트를 병렬 생성하는 NCM, 확산 모델보다 최대 31배 빠름1,400개 Claude Code 세션 분석으로 제기된 Opus 5.5 너프 의혹, 11월 3일 추론 패턴이 급변했다는 주장AI 버블은 없다는 반론: 5조 달러 데이터센터 지출은 일회성이고 Anthropic 매출은 2년 만에 40배Harvest, Bending Spoons 인수 뒤 월 $13.32에서 $133.98로 인상... 10년 쓴 작가도 이탈 선언젠슨 황, 불륜 인정하고 사과. 엔비디아 이사회는 국가안보 우려로 독립 조사 착수폴 포드의 TinyLittleOffice에 수십만 명 몰려, 브라우저 앱 개발 비용은 매일 낮아진다Windows용 아웃바운드 방화벽 PacketHound 공개, HN은 AI가 쓴 웹사이트 문구와 기존 대안 비교로 시끄러움
Astra의 8시간 가중치 탐색, 선형계획법 두 번이면 8배 적은 가중치로 같은 편집

Astra의 8시간 가중치 탐색, 선형계획법 두 번이면 8배 적은 가중치로 같은 편집

  • MIT CSAIL의 '가중치 공간 프로그래밍' 실험에서 Astra가 8시간과 28회 순전파로 찾아낸 Qwen3.5-0.8B 가중치 편집은 사실상 선형계획법(LP) 문제였고, 1분짜리 LP 두 번으로 8배 적은 가중치를 바꿔 같은 효과를 냄
  • Astra의 편집은 반복(thinking loop) 시 residual stream이 흐르는 방향 u를 구해 15·19층 down_proj 열에서 그 성분을 α배 빼는 rank-1 변경 ΔW = u v^T이며, 가중치의 0.016%만 건드림
  • 편집 후 MATH-500은 7.9%에서 48.1%, GSM8K는 13.8%에서 67.1%, IFEval은 21%에서 62.3%로 올랐고 32,768토큰 한도에 걸린 답변 비율은 93%에서 33.1%로 떨어짐
  • 최종 편집은 α=6으로 각 층에서 u를 가장 많이 쓰는 64개 열에만 적용해 55%를 기록했고, 같은 크기의 랜덤 방향 대조군은 12.5%로 효과가 없었음
  • 반복이 거의 없는 Gemma 3 270M에서는 수학 능력을 의미 있게 올리지 못함. 저자들은 가중치 편집이 장애물을 없앨 뿐 없는 능력을 더하지는 못한다고 정리함

Hacker News opinions

이렇게 단순한 분석이 나온다는 건 학습 중 정규화로도 같은 일이 일어나야 한다는 뜻 아닐까.

Astra가 자기 자신을 편집할 수 있냐는 질문인데, 이건 그냥 1940년대 선형최적화 알고리즘이 Qwen 가중치 만지는 얘기임.

왜 부정 반응이 나오는지 모르겠음. 원하는 행동의 의미 방향을 찾아서 반대로 미는 거잖아. 가중치에 접근만 있으면 Astra급 모델이 자기 자신한테 런타임에 적용 못 할 이유도 없지.

며칠 전 헤드라인은 프런티어 모델이 가중치를 직접 읽고 이해한다는 느낌이었는데, 실제로는 작은 실험 돌려서 괜찮은 편집 하나 찾은 연구에 가깝더라. 더 빠른 방법을 찾은 건 멋지지만 헤드라인과는 거리가 있음.

그건 좀 과한 지적 아닌가. 내가 하드디스크 비트를 직접 안 건드려도 파일 저장한 건 나잖아.

결국 오래전부터 모델 언센서링에 쓰던 기법을 재발명한 셈임. 그 방법을 제안한 LLM들도 refusal direction 억제 연구는 봤겠지.

LP가 가중치 편집 도구로 유용하면 Astra가 그걸 쓰게 만드는 게 핵심 아님? '이 행동 없애고 저건 유지' 식 제약으로 의도를 바로 표현하는 거지.

LP나 SAT 솔버를 JSON 툴콜이 아니라 임베딩 공간에서 네이티브로 쓰는 LLM 보고 싶음. 제약 솔버가 체화된 엔진이랑 대화하는 느낌일 텐데.

LP가 돌아오는 건 좋은 일임. 수치해석은 무서워하면서 LLM에만 붙어서 최적 아닌 해에 만족하고 있는 분야가 많다고 봄.

선형회귀가 비싼 SVM만큼 나온다는 결과도 있었지. NeurIPS 2021 논문으로 기억함.

그럼 1940~50년대 OR의 심플렉스법이 RSI의 결정적 단계를 채우는 거임? 그럼 세계 종말도 40년대 기술 탓으로 돌리면 되겠네.

RSI는 아니고 그냥 다른 알고리즘이 가중치를 푸는 거 아님?

가중치 공간 프로그래밍이랑 역전파 차이가 뭔가 싶은데, 미분 없이 순전파만으로 가중치를 바꾸는 방식이라고 보면 됨.

저차원 가중치 매니폴드 찾는 연구가 있으면 좋겠음. 차원을 확 줄이면 전역 최적화로 lottery ticket 찾기도 쉬워질 텐데.