Lix 2.96 “빙수” 공개
Nix 구현체 Lix가 보안, 디버거, 데몬 프로토콜과 사용성을 개선한 2.96 버전을 공개했습니다. 평가 시간이 5~12% 줄었고, ssh:// 저장소 URI는 지원 중단 절차에 들어갔으며 다음 버전에서 제거될 예정입니다.
최신기사
AI, 개발 도구, 오픈소스, 보안과 인프라의 변화와 이용 조건을 설명하는 최신 기사와 해설입니다.
Gemini 4 Argon과 Claude Opus 5.5, 같은 프롬프트로 만든 작은 행성 비교
같은 프롬프트와 프로젝트 노트를 사용해 Gemini 4 Argon과 Claude Opus 5.5에 Three.js 행성 페이지를 한 번씩 만들게 했습니다. Argon은 5.5분, 1.58달러가 들었고 Opus는 14분, 2.54달러가 들었습니다. 다만 실행 횟수가 모델마다 한 번뿐이고 Opus만 결과물을 세 차례 확인해 단순한 성능 비교로 보기는 어렵습니다.
AI 답변에 67,770번 인용됐지만 추적한 방문자는 21명
SaaS PostFast의 검색 데이터로 SEO 콘텐츠별 유입과 가입 성과를 비교하고, AI 답변 인용이 방문으로 이어지는 비율을 살핍니다. 검색 결과의 의도와 페이지에서 끝낼 수 없는 작업을 기준으로 콘텐츠 주제를 고르라는 실무 조언입니다.
Kai — 회의와 이메일을 처리하는 자율형 비서
Kai는 이메일, 캘린더, 할 일을 연결해 받은편지함 분류와 답장 초안 작성, 일정 조정, 회의 기록과 요약을 제공하는 AI 비서입니다. 작업은 백그라운드에서 진행하지만, 제품 측은 사용자가 승인하기 전에는 메시지를 보내지 않는다고 설명합니다.
Creusot 0.14.0 출시 - Rust 계약을 형식 검증으로 증명하기
Rust 형식 검증 도구 Creusot 0.14.0이 부분 순서 명세, 스냅샷의 검증 조건 생성, rust-analyzer의 Pearlite 명세 이동 기능을 추가했습니다. 프로그램 코드와 증명 명세를 분리해 다루면서 증명 오류를 일찍 찾고 명세 안에서 정의를 탐색하기 쉬워졌습니다.
OpenAI의 네이비어-스톡스 증명, 처음 알려진 접근과 달랐다
OpenAI의 Navier-Stokes 증명은 스페인 수학자들의 접근법을 그대로 따른 결과가 아니라, 세부 구조가 다른 방법을 사용한 것으로 전문가들이 파악하고 있습니다. 다만 대규모 LLM이 만든 Lean 증명과 논문 설명의 차이, 모델의 추론 경로를 확인하기 어려운 점은 남아 있습니다.
Fish Audio Drama 3: 여러 인물과 긴 콘텐츠를 위한 음성 합성 모델
Fish Audio가 여러 화자의 대화와 긴 콘텐츠 생성을 겨냥한 350억 파라미터 텍스트 음성 변환 모델 Drama 3를 공개했습니다. H200 한 장에서 측정한 스트리밍 성능과 보코더를 별도 GPU에 배치했을 때의 처리량·첫 오디오 지연도 함께 제시했습니다.
Stripe와 Google Play가 구독 테이블 한 행을 함께 쓸 때 배운 점
MotionLab은 Stripe와 Google Play의 구독 정보를 Supabase의 사용자별 한 행에 통합합니다. 작성자는 웹훅 순서가 뒤바뀌는 상황과 스토어별 상태 차이를 처리한 방법, 결제 완료 화면과 열 이름에서 얻은 교훈을 정리합니다.
프롬프트를 하나만 고친다면, 이 한 가지를 하세요
저자는 LLM이 존재하지 않는 API를 지어내는 원인을 지식 부족보다 요청에 성급히 동의하는 대화 방식에서 찾습니다. Fernando Flores의 '행동을 위한 대화'를 바탕으로, 구현 전에 사실을 확인하고 전제에 문제가 있으면 대안 제시나 거절을 허용하는 프롬프트를 제안합니다.
Understory Notes — 글쓰기로 이어지는 노트
Understory Notes는 읽으며 모은 노트를 개요로 정리하고, 조사 자료를 옆에 두고 글을 작성하는 Mac용 노트 앱입니다. 하나의 노트를 여러 상위 노트 아래에 배치해 연결하는 방식으로 폴더와 위키 링크를 대신하며, Markdown 파일로 저장하고 PDF, 리치 텍스트, Markdown, 웹사이트로 내보냅니다.
NeXT에서 살펴본 Lotus Improv
Lotus Improv는 행과 열 대신 범주와 항목으로 데이터를 모델링하고, 같은 데이터를 여러 방식으로 재배치해 보는 스프레드시트입니다. NeXT 버전의 실제 사용 경험을 바탕으로 수식, 피벗 뷰, 그룹 기능을 설명하고, 일반적인 스프레드시트로서의 한계와 후속 제품 Quantrix를 함께 짚습니다.
Show HN: 키보드로 스트럼하는 가상 기타, Guitoro
Guitoro는 브라우저에서 키보드나 터치로 기타와 베이스를 연주하는 무료 가상 악기입니다. 실제 악기 녹음 샘플과 코드별 운지, 스트럼 움직임을 보여주며 51곡을 원하는 속도로 따라 연주할 수 있습니다.
AI가 쓴 대본 9,050편으로 알아본 '슬롭'
Towards AI 팀은 대본 10편을 바탕으로 181개 모델 설정을 평가하고, 9,050개 생성 결과를 비교했습니다. 구체적인 지침과 여러 평가자를 쓰면 상투적인 표현은 줄일 수 있지만, 목소리와 글의 구조를 맞추는 일은 여전히 어렵다고 설명합니다.
ExcaliClaw — AI 에이전트와 함께 그리는 손그림 다이어그램
ExcaliClaw는 손그림풍 다이어그램을 정리하고 실시간으로 공유하는 협업 공간입니다. MCP 서버를 연결하면 Claude, Cursor, VS Code가 다이어그램을 만들고 편집하며, 무료 플랜은 도면 200개와 AI 사용을 제공합니다.
새롭고 좋은 소프트웨어는 어디에 있을까요?
AI 코딩이 생산성을 높였다면 왜 새롭고 좋은 소프트웨어가 눈에 띄지 않느냐는 질문에 여러 가설을 제시합니다. 개선이 기존 제품이나 사내용 도구에 머물고, 개발 속도 향상이 품질보다 생산량이나 여가로 이어질 수 있다는 설명입니다.
Thunderbird for iOS: 아이폰용 메일 앱 첫 공개
Thunderbird 팀이 기존 코드 재사용 대신 처음부터 네이티브 iOS 앱을 개발 중이라고 밝혔습니다. 자동 계정 설정, 배터리를 고려한 백그라운드 동기화, 실험 기능 플래그를 준비하며 몇 달 안에 커뮤니티 테스트 버전을 내놓는 것이 목표입니다.
'로컬호스트'는 거짓말이다: 대학에서 놓친 실무 기술
대학 과제와 실무 개발의 차이를 배포, 예외 처리, 읽기 쉬운 코드, 기존 코드베이스 파악, 실패에서 배우기라는 다섯 가지 경험으로 정리합니다. 작은 프로젝트를 직접 배포하고 인턴십을 통해 실제 환경을 익히라고 권합니다.
Hexis Cloud — AI 에이전트가 함께 쓰는 회사 지식 기반
Hexis Cloud는 회사의 공유 맥락과 파일별 접근 권한, 팀이 함께 편집하는 스킬, 여러 도구를 연결하는 MCP 게이트웨이를 제공하는 AI 에이전트 인프라입니다. 기존 오픈소스 Hexis를 직접 호스팅하기 어려웠던 팀을 위해 몇 번의 클릭으로 설정하는 호스팅 버전을 출시했습니다.
Liquid AI, 24B 파라미터 에이전트 모델 LFM2.5-24B-A2B 공개
Liquid AI가 총 24B 파라미터 중 토큰마다 2.45B를 활성화하는 추론 모델 LFM2.5-24B-A2B를 공개했습니다. 에이전트·도구 사용 작업에 맞춰 학습했으며, LiveClaw에서 48.09점을 기록하고 Apple M5 Max에서 초당 184토큰을 생성했다고 밝혔습니다.
회계사는 고객 서류를 받느라 몇 주씩 쫓아다닙니다. 이 일을 지루할 만큼 단순하게 만들려 합니다
Upperdoc은 회계사가 체크리스트와 링크 하나로 고객 서류를 요청하고, 3일·7일·14일 간격으로 자동 알림을 보내는 초기 서비스입니다. 유료 고객은 아직 없으며, 댓글에서는 알림 간격보다 요청 내용의 구체성, 고객 측 업로드 경험, 문서 보안과 접수 상태 관리가 실제 도입의 관건이라는 의견이 나왔습니다.