정수 곱셈 n log n 이하 돌파 경쟁, 자동 연구 캠페인 PR로 진행 중

News Alerts

My alerts

All alerts

해커뉴스

MIT 수업 프로젝트 손목밴드가 FDA 클리어런스를 받은 떨림 치료기기가 됨 애플, 'Switch to Safari' 캠페인으로 Chrome 대비 Safari 우위 홍보 영국 1인당 발전량, 2003년 정점 대비 3분의 1 줄어 1960년대 후반 수준으로 돌아감 구글 Gemini 4 Argon, 로봇 제어와 시뮬레이션 자동 생성 공개 키보드로 치는 무료 가상 기타 Guitoro, 실제 악기 녹음 음과 곡 51개 수록 HN 메인 노출 후 AI 봇 트래픽이 블로그를 덮쳐 사이트가 느려짐 OpenAI 엔지니어, 임원 회의실 도청 혐의로 체포 Thunderbird, iPhone용 네이티브 메일 앱을 처음부터 새로 개발 중 Ledger 하드웨어 지갑에 스파이 칩이 심어져 코인 탈취가 이어짐 Anthropic, 모노레포를 git에서 자체 버전 관리 시스템 Scion으로 5개월 만에 전면 이전 Siri AI 탑재한 신형 Apple TV 4K 발표, 11월 13일 출시 ChatGPT 구독으로 PDF 오디오북을 만든다지만 음성 생성은 API 키 과금임 Character.ai 자발적 Chapter 11 파산 신청, 법원 감독 아래 매각 추진 Apple 연구팀, 유휴 Mac GPU를 묶어 쓰는 분산 추론 클라우드 Minions 발표 Gemini 4 Argon 공개, CWE-Bench 68%로 1위 동률과 Chrome 리팩터링 가속 임베딩 모델 EmbeddingGemma 2로 음성을 텍스트로 바꾼 Mac 앱, 1시간 오디오를 13초에 변환 Mozilla, 온프레미스 기업용 브라우저 Firefox Enterprise 출시 Apple HomeView 출시, 299달러 스마트홈 디스플레이이고 Siri AI는 EU에서 빠짐 Rust 보로우 체커에서 11년 된 건전성 버그 발견, 구조체 라이프타임 제약 우회 가능 패턴 중심 DAW Blokkily, MCP를 지원하는 실험작으로 Show HN에 공개됨 정수 곱셈 n log n 이하 돌파 경쟁, 자동 연구 캠페인 PR로 진행 중 Rust 기반 오픈소스 파라메트릭 CAD SolidCraft, MCP 연동 기능 공개 Phreak.ing, 전화 키패드 코드로 쓰는 익명 인터넷 전화 교환기 공개 ZX Spectrum 128K용 데모신 인트로 직접 제작기, 10287바이트 코드에 AY 사운드와 starfield 담아 OpenAI 수학 저장소의 빠른 푸리에 변환 주장, 빅오 표기 악용이라는 비판 RAM보다 큰 MoE 모델을 SSD 스트리밍으로 돌리는 Janas, Windows 빌드까지 추가됨 AI 모델 가중치에 암호화된 능력을 숨겨도 탐지와 제거가 어렵다는 연구 발표 인텔, LPDDR5X 480GB 탑재 추론 전용 GPU D270 공개 파이어폭스 큰 파일 이어받기 실패 원인은 network.http.response.timeout 기본값 300초, 0으로 바꾸면 이어받기 가능 80세 기증자의 혈액 세포가 분자 나이 20세 미만의 신경 줄기세포로 전환됨 Agent37, 대형 클라우드 대비 10% 미만 비용의 에이전트 샌드박스 출시 (월 $0.37 수준)36곳 지원해 24곳에서 거절받은 Ruby 개발자, 기술 업계를 떠나기로 함 인텔 FMA 명령어 vfmaddrnd231pd, 문서에만 남고 CPU에선 #UD가 나는 수수께끼 유타·캘리포니아 등 주 단위로 확산되는 콘센트 연결형 발코니 태양광, 독일은 100만 대 이상 설치 케빈 켈리의 2016년 AI 예측, 10년 뒤 얼마나 맞았나 생각이 취미가 된다, AI가 인지 노동을 대부분 대체할 것이라는 저자의 주장 AI는 도구이고 잘 쓰려면 기술이 필요하다는 필자의 Rich Hickey 반박 글 구글 DevSite 공유 Flask 세션 쿠키의 pickle 취약점으로 원격 코드 실행 가능 ($90k 바운티)WiFi 7 라우터 MT7996 칩을 320 Msps 소프트웨어 정의 라디오 수신기로 바꾼 프로젝트 슈퍼 마리오 64 개발자 고다드의 미공개 2001년 인터뷰, 15명 팀과 카메라 개발 비화 AI 코딩 에이전트는 코드를 더 만들었지만 소프트웨어 출력은 늘지 않음, 병목은 코드 리뷰 유럽 슈퍼마켓 냉장고 수백 곳 해킹으로 자동 해동 작동, 배송과 매장 가격까지 영향 OpenBSD와 CGI로 C 웹앱을 상용 서비스에 올린 사례, 프로세스당 요청 방식의 장단점 Codex CLI가 기본값으로 백그라운드 자동 업데이트 데몬을 설치함, 끄는 방법 논란 GLM-Legal, Harvey LAB 전체 통과율 19.2%로 기반 모델 대비 12.5%p 향상 Meta, 개인 에이전트 중심 신모델 Muse Wonder와 Muse Wonder Full 공개 광변색 나노입자 잉크로 지웠다 다시 쓰는 문신 연구, 사용 조건이 관건 테렌스 타오 블로그, AI 시대 수학에서 일러스트레이션과 증명의 가치를 논함 사전 설치 라우터 수요를 묻는 HN 글, OpenWrt와 DD-WRT 이용자 의견 엇갈림 PS2 게임을 WebAssembly로 정적 재컴파일한 오픈소스 프로젝트, GT4 쇼룸 프레임이 초당 3에서 16으로 올라감 Postgres 느린 원인은 쿼리가 아니라 스토리지: 로컬 NVMe가 EBS보다 TPS 9배 이상 Zod 저장소 main에 이더리움 기반 악성 로더 커밋이 들어갔다가 되돌려짐, npm 배포는 막힘 뉴 컨스트럭츠, 앤트로픽 2조 달러 IPO를 투자자 순진함을 시험하는 사례라고 비판 QGIS, AI 지원 기여를 전면 금지하는 정책 제안 등장 Deloitte, Abramovich 자산 $672M 장부 누락으로 세금 회피 정황 BBC 보도 로컬 인덱스 Pensieve, 에이전트의 grep 반복과 토큰 비용을 줄인다고 주장 APSW, 표준 sqlite3보다 SQLite 기능을 깊게 노출하는 파이썬 래퍼 Zig용 타입 세이프 HTML 템플릿 라이브러리 zt, 컴파일 타임에 템플릿 검사하고 기본 이스케이프 적용 오픈소스 Canva 대안 Doory 공개, 스타터 템플릿 10종 재설계 Julia로 배우는 미적분 노트, 그래픽과 수치 계산 중심으로 구성됨 바이브 코딩 포토샵 클론 10여 개, 브러시 성능과 파일 호환성에서 막힘 사카나AI MASS: 같은 모델이 팀 워크플로를 평가하고 가중치를 갱신하는 자기개선 루프 제안 리눅스폰이 안드로이드와 iOS 양강 구도를 깰 수 있을까 구글이 광고 제품에 디바이스 핑거프린팅을 허용하면서 쿠키 대체재로 지문이 떠오름 구글 WebP, 20년 쓰던 JPEG와 PNG를 대체하기 시작한 이유와 도구 지원 현황 구글, 핀란드 데이터센터 두 곳 공사 중단 명령 받아 환경영향평가 전 벌채 문제 불거짐 뉴저지 원격 근무자, 하루 160장 얼굴 촬영 거부했다가 해고 AI 에이전트로 인기 FPS 게임 디컴파일, 5000억 토큰 쓰고 얻은 교훈 OSM 북한 지도 데이터 분석: 상위 10명이 61%를 그려 패스키는 함정이니 쓰지 마라는 주장: 웹사이트가 사용자의 패스키 통제권을 점차 빼앗을 수 있다고 경고함 카파시가 LLM 능력 인식 격차를 깔때기 구조로 정리함, 프론티어 모델을 실제로 쓰는 사람은 0.2%뉴욕시 클릭 투 캔슬 규정 시행, 가입한 방식 그대로 해지하도록 의무화 리눅스용 공간 음향 효과를 임펄스 응답으로 역공학한 과정 캐나다 유튜버, Flock 유사 카메라로 경찰 차량 추적하자 경찰이 집으로 찾아옴 Total Annihilation을 최신 GPU 렌더링으로 재구현한 오픈소스 엔진 Nanolathe 베타 공개 소득을 자산으로 바꿔야 직장인도 부자가 된다는 글, HN 반응은 엇갈림 무료 오픈소스 Mac 받아쓰기 앱 BetterWispr, 음성은 기기 안에서만 처리 Valen, 그룹 빌림 기반의 유연한 borrow checker 공개 명칭 Path Borrowing 논의 확산 PATH의 ~는 홈 디렉터리가 아닐 수 있음: 따옴표 없는 틸드가 확장되지 않는 bash 함정 AI 에이전트로 Rails 앱을 Rust와 Elixir로 재작성한 실험, 코드를 안 읽으니 설계 판단이 빠짐 테렌스 타오 Math 2.0 발표, AI 시대 증명 풍부성과 문제 풀이 최적화의 한계 제기 한글 손글씨 펜 획을 생성하는 35만 파라미터 RNN, 브라우저에서 동작 README를 실제 사람에게 따라 하게 한 저자, 참가자에게 €25씩 주고 설치 문서 고쳐 기존 서브워드 LLM을 두 단계 변환으로 바이트 단위 모델로 바꾸는 방법, Nature 논문으로 공개 DDR4 RAM 부활: 가격 폭등에 인텔과 AMD가 구형 메모리 지원 CPU 출시 라즈베리 파이를 넣은 PSP 개조 기기 PSPi 6, 원래 메인보드를 통째로 대체 IRCv3, 2020년대에도 쓰이는 IRC 현대화 확장 명세 소개 Nitter, X 중단 요청 두 번 받고 법률 자문 없이 자금 모금 나섬 LineageOS 24.0 출시, Android 17 기반으로 WebUSB 플래시 도구 추가 Yandex 데이터센터 타격 뒤 Cloudflare 봇 트래픽 급감 얀덱스 클라우드 3번째 데이터센터 피격, 상태 페이지에 사고 등록됨 구형 Macromedia Director 게임을 최신 PC에서 돌리려고 CD 이미지 복사 방지를 벗겨낸 과정 미국 국가디자인스튜디오, 브라우저에서 돌아가는 PII 마스킹 도구 Rampart 오픈소스 공개 버그는 환자로, 코딩 에이전트는 의료진으로 다룬 5개월 실험 OpenSCAD 공식 페이지 화제, 정식 릴리스가 2021년 버전에 머물러 있다는 지적 나와 Unikernels were hard, 이제는 AI가 포팅과 구현 장벽을 낮춘다는 Geoffrey Huntley 주장 C 초보 Rust 개발자를 위한 C의 함정: bool, 널 종결 문자열, 플랫폼별 정수 너비 Nix가 디버거 절반을 만들었다: Rewind VM으로 본 결정론적 레이스 컨디션 추적 Jev식 결정 모델을 직접 만들어보니 1.7B 모델 확률이 과신함 12ft.io 종료 후 나온 대체 서비스 WallHop, 페이월 우회 도구로 HN에 공개

