팬의 시선으로 살펴본 Gleam의 case 완전성 검사
Gleam 컴파일러가 case 패턴의 누락과 도달 불가능한 분기를 찾는 과정을 설명합니다. 패턴 매칭 연구를 바탕으로 결정 트리와 누락 패턴 진단을 만들고, 문자열 접두사와 비트 배열, 타입 좁히기까지 처리하는 방식을 코드와 함께 살펴봅니다.
최신 글
Mac의 창을 iPhone과 iPad에서 보고 조작하는 Sill
Sill은 Mac의 특정 창이나 데스크톱 전체를 iPhone·iPad로 전송하고, 터치·키보드·트랙패드·Apple Pencil 입력을 Mac으로 돌려보내는 오픈소스 앱입니다. HEVC 영상 전송과 기기 간 직접 연결을 사용하며, 같은 네트워크나 USB, 직접 무선 연결, 사용자가 구성한 VPN으로 접속합니다.
Tibo의 11일차 발표: 모델 용량 오류를 줄이고 작업 자동 재개
OpenAI는 Codex에서 '선택한 모델의 용량이 가득 찼습니다'라는 오류를 줄이기 위해 여러 변경 사항을 적용하고 컴퓨팅 자원을 늘렸다고 밝혔습니다. 오류가 발생해도 작업이 멈춘 채로 남지 않고 나중에 자동으로 이어지도록 했습니다.
금융 에이전트가 모든 평가를 통과했습니다. 그 결정을 방어할 수 있나요?
금융 감사에서 에이전트의 정확도나 평가 점수만으로는 개별 판단을 뒷받침하기 어렵습니다. 글은 은행 계정 조정(bank reconciliation) 사례를 들어 권한, 실행 기록, 증거 출처, 평가 데이터의 무결성을 관리하고, 필요한 시점에 사람에게 넘기는 방법을 제안합니다.
Chatway MCP — MCP로 ChatGPT와 Claude가 고객 문의에 답변합니다
Chatway가 MCP를 지원해 ChatGPT, Claude, Gemini, Cursor 등과 고객 지원 작업 공간을 연결합니다. 연결한 AI 에이전트는 대화를 검색하고 답변을 작성·전송하거나 연락처와 지식 베이스를 관리할 수 있으며, MCP 기능은 무료 플랜에서도 제공됩니다.
LinkSwift — 9개 중국 클라우드 드라이브의 다운로드 링크를 가져오는 JavaScript 사용자 스크립트
LinkSwift는 기존 '网盘直链下载助手'를 수정한 브라우저 사용자 스크립트로, 중국 클라우드 드라이브 9곳의 파일 다운로드 링크를 가져오고 IDM, Aria2 등 여러 다운로드 도구로 보냅니다. 프로젝트는 공개 API를 사용하며 속도 제한을 우회하지 않는다고 밝힙니다.
OCapN을 위한 종단간 암호화 릴레이
Spritely는 Goblins 다음 버전에 Noise Protocol 기반의 종단간 암호화 릴레이를 포함한다고 발표했습니다. 릴레이는 무상태·연합형으로 설계하며, Guile과 Hoot에서 쓸 Noise 라이브러리와 다른 OCapN 구현을 위한 명세 및 테스트 지원도 진행합니다.
Withings 신규 계정, 2026년 10월 13일부터 Apple Health 동기화에 연 99.99달러 구독 필요
Withings 커뮤니티 게시물에 따르면 2026년 10월 13일부터 새 계정은 Apple Health로 데이터를 내보내려면 Withings+에 연 99.99달러를 내야 합니다. 작성자는 기본 동기화 기능을 구독 뒤에 둔 조치라고 비판합니다.
더는 존재하지 않는 일을 애도하는 엔지니어들
AI 코딩 도구 도입 뒤 엔지니어의 일이 코드 작성에서 에이전트 조율과 검증으로 옮겨가며 정체성 상실과 번아웃을 낳는다는 분석입니다. 연구에서는 AI 관련 업무량 증가와 조직의 압박이 번아웃을 키웠고, 자율성과 학습 지원은 이를 줄였습니다.
Git, Docker, IPFS에 공통으로 숨은 아이디어
Git, Docker, IPFS는 데이터가 저장된 위치 대신 내용의 암호학적 해시로 데이터를 식별하는 콘텐츠 주소 지정(content-addressing)을 활용합니다. 이 방식은 무결성 검증, 중복 제거, 변경 감지, 캐시 재사용에 쓰이며, 신뢰성은 해시 함수의 충돌 저항성에 달려 있습니다.
withHuman — AI 에이전트용 오픈소스 사람 승인 계층
withHuman은 AI 에이전트가 도구를 실행하기 전에 호출을 가로채 규칙에 따라 자동 승인·거부하거나 담당자에게 검토를 요청하는 오픈소스 승인 계층입니다. 여러 에이전트에 공통 규칙을 적용하며, 서비스가 중단되면 도구 호출도 실패하도록 설계했습니다.
내 컴퓨터에서 실행하는 AI 구직 도구 — Claude Code로 공고 평가부터 면접 준비까지
Claude Code 기반 구직 프레임워크로, 채용 공고를 검색·평가하고 이력서와 자기소개서를 맞춤 작성하며 면접을 준비합니다. 프로필에 근거해 지원 자료를 만들고 PDF와 ATS 텍스트까지 검사하는 절차를 제공합니다. 덴마크 채용 사이트를 기본 지원하지만 포털과 문서 템플릿을 확장할 수 있습니다.
리누스 토르발스, AI를 활용한 커널 기여를 말하다
리누스 토르발스는 커널 기여에서 AI 사용 여부를 규칙으로 금지하기보다, 기여자가 결과를 이해하고 책임지는지를 봐야 한다고 주장합니다. 컴파일러와 편집기를 예로 들며 도구의 종류보다 기여자의 역량이 중요하다고 설명합니다.
Meta 새 상업 약관, 뉴스 사이트 크롤링 허용할 수 있어
Meta의 새 상업 약관은 비즈니스 계정과 연결된 웹사이트를 크롤링하고, 수집한 콘텐츠를 AI 제품 훈련에 쓰도록 허용하는 문구를 담았습니다. 법률 전문가들은 뉴스 매체의 콘텐츠와 제3자 저작물까지 범위에 들어갈 수 있다고 지적하지만, 약관의 효력과 AI 학습의 저작권 문제는 아직 법원 판단이 확정되지 않았습니다.
국제도량형총회, 2027년부터 윤초 중단 결정
국제도량형총회(CGPM)는 연속 UTC(Coordinated Universal Time)를 2027년 5월 20일부터 시행하고, UT1과 UTC의 차이를 최대 1시간까지 허용하기로 했습니다. 윤초로 생기는 시스템 장애 위험을 줄이는 대신, 시민 시간과 지구 자전 시간의 차이가 장기간 누적됩니다.
기억은 학습이 아닙니다: AI 에이전트가 같은 실수를 반복하는 이유
AI 에이전트에 대화와 실행 기록을 더 많이 제공해도 성능이 나아지지 않거나 오히려 떨어질 수 있습니다. 글은 사실을 저장하는 기억과 경험에서 행동 지침을 만드는 학습을 구분하고, 검증과 갱신을 포함한 기억 관리 절차를 제안합니다.
소프트웨어 공학에서 종교학이 가르쳐 주는 것
종교학을 전공한 소프트웨어 엔지니어가 종교와 이념을 소프트웨어 개발에 비춰 봅니다. 프로그램은 코드만으로 살아남지 않으며, 개발팀의 이해와 사회적 맥락이 기술의 방향과 영향력을 만든다고 주장합니다.
Krea 3 - 대량 편집을 위한 이미지 모델
Krea가 이미지 편집 모델 Krea 3의 오픈 베타를 공개했습니다. 지정한 영역만 수정하고 나머지는 보존하는 편집과 네이티브 2K 출력을 내세우며, 비교 페이지에서는 경쟁 모델보다 빠르고 저렴하다고 주장합니다. 비교 결과는 사전 생성 샘플이며 실시간 벤치마크가 아닙니다.
Micro Center, GeForce RTX 5090을 '취급하지 않음'으로 표시
미국 소매업체 Micro Center가 ASUS, MSI, GIGABYTE, ZOTAC의 GeForce RTX 5090 여러 모델을 기존 '품절' 대신 '취급하지 않음'으로 표시했습니다. NVIDIA가 생산을 중단했다는 보도에 힘을 싣는 정황이지만, 회사는 단종을 공식 확인하지 않았습니다.
일회성 결제로 쓰는 Mac 텍스트 확장 앱 Textfold를 출시했습니다
Textfold는 텍스트 조각을 사용자가 소유한 .txt 파일로 보관하는 macOS 텍스트 확장 앱입니다. 개발자는 구독 없는 일회성 가격과 입력 내용 비수집을 내세웠으며, 토론에서는 가져오기 기능과 보안 입력 동작, 무료 한도 안내를 개선했습니다.