Lean4에 대한 비판적 고찰

CPJ, 오스트리아 당국에 Pravda 기자 구금 경위 설명 촉구

우리 모두가 형편없는 개발자는 아니다

Show HN: 웹에서 구동되는 매우 부드러운 PS1 에뮬레이터

취한 선원이 되지 마라

사이버네틱 시스템으로서의 AI 기업

평생 학습자가 되고 싶다면, 혼자 하지 마세요

소프트웨어 비밀주의의 종말이 다가오고 있다

Pico.sh는 정말 훌륭하다

Mind 150주년: 창간호를 돌아보며

ICRC와 프놈펜 함락

macOS용 Nvidia 드라이버

원할 때 껐다 켤 수 있는 다색 문신

Ful

Show HN: Plannotator Inbox – 에이전트를 위한 의사결정 인터페이스

CXMT의 수단과 방법을 가리지 않는 Samsung 기술 탈취 비밀 작전

실용적인 범용 방화벽은 이제 인바운드 트래픽에 대해 모두 취약하다

바닥에는 아직 충분한 공간이 있다

OpenAI 증명 철회에 대한 형식화

Infinite Ascent – 개방형 연구와 인텔리전스를 향한 우리의 접근 방식

Show HN: Widefleet – 에이전트 기반 앱 및 워크플로우를 위한 오픈 소스 플랫폼

Ion Storm, 1부: 게이머의 낙원을 향한 여정

Spotify Technology

Sam Bankman-Fried의 암호화폐 거래소를 다룬 Netflix 미니시리즈 예고편

Agent GUI를 위한 디자인

Show HN: Coolphabets – 아이들에게 모국어 읽고 쓰기를 가르치는 방법

현대화의 쳇바퀴에서 벗어나기

Heeler: Herdr용 오픈 소스 iOS 앱

자동 수정의 문제점

2025년 미국 기업의 시가총액 대비 로비 지출 현황