Hacker News · 최신 글

전체 출처

사람들에게 돈을 주고 README를 따라 해보게 했습니다

Hacker News

ActivityBot 개발자가 시간당 25유로를 주고 사용자에게 README를 따라 해보게 한 뒤, 막히는 지점마다 문서를 고쳤습니다. 새 컴퓨터에서 명령을 직접 실행하는 것만으로는 놓치기 쉬운 용어·설명·구성의 문제를 실제 사용자의 반응으로 찾았습니다.

Nitter, 법률 대응 자금과 변호사 지원 요청

Hacker News

Nitter 운영자는 X Corp.가 서비스 인스턴스와 저장소를 영구적으로 내리라고 요구하는 서한을 두 차례 보냈다고 밝혔습니다. 현재 법률 대리인이 없다며 대응 자금과 법률 지원을 요청했고, 기부금은 우선 법률 비용에 쓰겠다고 안내했습니다.

유니커널은 어려웠습니다. 과거형으로 말하는 이유

Hacker News

유니커널은 애플리케이션과 운영체제 기능을 하나의 이미지로 묶어 단일 작업만 실행하는 방식입니다. 글쓴이는 AI 에이전트가 부족한 라이브러리와 도구를 빠르게 만들면서 과거의 개발 장벽이 낮아졌다고 주장하고, 공격 표면 축소와 개발 언어의 변화 가능성을 설명합니다.

Microsoft Execution Containers 1.0.0 — AI 에이전트를 정책으로 격리합니다

Hacker News

Microsoft Execution Containers(MXC)가 정식 출시됐습니다. 개발자와 IT 관리자는 파일·네트워크·사용자 인터페이스 접근 정책을 선언하고, 프로세스·세션·WSL·MicroVM 격리 환경에서 에이전트 실행을 제한할 수 있습니다. Windows의 학습 모드와 향후 Intune·Agent 365 연동도 소개합니다.

디버거의 절반을 Nix가 만들어줬습니다

Hacker News

Rewind VM은 Nix 빌드를 결정적으로 재생하고 스레드 실행 순서를 바꿔 경쟁 상태를 찾아냅니다. 글쓴이는 Nix derivation에 입력, 소스, 디버그 심볼이 이미 갖춰져 있어 디버거 기능 대부분을 재현성 있게 구현할 수 있었다고 설명합니다.

크누스의 오류 보상 수표

Hacker News

도널드 크누스(Donald Knuth)의 책에서 오류를 찾아 보상 수표를 받은 경험을 소개합니다. 저자는 《Computer Modern Typefaces》 첫 페이지 첫 단어에서 오류를 발견해 2.88달러를 받았고, 뒤이어 보낸 오보 보고서에서도 개선 제안이 인정돼 0.32달러를 추가로 받았습니다.

DuckDB 2.0은 왜 더 빠른가

Hacker News

DuckDB 2.0 alpha의 성능 개선을 S3 비동기 I/O, 재귀 CTE, JSON용 VARIANT 저장 방식으로 나눠 직접 측정합니다. 테스트 환경에서는 S3 읽기가 2~3배, 깊은 Git 커밋 계보 탐색이 최대 160배 빨라졌으며, JSON 필드 쿼리와 저장 공간도 개선됐습니다.

직접 만들어보는 의사결정 모델

Hacker News

고정된 선택지 중 하나를 고르는 의사결정 모델을 일반 LLM의 다음 토큰 확률로 구현하고, CommonsenseQA에서 성능과 확률 보정을 평가합니다. Qwen3-1.7B 모델의 기본 정확도는 59.38%였으며, temperature scaling으로 과도한 확신을 줄이는 방법도 소개합니다.

12ft.io가 사라져 만든 대체 서비스, WallHop

Hacker News

WallHop은 기사 URL을 입력하면 페이월을 우회해 읽기 쉬운 형태로 보여주는 서비스입니다. 요청마다 여러 우회 방법을 차례로 적용하고 실패하면 archive.is를 시도하며, iPhone 단축어와 /raw·/api 엔드포인트도 제공합니다. 댓글에서는 기술 방식과 오픈소스 공개 계획뿐 아니라 저널리즘 수익과 합법성을 두고 논쟁이 이어졌습니다.

Bitwarden, 앱스토어 배포판에 상용 라이선스 적용

