cho.sh

News Alerts

New alert

My alerts

Sign in to create alerts

All alerts

Duneby 제욱AIby 제욱해커뉴스by 성현
해커뉴스
러스트·ratatui 터미널 공장 게임 '터미나트리' 쇼HN 공개, AI 에이전트가 게임 안으로 쪽지 보냄엔비디아, DGX Station 두 대와 vLLM으로 GLM-5.3 서빙해 초당 607.8 토큰 달성구글, Gemini 4와 Antigravity /teamwork로 수학·화학·커널 최적화 공동 연구 결과 공개미시간대 연구: 비영어 텍스트에 최대 180배 에너지, 벵골어는 15.3배인데 정확도는 더 낮아PyPI 프로젝트 페이지 개편 완료, 새 보안 탭에서 출처 증명 상태 표시이탈리아, 안드로이드 사진 무단 접근으로 메타에 8억 8,700만 달러 과징금KDE 30년사 다룬 다큐멘터리 공개, 1996년 Usenet 모집글에서 시작된 이야기Lovable 앱 15만9천 개 분석, 여권번호와 채팅 20만 건이 로그인 없이 노출EFF, 스마트 안경과 상시 녹음 웨어러블이 주변 사람의 동의를 무시한다고 비판라즈베리 파이 대신 중고 안드로이드폰: 300~500위안 폰과 222달러 파이 부품 비교Perplexity, 결정 모델 Decider v1.3과 Flash v1.3을 Apache 라이선스로 공개스리랑카 코끼리 440마리 12년 추적, 개체 감소가 사회망 임계점 넘겨 무리를 쪼개놨다닷컴 시절 58억 달러였던 3Com, 기업용 장비 사업을 스스로 버린 선택으로 2009년 사라지다FAA 전국 지상정지 4시간 20분, 클로드 코드로 30분 만에 만든 실시간 항공 지도Unsloth, Qwen3.8-27B GGUF에 Dynamic V3.1 적용해 같은 크기에서 정확도 5-10% 향상몽키 아일랜드 13개 버전을 같은 12개 장면으로 나란히 비교하는 웹사이트 공개Ratatui 메인테이너, 셀 가장자리에 선을 긋는 터미널 프로토콜을 Ghostty 패치로 공개ggml v1.0.0 공개, 폐기 API 정리하고 CUDA·Metal·Vulkan 백엔드 성능 손봐조너선 블로우 'AI가 코딩을 해결했다면 왜 내 소프트웨어는 그대로인가', 복잡도 폭증과 AI 코드 한계 논쟁엔비디아가 투자한 AI 스타트업이 그 돈으로 자사 GPU 사들이며 공급 부족 만들었다는 의혹암트랙 예매 시스템 먹통, FAA 전국 이륙 중단과 같은 날 겹쳐'가중치 공간 오접힘' 논문, 부에노스아이레스 오답 유도는 성공했지만 자기 전파는 미입증미네소타 기타리스트 Ben Ranson, 손바닥 두상골로 베이스음을 짚는 'palmfrets'로 특허 획득노화를 몰고 가는 효소 그랜자임K 발견, 면역 노화는 그대로구글 3D 타일과 three.js로 만든 SF 아이소메트릭 지도, 확대하면 '픽셀아트 아니다' 지적이 붙은 Show HNFAA 설비 장애로 미국 전 공항 ground stop, 미국행 출발 전면 중단M-Vave FM-1 신디사이저를 브라우저에서 편집하는 FM-1 Workbench, DX7 패치와 펌웨어 플래시까지오르카스섬 SDR이 항공 밴드 700채널을 실시간 전사, 밴쿠버 그라운드 스톱 교신까지 잡혀오클랜드에서 텍사스로 가던 엔비디아 하드웨어 1,140만 달러어치 실종FAA, 전국 출발 항공편 그라운드 스톱 발령 4시간 반 만에 해제... 라우터 과부하가 원인구글, AI 개요 끄는 학교엔 검색도 차단: '반독점 승소 방어용' 분석까지 나와LeWM 장기 과제 성공률, 25스텝 서브골 체이닝으로 22%에서 85%까지하스켈 재단 TLC, 'Go의 반복 속도에 C#의 디버깅, Rust의 온보딩' 기술 비전 공개1984년 Mac에 앱 전환기를 만든 앤디 허츠펠드, DOS 유틸 Memory Shift를 보고 착안해 로열티 $50k 받다브라질 Caixa 보험사 침해, 활성 고객 760만 명 이름과 CPF 전부 유출괴델 속기 노트 1,009쪽, 클로드가 이틀 만에 풀어 미공개 정리 수백 개 확인Zig 0.17과 C로 같은 코드 비교: errdefer, 슬라이스 경계 검사, 강제 에러 처리에서 갈린다1960년 Science 논문이 계산한 인구 폭발 종말일, 2026년 11월 13일 금요일Coway 공기청정기 클라우드 걷어내려다 루트 CA가 평문 HTTP로 내려오는 걸 발견LibreOffice, M365 장애에 '우리는 365일 내내 작동한다' 한 줄로 조준Claude 장애에 Microsoft 365까지, 금요일 13일 겹친 AI 서비스 먹통Brave Search API, x402 결제 도입: API 키 없이 검색 1건당 $0.005마이크로소프트 글로벌 장애 이틀째, Outlook·Teams·Copilot 마비에 74개국 영향Makepad, rustc 없이 Rust를 JIT 실행하는 Relax 공개...첫 프레임 11초, 최적화 코드는 1.12~1.24배 느림22년 된 PostgreSQL 타입 혼동 프리미티브, CVE-2026-6460으로 RCE까지 연결1997년 Marko Maček이 C++로 만든 X11 창 관리자 IceWM, 최신 4.1.0 공개클로드 전 서비스 2시간 인증 장애, 마이크로소프트 장애와 겹친 13일의 금요일145B 모델을 노트북에서 29GB로? Edge0 공개에 HN은 Qwen 파인튜닝 의혹부터 제기젠슨 황 전 엔비디아 CEO, 두 번째 직원과의 관계도 드러나... 주가 5.5% 하락Outlook/365 12시간 넘게 장애, 댓글에서는 'Office 364' 조롱과 SLA 크레딧 공유애플, Swift API 하나로 온디바이스 모델부터 Claude·Gemini까지 붙이는 Foundation Models 프레임워크 공개엔비디아 직원들, 젠슨 황 사임에 반발…사내 건의함 글에 1,600개 댓글 몰려제인스트리트, 캠퍼스 온사이트 면접에 LLM 활용과 코드 검증 라운드 시범 도입AMD 마이크 클라크가 말한 젠 6: 32코어 128MB L3, 곱셈기는 줄고 VNNI는 늘었다중국 프런티어 모델 6종 가중치에서 美 수출통제 대상 Blackwell 흔적 검출지구보다 46배 먼 2026 ED138 발견, 281년 주기 왜소행성 후보로 떠올라구글, Antigravity에 Gemini 4 Hydrogen과 Carbon을 오가는 Orchestrator 공개구독 요구하는 300달러 자수기, 직접 오픈소스 앱 만들어 붙인 Show HNRust 1.100 출시: 10년 만에 never 타입 안정화, 커스텀 allocator API도 stable로Microsoft 365 대규모 장애, 상태 페이지마저 502로 접속 불가가용 램 1GB 샤오미 TV 박스와 1세대 iPad Air에서 16B MoE 모델 초당 5.1토큰 구동Nintendo, GitHub에서 Switch 에뮬레이터와 모드칩 펌웨어까지 대량 DMCA 삭제Outlook 장애 신고 2만5천 건 폭주, 마이크로소프트 상태 페이지까지 접속 불가출시되지 않은 Quake 4 확장팩 The Awakening, openQ4 0.14.1로 플레이 가능마이크로소프트 365 대규모 장애, 상태 페이지마저 502로 먹통Rust 1.100.0 공개, never 타입과 커스텀 할당자 안정화구글, Gemini 4 Hydrogen 공개: 100만 토큰 단일 가격에 Terminal-Bench 4.1 57%정지 문제와 괴델 정리로 설명하는, 올바른 소프트웨어를 쓰기가 어려운 이유앤스로픽 IPO 로드쇼 개시: Q3 매출 $17.0B, 순손실 $23.3B 공개젠슨 황, 엔비디아 CEO·이사직 즉시 사임…중국 스파이 관계와 GPU 밀수 의혹이 배경생명은 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시간 만에 찾아낸 마야 유적, 알고 보니 이미 논문에 있던 곳
구글, Gemini 4와 Antigravity /teamwork로 수학·화학·커널 최적화 공동 연구 결과 공개

