Shift-To-Middle 배열은 양쪽 끝에서의 삽입 및 삭제 성능 면에서 std::deque, std::vector, 연결 리스트를 능가하도록 설계된 동적 배열입니다. 연속 메모리를 사용하여 캐시 지역성을 개선하고 SIMD 및 병렬 최적화를 지원합니다. 벤치마크 결과는 특히 멀티코어 CPU 및 SIMD 명령어 세트를 지원하는 하드웨어에서 눈에 띄는 성능 향상을 보여줍니다. 이 프로젝트는 오픈소스이며, 완벽한 API 문서와 벤치마크 보고서를 제공합니다. 기여를 환영합니다!
더 보기
`formal_verif_ml` 프로젝트는 Lean 4를 사용하여 머신러닝 모델의 속성(견고성, 공정성, 해석 가능성 등)을 형식적으로 검증하기 위한 프레임워크를 제공합니다. Lean 라이브러리, 모델 변환 도구, 웹 인터페이스, CI/CD 파이프라인을 포함하며 다양한 모델 유형을 지원합니다. 대화형 웹 포털을 통해 모델 업로드, 생성된 Lean 코드 보기, 증명 컴파일 트리거, 모델 아키텍처 시각화 등이 가능합니다.
더 보기
ttyd는 웹을 통해 터미널을 공유하기 위한 간단한 명령줄 도구입니다. 포트 지정, 네트워크 인터페이스 바인딩, 인증, 사용자 권한 설정, 사용자 지정 작업 디렉토리 등 다양한 옵션을 제공하여 유연한 구성이 가능합니다. SSL 암호화, IPv6 지원, 클라이언트 인수 전달과 같은 고급 기능을 통해 안전하고 안정적인 원격 터미널 액세스를 제공합니다.
더 보기
CI 파이프라인에서 사용하기 위해 `security-audit.json`을 `security-audit.md`로 변환하는 간단한 Go 프로그램입니다. 생성되는 보고서 예시와 CI 통합 예시(`dependency-audit.yml`과 `dependency-audit-only-when-detected.yml`)가 제공됩니다. 후자는 취약점이 발견된 경우에만 GitHub 이슈를 생성합니다. 입력 및 출력 파일 경로를 사용자 지정할 수 있으며, 취약점이 발견되지 않은 경우 실패하도록 설정할 수도 있습니다.
더 보기
argp는 GNU 표준을 준수하는 강력한 명령줄 인수 파서를 제공하는 Go 언어 라이브러리입니다. 내장 도움말, 구조체 필드 스캔, 복합 형식(배열, 슬라이스, 구조체) 지원, 중첩된 하위 명령어 등을 갖추고 있습니다. argp는 GNU 인수 규칙을 따르며, 짧은 옵션과 긴 옵션, 옵션 값, 여러 값, 옵션 조합을 처리합니다. 또한 구성 파일 로드, 계산, 추가 및 MySQL 데이터베이스와 같은 사용자 정의 데이터 소스 지원도 제공합니다. 개발자는 argp를 사용하여 효율적으로 강력한 명령줄 도구를 만들 수 있습니다.
더 보기
Landrun은 Landlock LSM을 사용하는 경량화된 Linux 샌드박스로, 커널 레벨 보안과 최소한의 오버헤드를 제공합니다. 디렉토리에 대한 세분화된 접근 제어를 허용하며, 읽기 및 쓰기 경로를 지원하고, 허용된 경로에서 실행 권한을 선택적으로 허용합니다. TCP 네트워크 접근 제어(바인딩 및 연결)도 포함되어 있습니다. Landlock LSM이 활성화된 Linux 커널 5.13 이상이 필요합니다(네트워크 제한에는 커널 6.8 이상). Landrun은 명령줄 인터페이스를 제공하여 읽기 전용, 읽기/쓰기, 실행, 특정 TCP 포트 바인딩 및 연결 등 샌드박스 권한을 쉽게 구성할 수 있습니다. 최선을 다하는 모드를 통해 이전 커널에서도 원활하게 작동합니다. 신뢰할 수 없거나 악의적인 코드를 안전하게 실행하는 데 적합합니다.
더 보기
연구자들은 R1-Zero 유사 훈련의 비밀을 밝히는 논문, 모델 및 코드베이스를 발표했습니다. 그들은 고도로 모듈화되고 효율적인 LLM 강화 학습 프레임워크인 Oat를 개발하여 Qwen2.5와 같은 모델을 R1-Zero로 훈련했습니다. 연구에 따르면 적절한 기본 모델과 개선된 강화 학습 알고리즘(Dr. GRPO)이 중요하며, 일치하지 않는 템플릿과 질문 세트로 인한 편향된 최적화를 방지할 수 있습니다. 결과적으로 8개의 A100 GPU에서 단 27시간의 연산으로 최첨단 성능을 달성했습니다.
더 보기
FastOpenAPI는 Pydantic과 다양한 프레임워크를 사용하여 OpenAPI 스키마를 생성하고 통합하는 라이브러리입니다. FastAPI와 유사한 개발자 친화적인 경험을 제공하는 것을 목표로 합니다. Falcon, Flask, Quart, Sanic, Starlette, Tornado를 지원하며, 프록시 라우팅을 통해 FastAPI 스타일의 라우팅을 제공합니다. 간단한 pip 설치로 빠르게 시작할 수 있으며, Swagger UI와 ReDoc UI를 통해 편리하게 문서를 확인할 수 있습니다. 포괄적인 예제와 벤치마크도 제공됩니다.
더 보기
macOS aarch64에서 버전 1.8.2b 브라우저를 사용하는 사용자가 개인 정보 보호 및 원격 측정과 관련된 여러 문제를 보고했습니다. 이 브라우저는 개인 정보 보호 중심으로 판매되고 있지만, 사용자는 원격 측정이 활성화되어 있는 것처럼 보이며, 지문 인식 및 기타 개인 정보 보호 관련 관행에 대한 세부 정보가 문서에 부족하다고 주장합니다. 사용자는 투명성을 요구하며, 데이터 수집 방법에 대한 자세한 설명 또는 주장이 근거가 없는 경우 개인 정보 보호 중심 마케팅 중단을 요구하고 있습니다.
더 보기
이 텍스트는 GitHub 코드 검토 프로세스에서 코드 제안을 적용할 때 발생할 수 있는 다양한 제한 사항을 나열합니다. 여기에는 코드 변경이 없음, 풀 리퀘스트가 닫히거나 병합됨, 변경 사항의 일부만 표시됨, 줄마다 하나의 제안만 적용 가능, 삭제된 줄에 대한 제안 적용은 지원되지 않음, 제안이 이미 적용되었거나 해결됨으로 표시됨, 보류 중인 검토에서 제안을 적용할 수 없음, 여러 줄의 주석에 대한 제안은 허용되지 않음 등이 포함됩니다. 이러한 제한 사항으로 코드 검토 프로세스의 무결성과 정확성이 보장됩니다.
더 보기
이 Krita 플러그인을 사용하면 캔버스의 임의 영역을 선택적으로 크기 조정하여 내보낼 수 있습니다. 설치: `region_exporter` 폴더를 Krita 리소스 폴더의 `pykrita` 하위 폴더에 배치합니다. `region_exporter.desktop`을 Krita 리소스 폴더의 루트에, `region_exporter.action`을 `actions` 하위 폴더에 배치합니다. 사용법: Ctrl+Shift+E 바로 가기 또는 도구 메뉴를 사용합니다. 좌표, 크기, 회전, 레이어 선택 옵션을 입력하여 이미지를 내보냅니다.
더 보기
Hyperbrowser는 모델 컨텍스트 프로토콜(MCP) 서버를 출시했습니다. 이는 웹 페이지 스크래핑, 구조화된 데이터 추출, 웹사이트 크롤링을 위한 강력한 도구입니다. OpenAI의 CUA, Anthropic의 Claude Computer Use, Browser Use 등 다용도 브라우저 에이전트에 대한 액세스도 간소화합니다. 서버는 웹 페이지 스크래핑, 웹 크롤링, 구조화된 데이터 추출, Bing 검색, 다양한 브라우저 자동화 기능 등을 갖추고 있습니다. 설치는 간단하며, `npx hyperbrowser-mcp `를 실행하고 관련 구성 파일을 구성하기만 하면 됩니다.
더 보기
Screen은 순수 PHP로 작성된 터미널 에뮬레이터 라이브러리로, 어떤 PHP 애플리케이션에서도 풍부한 텍스트 기반 사용자 인터페이스를 만들 수 있습니다. 처음에는 Laravel용 Solo의 다중 프로세스 TUI에서 ANSI 이스케이프 코드 충돌을 해결하기 위해 개발되었습니다. Screen은 가상 터미널 버퍼를 생성하여 ANSI 작업(커서 이동, 색상 변경, 화면 지우기 등)을 안전하게 처리함으로써 일관된 렌더링을 보장합니다. 유니코드, 멀티바이트 문자, 스크롤링 및 광범위한 ANSI 이스케이프 코드를 지원하며, 독창적인 시각적 비교 시스템을 갖춘 포괄적인 테스트 스위트를 통해 정확한 에뮬레이션을 보장합니다.
더 보기
IronRDP는 Microsoft 원격 데스크톱 프로토콜(RDP)의 안전한 구현을 제공하는 Rust crate의 모음입니다. 압축되지 않은 원시 비트맵, RLE, RDP 6.0 비트맵 압축, Microsoft RemoteFX 등 다양한 코덱을 지원합니다. 완벽한 비동기 RDP 클라이언트와 통합을 용이하게 하기 위한 차단 예제가 포함되어 있습니다. 또한 그래픽 성능을 향상시키기 위해 서버에서 RemoteFX를 활성화하는 방법에 대한 자세한 설명도 제공합니다.
더 보기
Manifest는 기본적인 백엔드 기능만 필요로 하는 웹사이트 및 앱의 80% 개발을 간소화하도록 설계된 경량의 단일 파일 마이크로 백엔드 프레임워크입니다. 인증, 검증, 스토리지, 이미지 크기 조정, 관리 패널, 동적 엔드포인트, REST API, JS SDK, Webhook 등의 필수 기능을 제공합니다. 신속한 프로토타이핑, 마이크로 서비스, CRUD 중심 앱, 헤드리스 CMS에 적합합니다. 현재 베타 버전이며 소규모 프로젝트 및 MVP에 적합하지만 중요한 플랫폼에서는 사용하지 않는 것이 좋습니다.
더 보기
PocketFlow는 TypeScript 기반의 LLM 프레임워크로, 중첩된 방향 그래프 구조를 사용합니다. 복잡한 AI 작업을 재사용 가능한 LLM 단계로 분해하여 에이전트와 같은 의사 결정을 위한 분기 및 재귀를 가능하게 합니다. 이 프레임워크는 확장성이 뛰어나고, 특수한 래퍼 없이 다양한 LLM 및 API를 통합할 수 있으며, 워크플로 시각화 및 상태 유지를 통한 디버깅 기능도 갖추고 있습니다. 이를 통해 기업 수준의 AI 시스템 구축 속도를 높일 수 있습니다.
더 보기
Retro Boy는 Rust로 작성되었으며 웹 브라우저에서 플레이할 수 있는 정확한 Game Boy 에뮬레이터입니다. wasm-pack을 사용하여 Rust 코드를 WebAssembly로 컴파일하고 Web Audio API와 HTML Canvas를 오디오 및 그래픽에 사용합니다. MBC1, MBC3, MBC5, HuC1 카트리지를 지원하며 정확한 CPU, 오디오 및 그래픽 에뮬레이션을 제공하며 GameShark/GameGenie 치트 코드도 지원합니다. 사용자 친화적인 인터페이스에는 전체 화면 모드, 일시 정지/다시 시작, 선택 가능한 색상 모드, 사용자 지정 가능한 키 매핑 등이 포함됩니다. Retro Boy는 Blargg의 테스트 ROM 컬렉션의 상당 부분을 통과하여 높은 정확성을 입증합니다.
더 보기
GizmoSQL은 백엔드 데이터베이스로 DuckDB 또는 SQLite를 사용하는 Apache Arrow Flight SQL 서버 구현입니다. 미들웨어를 통한 인증을 활성화하고 TLS를 통한 암호화 연결을 허용합니다. 이 프로젝트는 간편한 배포 및 사용을 위해 Docker 이미지와 CLI 실행 파일을 제공합니다. 사용자는 JDBC 또는 ADBC 드라이버를 통해 서버에 연결하고 Python 또는 `gizmosql_client` CLI 도구를 사용하여 쿼리를 실행할 수 있습니다. GizmoSQL은 사용자 지정 초기화 SQL 명령을 지원하며, 다른 백엔드 데이터베이스 선택 또는 TLS 활성화/비활성화 등 유연한 구성 옵션을 제공합니다. 슬림한 Docker 이미지도 사용할 수 있습니다.
더 보기
Minimalytics는 SQLite 기반의 독립형 미니멀리스트 분석 도구로, 리소스 제약이 있는 환경을 위해 설계되었습니다. 최소한의 용량으로 이벤트 데이터 추적 및 시각화를 위한 경량 솔루션을 제공합니다. 내부 서비스 추적이나 간단한 분석 도구가 필요한 경우에 적합하며, 부풀림 없이 고성능을 제공합니다. 월 10억 건 이상의 이벤트를 처리하며, 스토리지 용량은 약 20MB에 불과합니다. 웹 UI를 통해 대시보드 관리 및 대화형 그래프를 이용한 데이터 시각화가 가능합니다.
더 보기
이것은 MCP 클라이언트 에이전트가 지뢰찾기 게임을 할 수 있도록 하는 모델 컨텍스트 프로토콜(MCP) 서버입니다. 지뢰찾기 게임 서버와 함께 작동하도록 설계되었습니다. 속도를 높인 비디오 데모는 https://youtu.be/CXXMafVtlEQ(16배속)에서 확인할 수 있습니다. 게임 서버의 지침에 따라 로컬에서 시작하십시오. 종속성을 설치하고, 서버를 빌드하고, MCP 클라이언트를 구성하여 도구를 추가합니다(예: Claude Desktop의 claude_desktop_config.json). 지뢰찾기 게임을 시작하고 모든 지뢰에 깃발을 표시해 보세요. 좌표는 0부터 시작합니다. 전체 대화 로그가 길며, 잘못된 깃발 배치와 여러 번 시도 후 포기하는 내용의 스니펫이 포함되어 있습니다.
더 보기
AgentKit은 결정적 라우팅, 여러 모델 제공업체 지원 및 MCP를 통한 풍부한 툴을 제공하는 다중 에이전트 네트워크를 구축하기 위한 프레임워크입니다. Inngest Dev 서버와 그 오케스트레이션 엔진과 결합하여 클라우드에 배포된 에이전트의 내결함성을 제공합니다. 주요 개념으로는 에이전트(프롬프트, 툴, MCP와 결합된 LLM 호출), 네트워크(핸드오프를 포함한 공유 상태를 사용하여 에이전트가 공동 작업할 수 있는 간단한 방법), 상태(대화 이력과 완전히 형식화된 상태 머신을 결합하여 라우팅에 사용), 라우터(코드 기반에서 LLM 기반(예: ReAct)으로의 오케스트레이션), 추적(내장 추적을 사용한 로컬 및 클라우드에서의 워크플로 디버깅 및 최적화) 등이 있습니다. AgentKit은 코드 기반 결정적 라우팅과 에이전트 기반 자율 라우팅을 포함한 여러 라우팅 전략을 지원하며, 에이전트 간의 공동 작업을 용이하게 하기 위한 공유 상태 메커니즘을 제공합니다.
더 보기
Ruby 프로그래밍 언어의 고성능 구현체인 TruffleRuby가 성능 향상과 호환성 개선을 포함한 새로운 버전을 출시했습니다. 이번 릴리스에서는 Module#name, Module#const_added, ObjectSpace.undefine_finalizer 등의 메서드에서 발생하는 여러 버그를 수정하고 OpenSSL 3.0.x 및 3.x와의 호환성을 개선했습니다. 또한 IO#{pread, pwrite}, Range#reverse_each 등 많은 새로운 메서드와 기능이 추가되었으며, 인코딩 협상 및 여러 C 확장의 성능이 최적화되었습니다. 이 업데이트를 통해 TruffleRuby의 안정성과 성능이 향상되어 표준 Ruby 구현체인 MRI에 더욱 가까워졌습니다.
더 보기
Physix.go는 Go 언어로 작성된 간단하고 빠르며 사용하기 쉬운 물리 엔진입니다. 입자 기반 시뮬레이션, 벡터 연산, 스프링 다이내믹스를 포함한 효율적인 물리 계산을 제공합니다. `go get github.com/rudransh61/Physix.go`를 통해 설치할 수 있으며, 바로 사용할 수 있는 예제 코드도 제공됩니다. 이 엔진은 운동량 보존과 에너지 보존을 기반으로 한 반발 효과가 있는 직사각형과 원 간의 충돌 감지를 지원하며, 스프링 시뮬레이션 기능도 포함하고 있습니다.
더 보기
Stelvio는 AWS 클라우드 인프라 관리 및 배포를 간소화하는 Python 라이브러리입니다. 순수 Python을 사용하며 복잡한 구성에 대해 스마트한 기본값을 제공합니다. 개발자는 익숙한 Python 코드로 클라우드 리소스를 정의하고 인프라 코드와 애플리케이션 코드를 명확하게 분리합니다. 현재 Lambda, DynamoDB, API Gateway를 지원하며 (더 많은 AWS 서비스 계획 중) Stelvio는 인프라 복잡성보다 개발자 생산성을 우선시하여 Terraform, Pulumi, AWS CDK보다 간소화된 접근 방식을 제공합니다. 참고: Stelvio는 초기 알파 버전이며 실험에 적합합니다.
더 보기
이 프로젝트는 Playwright 헤드리스 브라우저를 사용하여 웹 페이지 콘텐츠를 가져오는 MCP 서버를 제공합니다. 단일 URL과 여러 URL 가져오기를 지원하며, 주요 콘텐츠를 스마트하게 추출하여 Markdown으로 변환합니다. 사용자는 `npx`로 직접 실행할 수 있으며, 제한 시간, 대기 전략, 콘텐츠 추출, 최대 길이, HTML 또는 Markdown 반환 등의 매개변수를 설정할 수 있습니다. Claude Desktop에서 서버를 구성하고, Playwright 브라우저를 설치하고, 디버깅하는 방법에 대한 지침도 제공됩니다.
더 보기
텐센트는 오픈소스 Hunyuan3D 모델의 업데이트 버전을 출시했습니다. 더 작고 빠른 '미니' 버전이 등장하여 추론 속도 향상은 물론 텍스처 생성 기능도 추가되었습니다. 이를 통해 3D 모델의 시각적 효과가 크게 개선됩니다. 코드 변경 사항은 모델 로딩 최적화, 매개변수 조정, 간소화된 텍스처 생성 파이프라인 및 더욱 폭넓은 파일 형식 지원에 집중되어 있습니다. 이 강력한 3D 모델링 기술이 더 많은 개발자에게 쉽게 접근 가능해졌습니다.
더 보기
Adminer는 PHP로 작성된 단일 파일로 쉽게 배포할 수 있는 완벽한 기능을 갖춘 데이터베이스 관리 도구입니다. MySQL, PostgreSQL, SQLite 등 다양한 데이터베이스를 지원하며, Elasticsearch, MongoDB 등에 대한 기능 확장은 플러그인을 통해 가능합니다. 사용자는 추가 플러그인으로 Adminer를 사용자 지정하고 간단한 PHP 설정 파일을 통해 로딩 순서를 관리할 수 있습니다. Adminer Editor는 데이터 조작을 위한 사용자 친화적인 인터페이스를 제공합니다.
더 보기
mcp-kafka는 Model Context Protocol (MCP) 서버로, AI 어시스턴트와 Apache Kafka 간의 브리지를 역할을 합니다. AI 어시스턴트가 Kafka 토픽과 메시지를 직접 생성, 관리, 상호 작용할 수 있도록 합니다. 이 도구는 토픽 생성, 목록 표시, 삭제, 설명, 메시지 생성 및 소비를 지원하며, SASL_PLAINTEXT 및 PLAINTEXT 인증을 지원합니다. mcp-kafka는 설치 및 사용이 간편하며, 포괄적인 설명서와 예제가 제공됩니다.
더 보기
Focus Mode는 산만한 웹사이트를 차단하여 생산성을 높이도록 설계된 오픈소스 브라우저 확장 프로그램입니다. 사용자는 여러 사이트를 차단하고, 차단 시간을 예약하고, 와일드카드(예: reddit.com/*)를 사용하여 포괄적인 차단을 수행할 수 있습니다. MIT 라이선스에 따라 기여를 환영합니다.
더 보기
Claude 채팅 창에서 코드를 복사하고 붙여넣는 데 지치셨나요? codemcp 플러그인을 사용하면 Claude Pro가 강력한 페어 프로그래밍 어시스턴트로 변신합니다. IDE에서 직접 파일을 편집하고, 버그를 수정하고, 코드를 리팩토링하고, 테스트를 실행할 수 있습니다. codemcp는 안전한 에이전트형 AI와 Git 버전 관리를 기반으로 구축되어 모든 변경 사항을 롤백할 수 있습니다. 막대한 API 비용과 작별하고(시간 기반 속도 제한 등장!), Claude와 함께 효율적이고 협업적인 코딩을 시작하세요!
더 보기