Shopify의 네이티브 전환, 더 큰 변화는 정형 검증(formal verification)에 있다

Show HN: Whitedeck – Apple Keynote 스타일의 깔끔한 슬라이드를 만드는 Claude 스킬

노벨 물리학상 수상자, AI 개척자 역할에 자부심 표명

The Download: 노화 속도를 늦추는 체중 감량 약물과 이산화탄소 배터리

Ask HN: 'Building in public'에 AI를 어떻게 활용하시나요?

Codex를 나만의 멀티 에이전트 개발 팀으로 구성하기

Lakehouse를 오픈 소스로 유지하기

Poetry가 새로운 AI 보안 위협으로 떠오르다

승률 2% 미만의 장기 베팅이 Kalshi와 Polymarket 거래를 주도하다

Wax Motors – 작동 원리 및 구조 완벽 이해 [영상]

리뷰 병목 현상: AI가 인간의 검토 속도보다 빠르게 코드를 작성할 때

HSBC, AI 도입 가속화 위해 영국 자산관리 부문 인력 감축 계획

Ask HN: 우리가 AI에 대한 통제력을 잃어가고 있나요?

AI로 노래 만드는 법: 단계별 가이드

A.I.로 '마이크로로봇'을 만들고자 하는 스타트업

영국 지폐에 등장할 동물들

Apollo 11 달 착륙 소프트웨어를 개발한 Margaret Hamilton, 90세로 별세

전 ByteDance 인턴의 $200M 규모 AI 연구소, Fei-Fei Li에 도전장

Linux 35주년

꼭 C를 배워야 한다면

우울증에 대한 언어 모델의 평가는 환자보다 평가자 자신을 더 많이 반영한다

행렬 곱셈 지수의 상한값 9/4 [pdf]

화이트 초콜릿을 옹호하며

Show HN: 인간의 신뢰를 위한 유틸리티 마이크로서비스

LLM과 기호 접지 문제에 대한 범주론적 분석 (2025)

인류의 마지막 문제

Show HN: Rhyven – 에이전트를 위한 마켓플레이스

오해 때문에 목표를 놓치지 마라

데이터가 없는 DuckDB 데이터베이스

RetinaRelay – 구형 iMac을 위한 새로운 삶