Lean4로 구축된 오픈 소스 토큰 절약 도구, Eggshell

Ditherpunk – 흑백 이미지 디더링에 대해 진작 알았으면 좋았을 글 (2021)

Curry-Howard Correspondence 튜토리얼 [pdf]

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

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

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

암호 해독 노력 측정하기

메모리 관리 (2022)

쌀 폐기물로 집 짓기

로봇 청소기로 아내 불륜 녹음한 대만 남성, 소송은 이겼지만 징역형 선고받아

Trama – 코드를 작성하기 전, 에이전트의 변경 사항을 상태 머신으로 확인하기

커피의 멸종을 막으려는 괴짜 과학자

Show HN: Termphin – 연결이 끊겨도 세션이 유지되는 오픈 소스 SSH 클라이언트

미국에서 구매한 물품의 16개국 배송 비용

Show HN: Tack – Go와 TypeScript 프론트엔드를 위한 타입 세이프 HTTP API

Show HN: Jev 기반 뉴스레터

AI 엔지니어링 성숙도 모델: 팀을 위한 5단계

Ketamine이 일부 사용자에게 마비 증상을 일으키는 이유

400달러짜리 레인 재킷이 폭우에 무용지물인 이유 (그리고 대안)

Show HN: Claude Code용 Guard hooks, 공개 코퍼스로 테스트 완료

Textual (IRC Client)의 새로운 보금자리는 바로 저희입니다

Cloudflare Radar: Yandex의 HTTP 트래픽, 공격 이후 0으로 급감

GPT-6 Astra의 비인가 공급망 공격 수행 여부 평가

우리의 추적 스크립트는 favicon보다 작습니다. 당신의 것은 얼마나 무거운가요?

C 개발자로서의 Tony Soprano

하루 1만 보를 걸어야 할까?

100만 개의 문서로 지식 그래프를 구축했다면, 신뢰할 수 있을까?

Show HN: THX-01 – 오픈 소스 의사결정 모델을 위한 무료 API

cgo는 Go가 아니다 (2016)

Claude 5 세대 모델을 위한 새로운 컨텍스트 엔지니어링 규칙