정수 곱셈 n log n 이하 돌파 경쟁, 자동 연구 캠페인 PR로 진행 중

정수 곱셈 지수 절감 κ를 두고 PR들이 경쟁 중이며 검토 완료된 main 체크포인트는 κ 7.2357159×10⁻⁴임
현재 최고 열린 제안은 PR #890(κ 1.66×10⁻³)이지만 여러 결과가 조건부 경계에 기댄 주장이라 무조건적 n log n 돌파가 아님
PR #194는 bit 쪽 공급자가 κ를 0.0006678782로 묶어서 복소수 쪽 0.0007009184보다 낮은 bit 분기가 실제 상한을 정함
기여자는 eumemic, rohanarun, icekylinx 등 개인이 대부분이며 수치는 아직 검증 전인 Claimed 상태임

Hacker News opinions

FFT 얘기 나오는데 사이트가 느려서 글은 못 읽었음. 근데 복잡도 이론엔 nlogn 같은 딱딱한 벽이 없음. 시간이랑 공간 트레이드오프 하면 룩업테이블로 nlogn보다 낮출 수 있음. Blum speedup 정리가 바로 그거임.

Ben Recht 블로그 보면 이건 정확한 복소수 연산을 원자 연산으로 치는 식으로 TCS 형식화를 꼼수로 통과하는 거라고 함. 정수 곱셈이 컨볼루션이랑 붙어 있어서 FFT 비용 일부가 패킹 쪽에 숨어 있을 가능성 큼. 어차피 galactic 알고리즘이라 실사용은 별개임.

이거 Lean으로 된 기여인지 모르겠음. OpenAI Lean 증명을 이어서 하는 건지, 증명 길이가 많이 늘어나는지 궁금함.

Terence Tao가 말한 vibemathing이 딱 이 상황인 듯. 숫자만 줄이기에 집중하고 사람이 배울 통찰은 안 남는 게 걱정임. 근데 OpenAI가 n log n을 깨면 수학자들한테는 진짜 의미 있는 사건일 수도 있음.

36kr에 배경 설명 기사가 하나 더 있음.