애도할 것인가, 말 것인가?
수학 연구에서 AI가 어려운 문제를 풀기 시작하자 수학자들이 느끼는 상실감과 기대를 살핍니다. 저자는 수학의 가치를 ‘이해’ 하나로 설명하기 어렵다고 짚으며, 정리 증명·이론 구축·추측 제시를 나눠 AI의 현재 능력과 한계를 논하고 OpenAI에 비공개 수학 결과를 공개하라고 촉구합니다.
개발·오픈소스 · 최신기사
개발 도구와 언어, 웹 기술과 오픈소스 프로젝트의 변화를 다룹니다.
5주 동안 866번 커밋했습니다. 이해력은 그 속도를 따라가지 못했습니다
AI 코딩 도구로 5주 동안 866번 커밋하고 여러 프로젝트를 출시한 개발자가, 코드 생산 속도와 소프트웨어를 이해하는 능력 사이의 격차를 돌아봅니다. 오류를 곧바로 AI에 맡기기보다 먼저 원인을 예측하고 검증하며, 생성된 코드의 목적과 실패 조건을 설명하고, 매일 AI 없이 작은 문제를 푸는 습관을 제안합니다.
OpenCut — 오픈소스 CapCut 대안, 전면 재작성 진행 중
OpenCut이 편집기를 처음부터 다시 만들며, Rust 코어를 바탕으로 웹·데스크톱·모바일을 하나의 코드베이스에서 지원할 계획입니다. 플러그인, Editor API, 자동화 기능도 로드맵에 포함됐지만, 현재 사용자는 기존 버전인 OpenCut Classic을 이용해야 합니다.
GLM 5.3 Flash로 한 달 코딩하기
Wagtail 개발자가 한 달 동안 효율적인 오픈 모델만 쓰려 했지만, GLM 5.3 Flash 사용량은 전체 토큰의 절반에 그쳤습니다. 모델 선택 실수와 추론 인프라 혼잡, 연구개발용 실험이 원인이었으며, 비용·에너지 측정과 작업별 모델 선택의 필요성을 짚습니다.
GLM-5.3 무검열판 EXL3 양자화 모델 공개
Infatoshi가 GLM-5.3의 가중치를 편집한 무검열판을 EXL3 3.0bpw로 양자화해 공개했습니다. 8장의 A100 40GB에서 TabbyAPI로 구동했고, 모델 카드에는 양자화 품질 평가와 도구 호출 시 주의할 파서 동작을 기록했습니다.
에이전트가 MCP로 등록하는 소프트웨어 디렉터리를 만들었습니다
submitby.ai는 AI 에이전트가 소프트웨어 디렉터리를 검색하고 비공개 초안을 작성·수정하도록 MCP 서버와 HTTP API를 제공합니다. 등록에는 웹사이트 소유 확인이 필요하며, 이용자들은 공개 전 사람의 승인 시점과 비밀 토큰 관리 방식을 논의합니다.
AI 코딩 도구가 프로젝트를 너무 쉽게 바꾸게 만들었습니다
AI 코딩 도구는 새 프로젝트를 시작하는 데 드는 설정과 학습 비용을 낮춰 탐색을 쉽게 만들었습니다. 반면 마무리 비용은 그대로라 아이디어를 좇다 기존 작업을 미루기 쉬워졌습니다. 글쓴이는 실험은 자유롭게 하되 실제 프로젝트로 이어갈 대상은 신중히 고르자고 제안합니다.
ShipHQ — 실제 앱 데이터로 꾸미는 나만의 앱 스튜디오
ShipHQ는 RevenueCat과 GA4 데이터를 등각 투영 방식의 가상 사무실로 보여주는 iPhone 앱입니다. 구독자 유입과 이탈을 시각화하고, 실적에 따라 트로피와 사무실 요소를 제공하며 AI 매니저가 매일 성장·경쟁사·리뷰 정보를 브리핑합니다.
T3 Code — 여러 코딩 에이전트를 한곳에서 제어하는 앱
T3 Code는 컴퓨터에 설치한 코딩 에이전트를 웹, iOS·Android 앱, Electron 데스크톱 앱에서 제어하는 오픈소스 도구입니다. Claude Code, Codex, Cursor 등 기존 구독과 인증 설정을 그대로 사용하며, 아직 초기 단계라 버그가 있을 수 있습니다.
Klassik, 최신 Plasma 6에서 KDE 3 데스크톱 재현
Klassik은 Qt 6와 KDE Plasma 6 기반으로 KDE 3의 패널 구성 요소와 테마를 재현하는 오픈소스 프로젝트입니다. 단순한 테마 적용을 넘어 기존 데스크톱 요소를 새로 구현하며 Wayland와 분수 배율도 지원합니다.
Muse Gadgets — ESP32·Raspberry Pi용 오픈소스 기기 SDK
Meta가 Muse와 디스플레이, 버튼, 센서, 액추에이터를 연결하는 DIY 기기 SDK와 펌웨어를 공개했습니다. ESP32 보드나 Raspberry Pi를 활용하며, 코드는 Apache 2.0 라이선스입니다. 다만 기기를 Muse 앱에 연결하려면 SDK 토큰이 필요합니다.
Mintlify Desktop — 문서와 지식 관리를 위한 AI 네이티브 앱
Mintlify Desktop은 공개 문서와 팀 내부 지식을 한곳에서 작성하고 관리하는 데스크톱 앱입니다. 로컬 파일 작업과 오프라인 편집, 앱 안에 내장된 AI 에이전트를 지원하며 Mac, Windows, Linux 베타로 출시했습니다.
SequenceHash: 다양한 해시 함수로 안전하게 여러 입력 해싱하기
Trail of Bits가 해시 함수 종류에 구애받지 않고 여러 입력을 모호함 없이 해싱하는 SequenceHash와 키 기반 변형 SequenceMAC을 공개했습니다. 길이 인코딩과 이중 해시로 입력 경계 혼동과 길이 확장 공격을 막으며, Rust·Go·Python 구현과 테스트 벡터를 제공합니다.
macOS 전체 디스크 접근 권한 변경
Apple이 macOS의 Full Disk Access에 추가 제어 기능을 도입하겠다고 밝혔습니다. 앱이 파일뿐 아니라 메일, 메시지, 인터넷 사용 기록까지 읽을 수 있는 권한인 만큼, AI 에이전트가 늘어나는 상황에서 사용자가 위험을 이해하고 명시적으로 허용하도록 하겠다는 방침입니다.
AccessPatch: 장애인을 위한 웹 접근성 장벽 낮추기
AccessPatch는 Ollama에서 Gemma 3 4B를 로컬로 실행해 웹 페이지의 이름 없는 컨트롤에 접근성 이름을 제안하고, 일부 마우스 전용 버튼에 키보드 조작을 추가하는 Chrome 확장 프로그램입니다. 변경 사항은 브라우저 안에서 적용하고 되돌릴 수 있으며, 제작자는 합성 테스트 16개 통과와 함께 실제 사용자 테스트가 더 필요하다고 밝혔습니다.
Famulor — 전화 응대부터 WhatsApp 후속 연락까지 맡는 AI 에이전트
Famulor는 전화, WhatsApp, 이메일, 웹 채팅 등 여러 채널에서 같은 맥락으로 응대하는 AI 에이전트 플랫폼입니다. 시각형 노코드 편집기로 인바운드·아웃바운드 통화, 예약, CRM 갱신, 통화 후 메시지 발송을 구성하며, 업체는 120개 언어와 분당 0.05달러부터 시작하는 요금을 내세웁니다.
gVisor를 CNCF에 기증합니다
Google이 gVisor 프로젝트와 상표를 CNCF에 기증하고, Google 중심의 운영에서 여러 기업이 참여하는 거버넌스로 전환합니다. 프로젝트는 CNCF Sandbox를 거쳐 Incubation을 추진하며, 기여 장벽과 성능 인식 문제를 줄이고 도입 범위를 넓히려 합니다.
Redis 창시자가 만든 ds4, 대형 언어 모델을 로컬에서 실행합니다
Redis 창시자 antirez가 고메모리 Mac과 CUDA·ROCm 장비용 C 추론 엔진 DwarfStar 4(ds4)를 공개했습니다. 비대칭 2비트 양자화와 SSD 기반 처리를 활용해 DeepSeek V4 계열 등 일부 대형 MoE 모델을 로컬에서 실행하며, 채팅·API·코딩 에이전트를 한 도구 묶음으로 제공합니다.
자바 컴파일러가 런타임의 테스트 케이스가 되기까지
Java-to-C 번역기 자체를 ParparVM에서 실행하는 셀프 호스팅에 성공했습니다. 약 3만 7천 줄 규모의 프로그램으로 런타임 결함과 성능 병목을 찾았으며, 출력 일치율은 247개 중 245개였습니다. 성능은 JDK 25보다 느리고 메모리 사용량도 큽니다.
Gauth 무한 디지털 캔버스 — 채팅창 대신 끝없이 펼쳐지는 AI 튜터 화이트보드
Gauth AI Course가 수업 내용을 한 화면에서 이어 보는 무한 디지털 캔버스를 선보였습니다. 챕터와 그림, AI 음성을 함께 따라가고 특정 단계에서 바로 질문할 수 있으며, 수업을 PDF로 내보내거나 링크로 공유합니다.