• Lean Golf – Lean으로 정리(theorem)를 증명하는 코드 골프
  • Google, AI 모델 학습을 위해 Spirit Airlines의 모든 데이터 매입
  • Soar: Linux용 패키지 관리자
  • 저장된 연락처에서 오는 전화만 받기
  • 저장된 연락처에서 오는 전화만 받기
  • 소프트웨어에 신경 쓰는 비용
  • 내 대답은 아니오
  • Show HN: Crypto 및 NFT 프로젝트 디렉토리 – Other Worlders
  • 엔지니어들, 전기 안전 규정 변경으로 새로운 위험 초래 경고
  • ElemRV
  • Framework, BIOS 업데이트로 Ryzen 7040 노트북이 벽돌이 된다는 불만에 대응
  • 히트율을 높이면 캐시 처리량이 감소할까? (2024) [pdf]
  • Claude Academy
  • AI 기업들이 실물 도서를 파괴하고 있다 – 너무 늦기 전에 희귀 도서를 스캔하자
  • Markup에서 Markdown으로: 기술 문서 작성 및 조판 도구의 진화
  • 다이어트 약물 주삿바늘에 찔려 고통받는 NYC 환경미화원들
  • Big Food의 최대 과제: 더 이상 먹고 싶어 하지 않는 사람들
  • ATProto 기반의 Excalidraw
  • Trump 행정부, 화이트칼라 범죄를 묵인하다
  • ATProto Documents-of-Record
  • Beatport, AI 생성 트랙 플랫폼 내 판매 금지
  • 풍선에서 프라이팬까지: 유용한 기술을 예찬하며
  • Show HN: Fsel – Rust 기반 TUI 런처, 퍼지 피커 및 클립보드 브라우저
  • Jason Arday에게 표절 의혹을 제기한 학자, 대학에서 정직 처분
  • Show HN: XListman – 단일 바이너리, 셀프 호스팅 메일링 리스트 관리자
  • Show HN: Steppewm, 스태킹 방식의 Wayland 윈도우 매니저
  • Spotify 앱을 출시하려고요? 이 불경기에?
  • Show HN: ImageSage – Windows 로컬 AI 기반 사진 관리자
  • NSF, 40년 만에 최저 수준의 신규 연구 보조금 지급 예정
  • 최고의 뉴스레터가 되어보세요