지구 내부 깊은 곳에서 온 중성미자, 맨틀의 새로운 모습 제시

Grok, 지속적인 읽기/쓰기 권한으로 샌드박스 탈출 가능

Show HN: Happy 808 Day

대만 군사 훈련의 피해: 느려진 인터넷 속도

경매에서 가장 비싸게 팔린 역사적 물품들

양자화에 대한 가벼운 심층 분석

AI 도입은 신화에 불과하다

벨기에 은행 10곳 중 8곳이 사용하는 eID에서 발견된 기묘한 RCE 취약점

markdown-den을 활용한 Spec Driven Development

실리콘밸리는 Philip K. Dick을 꿈꾸는가?

Odi – 노트가 앱이 되고, 앱이 플러그인이 될 수 있는 노트 앱

덴마크 고등학생, 과제물 구두 방어 의무화

화성 최초의 자율주행 차량, 대성공 거두다

Switch 2 가격 인상까지 남은 시간은 단 3주

Show HN: Algebruh - Z3, cvc5, Lean을 활용한 산술 주장 교차 검증

"컴플라이언스 및 윤리" 관점 (가장 안전한 방법)

Veritas Forge: AI 의사결정을 위한 암호학적 증명 계층

소프트웨어 최적화: 컴퓨터 공학 교수의 'egg', 프로그램 크기를 줄이다

AI Slop을 감지하는 방법

ShowHN: OpenMetaLoop - 자율적 장기 다중 세션 실행 도구

Show HN: SignalFusionKit – 위험 감지를 위한 watchOS 센서 퓨전 라이브러리

830억 개의 페르소나 에이전트로 세계 시뮬레이션하기

브라질 법무장관, Discord 차단 추진

수상 경력이 있는 AI 문학

새로운 첩보 경쟁: Agentic AI와 양자 컴퓨팅의 위협

TinySol, DOS용 초소형 솔리테어 게임

Patchloom – AI 에이전트를 위한 구조적 파일 편집 도구 (CLI 및 MCP)

Show HN: macOS용 Clippy – 컴퓨터를 직접 조작하는 레트로 플로팅 클립

Jolt: Chez Scheme으로 구현한 Clojure 컴파일러

Forth에서의 유한 상태 머신 (1994)