Man and the Computer, John G. Kemeny 저 (BASIC 공동 개발자가 쓴 1972년 저서)

프로그램 검증에 있어 Rocq가 Lean보다 나은 이유

LLM Honeypot

Swift on Windows: 1년간의 개선 과정

CherryTree 노트 앱

Show HN: AI 컬러 그레이더 – Pico

Microsoft, AI 투자 유지하며 데이터센터 거인 중 유일하게 자본 지출 동결

스타트업을 해킹한 OpenAI의 악성 에이전트, 다른 기업들도 공격 시도

Show HN: Vetted Startup – 검증된 수익을 가진 스타트업을 발견, 매수, 매도하세요

AI 기업 매도세 확산으로 반도체 주식 시가총액 1조 달러 증발

Agentic 시스템에 온톨로지가 필요한 이유 [영상]

Arizona의 지하수 감소

TrustZone Intermezzo: I.mx 8M의 깨진 OP-TEE 메모리 격리

딥러닝을 위한 PyTorch 튜토리얼

Copilot 코드 리뷰: Agent skills 및 MCP 정식 출시

1,200만 개 이상의 점안액 리콜, 오염으로 인한 시력 손상 우려

Larry Wall의 세 가지 미덕

GitHub은 새로운 시대에 맞지 않는 형태다

Show HN: 에이전트를 위한 상시 시각적 컨텍스트 제공

CloudNativePG 복제를 깨뜨리는 것은 놀라울 정도로 어려웠다

Vector AI Agent

업무는 곧 직업이 아니다

Show HN: Claude가 300개의 탭을 정리할 수 있게 해주는 Chrome 확장 프로그램 개발

Ask HN: Claude 주간 할당량 초기화 시간이 모두 동일한가요?

Òrbites – 별자리 퍼즐

Microsoft, AI가 발견한 보안 버그 대응에 난항

AgentSwarms – 샌드박스 Python을 지원하는 셀프 호스팅 가능한 에이전트 AI/BI 플랫폼 (ELv2)

완벽한 위조지폐를 만들려는 위조범을 추적하다

에이전트 중심 설계

Marvelous – 모든 저장이 Git 커밋으로 기록되는 Markdown 에디터