Lean을 이용한 형식 검증 입문: 1부

PgBouncer 처리량 4배 확장하기

LLM에게 물어보라고 그만 좀 해라

IndieWeb에 합류하며 배운 점들

MDASH 내의 MAI-Cyber-1-Flash

DayQuil은 합법이어야 하는가?

Meta 데이터 센터, 식수 오염으로 폐수 방류 중단

코딩 평가에서 신호와 소음 구분하기

달팽이 이빨, 자연계에서 가장 강한 물질로 거미줄을 제치다 (2015)

Ghost Font: 사람이 읽을 수 있고 AI는 읽을 수 없는 폰트

Donald E. Knuth의 The Art of Computer Programming

ICE, 부정 선거 조사를 위해 Thomson Reuters에 $125M 지불 예정

GPT-5.6 Sol, Terra, Luna와 함께 이번 목요일 공개 출시 예정

UPI: 결제 트랜잭션의 구조

Vite+ 베타 출시

TP-Link Kasa 카메라, 6년간 인증되지 않은 UDP를 통해 홈 GPS 정보 유출

결코 충분하지 않다

Weave Robotics, $7,999 가정용 로봇 Isaac 1 출시 (2026년 가을 배송 예정)

AI의 과장된 자신감 연극을 멈춰주세요

Chalk Talk에서 ChatGPT 사용을 금지당했다: 이는 차별이다 (2025)

Show HN: Yamanote.fun – 도쿄 Yamanote 선의 모든 사운드스케이프

Zig: 모든 패키지 관리 기능이 컴파일러에서 빌드 시스템으로 이전됨

스마트폰을 가진 아이들은 괜찮다

목련은 벌이 아닌 딱정벌레가 수분하는 아주 오래된 식물이다 (2025)

캐나다 유일의 시계 제작 학교, 80년째 운영 중

모든 유료 플랜에서 Fable 5 이용 기간 7월 12일까지 연장

Boko Haram이 최첨단 AI를 활용하는 방법

Ethernet 스위치 ASIC 설계하기

이제 자동화에 대한 증거가 있다

연령 확인의 개인정보 보호를 위한 'Zero-Knowledge Proof' 기술 공개