Krishna Das: 챈팅, Kirtan 음악, 그리고 Neem Karoli Baba의 힘 [영상]

Show HN: Quaesito, 친구들과 퀴즈의 밤을 즐기기 위한 셀프 호스팅 앱

Isabelle/HOL, Lean, HOL4, Agda 비교: 네 가지 정리 증명기 이야기

Show HN: GrogLog, 무료 음주 기록 앱

자체 제품을 폐기하는 싱가포르 정부 팀

AMD SEV 리포트 가져오기 (Zig 사용)

Bun과 WebKit 기반의 Chromium 없는 Electron

에이전트의 경제학

곳곳에 설치된 비디오 카메라, 이제 전쟁을 위한 해킹 도구가 되다

Microsoft 365 구독자, 최대 4 TB의 OneDrive 저장 공간 상실 예정

OpenCode 2.0

AI에 집착하느라 핵전쟁의 위협을 잊은 세상

다이 사진으로 8086 프로세서의 주소 및 데이터 핀 리버스 엔지니어링하기

자체 사용을 넘어 범용적인 도구를 작성하도록 LLM 학습시키기

시뮬레이션 가설

Brickbait

라이브 스트리밍을 위한 H.266 vs. AV1: 어떤 코덱을 선택할 것인가

소프트웨어 개발에서의 점진적 결정론 (Progressive Determinization)

18세에 100% 클라이언트 사이드 기반의 개인정보 보호 중심 PDF 유틸리티를 개발하다

즉각적인 액세스를 위한 P2P 터널

Show HN: Krashout, 브라우저에서 즐기는 멀티플레이어 자동차 축구 게임

Anthropic, 가장 강력한 AI 모델을 더 많은 보안 팀에 공개

GLP-1 체중 감량제의 부작용은 여전히 파악 중

AI 리더들은 (아마도) 두려움을 연기하는 것이 아니다

Europol, 양자 위협으로부터 암호화 및 데이터 보호를 위한 조기 대응 촉구

Data Engineering은 캐시 무효화 문제다 (feat. Josh Wills)

Spotify, Bookshop.org와 제휴하여 실물 도서 판매 시작

Constraint Solver의 놀라운 힘

Effect TS를 사용해야 하는 이유 이해하기

2100년에는 영적인 로봇이 인류를 대체할까? (2000)