구글, Gemini 4와 Antigravity /teamwork로 수학·화학·커널 최적화 공동 연구 결과 공개

  • 구글 리서치가 Gemini 4 Argon·Carbon·Hydrogen과 멀티에이전트 워크플로 /teamwork로 정보이론, 형식 검증, 분자 구조 발견, 커널 최적화에서 새 결과와 사내 프로덕션 인프라 개선을 냈다고 2026년 11월 13일 밝힘
  • /teamwork 설계의 두 축은 병렬 탐색에 Lean 4 증명 검사기, 수정 없는 테스트 스위트, 실행 시뮬레이터, 하드웨어 카운터 같은 검증기를 붙여 후보 해를 자동 검증하는 것과, 에이전트마다 필요한 파일과 도구만 넘기는 컨텍스트 분할로 며칠짜리 작업의 주의 분산을 막는 것임
  • 워크플로는 자연어로 선언한 자기 개선 패턴으로 표현되고 프롬프트마다 적합한 패턴으로 라우팅되며, 순차 해결-검증 루프는 /boost로 따로 패키징되어 Antigravity에서 이미 제공됨
  • 도구는 researcher access program 신청 폼으로 외부에 열었고, Antigravity에 아직 없는 기능은 몇 주 안에 외부 사용자에게 전부 공개할 예정임
  • 연구는 수학, 화학, 시스템 소프트웨어, ML 엔지니어링의 미해결 문제를 사람 전문가와의 협업으로 다뤘고, 저자들은 이를 연구자가 제약을 정의하고 장기 실행 에이전트가 솔버 작성과 탐색, 검증을 맡는 상호작용 발견 루프로 설명함

