Lean4에 대한 비판적 고찰

OpenAI의 FFT 알고리즘은 혁신이라기보다 악의적인 익스플로잇에 가깝다

Hetzner: 전문 AI 워크로드를 위한 새로운 GPU 서버 GEX63

Show HN: SolidCraft – Rust로 만든 오픈 소스 파라메트릭 CAD (MCP 지원)

Muse DAU 감소와 Meta 내부자의 주식 매도 결정

Red Hat의 대규모 정리해고에 대해 "손이 떨리며 글을 쓴다"

즉석 소프트웨어 팩토리

AWS Lambda Web Functions

AI는 우리를 더 멍청하게 만들고 있다 – 맞서 싸우지 않는다면

Firefox 158 출시, JPEG-XL 기본 지원 추가

AI가 플레이하는 Slay the Spire

AI 모델은 임의의 능력을 증명 가능하게 숨길 수 있다

Six Flags Over Georgia에서 롤러코스터 추락 사고로 남성 사망

AI 기업, 실내 사진 한 장으로 특정 주택 위치 추적하는 기술 경찰에 제공

SpaceXSI: Grok, Cursor, X Premium 통합 요금제

Kid Pix의 탄생 비화

EXT4, 성능 향상을 위한 IOmap 버퍼 I/O 경로 도입

Picothermal – RP2040과 Flir Lepton을 사용한 WebUSB 열화상 카메라

피싱 이메일, 이제 AI 어시스턴트를 노린다

Elon Musk의 공화당을 위한 $276M 중간선거 구원 작전

CDC의 "비윤리적" 백신 임상시험 자금 지원 계획에 비난 확산

이틀 만에 두 번째, Houthi의 Riyadh 공항 공격

Asus Hyper M.2 x16 Gen5 PCIe 카드 – 최대 4개의 NVMe M.2 SSD, 최대 512 Gbps 지원

AI 어시스턴트에게 면접을 보았을 때의 느낌

AI 에이전트가 직접 읽고 쓰는 공유 및 검증 가능한 수정 데이터베이스

우크라이나, 러시아 내 주요 기술 시설 두 번째 타격… 공격 범위 확대

러시아, 우크라이나와 시작한 데이터 센터 전쟁에 대비하지 못했다

Show HN: GeoRadios – 지구본을 돌려 해당 지역의 라디오 듣기

Dread 포럼, 익스플로잇으로 인한 도메인 탈취 후 복구

S3에 저장된 실제 DuckDB 데이터베이스, 추가 실행 요소 없음