일일 요약 · Hacker News
· 70 해커뉴스
Xiaomi가 Qwen3.5-9B를 자사 데이터로 파인튜닝한 9B 에이전트 모델 MiMo v2.6을 공개했다. 훈련 중 실시간 대시보드와 기술 보고서, 실패한 벤치마크까지 투명하게 공개해 호평을 받았다. 가격 대비 성능이 뛰어나 오픈 웨이트 경쟁을 촉진한다는 평가와 함께, 중국 모델의 부상이 미국 프런티어 랩의 해자를 좁히고 있다는 분석이 나온다.
- ▲ 1034알고리즘이 당신의 뇌를 점령하고 있다
테트리스 효과는 우리가 오래 집중하는 것이 결국 생각을 형성한다는 것을 보여준다. 하지만 유튜브, 스포티파이, 링크드인 등은 추천 알고리즘으로 우리의 주의를 빼앗고 두둑한 광고 수익을 챙긴다. 저자는 의도적인 인터넷으로 돌아가기 위해 느린 인터넷에 적응하고 블로그와 RSS 피드를 다시 읽자고 제안한다.
- ▲ 987AI가 쓴 글은 읽고 싶지 않다
AI가 쏟아내는 디자인 제안서, 문서, PR 요약은 읽는 이를 지치게 한다. 글쓴이는 AI를 활용해 논문을 쓰면서 AI가 교정과 검증, 인용 작업에 탁월하지만 문단 생성은 늘 불쾌하고 부정확했다고 말한다. 설문에 따르면 독자 78%는 AI 글이라 느끼면 읽기를 중단하고, 98%는 결점이 있더라도 저자 고유의 글을 선호한다. 결국 글쓰기는 맥락과 취약성을…
Oxide의 Bryan Cantrill은 Sun의 몰락 원인을 '비즈니스 운영의 기본에 싫증을 낸 것'으로 진단한다. 2005년 OpenSolaris 기반 스타트업이 Sun 하드웨어를 사려 했지만 연락이 닿지 않았고, Dell은 새벽에 웹 폼을 제출하자 아침에 담당자가 전화해 2주 만에 서버를 납품했다. 전략적 성공에도 운영 실패로 무너진 Sun의 교훈을…
ZuckOff는 Ray-Ban Meta, Oakley Meta, Snap Spectacles 같은 카메라 안경이 블루투스로 신호를 보낼 때 이를 감지해 근처에 있음을 알려주는 앱이다. 모든 처리는 스마트폰 안에서 이뤄지고 계정이 필요 없다. 감지 근거를 함께 보여주며, 블루투스 기기 로그를 남기고 CSV로 내보낼 수 있다. 본인 안경은 등록해 알림에서 제…
xAI가 Grok 4.7을 공개했다. 더 큰 베이스 모델과 장시간 과제 중심의 강화학습으로 어려운 코딩·지식 작업에서 성능이 크게 올랐다. CursorBench 4.0에서 46.3%를 기록해 Grok 4.6(40.4%)을 앞섰고, Terminal-Bench 4.0은 20.3%에서 38.0%로 뛰었다. 가격은 입력 100만 토큰당 2달러, 출력 6달러로 G…
Transformer Explainer는 GPT-2 (small) 모델을 사용해 텍스트 생성형 Transformer의 내부 작동을 시각적으로 보여주는 인터랙티브 도구입니다. 임베딩, 멀티헤드 셀프 어텐션, MLP, 출력 확률 등 핵심 구성 요소를 단계별로 설명하며, 다음 토큰 예측 원리와 temperature, top-k, top-p 샘플링 파라미터의 역…
2025년 1월 Disney+가 이용약관을 개정해 모든 구독 등급에 광고를 삽입할 수 있게 했다. '광고 없음' 또는 '광고 프리'로 판매된 프리미엄 요금제도 예외가 아니다. 2026년 9월에는 독일 구독자에게 보낸 이메일에서 스탠다드와 프리미엄 등급에도 콘텐츠 전후 광고가 들어갈 수 있다고 '명확화'했다. 기존 계약자는 해지하지 않는 한 새 약관에 묶인…
Kev는 Qwen3.5 기반의 소형 의사결정 모델 패밀리로, 0.8B·4B·9B 모델과 학습 코드, 평가 데이터를 제공합니다. 예/아니오, 객관식, 평점 질문을 한 번에 처리하며, CUDA와 Apple Silicon에서 실행됩니다. 4B와 9B는 bf16으로 32GB Mac에서 구동 가능하고, 웹 플레이그라운드도 포함되어 있습니다. TypeSafe의 Sy…
NASA의 Mars Sample Return(MSR) 프로그램이 의회의 예산 합의로 사실상 종료됐다. Perseverance rover가 수집한 수십 개의 암석 코어는 지구로 돌아오지 못할 처지다. 2024년 비용이 110억 달러까지 치솟으며 논란이 됐고, 2025년 1월 NASA는 70억 달러로 낮춘 최종안을 내놨지만 무산됐다. ESA와의 공동 프로젝트…
한 사용자가 6주간 데이터를 수집·분석한 결과, 모델의 추론 능력이 8월 한 달 내내 하락했고 여러 날에 걸쳐 변동했다. 일부 변동은 특정 제품 발표·출시와 맞물렸다. 그는 xhigh나 max effort 수준을 꾸준히 사용했지만, 실제 호출 대부분은 사고 토큰을 거의 받지 못했고 긴 추론이 이뤄진 경우도 공개된 벤치마크 수준에 거의 도달하지 못했다고 밝…
폴란드 개발자 Pawel Szydlowski가 만든 무료 Bluetooth 탐지 앱 ZuckOff는 주변에 Ray-Ban Meta, Oakley Meta, Snap Spectacles 같은 스마트글래스가 있는지 알려준다. 각 모델의 Bluetooth 신호를 미리 수집해 디지털 지문을 만든 방식으로, 출시 첫 달 Apple App Store에서 5,000회…
Tim Schafer가 Double Fine에서 공개한 Grim Fandango의 퍼즐 디자인 스펙 문서다. 1998년 Day of the Dead에 출시된 이 게임의 10주년을 기념해 올라온 내부 문서로, 곳곳에 농담과 그래픽, 곁가지 설명이 담겨 있다. HN 댓글에서는 독특한 분위기와 스타일, 그리고 지나치게 논리적인 퍼즐에 대한 향수가 이어진다.
Apple이 Mac에서 Siri AI(Beta), 메시지·이메일 요약, 알림 요약, Smart Replies 등 Apple Intelligence 기능을 끄거나 제한하는 방법을 안내했다. 시스템 설정, 메시지, 메일, 알림, 스크린 타임 등에서 개별적으로 설정할 수 있으며, macOS 27의 Apple Intelligence는 일부 언어와 지역에서만 제공…
Linear의 CTO가 'CI 비용이 너무 높다'는 이슈를 던진 뒤, 팀은 CI를 네 가지 방향으로 재설계했다. GitHub Actions에서 더 빠른 서드파티 러너로 옮기고, tsgo와 Oxlint를 도입했으며, 각 작업이 필요한 것만 가져오도록 바꿨다. 그 결과 테스트 스위트가 거의 4배로 늘었는데도 PR 대기 시간은 6분에서 5분으로 줄고, 테스트당…
mini-AGI는 8GB VRAM GPU에서 배치 1 스트림으로 처음부터 훈련되는 continual learning 바이트 레벨 언어 모델이다. 가중치를 디스크에 저장하고 필요할 때만 VRAM으로 페이징하여 파라미터 수가 VRAM이 아닌 디스크 공간에 의해 제한된다. 훈련 중 필요하면 새로운 전문가를 추가하고 사용되지 않는 것은 가지치기하며, catast…
Heretic은 언어 모델에서 제한을 제거해 항상 사용자의 지시를 따르도록 만드는 오픈소스 도구다. pip install -U heretic-llm으로 설치한 뒤 heretic Qwen/Qwen3.5-4B 명령을 실행하면 몇 초 만에 사용할 수 있다. GNU Affero General Public License v3 이상으로 배포되는 자유 소프트웨어로,…
Cloudflare가 Python Workers를 정식 출시(GA)했다. 이제 Python은 Workers 런타임의 일급 언어로, FastAPI·Django·Flask 같은 웹 프레임워크를 그대로 실행할 수 있다. Pyodide 기반 WebAssembly 샌드박스에서 소켓과 타입 변환 문제를 해결해 PostgreSQL·MySQL 연동과 openai·lan…
MacStories가 M5 Ultra Mac Studio(256GB RAM)를 나흘간 테스트했다. M3 Ultra 대비 토큰 생성 속도는 약 70%, 프롬프트 처리는 약 150% 향상됐다. Qwen3.8-Flash-Next를 로컬로 돌려 Open Minis와 Hermes Agent의 기본 모델로 쓸 정도로 빠르고 쾌적하다. 저자는 이 머신이 로컬 AI 에…
Raspberry Pi가 자사 EEPROM에 잠금 장치를 걸어 사용자가 RAM 칩을 직접 교체하지 못하도록 막았다는 소식이 Hacker News에서 논쟁을 불러일으켰다. EEPROM은 오픈소스가 아니어서 우회가 불가능하다는 지적이 나온다. 일부는 불량 칩을 단 중고 기기를 산 소비자의 항의를 막기 위한 조치라고 옹호하지만, 다른 이들은 부품 교체가 보증을…
macOS 27이 AI 모델을 자동으로 내려받아 저장 공간을 차지하는 문제를 피하는 방법이 Reddit에 올라와 Hacker News에서 논의됐다. 사용자들은 애플이 선택권을 주지 않는다고 비판하며, Windows와 Android를 각각 정리했던 'de-crapify' 작업을 떠올린다고 말한다. 한 이용자는 매일 25억 건의 Siri 요청이 실제로는 타이…
Fatih Kadir Akın이 만든 jev-leftpad는 TypeSafe AI의 Jev 모델로 문자열을 왼쪽 패딩하는 패키지다. padStart() 한 줄이면 될 일을 굳이 API 호출로 처리하며, 호출마다 요금이 나가고 재시도도 없다. Jev는 space_0부터 space_10까지 선택지 중 하나를 고르므로 최대 10칸까지만 패딩할 수 있고, 그 이…
FAA가 뉴욕 JFK·라가디아·뉴저지 테터보로 공항에 그라운드 스톱을 발령했다. 뉴저지 공사 현장에서 백업 광케이블이 실수로 절단되면서 통신 장애가 발생한 탓이다. FlightAware에 따르면 뉴어크와 필라델피아에서 600편 이상, 20% 넘는 항공편이 지연됐고 뉴어크 평균 지연은 112분에 달했다. 때마침 130명의 정상이 UN 총회 참석차 뉴욕에 도…
복잡한 Camera도 결국 x와 y를 z로 나누는 간단한 원리에서 출발한다. 원근 투영 행렬은 시야각, 종횡비, 클리핑 평면을 반영해 이 나눗셈을 일반화한 것이며, world → view → clip → NDC → 픽셀 → 래스터화의 전체 그래픽 파이프라인을 이해하면 필요한 부분만 골라 직접 구현할 수 있다.
Rhizomatica가 개발한 HERMES는 3~30MHz 단파 대역에서 파일과 GPS 좌표, SOS를 주고받는 오픈소스 디지털 라디오 시스템이다. 전리층을 위성처럼 활용해 20W 출력으로 400~600km 통신이 가능하며, 400~600bps 수준에 머물던 단파 데이터 속도를 파일 전송이 가능한 수준으로 끌어올렸다. 벵골만에서 표류한 어선이 HERMES…
Tim Dettmers는 학생들의 취업 불안과 학계 연구 무의미론을 반박하며, 제한된 자원이 오히려 대학 연구실의 르네상스를 이끌 것이라고 주장한다. 그의 연구실은 오픈소스 생태계를 통해 24GB GPU에서 125B 모델을 구동하고, 자체 개발한 CliffCompaction으로 비용을 절반으로 줄이며, 인터넷 없이도 프론티어 연구 시스템을 능가하는 자율…
2023년 캘리포니아 고속도로에서 Uber 기사 Vu Tran이 승객 Emily Normandin-Parker와 친구를 갓길 삼각지대에 내려준 뒤 그녀가 차에 치여 숨졌다. 중재인 Richard A. Stone은 Uber와 Tran에게 부모에게 각 2천만 달러씩 총 4천만 달러를 배상하라고 명령했다. 그는 Uber가 앱 기반 운송 회사로서 일반 대중에게…
미국 세관국경보호국(CBP)이 10월 22일부터 개인 처방약 수입을 전면 중단한다. 이는 수백만 미국인이 캐나다 등 해외 약국에서 더 저렴한 약을 구매해온 관행을 차단하는 조치다. 개인 처방약 수입 옹호 단체인 CPPI는 이번 결정이 환자들의 비용 부담을 가중시킬 것이라며 반발하고 있다.
Apple이 System 7을 대체하려다 취소한 Copland OS의 마지막 빌드 D11E4가 개선된 DingusPPC 에뮬레이터를 통해 브라우저에서 부팅된다. 실제 하드웨어에서는 약 30초 걸리지만 wasm에서는 실시간으로 실행되며, GXSlidemaster나 Eric’s Solitaire 같은 앱도 체험할 수 있다. Copland 부팅에 필요한 11개…
Financial Times 보도에 따르면 AI 챗봇이 금융 관련 질의에 대해 대부분 잘못된 답변을 제공하는 것으로 나타났다. 정확성이 중요한 금융 정보 영역에서 챗봇의 신뢰성 문제가 다시 부각되며, 투자·재무 판단에 AI를 활용하려는 사용자들에게 경고가 되고 있다.
Terence Tao의 블로그에 실린 게스트 포스트로, Institute for Advanced Study를 기반으로 한 수학·인공지능 자문단(AGMAI)의 출범을 알린다. Edward Witten, Timothy Gowers, Martin Hairer 등 저명 수학자들이 참여하며, AI 기업과 수학계 사이의 독립적 소통 창구 역할을 맡는다. 당면 과제는…
Amazon이 Meta의 새로운 Muse AI 에이전트가 amazon.com에서 쇼핑하는 것을 막았다. HN 토론에서는 에이전트 커머스의 미래와 Amazon의 통제권 상실 우려, UI 실험의 무의미화, 그리고 허용된 에이전트 목록만 받아들일 가능성 등이 논의됐다.
저는 Settings 앱에서 Siri를 비활성화하고, Settings > Screen Time에서도 Siri와 그 확장 기능을 추가로 비활성화했습니다. 그런 다음 https://github.com/OleksandrKrupko/mac-os-debloat에 따라 모든 Siri 관련 및 Apple Intelligence 관련 서비스를 비활성화했습니다. 하지만…
Paul Bakker는 Claude, Codex/ChatGPT, Gemini를 코딩과 리서치에 매일 쓰지만 글쓰기에는 쓰지 말라고 권한다. 글쓰기는 문제를 깊이 생각하게 만드는 도구인데, AI가 생성한 초안을 받아들이면 그 사고 과정을 건너뛰게 된다. 그는 초안을 쓴 뒤에는 AI에게 질문만 던져 피드백을 받는 방식으로 활용한다.
amigaux.org는 1990년대 Commodore의 System V Release 4 기반 Amiga Unix(Amix)를 68040·68060 및 현대 가속기에서 되살리는 비공식 커뮤니티 프로젝트다. 최신 툴체인, 패키지 관리자 apkg, 새로 작성한 드라이버를 갖추고 설치 미디어와 첫 부팅까지 실제 하드웨어에서 동작한다. 일부는 생성형 AI가 오래…
OpenAI와 Anthropic에서 3년간 사전학습 연구를 한 Jacob Coxon이 지분 베스팅을 두 달 앞두고 사임했다. 그는 두 회사 모두 책임감 있게 행동하지 않으며 자기 개선 초지능을 향해 질주하고 있다고 주장했다. Anthropic 정렬 팀 리드 Evan Hubinger도 AI가 인류를 멸종시킬 확률을 10% 이상으로 본다며 그를 지지했다. 2…
바르셀로나의 Teatre Raval이 버지니아 울프의 《자기만의 방》 각색 공연을 Instagram과 Facebook에서 홍보하려다 차단당했다. Meta는 시민권·페미니즘·사회 개혁 언급이 자동 시스템에서 '사회적 주제'로 분류된다고 설명하며, 활동을 조장하는 듯한 핵심 단어를 빼라고 권고했다. 극장은 페미니즘 작품 홍보를 막는 것은 권리 침해라며 반발했…
SafeDep 연구진이 npm 패키지 [email protected]에서 암호화된 로더를 발견했다. 이 로더는 lusolve() 솔버에 숨겨져 있으며, 특정 행렬 입력이 비밀번호가 되어 페이로드를 복호화하고 실행한다. 페이로드는 Slack과 블록체인 네트워크를 통해 명령을 받아 호스트에서 실행하는 원격 접근 임플란트다. mathsbase와 math-univer…
미국 연방정부가 운영하는 H-2B 비자 추첨을 활용한 연구에 따르면, 저숙련 외국인 노동자 고용이 제한될 때 기업은 미국인으로 대체 고용을 하지 않고 사업 규모를 축소한다. 추첨에서 탈락한 기업은 H-2B 고용이 절반으로 줄었고, 매출과 투자도 감소했다. 반면 저숙련 미국인 고용은 늘지 않았으며, 일부 농촌 기업에서는 오히려 외국인 고용 증가가 미국인 고…
Apple의 신형 M6 Mac mini는 M4 대비 CPU·GPU 성능이 크게 향상됐지만, 가격이 $599에서 $899로 $300나 올랐다. 2026년 메모리 대란 속에서 기본형 16GB/256GB 모델이 이 가격이 된 것. M6 칩은 처음으로 Super 코어 2개, P 코어 4개, E 코어 6개를 탑재했고 GPU 코어도 12개로 늘었다. Thunderb…
- ▲ 107교차로가 도로의 진짜 병목인 이유
도시 교통의 최대 병목은 교차로다. 차선을 늘리거나 속도 제한을 높여도 교차로의 효율이 개선되지 않으면 전체 도로 용량은 그대로다. 신호등은 저렴한 비용과 최소한의 공간으로 대용량 교통을 처리하는 현실적인 해법이다. 하지만 최근에는 감지기 데이터를 받아 실시간으로 신호를 조정하는 actuated control과 도시 전체를 최적화하는 adaptive si…
Sublime Text 빌드 4213이 Python 3.14를 탑재하고, 기본 비활성화된 Python 3.3은 향후 제거될 예정이다. C# 구문 강조가 새로 작성되었고, 파일 아이콘 테마와 외부 터미널 실행 명령이 추가됐다. Windows 10, macOS 10.13 이상이 요구되며, git reftables 지원과 성능 개선도 포함됐다.
Mentec M11 프로세서와 Q-bus 섀시 2대, DEC·Emulex 컨트롤러로 복원된 PDP-11/83이 2.11BSD UNIX를 실행하며 이 페이지를 실제로 서빙 중이다. RA82·RA92 MSCP 디스크, RX50 플로피, RL02, TKZ50 테이프, DEQNA 이더넷을 갖췄고, 5초 캐시의 웹탑 스냅샷으로 시스템 상태를 보여준다. 22비트 메…
코리 닥터로우는 AI가 생성한 텍스트나 이미지를 마주할 때 우리가 무의식적으로 그 뒤에 의도가 있다고 가정한다고 말한다. 하지만 AI는 의도를 형성할 수 없으며, 우리가 AI와 대화할 때 실제로는 상대방을 환각으로 만들어낸다는 것이다. 이러한 환각은 AI의 오류보다 더 흔하고 중대한 영향을 미친다. 시간이 지나면서 AI의 결과물이 지루해지고, 우리는 점차…
아일랜드 데이터보호위원회(DPC)가 Google Ireland에 4억 300만 유로의 과징금을 부과했다. 2020년 2월부터 조사한 결과, Google은 'Web & App Activity', 'Location History', 'Location Accuracy'에서 GDPR의 적법성·공정성·투명성·보관 제한 의무를 위반한 것으로 드러났다. DPC는 Go…
Noodle Gallery는 Google Photos와 Immich의 오픈소스 셀프호스팅 대안으로 소개됐지만, 실제로는 Immich의 소프트 포크다. 댓글에서는 Immich의 계정별 파트너 공유와 얼굴 인식 오버헤드가 큰 문제였는데 Noodle Gallery가 이를 명시적으로 해결한다는 평가가 나온다. 제출된 제목의 'Immich 대안'이라는 표현은 부정…
OpenAI가 8월 28일부터 내부 모델을 훈련해 Navier–Stokes 밀레니엄 문제를 해결하고 수학 전반의 난제 100개 이상을 풀었다. 이에 수학자들은 AI가 수학을 벤치마크로 삼는 것에 우려를 제기했고, OpenAI는 독립적인 수학 자문단을 구성해 연구 결과의 검토와 전파, 학문적 기준을 자문받기로 했다. 자문단은 OpenAI로부터 독립적으로 운…
데이터센터 건설을 둘러싼 대중의 반발이 월스트리트로 번지고 있다. SB Energy는 500억 달러 이상의 기업가치를 인정받으려 했지만 투자자 확보에 어려움을 겪으며 IPO를 연기했고, 원자력 기업 Holtec도 신규 상장 시장에 대한 투자자 신뢰가 훼손됐다며 IPO 계획을 무기한 중단했다. AI 인프라에 대한 투자 열기가 식으면서 수백억 달러 규모의 자…
Backpropagation이 왜 순방향이 아니라 역방향으로 계산해야 하는지에 대한 근본적인 이유를 설명한다. 순방향으로 그래디언트를 계산하면 같은 메시지를 여러 번 반복 전달해야 해서 계산량이 노드 수의 제곱에 비례해 폭발한다. 반면 역방향으로 각 노드가 자신의 로컬 항을 한 번만 전달하면 선형 시간에 그래디언트를 구할 수 있다. 이는 신경망 학습에서…
시애틀 시의회가 8대 0으로 임대료 정크 피 금지 조례를 통과시켰다. 2027년 7월 1일 이후 체결되는 임대차 계약부터 관리 서비스 요금, 반려동물 임대료, 택배 보관료 등이 금지되며, 임대인은 월세·할인·공과금·각종 수수료를 포함한 총 월 비용을 사전에 공개해야 한다. 위반 시 시 검찰이 소송을 제기해 불법 수수료의 최대 3배를 환수할 수 있다.
Lossless-memory는 개인 AI를 위한 장기 기억 시스템으로, 대화를 요약하지 않고 모든 발화를 원문 그대로 저장하며 타임스탬프를 붙입니다. 시간을 중심으로 검색하고, LLL 인덱스로 현재 주제를 추적해 세션이 바뀌어도 맥락을 유지합니다. JSONL 로그와 SQLite 기반으로 로컬에서 동작하며, '어제 저녁 예산' 같은 시간 표현으로 정확한 대…
미국 여러 도시가 Flock의 번호판 인식 카메라를 버리고 Axon의 동급 카메라로 교체하고 있습니다. 404 Media는 지역 경찰이 Axon ALPR을 어떻게 사용하고 데이터를 누구와 공유하는지 조사하기 위해 활동 보고서를 공개 기록 요청으로 확보 중입니다. 워싱턴주 벤턴 카운티 등 6개 기관에서 보고서를 입수했으며, 독자들이 직접 공개 기록 요청을…
EU가 2026년 7월부터 150유로 이하 소액 배송에 건당 3유로의 관세 수수료를 부과하면서, 미국 소상공인들은 EU 고객에게 책을 팔 수 없게 됐다. VAT 등록과 신고의 복잡성, 치솟는 배송비, 수수료를 대신 징수해 줄 배송사 부재까지 겹쳐, 저자는 결국 EU 배송을 중단했다. 보호무역이 아닌 과도한 행정 부담이 소규모 사업자를 죽이는 현실을 고발한…
RoboHarm 벤치마크는 이족 로봇 팔로 5가지 위험한 지시를 수행하도록 정책을 테스트했다. Claude Fable 5.1은 100회 중 20회 거부했지만, GPT-6 Astra는 단 2회만 거부했고 MolmoAct2는 전혀 거부하지 않았다. 특히 Fable의 거부는 모두 '빵이 아닌 것을 찌르라'는 지시에 집중됐다. 더 유능한 정책일수록 거부는 적고…
Gary Bernhardt의 'Functional Core, Imperative Shell' 개념을 확장해, 순수 함수뿐 아니라 결정적(deterministic) 코드라면 무엇이든 테스트 가능성을 얻을 수 있다고 주장한다. RNG, 네트워크, 시간 등 비결정적 요소는 셸로 밀어내고, 레거시 코드베이스에 흩어진 수천 개의 결정적 코어를 '조각 모음'하듯 모…
브라우저에서 Elektron Machinedrum을 에뮬레이션한 웹 앱이다. 16트랙×16스텝 시퀀서, 키보드로 연주·녹음, 스텝별 파라미터 락, LFO, 딜레이·리버브 FX, 패턴 전환, STORE/RELOAD까지 구현했다. 편집 내용은 브라우저에 자동 저장되며, 상세한 한국어 매뉴얼도 제공한다.
자기 안정화 시스템의 조합에 관한 최근 연구를 찾지 못한 저자는 rely-guarantee TLA+ 모델을 사용해 재시도 폭풍을 분석한다. 2017년 Kim, Arcak, Seshia의 파라메트릭 가정-보장 계약 논문을 발견하지만, 이는 메모리리스 관점이라 백로그를 표현하지 못하고 안정화와 연결되지 않는다. 저자는 두 개의 큐와 네 개의 기울기를 가진 시…
Foremerge는 여러 AI 코딩 에이전트가 동시에 작업할 때 발생하는 '의도 충돌'을 사전에 감지하는 오픈소스 협업 프로토콜입니다. Git 위에 구축되어 각 에이전트가 변경하려는 대상을 미리 선언하고, 공유 데이터베이스를 통해 서로의 계획을 확인합니다. 이를 통해 Git이 놓치는 논리적 충돌(예: 한 에이전트가 PaymentService를 교체하려 하…
Whirlpool 세탁기가 탈수되지 않아 직접 분해한 경험담. 전동 커플링과 클러치를 점검한 후 변속기를 의심하고 분해했다. 변속기 내부의 shoulder pawl stud가 부러진 것을 발견하고, Repairclinic.com에서 Neutral Drain Pack을 23달러에 주문해 교체했다. 15년 된 세탁기를 23달러와 약간의 수고로 고쳐 300달러…
2009년부터 개발된 TXR은 패턴 매칭 언어와 Lisp 다이얼렉트를 결합한 데이터 처리 도구다. 951페이지에 달하는 방대한 매뉴얼을 자랑하며, libffi 외에는 외부 의존성이 없고 실행 파일 크기는 1.7MB에 불과하다. GNU Guix, NixOS, Alpine Linux 등 여러 배포판에서 패키징되어 사용된다.
The Lunduke Journal에 따르면 9월 들어 Linux Kernel에 제출된 패치 중 17.25%가 AI가 생성한 코드다. 지난주에만 AI가 작성한 코드 제출이 1,634건에 달하며 또다시 최고 기록을 세웠다. DHH는 "곧 50%, 그다음 80%, 결국 전부가 될 것"이라고 전망했고, 다른 사용자는 실제 비율은 공개되지 않아 더 높을 것이라고…
Food Prices Today는 USDA 데이터를 기반으로 미국 식품 가격을 매일 추적하는 웹사이트입니다. 농장에서 슈퍼마켓 광고까지, 양파, 감자, 계란 등 주요 농산물의 도매 및 소매 가격을 한눈에 볼 수 있습니다. 매주 가장 큰 가격 변동을 보인 품목을 정리해 시장 동향을 빠르게 파악할 수 있으며, 소매점 광고 가격을 평균 내어 소비자에게 실제적인…
OpenAI, Meta, DeepMind 출신 직원들은 AI가 인류를 멸망시킬 것이라는 주장에 회의적이다. 전 Anthropic 직원 Jacob Coxon의 경고가 화제가 된 후 BBC와 익명으로 대화한 이들은 'ㅋㅋ', '하하하' 같은 반응을 보이며 주장이 지나치게 모호하다고 지적했다. Nvidia CEO Jensen Huang은 '2030년에 세상이…
브로드캐스트 버스 기반의 분산 hard real-time 시스템에서는 고장 난 노드 하나가 통신 버스를 독점하는 것을 막아야 한다. 시간 트리거 방식에서 이런 노드는 정해진 전송 패턴을 무시하고 임의 시점에 메시지를 보내 버스 전체를 오염시키는데, 이를 babbling-idiot 실패라 부른다. 이 논문은 각 노드에 bus guardian이라는 장치를 추…
ByteDance Seed와 Tsinghua AIR가 공개한 오픈소스 강화학습 시스템 DAPO는 Qwen2.5-32B 기반으로 AIME 2024에서 50점을 기록하며 기존 최고 성능 모델을 절반의 학습 단계로 앞섰다. 알고리즘, 코드, 데이터셋을 모두 공개해 대규모 LLM RL 연구의 재현성을 높였다.
Hillel Wayne은 AI가 생성한 TLA+ 명세에서 'spine'이라는 단어가 자주 등장하는 것을 발견하고, GitHub PR 데이터를 분석했다. 2026년 9개월 동안 'spine'이 제목에 포함된 PR이 2025년 전체보다 20배 급증했으며, 'gate', 'lane', 'truth', 'seam' 같은 단어도 비슷한 패턴을 보였다. 특정 LLM…
Artificial Analysis가 Grok 4.7(xhigh)의 지능, 성능, 가격을 분석했다. AA Intelligence Index v4.3.2는 10개 평가를 통합해 모델의 지능을 측정하며, Grok 4.7은 이 지수에서 경쟁 모델과 비교된다. 특히 지능 대비 비용, 작업당 출력 토큰, 캐시·입출력 가격 등 경제성 지표가 상세히 제시된다. 컨텍스…
뉴요커 기고가가 알래스카의 늪지에서 만난 Hudsonian godwit(A34)와 칠레 Chiloé 섬에서의 관찰을 통해, 이 새가 거의 1만 마일에 달하는 이동을 어떻게 감당하는지 추적한다. 이동성 도요·물떼새의 개체수가 1980년 이후 절반 이상 줄었고, 이들의 생존은 해안 생태계와 인간의 이해에 직결된다. 과학자들은 이들의 이동 경로와 위협 요인을…
NEC V20은 1986년 9월 22일 법정에서 Intel을 상대로 승소하며 8088 호환 CPU 시장에 합법적으로 진출했다. 8088보다 트랜지스터가 두 배 이상 많고 두 개의 데이터 전송을 동시에 처리해 같은 클럭에서 8~30% 더 빠르며, 곱셈과 나눗셈은 하드웨어로 처리해 3배 빠르다. 80186 명령어 세트와 8080 에뮬레이션을 지원해 286 전…
SQLBraid는 TypeScript에서 SQL을 그대로 쓰면서도 안전한 값 바인딩, 가독성 높은 동적 SQL, 명시적 결과 계약, Standard Schema 매핑을 제공하는 SQL 우선 데이터 액세스 툴킷입니다. 쿼리 빌더 DSL로의 번역 계층을 건너뛰고, PostgreSQL, MySQL, SQLite, Oracle, SQL Server 등 다양한 드…