AgentAPI는 Claude Code, Goose, Aider, Codex와 같은 코딩 AI 에이전트를 제어하도록 설계된 강력한 HTTP API입니다. 간단한 API 호출을 통해 상호 작용을 가능하게 하는 통합 채팅 인터페이스를 제공합니다. 사용자는 하나의 에이전트가 다른 에이전트를 제어하는 MCP 서버를 구축할 수도 있습니다. AgentAPI는 터미널 출력을 자동으로 처리하여 불필요한 정보를 제거하고 개별 메시지로 분석함으로써 상호 작용을 간소화합니다. 향후 대규모 언어 모델이 공식 SDK를 출시할 가능성이 있지만, AgentAPI는 개발자가 코딩 AI 에이전트를 쉽게 전환할 수 있는 범용 어댑터를 목표로 합니다.
Canonical은 Ubuntu 25.04 “Plucky Puffin”을 출시했습니다. GNOME 48, 향상된 설치 및 부팅 환경, Spring 프레임워크를 위한 새로운 “devpack”을 포함하고 있습니다. 이 릴리스는 Intel GPU에서 AI 워크로드 성능 향상과 AMD SEV-SNP를 사용한 기밀 컴퓨팅 지원을 제공합니다. Linux 6.14 커널에는 향상된 스케줄링과 Wine 및 Proton에서 Windows 게임 성능을 향상시키는 새로운 NTSYNC 드라이버가 포함되어 있습니다. Ubuntu 25.04에는 최신 툴체인, 향상된 관리 기능 및 네트워크 제어, Intel Core Ultra 프로세서 및 ARM64 하드웨어에 대한 확장된 지원도 포함되어 있습니다.
이 기사에서는 Deno 내에서 Pyodide를 사용하여 샌드박스에서 Python 코드를 실행하는 Model Context Protocol(MCP) 서버를 소개합니다. 이 서버는 운영 체제로부터 격리된 안전한 환경을 Python 코드에 제공합니다. 표준 입출력(stdio), 서버 전송 이벤트(SSE), 워밍업 모드 등 여러 가지 동작 모드를 지원하므로 개발자는 쉽게 테스트 및 배포를 수행할 수 있습니다. PydanticAI를 사용한 예제에서는 이 MCP 서버를 사용하여 에이전트를 통해 대규모 언어 모델과 상호 작용하는 방법을 보여줍니다.
Erlang/OTP SSH 서버에서 심각한 취약성(CVE-2025-32433)이 발견되어 인증 없이 원격 코드 실행(RCE)이 가능한 것으로 나타났습니다. OTP-27.3.3, OTP-26.2.5.11, OTP-25.3.2.20 이전 버전이 영향을 받습니다. 공격자는 SSH 프로토콜 메시지 처리의 결함을 악용하여 자격 증명 없이 무단 액세스를 얻고 임의의 명령을 실행할 수 있습니다. 패치가 제공됩니다. OTP-27.3.3, OTP-26.2.5.11, OTP-25.3.2.20 이상 버전으로 업데이트하십시오.
DeepSeek는 분산 파일 시스템인 3FS(Fire-Flyer File System)를 출시했습니다. 이 글에서는 분산 파일 시스템의 개념과 3FS의 작동 원리를 설명합니다. 3FS는 Meta(메타데이터 관리), Mgmtd(관리 서버), Storage(스토리지 노드), Client(클라이언트)의 네 가지 노드 유형으로 구성되며, CRAQ(Chain Replication with Apportioned Queries) 프로토콜을 사용하여 강력한 일관성을 달성합니다. 이 글에서는 3FS의 성능 특성을 분석하고 향후 성능 테스트 및 개선 방향을 제시합니다.
go-mcp는 MCP(Model Context Protocol) 서버 개발을 간소화하는 Go SDK입니다. 직관적이고 형식 안전한 인터페이스를 통해 개발 프로세스가 효율화됩니다. 코드 생성을 통해 도구와 프롬프트 매개변수의 정적 형식 지정이 보장되므로 컴파일 시에 오류가 감지됩니다. 깔끔한 API와 개발자 친화적인 설계로 학습과 사용이 용이합니다. 이 프로젝트에는 포괄적인 예제와 설명서가 포함되어 있으며, 도구, 프롬프트, 리소스 관리, 로깅 등의 기능을 지원합니다. 동적 도구 추가는 현재 지원되지 않지만, 향후 배치 처리, 스트리밍 가능한 HTTP 전송, 진행률 알림 등이 계획되어 있습니다. MIT 라이선스로 제공됩니다.
Feldera팀은 대규모 SQL에서 생성된 Rust 코드의 컴파일 시간이 매우 길다는 문제에 직면했습니다. 8562줄의 SQL 프로그램을 약 10만 줄의 Rust 코드로 변환하는 데 25분이 걸렸습니다. 형식 제거 및 코드 중복 제거와 같은 기법을 시도했지만 효과는 제한적이었습니다. 최종적으로 생성된 Rust 코드를 1106개의 작은 크레이트로 분할하여 병렬 컴파일을 가능하게 함으로써 컴파일 시간을 2분 미만으로 크게 단축하고 멀티코어 프로세서를 완전히 활용할 수 있게 되었습니다.
이 글에서는 UTM 가상 머신을 사용하여 Apple Silicon Mac에서 Linux 개발 환경을 구축하는 방법을 보여줍니다. Homebrew를 사용하여 UTM과 cdrtools를 설치한 후 cloud-init 스크립트를 사용하여 Git, Docker 등 필수 개발 도구 설치와 SSH 접근 설정을 자동화합니다. 가상 머신 생성, 이미지 가져오기, cloud-init 스크립트 구성, 임시 드라이브 제거 등의 단계를 자세히 설명하여 작동하는 Linux 개발 환경을 구축합니다.
이 글에서는 미분 가능한 프로그래밍에 대한 포괄적인 설명을 제공하며, 미적분학의 미분 정의에서 시작하여 기울기, 방향 도함수, 야코비 행렬과 같은 개념으로 나아갑니다. 수치 미분, 기호 미분, 자동 미분(순전파 및 역전파 모드)의 세 가지 미분 방법을 자세히 설명하고 각각의 강점과 약점을 비교합니다. 마지막으로, 역전파 모드 자동 미분과 경사 하강법을 결합하여 이미지 흐림 제거 예시를 사용하여 실제 최적화 문제를 해결하는 방법을 보여줍니다.
arXivLabs는 협력자들이 arXiv의 새로운 기능을 웹사이트에서 직접 개발하고 공유할 수 있는 프레임워크입니다. arXivLabs에 참여하는 개인 및 조직은 개방성, 커뮤니티, 우수성, 사용자 데이터 개인 정보 보호라는 arXiv의 가치를 수용합니다. arXiv는 이러한 가치에 전념하며, 이를 준수하는 파트너와만 협력합니다. arXiv 커뮤니티에 가치를 더할 프로젝트 아이디어가 있으신가요? arXivLabs에 대해 자세히 알아보세요.
저자는 정지 문제를 NP-완전보다 어려운 문제의 전형적인 예로 사용하는 것에 이의를 제기하며, 그것이 혼란을 야기하고 직관적이지 않다는 점을 주장합니다. 결정 불가능하지만, "예"라는 답변의 검증은 프로그램을 유한 단계 실행함으로써 수행할 수 있습니다. 더 이해하기 쉬운 대안으로, 무한 그리드에서 토큰을 이동시켜 목표 지점에 도달할 수 있는지 여부를 판단하는 문제가 제시됩니다. 이 문제는 저차원에서는 PSPACE-완전하지만, 차원의 증가에 따라 복잡성이 폭발적으로 증가하여, 결국 아커만 완전에 도달합니다. 이것은 NP 문제를 훨씬 넘어서는 복잡성을 시각적으로 보여줍니다.
Formance는 개발자가 돈을 일급 기본 요소로 상호 작용하고 금융과 결합하는 방식을 재정의하는 것을 목표로 합니다. 현재 권한이 부여되고 공급업체가 잠그고 있는 인프라에 숨겨져 있는 돈은 제품 중심 기업에게 혁신적인 금융 애플리케이션을 만들 수 있는 기능을 부여하기 위해 다시 연결해야 합니다. Formance 플랫폼은 엔지니어와 그 팀에게 독립적인 기본 요소를 제공합니다. 이러한 기본 요소는 오픈 소스 패키지로 제공되며 선택한 금융 파트너에 연결할 수 있습니다. Formance는 전 세계 기업에 24시간 연중무휴 서비스를 제공하여 금융 애플리케이션을 구축하고 확장할 수 있도록 지원하는 글로벌 네이티브입니다.
본 기사에서는 함수형 라이브러리 설계 원칙, 특히 합성 가능성과 콜백 회피에 중점을 두고 설명합니다. 저자는 프레임워크는 합성, 조사, 테스트가 어렵고 코드 구조를 제한한다고 주장합니다. 반대로 라이브러리는 개발자에게 많은 제어권을 부여하고, 대화형 조사를 촉진하며, 여러 추상화 계층을 지원합니다. 게임 엔진을 예로 들어 비동기 워크플로우와 이벤트 기반 프로그래밍이 콜백의 단점을 어떻게 완화할 수 있는지 보여줍니다. FsLab과 같은 예는 라이브러리의 합성 가능성을 보여줍니다. 결론적으로 저자는 경직된 프레임워크가 아닌, 합성 가능하고 쉽게 조사할 수 있는 라이브러리를 만들 것을 주장합니다.
이 블로그 게시물은 C언어를 배우는 동안 저자가 정수형 정의에 대해 예상치 못한 발견을 했다는 것을 설명합니다. C언어 초기에는 정수의 크기가 서로 다른 아키텍처 간에 크게 달랐기 때문에, Microware의 types.h와 같은 사용자 정의 형 정의를 만드는 컴파일러 공급업체가 있었습니다. 그 후 ANSI C 표준에서 stdint.h가 도입되어 uint32_t와 같은 표준 형 정의와 limits.h의 INT_MAX와 같은 최대값 정의가 제공되었습니다. 그러나 저자는 최근에 stdint.h에 INT8_MAX 및 UINT32_MAX와 같은 정의도 포함되어 있으며, 특정 크기의 정수형의 최대값과 최소값을 직접 정의하는 데 사용할 수 있음을 발견했습니다. 이를 통해 코드의 이식성이 향상되고 플랫폼의 차이로 인해 발생하는 오류를 방지할 수 있습니다.
이 글은 저자가 C/C++/Rust로 임베디드 시스템 개발을 하다가 Haskell로 전향한 경험을 이야기하며, Haskell의 동시성 프로그래밍 장점을 강조합니다. Haskell은 그린 쓰레드와 이벤트 기반 I/O를 사용하여 기존 쓰레드 모델의 복잡성을 피합니다. `async` 패키지와 STM(소프트웨어 트랜잭션 메모리)을 통해 Haskell은 동시 작업에 대해 더욱 깔끔하고 안전한 접근 방식을 제공합니다. `concurrently`, `race`, `mapConcurrently`와 같은 함수와 `TVar`, `TBQueue`와 같은 데이터 구조는 동시 작업을 간소화하고 데드락이나 경쟁 상태와 같은 일반적인 동시성 문제를 방지합니다.
수동 ping 테스트 없이 17개의 VPS 노드 간 네트워크 지연 시간을 계산하기 위해 저자는 Nix를 사용하여 노드 좌표 간의 물리적 거리를 계산하여 지연 시간을 근사화하려고 시도했습니다. Nix에 기본 삼각 함수가 없었기 때문에 그는 sin, cos, tan, arctan, sqrt 함수를 순수 Nix로 구현하고 Haversine 공식을 사용하여 거리와 지연 시간을 계산했습니다. 이 프로젝트는 Python과 같은 외부 종속성을 피하고 효율성과 재현성을 향상시킵니다.
이 글에서는 Kotlin의 타입 클래스를 데이터 유효성 검사에 사용하는 방법을 살펴봅니다. FinTech 스타트업의 사용자 포트폴리오 유효성 검사 시스템을 예로 들어, Arrow Kt 라이브러리와 Kotlin의 컨텍스트 수신기를 사용하여 일반적이고 재사용 가능한 검사 프레임워크를 구축하는 방법을 보여줍니다. 객체 지향적 접근 방식과 타입 클래스 접근 방식을 비교하고, 유지 관리성과 확장성 측면에서 타입 클래스의 장점을 강조합니다. 또한 Arrow의 `EitherNel` 타입을 사용한 함수형 에러 처리 방법에 대해서도 설명합니다. `zipOrAccumulate` 함수에 대한 자세한 설명도 포함되어 있습니다.
Spotify에 질려서 완벽한 대체제를 찾는 여정을 시작했습니다. Winamp, foobar2000을 사용해 보았고, 직접 웹 음악 플레이어를 만들기도 했습니다. 마침내 Jellyfin을 선택했습니다. Jellyfin은 셀프 호스팅 미디어 서버로, 스트리밍 서비스에 의존하지 않고 언제 어디서든 내 음악 라이브러리에 접근할 수 있습니다. 기술적인 설정이 필요하지만 놀랍도록 쉽고, 오래된 컴퓨터에서도 충분히 작동합니다. 모바일 앱과 결합하면 오프라인 음악 재생도 편리합니다. 이를 통해 디지털 자립을 달성했을 뿐만 아니라, Immich와 같은 다른 앱의 셀프 호스팅도 시작했습니다.
압축이 활성화된 ZFS 파일 시스템에서 `dd` 명령어를 사용하여 만든 256KB 크기의 영(0) 파일이 이상한 동작을 보입니다. `ls -l` 명령어는 256KB로 표시하지만, `ls -s`와 `ls -slh` 명령어는 훨씬 작은 크기, 거의 0으로 표시합니다. 이는 ZFS의 효율적인 압축으로 인해 물리적 블록 수가 최소화되기 때문입니다. 이 글에서는 파일 크기를 측정하는 방법으로 논리적 크기(바이트), 물리적 블록 수, 논리적 블록 수의 세 가지 방법을 살펴보고, POSIX의 `st_blocks` 필드가 어떤 크기를 보고해야 하는지 명확하게 지정하지 않기 때문에 파일 시스템 간에 파일을 이동하면 `st_blocks` 값이 변경될 수 있으며, 경우에 따라 파일 크기가 늘어나 새로운 파일 시스템에 맞지 않을 수도 있음을 지적합니다.
본 문서는 데이터베이스의 쿼리 엔진에서 푸시 방식과 풀 방식의 차이점을 자세히 설명합니다. 풀 방식 시스템은 이터레이터 모델과 유사하게 사용자 주도 방식이며, 데이터는 필요할 때 가져옵니다. 반면에 푸시 방식 시스템은 생성자 주도 방식이며, 데이터를 다운스트림 연산자에 적극적으로 푸시합니다. 푸시 방식 시스템은 DAG 형태의 쿼리 계획(예: SQL의 WITH 절) 처리에 뛰어나며, 데이터를 여러 다운스트림 연산자에 효율적으로 푸시하여 중복 계산과 불필요한 버퍼링을 방지합니다. 그러나 풀 방식 시스템은 특정 알고리즘(병합 조인 및 LIMIT 절 등) 처리에 장점이 있습니다. 본 문서에서는 캐시 효율성, 코드 간결성 및 다양한 시나리오에서 각 모델의 적합성도 검토하며, 어떤 모델이 보편적으로 우수한 것은 아니며 선택은 구체적인 요구 사항에 따라 달라진다는 결론을 내립니다.
Plandex는 여러 단계와 수많은 파일을 포함하는 대규모 코딩 작업을 처리하도록 설계된 터미널 기반 AI 개발 도구입니다. 최대 2백만 토큰의 컨텍스트를 직접 처리하며(파일당 약 10만 토큰), tree-sitter 프로젝트 맵을 사용하여 2천만 토큰 이상의 디렉토리를 색인할 수 있습니다. 누적 차이 검토 샌드박스를 통해 AI가 생성한 변경 사항은 준비될 때까지 프로젝트 파일에서 분리되며, 명령 실행은 제어되어 쉽게 롤백하고 디버깅할 수 있습니다. Plandex는 Anthropic, OpenAI, Google 및 오픈소스 제공업체의 모델을 결합하여 완전한 자율성과 세분화된 제어 기능을 모두 제공하며, 대규모 프로젝트의 복잡성에도 견딜 수 있습니다. 프로젝트 인식 채팅 모드, Git 통합 및 개발자 친화적인 CLI 인터페이스를 갖추고 있습니다.
프로그램 실행 속도가 느린 것은 프로그래머에게 흔히 발생하는 문제입니다. 이 글에서는 오랜 최적화 경험을 바탕으로 저자가 제시하는 4가지 방법을 소개합니다. 1. 더 나은 알고리즘 사용; 2. 더 나은 데이터 구조 사용; 3. 더 낮은 수준의 시스템 사용; 4. 정확도가 낮은 솔루션 허용. 버블 정렬과 선택 정렬을 예로 들어 알고리즘 선택의 중요성을 자세히 설명하고 데이터 구조 및 프로그래밍 언어를 선택할 때 실제 상황을 고려해야 함을 강조합니다. 저자는 최적화를 시도하기 전에 엄격한 프로파일링을 수행하는 것이 중요하다고 경고합니다.
Codex는 터미널에서 실행되는 경량 코딩 에이전트로, OpenAI API를 사용하여 ChatGPT 수준의 코드 추론 기능을 제공합니다. 대화형 및 비대화형 모드를 모두 지원하며, 코드 완성, 실행, 종속성 설치, 심지어 단위 테스트 생성까지 자동화합니다. 강력한 샌드박스를 통해 안전성을 보장합니다. 사용자는 지시 사항과 승인 모드를 사용자 지정하여 간단한 코드 설명부터 복잡한 리팩토링까지 다양한 작업을 처리할 수 있습니다. 여러 운영 체제를 지원하며 오픈 소스이므로 커뮤니티의 기여를 환영합니다. Codex는 개발 워크플로를 간소화합니다.
오픈소스로 판매되고 있는 Meta의 Llama 3.3이지만, 해당 라이선스에는 많은 개발자가 간과하고 있을 가능성이 있는 제한 사항이 포함되어 있습니다. 이 기사는 모델이나 파생 제품을 배포할 때 "Built with Llama"를 눈에 띄게 표시하고, 파생 모델 이름에 "Llama-" 접두사를 붙여야 한다는 점을 강조합니다. 또한, 허용 가능한 사용 정책에 따라 AI 시스템의 알려진 위험(예: 편향이나 부정확성)을 최종 사용자에게 공개해야 합니다. 저자는 개발자들이 라이선스를 주의 깊게 검토하고 준수 여부를 결정하여 잠재적인 법적 문제를 피하도록 촉구합니다.
OpenAI는 터미널에서 실행되는 로컬 코딩 에이전트 'Codex CLI'를 출시했습니다. Codex CLI는 OpenAI 모델(새로운 o3 및 o4-mini 포함)을 로컬 코드 및 작업에 연결하여 AI가 코드를 작성하고, 편집하고, 파일을 이동하는 등의 작업을 수행할 수 있도록 합니다. 이는 '에이전트 소프트웨어 엔지니어'라는 OpenAI의 비전을 실현하기 위한 한 걸음입니다. 오픈소스이며 가벼운 Codex CLI는 소프트웨어 개발 프로젝트를 위해 100만 달러의 API 지원 프로그램으로 지원됩니다. AI 코딩 도구에는 고유한 위험이 있지만, Codex CLI는 AI 지원 프로그래밍에 대한 새로운 접근 방식을 제공합니다.
RakuAST 프로젝트는 Raku 프로그래밍 언어의 컴파일러 프런트엔드를 완전히 다시 작성하고 재설계했습니다. 작성자는 실패한 사양 테스트를 체계적으로 하나씩 수정하여 프로젝트에 접근했습니다. 여기에는 개인 메서드, 메타 메서드, 하이퍼 메서드 호출 등 Raku 구문의 복잡성을 처리하는 것이 포함되었습니다. 가장 큰 장애물은 Raku 컴파일 프로세스 내에서 필요한 복잡한 타이밍과 순서였으며, 구성 요소의 컴파일 순서를 정확하게 제어해야 했습니다. 900회 이상의 커밋 후 프로젝트는 주요 목표를 달성했습니다. 또한 컴파일러를 부트스트랩하여 자체 컴파일을 가능하게 했습니다. 이는 순환 종속성 관리와 광범위한 표준 라이브러리의 복잡성을 처리하는 데 있어 추가적인 과제를 야기했습니다. 프로젝트의 성공은 여러 커뮤니티 구성원의 기여에 힘입었습니다.
MITRE의 CVE 계약 만료가 임박함에 따라 논란이 일었고, 이는 소프트웨어 보안 개선 제안으로 이어졌습니다. 현재 CVE 시스템은 부정확한 보고로 가득 차 있으며, 가치가 떨어지고 있습니다. 저자는 점수 대신 취약점 속성을 기반으로 하는 시스템과 전문 소프트웨어 엔지니어(PSWE) 인증을 제안합니다. 정해진 시간 내에 정확하게 취약점을 보고하지 않으면 자격이 취소되므로 문제 보고가 촉진됩니다. 이 제안에는 미래 PSWE에 대한 자금 지원과 교육이 포함되어 있으며, 접근성 문제도 해결하여 궁극적으로 소프트웨어 보안과 FOSS 프로젝트의 지속 가능성에 있어서 윈윈 전략이 마련됩니다.
저자는 1970년대의 크로스 플랫폼 운영체제 및 컴파일러인 UCSD p-System을 재방문합니다. p-머신 가상 머신을 통해 PDP-11부터 Apple II까지 다양한 기계로 이식되었습니다. 저자는 고등학교 시절 Apple Pascal과 UCSD Pascal을 사용했던 경험을 공유하고, Rust로 p-머신 에뮬레이터를 재구축할 계획입니다. 이는 기존 도구의 부족한 설명서와 오래된 컴파일러 종속성 문제를 해결하기 위함입니다.
이 글에서는 안정적이고, 확장 가능하며, 유지보수가 용이한 LLM 기반 소프트웨어를 구축하기 위한 원칙인 12팩터 에이전트를 탐구합니다. 저자는 기존 에이전트 프레임워크는 프로덕션 환경에서는 부족하며, 많은 소위 "AI 에이전트"는 대부분 LLM 단계가 흩어져 있는 결정론적 코드라고 주장합니다. 저자는 더욱 견고한 에이전트를 구축하기 위한 원칙을 제안하고, 기존 제품에 소규모 모듈화된 에이전트 개념을 통합하는 모듈화된 접근 방식을 강조하여 비효율적인 그린필드 재작성을 피합니다. AI 애플리케이션 개발에 중점을 둔 엔지니어 및 기업가에게 귀중한 자료입니다.
ActorCore는 상태 저장, AI 에이전트, 협업 또는 로컬 우선 애플리케이션을 쉽게 구축하기 위한 TypeScript 프레임워크입니다. 데이터베이스와 ORM의 필요성을 없애고, 상태를 계산과 동일한 머신에 저장하여 초고속 읽기/쓰기 속도를 제공합니다. Rivet, Cloudflare, Bun, Node.js 등에 배포할 수 있습니다. 내장된 저지연 이벤트를 통해 실시간 상태 업데이트 및 변경 사항 브로드캐스트가 가능합니다. 독점적인 에지 데이터 저장소를 통해 즉각적인 상호 작용을 제공합니다. 현재 OLAP, 데이터 레이크, 그래프 데이터베이스 및 고도로 관계형 데이터에는 적합하지 않지만, 지속적으로 개선되고 있으며, 상태 저장 서버리스 애플리케이션을 구축하고 확장하기 위한 보편적인 방법을 목표로 하고 있습니다.