AI 생성 수학 결과를 책임 있게 공개하는 방법
AGMAI는 사람이 이해하지 못한 AI 생성 수학 결과를 연구소가 공개할 때 필요한 절차와 지원책을 제안합니다. 증명 정리와 선행 연구 인용, 프롬프트·계산 비용 공개, 형식 검증, 연구자 지원을 권고하며, 비공개 모델로 난제를 시험하지 말라고도 요청합니다. Hacker News에서는 수학의 개방성과 인간의 이해를 지킬 방안을 두고 찬반이 맞섰습니다.
최신 글
페이지 테이블 메모리 사용량
페이지 테이블은 매핑한 데이터 크기의 약 1/512만큼 메모리를 쓰지만, 같은 메모리를 여러 주소 공간에 매핑하면 비용이 누적됩니다. 글은 데이터베이스와 NUMA 사례를 통해 페이지 테이블이 메모리 압박과 원격 메모리 지연의 원인이 되는 과정을 설명합니다.
Aktar — 내 클라우드에서 파일을 바로 공유하는 앱
Aktar는 S3 호환 스토리지에 파일을 직접 올리고 공유 링크를 클립보드에 복사하는 무료 오픈소스 앱입니다. 중간 서버나 Aktar 계정 없이 Mac, Windows, iOS에서 쓸 수 있으며, 임시 링크와 폴더 업로드 같은 기능도 추가됐습니다.
example.com 변경 이유를 설명한 IANA의 이메일
IANA는 example.com 페이지를 기본 HTML과 추가 콘텐츠를 담은 별도 JavaScript 파일로 나눠 자동화된 요청의 데이터 전송량을 줄였다고 설명합니다. 이 도메인은 문서의 예시용으로 예약됐으며, 가용성 검사 같은 일반 목적의 서비스나 HTTP 응답을 보장하지 않습니다.
일본에서 일하며 머신러닝 박사 과정을 마치기
저자는 Google에서 주 2일 일하면서 도쿄공업대학(현 Science Tokyo)에서 컴퓨터과학 박사 과정을 마쳤습니다. 일본의 유연한 학생 취업 제도와 3년 과정의 장점, 해외 학위의 낮은 인지도와 연구실·생활의 어려움을 경험을 바탕으로 정리합니다.
Muse AI가 구매자에게 유튜버 집 주소 전달…메타가 대응에 나섰습니다
유튜버 Matt Robb는 Facebook Marketplace 판매를 맡긴 Muse AI가 자신의 집 주소를 구매자에게 보내고, 동의 없이 거래를 진행했다고 밝혔습니다. Meta는 권한 설정에 따라 AI가 동작했을 가능성을 언급하며 사건을 조사하겠다고 했습니다.
Datastory — 데이터를 공유하고 싶은 이야기로
Datastory는 AI와 공개 데이터 카탈로그를 활용해 인터랙티브 차트, 웹사이트, 보고서를 만드는 노코드 플랫폼입니다. 데이터 시각화를 빠르게 제작하고 게시하려는 공공기관, 연구자, 뉴스룸 등을 대상으로 합니다.
Show HN: 작동하는 에니그마 3D 모델
에니그마의 회전자와 배선 작동을 3D 모델로 보여주는 브라우저 기반 교육 도구입니다. 사용자는 회전자와 플러그보드 설정을 바꾸고 키를 눌러 암호화 과정을 살펴볼 수 있으며, 모스 부호로 메시지를 보내는 단계도 체험합니다.
Linux에서 Windows PE DLL 불러오기
Rust 프로젝트 Champagne은 Linux 프로세스 안에서 Windows PE DLL을 직접 로드합니다. Wine을 별도 프로세스로 실행하던 구조를 없애고 PEB·TEB, TLS, 로더 목록과 필요한 Windows API를 구현해 HTC Vive Pro 2 렌즈 보정 라이브러리를 실행합니다.
jambuild — 말하고 가리키며 함께하는 실시간 바이브 코딩
jambuild는 음성과 마우스 포인팅으로 여러 사람이 함께 프로토타입을 만드는 브라우저 기반 코딩 도구입니다. 빠른 모델과 선제적 발화 감지로 변경 사항을 몇 초 안에 반영하며, 제작자는 협업 흐름이 실제로 유용하고 재미있는지 알아보려 합니다.
생각을 정리하는 도구로서의 커밋 설명
AI 에이전트가 코드를 작성하더라도 커밋 설명의 ‘왜’는 사람이 직접 써야 한다고 주장합니다. 설명을 쓰는 과정에서 변경 이유와 종료 조건을 되짚고, 코드가 의도대로 동작하는지 확인할 수 있기 때문입니다.
Framework, Ryzen AI Max+ PRO 495 탑재 192GB 데스크톱 예약 판매 시작
Framework가 Ryzen AI Max+ PRO 495와 비업그레이드형 LPDDR5x 메모리 192GB를 탑재한 데스크톱의 예약 판매를 시작했습니다. 가격은 7,659유로이며 2차 물량은 11월 출고 예정입니다. Local LLM 사용자들은 메모리 용량보다 256GB/s 메모리 대역폭과 높은 가격을 문제로 꼽습니다.
과거의 믿음까지 기억하는 와인 셀러
Cellar는 와인 보유 현황뿐 아니라 특정 시점의 구매·소비 기록과 음용 시기에 관한 판단을 재현하는 앱입니다. 이벤트와 날짜가 붙은 주장을 별도로 저장하고, 독립 검증과 실측을 곁들인 AI 개발 과정을 통해 시간에 따른 상태 계산과 Sanity 플랫폼의 제약을 설명합니다.
GitBot — 쓰던 코딩 에이전트로 봇 만들기
GitBot은 Claude Code, Codex, OpenCode에 반복해서 맡기는 작업을 지침과 권한 설정을 갖춘 봇으로 저장해 여러 저장소에서 실행하는 오픈소스 도구입니다. 각 실행은 나중에 이어 볼 수 있는 스레드로 남고, 사용자 PC에서 기존 에이전트 로그인 정보를 사용합니다.
Show HN: Ledge.sh — 실행 가능한 마크다운 노트
Ledge.sh는 마크다운 노트에 코드 블록을 넣고 실행 결과를 바로 기록하는 오픈소스 앱입니다. 노트별로 지속되는 셸을 제공하고 로컬이나 SSH 서버에서 명령을 실행하며, 파일 기반 저장과 모바일 앱, MCP 연동도 지원합니다.
PLDB: 프로그래밍 언어 논문 검색
PLDB는 1973년 첫 POPL 논문부터 올해 학회 논문까지 프로그래밍 언어 분야 논문 33,580편의 제목과 초록을 모아 검색하는 서비스입니다. 저자명이나 주제, 제목으로 검색할 수 있고 API도 제공합니다.
CrawlRaven MCP — AI 에이전트로 SEO 작업하기
CrawlRaven은 Google Search Console, GA4, 키워드 목록, 사이트 크롤링 결과를 모아 영향도 순으로 SEO 작업 계획을 제시합니다. MCP 서버를 통해 Claude, ChatGPT, Cursor에서 사용자 데이터를 조회하고 기술 SEO 문제를 확인할 수 있습니다.
픽셀 이전의 모듈형 산업용 대시보드
독일과 폴란드의 박물관에서 본 항공 관제·철도·발전소용 모듈형 대시보드를 소개합니다. 물리 버튼과 표시등으로 상태를 드러내는 인터페이스는 오늘날 화면 중심 설계와 다른 조작 경험을 보여줍니다.
Go 맵은 내부에서 어떻게 동작할까: Swiss Tables
Phuong Le의 영상은 Go 1.24 맵에 도입된 Swiss Tables 구조를 단계별로 설명합니다. 해시 분할과 제어 바이트 검사부터 테이블 확장, 기존 맵과의 벤치마크까지 다루며, Go 맵 내부 구조를 이해하려는 개발자에게 유용한 자료입니다.
안드로이드 개발자 인증 프로그램에 반대합니다
작성자는 비활성 상태로 Google Play 계정이 폐쇄된 뒤 새 앱을 배포하려다 Android Developer Verification Program 등록을 요구받았다고 말합니다. 등록비와 신원 확인, 소규모 테스트 앱에도 적용되는 절차를 두고 개발자들이 배포 통제와 개인정보 부담을 우려합니다.