최신 글

내가 쉬는 동안 AI는 나아졌지만, 소프트웨어는 그대로입니다

dev.to

AI 모델과 코딩 에이전트는 더 많은 코드를 빠르게 만들지만, 과잉 설계와 불필요한 기능 같은 소프트웨어의 문제까지 해결하지는 않습니다. 글쓴이는 코드 작성보다 문제를 제대로 정의하고, 생성된 결과를 검토하며, 필요 없는 복잡성을 덜어내는 판단력이 더 중요해진다고 말합니다.

tide — 필요한 기능에 집중한 Jitsi 대안

Product Hunt

tide는 자체 서버에서 운영하는 화상회의 서비스로, 링크 공유와 화면 공유, 서버 녹화를 지원합니다. Go 바이너리 하나로 배포하며 미디어를 서버에 두고 OIDC 로그인을 제공해, 통화와 데이터를 직접 관리하려는 팀에 적합합니다.

네 가지 정리 증명기의 이야기 — Isabelle/HOL, Lean, HOL4, Agda 비교

Lobsters

저자는 네 정리 증명기에서 유클리드 방식으로 소수의 무한성을 증명하고, 자동화·증명 과정 확인·정리 검색·사용 경험을 비교합니다. Isabelle/HOL과 HOL4는 자동화가 강하고, Agda는 증명 과정을 명시적으로 드러내지만 수작업이 많다는 평가입니다.

경찰 차량 추적용 Flock식 카메라를 만든 유튜버, 경찰의 방문을 받았다고 밝혔습니다

Hacker News

캐나다 소프트웨어 엔지니어 앤서니 시스틸리가 경찰 차량의 이동을 기록하는 ALPR 카메라를 만들자, 경찰관 두 명이 찾아와 수집 데이터의 사용 의도를 물었다고 밝혔습니다. 그는 이 일을 계기로 Flock 같은 자동 번호판 인식 시스템의 범죄 예방 효과와 데이터 보관·접근 통제 문제를 다룹니다.

Phocinae-Largha-150M-v1 — 에이전트용 로컬 구조화 의사결정 모델

Hugging Face

Phocinae-Largha-150M-v1은 에이전트의 승인·도구 선택 같은 정형화된 판단을 로컬에서 처리하는 1억 4,430만 매개변수 모델입니다. 자체 테스트에서 영어 정확도 0.906을 보고했지만 학습 데이터에 맞춘 전문 모델이며, 별도 JevBench에서는 공개 기준을 통과하지 못했습니다.

AI 답변을 사람 대화처럼 꾸미는 데 지쳐 만든 토론 플랫폼

Indie Hackers

Public Voice는 좋아요·투표·카르마·팔로워 수 없이 대화하는 커뮤니티입니다. AI 사용을 금지하는 대신 생성한 글임을 표시하게 하고, 인용문과 가져온 자료를 작성자의 말과 구분합니다. 창업자와 메이커를 초기 이용자로 삼아 커뮤니티를 키우려 합니다.

똑똑한 아첨꾼 AI: 모델은 왜 틀린 정보를 그대로 옮길까요?

dev.to

전기비저항 탐사 자료에서 계산한 곡선 유형과 논문에 적힌 라벨이 다를 때, 모델이 답변 형식에 따라 어느 쪽을 따르는지 비교합니다. 모델들은 직접 검증을 요청받으면 오류를 모두 찾았지만, 일반 보고서 작성에서는 틀린 라벨을 자주 복사했습니다.

Unison Cloud 오픈소스 공개

Lobsters

Unison Cloud가 MIT 라이선스로 공개됐습니다. Unison 언어로 노드 풀을 분산 컴퓨터처럼 프로그래밍하며, 빠른 서비스 배포와 분산 작업, 트랜잭션 저장소 등을 제공합니다.

Oxide, 4억 4,500만 달러 시리즈 D 투자 유치

Hacker News

Oxide가 기존 투자자와 신규 투자자로부터 4억 4,500만 달러를 유치했습니다. 흑자를 내고 있지만 주문 잔고가 커 부품과 제조 비용을 먼저 마련해야 하며, 이번 투자로 생산 능력을 키우고 신규 수요에도 대응할 계획입니다.

대형 AI 사고 뒤 여론·정치적 반발에 대비하는 AI 기업 경영진

Reddit

Anthropic과 OpenAI 등 AI 기업 경영진이 대규모 사이버 공격이나 전력·수도 중단 같은 사고가 발생했을 때의 여론과 정치적 대응을 논의하고 있다고 Axios가 보도합니다. 업계 관계자들은 향후 6~12개월 안에 큰 사건이 발생할 수 있다고 보지만, OpenAI는 이를 불가피한 일로 여기지 않는다고 밝혔습니다.

Qwen-Image-2.1-Turbo: 8단계 이미지 생성·편집 모델

Hugging Face

Qwen-Image-2.1-Turbo는 7B 시각 생성 아키텍처를 사용해 텍스트-이미지 생성과 이미지 편집을 8단계 디노이징으로 수행하는 모델 체크포인트입니다. Diffusers 파이프라인에 권장 샘플링 일정을 포함하며, 기본 CFG=1과 prefix KV 캐싱을 사용합니다.

Markdoc — 사람과 에이전트가 함께 쓰는 Markdown 편집기

Product Hunt

Markdoc은 Markdown 원문과 편집 가능한 미리보기를 나란히 보여주는 협업 편집기입니다. 문서 참여자에게 변경 사항을 실시간으로 공유하고, 댓글과 제안으로 검토하며, MCP를 통해 원하는 에이전트를 연결할 수 있습니다.

Claude Code·Codex용 SwiftUI 에이전트 스킬

GitHub

SwiftUI Pro는 AI 코딩 도구가 SwiftUI 코드를 작성하거나 검토할 때 참고하는 에이전트 스킬입니다. 탐색, 레이아웃, 상태 관리부터 VoiceOver 접근성, 폐기 예정 API, 성능까지 LLM이 자주 놓치는 항목을 다룹니다.

B-트리의 귀환 — 빠르고 페이지화 가능한 노드 레이아웃 설계

Lobsters

TUM 연구진이 가변 길이 키를 지원하는 B-트리의 노드 레이아웃 여섯 가지 최적화를 구현하고 비교합니다. 키 특성과 작업 비율에 맞춰 레이아웃을 고르는 적응형 B-트리는 메모리 전용 인덱스와의 성능 차이를 줄이며, 조밀한 정수 키에서는 완전 조밀 리프가 조회·삽입 성능을 크게 높입니다.

Deno 팀, Cloudflare에 합류

Hacker News

Deno 팀 전체가 Cloudflare에 합류해 Workers와 Durable Objects를 바탕으로 서버 개발 플랫폼을 만들겠다고 발표했습니다. Deno 런타임 개발은 1년 뒤 끝나며, Deno Deploy도 6개월 뒤 종료합니다. JSR은 계속 운영하고 인프라를 Cloudflare로 옮깁니다.