AI가 수학을 한다. 박사 학위를 받아야 할까?

Ask HN: 오픈 소스 모델 가중치를 Blu-ray 드라이브에 저장하는 분 계신가요?

이중으로 계산된 미래

AI 이전의 코딩 연대기 시뮬레이션

Show HN: MyTasteRank – 음료, 음식, 영화 등 개인 순위 기록 서비스

Isabelle/HOL, Lean, HOL4, Agda 비교: 네 가지 정리 증명기 이야기

Show HN: GrogLog, 무료 음주 기록 앱

Windows, Linux, Oracle 그리고 인터넷 – BBC, 2000 [영상]

Show HN: AI 에이전트가 자신의 이름으로 고백하는 MCP 서버

'The Outlaws' 강윤성 감독, "AI로 영화 제작비 최대 40% 절감 가능"

RISC-V Linux 커널의 자동 벡터화, 유망한 결과 도출

Zinky Boys

사용자에게 "말하지 마"라고 지시하는 MCP 서버가 에이전트의 거짓말을 막고 있다

Artex AI와 Claude 에이전트, 한국 은행 대상 사이버 공격에 악용

Point: bitly보다 상세한 분석과 광고 없는 무료 URL 단축 서비스

Tabasco가 세계적인 핫소스가 된 과정

Show HN: 사진 한 장으로 거리 프리스타일 영상 속 주인공이 되어보세요

Microsoft Excel, PowerPoint, Word의 오픈 소스 복제본

Show HN: Polywick Blue VSCode 테마

Show HN: FileoPDF, 브라우저에서 파일을 처리하는 PDF 도구

Show HN: Safari에서 애니메이션 WebP 이미지를 가속하는 확장 프로그램

SQLAlchemy 2.1.0 출시

Terence Tao: Math 2.0 [pdf]

Show HN: 청취자에게 전화를 거는 라디오 방송국

MicroG: [현상금] RCS 지원 [$14999]

도서 소개: Solving the Bottom Turtle

AWS AgentCore, 자격 증명 요청 프롬프트로 보안 무력화

How HN: Go-dev-auth, Go용 무의존성 인증 라이브러리

Rust에서의 Choreographic Programming

암호 해독 노력 측정하기