Hacker News 뉴스

Ensemble Prover는 언어 모델의 증명 탐색과 Lean의 정형 검증을 결합한 연구용 자율 정리 증명기입니다. GPT-5, DeepSeek-V4 등 다양한 모델을 활용해 복잡한 수학적 목표를 분해하고 검증된 증명을 생성하며, 이미 65개의 Putnam 문제를 해결하는 성과를 보였습니다.

WiringPi 3.20은 Raspberry Pi 5를 포함한 다양한 라인업을 지원하는 고성능 GPIO 액세스 라이브러리의 최신 업데이트 버전입니다. DMA 방식을 통해 하드웨어 레지스터에 직접 접근함으로써 최소한의 지연 시간과 최대의 성능을 보장하며, C 언어 기반의 강력한 제어 기능을 제공합니다.

이 프로젝트는 중력이 즉각적으로 작용하지 않고 유한한 속도로 전달되는 '인과적 중력' 모델을 기반으로 한 인터랙티브 샌드박스 엔진입니다. Numba JIT 기술을 활용해 일반 사용자용 CPU에서도 블랙홀 병합이나 중력파와 같은 복잡한 천체 물리학적 현상을 실시간으로 시뮬레이션할 수 있습니다.

Radia는 에이전트 간의 직접적인 호출 대신 불변의 기록(Records)을 통해 작업을 전달하고 관리하는 협업 프레임워크입니다. 각 작업의 작성자, 권한, 데이터 계보를 투명하게 기록함으로써, 서로 다른 팀이나 서비스에서 운영되는 에이전트들이 안전하게 연동될 수 있는 환경을 구축합니다.

Wordmate는 macOS 전용 로컬 음성-텍스트 변환 기술로, Parakeet와 Qwen 모델을 활용해 기기 내부에서 모든 처리를 완료합니다. 실시간 오디오 스트리밍과 백그라운드 텍스트 정제 기술을 통해 녹음 종료 직후 거의 즉각적인 결과물을 제공하며 강력한 프라이버시를 보장합니다.

LibPolyCall은 Python, Node.js, Java, Go 등 다양한 언어 간의 통신을 단일 프로토콜로 통합하는 '프로그램 우선(Program-first)' 아키텍처를 지향하는 C 런타임 브로커입니다. 제로 트러스트 보안 모델과 실시간 텔레메트리 기능을 결합하여, 언어 간 파편화로 발생하는 개발 비용을 줄이고 시스템의 가시성을 극대화하는 것을 목표로 합니다.

MCP(Model Context Protocol) 기반의 툴 정의 품질을 측정할 수 있는 새로운 플레이그라운드와 API가 공개되었습니다. 사용자는 툴 리스트를 입력하여 AI 모델이 도구를 얼마나 정확하게 이해하고 호출할 수 있는지 점수를 매기고, 이를 공유 가능한 리포트 형태로 확인할 수 있습니다.

'Model'은 MySQL, MariaDB, SQLite를 지원하는 최소형 Python OR적(ORM)으로, SQL의 직관성을 유지하면서 강력한 타입 시스템을 제공합니다. 자동화된 스키마 업데이트와 기존 테이블로부터 모델을 생성하는 기능을 통해 데이터베이스 관리의 복잡성을 획기적으로 줄여줍니다.

WordPress 데이터베이스 작업 시 발생할 수 있는 데이터 손상을 방지하는 새로운 플기인 'Lucid Search & Replace'가 출시되었습니다. 이 도구는 직렬화된 데이터와 JSON 내의 URL 구조를 정확히 인식하여 안전하게 변경하며, 실행 전 미리보기와 자동 백업 기능을 통해 작업의 안정성을 극대화합니다.

NGPDFs는 WebAssembly와 Web Workers 기술을 활용해 서버 업로드 없이 브라우저 내에서 50가지 이상의 PDF 관련 기능을 제공하는 서비스입니다. 파일이 사용자의 기기를 떠나지 않아 보안성이 뛰어나며, 별도의 가입이나 워터마크 없이 오프라인에서도 사용 가능한 PWA 형태를 띠고 있습니다.