Hacker News opinions

이 글도 Antigravity로 쓴 것 같다. 무슨 말을 하려는 건지 핵심이 안 보인다. Gemini 특유의 저수준 디테일을 잔뜩 때려넣어서 요점을 흐리는 스타일이더라.

/teamwork는 이미 예전에 발표했고, 이번엔 그걸로 과학 결과를 냈다는 얘기 같은데, 조용히 가려는 거면 굳이 왜 발표하는지 모르겠음.

결국 컴퓨터를 더 때려넣는 옵션 하나 추가한 얘기 같다. 팀 구성이랑 워크플로를 사용자는 모르게 알아서 골라준다는 거고.

구글 전체가 이 패턴인 것 같다. AI는 너무 많고 사람은 부족하고, 위에서 내려오는 지시만 있다.

Gemini 문체가 최근 릴리스에서 디테일 과밀로 변한 게 아쉽다. 예전엔 Claude의 그 annoying한 말투에 비해 문장이 강점이었는데.

sloppification을 이제 advancing이라고 부르네. 그것도 혁신이라고 해야 하나.

Rust로 재작성한 게 최적화 전 C++보다 30% 느렸다는 대목이 흥미롭다. C++ 쪽을 최적화했으면 Rust보다 이득이 컸을 텐데, 요즘 모두가 Rust 재작성이라고 말하니까 그렇게 못 쓴 거겠지.

이 글만 봐서는 이걸 어떻게 쓰라는 건지 모르겠다.

/teamwork가 Claude 동적 워크플로랑 뭐가 다른지 모르겠고, Antigravity는 harness로서 꽤 뒤처져 있다. auto 모드도 없다가 /goal을 한참 늦게 발표했잖아.

auto 모드는 몇 버전 전부터 있었고 1, 2일 전에 기본값이 됐다.

--mode auto가 있긴 한데 harness를 재시작하지 않으면 못 쓰고, 결국 --dangerously-skip-permissions 켜야 뭐라도 됐다. Carbon은 진짜 좋은 모델이다. Antigravity 만드는 사람들은 자기가 만든 걸 안 쓰는 것 같음. 고치기 쉬운 거친 부분들이 그대로 남아 있다.

도메인 전문가 한 명이 antigravity를 이끌면 R&D 부서랑 다국적 팀 꾸릴 필요 없이 빠르게 결과가 나올 것 같다.

구글이 LLM을 놓치는 게 마이크로소프트랑 인텔이 휴대폰 놓친 것과 비슷해 보인다.

나는 팀 기반 워크플로로 자율성은 늘고 품질 하락은 줄이는 쪽으로 성과를 보고 있다. arxiv 2606.01770의 adaptive auto-harness, team-solve에서 작은 모델 팀이 Fable을 이긴 사례, Agensh 논문의 역할극 에이전트 연구가 다 같은 얘기를 한다.