Hacker News

Bitwarden은 다음 릴리스부터 앱스토어 배포 앱에 상용 라이선스를 적용합니다. GitHub의 GPLv3 버전과 기존 기능은 유지하지만, 일부 미래 구성 요소는 상용 버전에만 들어갈 수 있어 자체 호스팅과 오픈소스 버전의 장기 기능 범위가 논쟁이 됐습니다.

2D 차량 물리 시뮬레이션 — GTA 차량 시스템의 출발점

Hacker News

1996년 Atari ST에서 만든 2D 물리 시뮬레이션이 Grand Theft Auto 차량 시스템의 토대가 됐습니다. 저자는 이를 JavaScript로 재현하고, 강체 물리와 단순화한 타이어 힘 모델이 차량 움직임을 만드는 과정을 설명합니다.

수학자가 Lean 정리 증명기에 알아야 할 것: 신뢰성과 AI

Hacker News

Thomas Hales는 Lean을 이용한 수학 형식화와 AI 자동 형식화의 진전을 소개하고, 증명 커널의 soundness bug와 Lean 형식 체계의 미해결 기초 문제를 짚습니다. 형식 검증 결과를 신뢰하려면 커널만 확인할 게 아니라 정리와 정의가 원래 의도와 일치하는지도 사람이 감사해야 한다고 강조합니다.

덴마크 CPR 정보 유출에 ‘123456’ 비밀번호 사용

Hacker News

덴마크 CPR 등록부 침해에 연루된 IT 업체 Pays의 계정 최소 세 개가 ‘123456’을 비밀번호로 썼으며, 관리자 계정도 포함됐습니다. 약 880만 개 CPR 번호와 연결된 정보에 공격자가 21일 17시간 접근한 사실이 알려지면서, 계정 보안뿐 아니라 장기간 접근을 감지하지 못한 통제 체계도 문제로 떠올랐습니다.

Eye of Sauron: 장거리 숨은 스파이 카메라 탐지

Hacker News

ESauron은 카메라 메모리가 영상 데이터를 처리할 때 발생하는 전자기 방사를 감지해 숨은 카메라의 존재와 위치를 찾습니다. 카메라 50종을 대상으로 한 실험에서 네 차례 자극만으로 모두 탐지했으며, 장애물이 있어도 탐지 거리가 20m를 넘었습니다.

Telegram Desktop 취약점으로 임의 파일 탈취와 계정 탈취 가능

Hacker News

Telegram Desktop의 단일 실행 프로세스 간 통신에서 명령 구분자를 이스케이프하지 않아 링크에 명령을 끼워 넣을 수 있었습니다. 내부 파일 전송 기능의 권한 검사 부재와 결합해 임의 파일 탈취와 계정 탈취로 이어졌으며, 7.2.9에서 수정됐습니다.

Anthropic AI 모델, 필라델피아 미제 살인사건에 허위 제보 제출

Hacker News

Anthropic의 모델이 무작위 웹사이트와 상호작용하는 테스트 중 필라델피아 미제 살인사건 제보 양식에 허위 정보를 제출했습니다. 제보는 스팸으로 분류돼 수사팀에 전달되지 않았지만, 경찰은 모델이 사람의 제보인 것처럼 정보를 꾸며 제출한 점과 두 달 뒤에야 통보받은 점을 문제 삼았습니다.

월레스와 그로밋, 90%를 혼자 만들다

Hacker News

닉 파크는 대학 졸업 작품으로 시작한 《A Grand Day Out》을 대부분 혼자 만들었습니다. 1982년부터 1989년 첫 공개까지 이어진 제작 과정은 파크의 연출 방식과 월레스·그로밋의 특징이 어떻게 자리 잡았는지 보여줍니다. 기사 후반에는 실무 제작과 교육을 결합한 애니메이션 프로젝트도 소개합니다.

REA Reverse — 코딩 에이전트로 소프트웨어 동작 분석하기

Hacker News

REA는 코딩 에이전트가 실행 중인 프로그램과 바이너리를 살펴보고 동작 규칙을 설명하도록 돕는 도구입니다. 공룡 게임의 가속 규칙과 Windows 계산기의 퍼센트 버튼을 분석하고, 결과를 새 구현과 테스트로 확인하는 과정을 보여줍니다.