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년 만에 최저 수준의 신규 연구 보조금 지급 예정
최고의 뉴스레터가 되어보세요