Bridle은 서로 다른 AI 에이전트(Cursor, Claude Code 등)가 안전하게 컨텍스트를 공유하고 작업을 전달할 수 있도록 돕는 CLI 기반의 통신 프로토콜입니다. 사용자가 정의한 정책(Policy)에 따라 권한을 부여받은 에이전트끼리만 데이터와 명령을 주고받을 수 있어, 에이전트 간의 신뢰 기반 협업을 지원합니다.

MesaOS는 Rust로 처음부터 작성된 64비트 하이브리드 커널 운영체제로, Linux 커널의 400개 이상의 심(Shim)을 통해 기존 드라이버와의 호환성을 확보했습니다. 특히 개발 과정에서 LLM을 코딩 도구로 활용하고 인간이 설계와 디버깅을 담당하는 'AI-Augmented' 개발 방식을 채택한 것이 특징입니다.

Sirenfall은 녹음된 파일을 재생하는 대신 Web Audio API를 통해 5점 15Hz와 618Hz의 두 톤을 실시간으로 합성하여 민방위 사이렌 소리를 구현한 브라우저 기반의 인터랙티브 씬입니다. 사용자는 브라우저 내에서 비 내리는 도시의 풍경과 함께 사이렌, 빗소리, 천둥소리 등을 상호작용하며 경험할 수 있습니다.

이 글은 인프라 전용 TLD인 .ar표 도메인을 활용해 무료 웹사이트를 구축하는 창의적인 방법을 다룹니다. Hurricane Electric의 Tunnelbroker를 통해 IPv6 주소를 확보하고, 이를 역방향 DNS 형식으로 변환한 뒤 deSEC와 Surge를 연결하여 자신만의 도메인을 생성하는 과정을 단계별로 안내합니다.

Playdate와 PICO-8 같은 사례를 통해, 과거의 기술적 한계를 현대적 기술과 결합하여 새로운 미학적 경험을 창출하는 전략을 설명합니다. 무한한 자유도 대신 의도된 제약을 설정함으로써 개발자의 집중도를 높이고 제품의 독창성을 확보하는 방법을 제시합니다.

덱스메토르판(DXM)이 체내에서 덱스토르판(DXO)으로 대사되며 발생하는 해리성 효과를 제어하기 위한 화학적 대안을 제시합니다. 저자는 분자 구조를 더 크게 만들어 CYP2D6 효소의 결합을 방해하는 '3-isopropoxy-dextromethorphan(DPO)'이라는 새로운 유사체 설계를 제안합니다.

세계 랭킹 1위 신진서 9단이 AI 바둑 엔진 카타고(KataGo)와 7월 17일부터 3판의 대국을 펼칩니다. 이번 대국은 인간에게 2목의 핸디캡을 부여하며, 알파고 이후 가장 큰 규모의 인간과 AI 간의 대결로 주목받고 있습니다.

OpenAI, Claude, Grok 등 글로벌 주요 LLM 서비스가 거의 동시에 중단되는 사태가 발생했습니다. OpenAI는 자체 인프라의 라우팅 오류를 원인으로 밝혔으나, Anthropic과 xAI의 장애는 특정 데이터 센터 인프라 공유로 인한 연쇄적 문제일 가능성이 제기되었습니다.

메모리 안전성 문제를 해결하기 위해 타입별로 분리된 객체 풀(Type-segregated pools)과 정적 할당(Static Allocation)의 효용성을 다룹니다. 시스템의 예측 가능성을 높이기 위해 초기화 단계에서 필요한 메모리를 모두 할연하고, 런타임 중 동적 할당을 지양하여 치명적인 크래시를 방지하는 전략을 제시합니다.

벤처캐피털이 고위험·고수익의 니치 시장을 넘어 기업 금융의 기본값으로 확장되면서, 일부 거대 VC들이 정치적 목적을 위해 자본을 이용하는 '암세포 자본' 현상이 나타나고 있습니다. 이들은 막대한 운용 자산을 바탕으로 투자 리스크를 회피하는 동시에, 창업자의 의도와 상관없이 자신들의 의제를 관철하며 생태계의 권력 구조를 재편하고 있습니다.