Trawling

최신기사

AI, 개발 도구, 오픈소스, 보안과 인프라의 변화와 이용 조건을 설명하는 최신 기사와 해설입니다.

발행

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

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

발행

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

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

발행

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

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

발행

Andrej Karpathy의 관찰을 바탕으로 Claude Code의 코딩 실수를 줄이는 지침

Claude Code에 적용하는 지침 파일로, LLM의 성급한 추측과 과도한 구현, 불필요한 주변 코드 수정 문제를 다룹니다. 명확화 질문, 최소 변경, 테스트로 확인하는 성공 기준 등 네 가지 원칙을 제시하고 플러그인 또는 프로젝트별 CLAUDE.md로 설치하는 방법을 안내합니다.

발행

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

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

발행

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

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

발행

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

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

발행

PPT Master — 문서와 주제로 편집 가능한 PowerPoint 프레젠테이션 만들기

PPT Master는 AI 에이전트가 문서나 주제를 바탕으로 PowerPoint 파일을 만드는 오픈소스 프로젝트입니다. 결과물은 이미지로 납작하게 합친 슬라이드가 아니라 도형·텍스트·차트 등을 PowerPoint에서 편집할 수 있는 객체로 구성하며, 기존 템플릿 채우기와 애니메이션·음성 내레이션도 지원합니다.

발행

인터넷·API 없이 서리 날짜를 예측하는 오프라인 AI를 만들었습니다

FrostWise는 TabPFN-v2로 마지막 봄 서리 날짜를 예측하고 Gemma 3로 작물별 재배 조언을 작성하는 오프라인 도구입니다. CPU에서 실행하며 위치와 기후 정보를 외부 서버로 보내지 않습니다. 다만 기본 데이터셋은 실제 기후 통계를 바탕으로 만든 합성 데이터입니다.

발행

Zernio — 제품과 에이전트를 위한 마케팅 인프라

Zernio는 소셜 플랫폼 16곳과 광고 네트워크 7곳, 메시징·전화 기능을 하나의 API로 제공합니다. REST API와 MCP 서버를 지원해 제품에 연동하거나 AI 에이전트가 계정을 연결하고 게시물·광고·메시지·전화를 실행하도록 구성할 수 있습니다.

발행

Microsoft-Decision-1 공개 — 빠른 구조화 판단을 위한 모델

Microsoft가 분류·라우팅·검증 같은 작업에 맞춘 의사결정 모델 Microsoft-Decision-1을 공개했습니다. 회사 측은 36개 벤치마크에서 정확도가 가장 높았고, GPT-6 Sol보다 측정 지연 시간이 35배 짧았다고 밝혔습니다.

발행

Llama Village: llamadart로 구동하는 로컬 AI 가상 마을

Llama Village는 Flutter 3D 장면에서 여러 라마 캐릭터가 각자의 기억과 관계를 바탕으로 움직이고 대화하는 게임 실험입니다. 대화 생성에는 기기 내 언어 모델을 쓰고, 사실 검증과 게임 상태 변화는 코드로 처리합니다.

발행

Claude가 Blender에서 유튜브 영상 전체를 연출하려면 필요한 기술 스택

Blender를 처음 다룬 뒤 Claude Code와 3D 장면을 만든 저자가, 한 문단으로 유튜브 영상 초안을 만드는 자동화 구성을 제안합니다. LLM에는 코드와 장면 구성을 맡기고, 사람의 움직임·음성·효과음은 전문 도구에서 가져오며 각 장면을 자동 검사하는 방식입니다.

발행

인간은 섬이 아닙니다

저자는 AI가 지식 노동을 대신하면 개인의 지적 활동을 뒷받침하던 공동체도 약해진다고 주장합니다. 코드를 쓰고 글을 읽는 사람이 줄면 공유 지식과 동료의 인정이 사라지고, 그 결과 오랫동안 이어지는 지적 활동도 줄어든다는 논지입니다.

발행

REA Reverse — 코딩 에이전트로 소프트웨어 동작 분석하기

REA는 코딩 에이전트가 실행 중인 프로그램과 바이너리를 살펴보고 동작 규칙을 설명하도록 돕는 도구입니다. 공룡 게임의 가속 규칙과 Windows 계산기의 퍼센트 버튼을 분석하고, 결과를 새 구현과 테스트로 확인하는 과정을 보여줍니다.

발행

AI 에이전트가 화면에 화살표와 안내 문구를 그리게 하는 macOS 도구

bigarrow는 AI 에이전트가 사람의 확인이나 조작이 필요한 순간에 화면 위로 화살표와 안내 문구를 띄우는 macOS 명령줄 도구입니다. 클릭이나 키보드 포커스를 가로채지 않고, 사용자가 허용 버튼을 직접 누르거나 복잡한 GUI 절차를 따라가도록 안내합니다.