최신 글

AI가 필연적이라는 주장은 근거가 약합니다

Lobsters

글은 기술의 필연성을 사회적 가치, 대안보다 압도적인 성능, 영향력을 상쇄할 방법의 부재로 정의하고 LLM이 이 조건을 충족하는지 따집니다. LLM은 일부 업무에 쓸모가 있지만, 대체로 도입하지 않는 쪽이 밀려날 만큼 우월하지 않으므로 필연적이라기보다 사회·경제적 조건에 따라 채택되는 기술이라고 주장합니다.

2D 차량 물리 시뮬레이션 — GTA 차량 시스템의 출발점

Hacker News

1996년 Atari ST에서 만든 2D 물리 시뮬레이션이 Grand Theft Auto 차량 시스템의 토대가 됐습니다. 저자는 이를 JavaScript로 재현하고, 강체 물리와 단순화한 타이어 힘 모델이 차량 움직임을 만드는 과정을 설명합니다.

Jev로 PR에서 변경 이유를 골라 CHANGELOG에 담는 방법

dev.to

changelog-bot은 PR에서 이유(WHY)를 새로 생성하지 않고, 명시된 문장을 후보로 추린 뒤 Jev로 실제 변경과 관련 있는지 평가합니다. 원문 문장을 그대로 쓰고 신뢰도가 낮으면 이유를 생략하는 방식과, 이를 검증하는 50개 사례 평가 체계를 소개합니다.

AgentSDR — 오픈소스 AI 영업 개발 워크스페이스

Product Hunt

AgentSDR은 이메일·LinkedIn·WhatsApp 아웃리치와 리드 관리 기능을 한데 묶은 오픈소스 AI SDR 도구입니다. 직접 호스팅하고 자체 API 키를 연결하는 방식으로, 여러 영업 도구의 구독료와 분산된 연락처·대화 관리를 줄이는 것을 목표로 합니다.

소프트웨어를 둘러싼 커뮤니티의 중요성

Lobsters

소프트웨어의 윤리성을 판단할 때 라이선스만 볼 것이 아니라 프로젝트를 이끄는 커뮤니티도 살펴야 한다고 주장합니다. 사용자는 코딩 외에도 문서화, 분류, 홍보 등으로 참여하며 프로젝트의 가치에 목소리를 보탤 수 있습니다.

수학자가 Lean 정리 증명기에 알아야 할 것: 신뢰성과 AI

Hacker News

Thomas Hales는 Lean을 이용한 수학 형식화와 AI 자동 형식화의 진전을 소개하고, 증명 커널의 soundness bug와 Lean 형식 체계의 미해결 기초 문제를 짚습니다. 형식 검증 결과를 신뢰하려면 커널만 확인할 게 아니라 정리와 정의가 원래 의도와 일치하는지도 사람이 감사해야 한다고 강조합니다.

Refs — Claude가 영상 제작에 참고할 실제 사례를 제공합니다

Product Hunt

Refs는 영화 장면을 컷 단위로 분석한 자료와 제작 프롬프트를 모아 Claude Code, Codex, Cursor에 연결하는 서비스입니다. MCP로 참고 영상을 검색하고 장면별 청사진을 가져와 영상 기획에 활용하며, 무료 탐색과 월 16달러 Pro 구독을 제공합니다.

스핀락은 해롭습니다 (2020)

Lobsters

스핀락은 잠금이 풀릴 때까지 CPU를 점유하며 기다리므로, 잠금 보유 스레드가 선점되면 대기 스레드까지 CPU를 낭비하고 우선순위 역전을 일으킬 수 있습니다. 글은 Rust의 no_std 환경에서도 스핀락을 무조건 대안으로 삼지 말고, 운영체제 뮤텍스나 초기화 구조를 검토하라고 제안합니다.

덴마크 CPR 정보 유출에 ‘123456’ 비밀번호 사용

Hacker News

덴마크 CPR 등록부 침해에 연루된 IT 업체 Pays의 계정 최소 세 개가 ‘123456’을 비밀번호로 썼으며, 관리자 계정도 포함됐습니다. 약 880만 개 CPR 번호와 연결된 정보에 공격자가 21일 17시간 접근한 사실이 알려지면서, 계정 보안뿐 아니라 장기간 접근을 감지하지 못한 통제 체계도 문제로 떠올랐습니다.

시애틀, 개인 데이터를 활용한 식료품 가격 차등 책정 금지

Reddit

시애틀 시의회가 대형 식료품점이 민감한 개인 정보를 이용해 고객별 가격을 달리 정하지 못하도록 하는 공정 가격 정책을 승인했습니다. 전자 가격표나 모든 형태의 동적 가격 책정을 금지하는 조치는 아니며, 개인 정보에 기반한 가격 차등을 막고 가격을 모든 고객에게 공개하도록 합니다.

WildProof: 질문을 들고 밖으로 나가 근거를 모으세요

dev.to

WildProof는 산책 중 메모와 사진 자료를 오프라인으로 모으고, 나중에 로컬 AI로 근거 기반 관찰 보고서를 만드는 앱입니다. Gemma 2B와 Temporal을 사용하며 보고서에서 관찰·추론·미확인 주장을 나눕니다. 사진 속 사물을 판별하는 척하지 않고 분석 실패도 명시하는 설계가 특징입니다.

Staffcoder — 실무 엔지니어처럼 코딩하기

Product Hunt

Staffcoder는 알고리즘 퍼즐 대신 실제 프레임워크와 개발 도구를 쓰며 코딩 과제를 푸는 학습 플랫폼입니다. 브라우저 IDE에서 터미널, 파일 시스템, 미리보기를 제공하며 React, Django, Docker, AI 에이전트 등 39개 학습 경로의 과제를 지원합니다.