601

웹 접근성의 침식: 마찰, 봇 탐지, 그리고 앱 중심 인터넷

A Hacker News에서의 논의는 증가하는 봇 탐지, 필수 앱 설치, 그리고 공격적인 MFA 요구 사항이 열린 웹을 폐쇄되고 높은 마찰을 가진 환경으로 변화시키고 있다고 탐구합니다.

602

AI 기업들이 워싱턴 로비 지출을 기록 수준으로 증가시킴

주요 AI 기업인 OpenAI와 Anthropic는 워싱턴에서 AI 규제와 정책에 영향을 미치기 위해 연방 로비 지출을 크게 증가시켰습니다.

603

Claude AI 팀 플랜 서비스 장애 및 지원 과제

사용자들은 Claude AI 팀 플랜의 상당한 서비스 불가 및 Fin과 같은 자동화된 봇에 의존하여 인간 지원에 도달하는 어려움을 보고했습니다.

604

Lean과 LLM을 이용한 증명 자동화

대형 언어 모델(LLM)과 Lean과 같은 의존형 타입 언어를 통합함으로써 형식적 검증 비용이 크게 감소하여 이전에 구현하기 너무 비용이 많이 들었던 복잡한 소프트웨어 불변식을 증명하는 것이 실제로 가능해졌습니다.

605

spikingjelly: 대규모 스파이킹 신경망 훈련 및 추론을 위한 PyTorch‑네이티브 프레임워크

스파이킹 신경망(SNN)을 위한 PyTorch‑네이티브 프레임워크로, 신경형 하드웨어에서의 훈련, 추론 및 배포를 위한 도구를 제공합니다.

606

볼보/아이처 플릿 플랫폼의 보안 취약점

보안 연구원은 볼보/아이처 플릿 플랫폼에서 치명적인 취약점을 발견했는데, 이는 모든 사용자와 차량에 대한 무단 통제를 가능하게 할 수 있었으며, 클라우드 관리 자동차 소프트웨어의 시스템적 위험을 강조했습니다.

607

Audio-Cassette-Simulation: 카세트 테이프 오디오 시뮬레이션에 FFmpeg 사용

Audio-Cassette-Simulation 저장소는 제목과 Hacker News에서 공유된 링크에 표시된 대로 카세트 테이프 오디오 프로파일을 에뮬레이션하는 FFmpeg 기반 기술을 제공합니다.

608

Scriptc: Vercel의 TypeScript‑to‑Native 컴파일러

Scriptc는 대부분의 코드에는 정적 컴파일을 사용하고 동적 기능에는 선택적으로 QuickJS‑NG 엔진을 사용하여, 일반적인 TypeScript를 JavaScript 엔진 없이 작고 빠른 네이티브 실행 파일로 컴파일합니다.

609

2026-2027년 관측 사상 가장 강한 엘니뇨 예측

다중 모델 전망에 따르면 2026-2027년 엘니뇨는 기록상 가장 강할 가능성이 높으며, 중앙값 정점은 3.6C로 이전 기록인 2.75C를 상당히 초과합니다.

610

physicsnemo: 과학 및 공학을 위한 물리 정보 기반 AI 모델 구축 및 학습을 위한 확장 가능한 딥러닝 프레임워크

NVIDIA GPU에 최적화된, 과학 및 공학을 위한 물리 정보 기반 AI 모델 구축 및 학습을 위한 오픈 소스 딥러닝 프레임워크.

611

Rescript: An Open-Source, Browser-Based Alternative to Descript

Rescript is an open-source video editor that allows users to edit video by editing a text transcript, performing all transcription and rendering locally in the browser for maximum privacy.

612

lightly: self-supervised pre-training을 위한 모듈형 컴퓨터 비전 프레임워크

PyTorch를 사용하여 레이블이 없는 이미지 데이터로 모델을 학습시키기 위한 모듈형 빌딩 블록을 제공하는 자기지도 학습용 컴퓨터 비전 프레임워크입니다.

613

VLC for Unity에 Linux 지원 추가

VLC for Unity는 이제 x86_64 아키텍처에서 Linux를 지원하며, libVLC를 활용하여 Unity 게임 엔진 내에서 하드웨어 가속된 비디오 재생을 제공합니다.

614

프랑스 소방관들, 사상 처음으로 적란운(pyrocumulonimbus) 목격 – 2026년 7월

2026년 7월 26일, 프랑스 소방관들은 랑데스 지역의 산불로 인해 발생한 적란운(pyrocumulonimbus)에 직면했습니다. 이는 프랑스에서 기록된 최초의 화재 유발 폭풍으로, 자체 생성된 바람, 번개 및 예측 불가능한 확산이 초래하는 전례 없는 도전 과제를 보여주었습니다.

615

Decker: 현대 HyperCard 영감을 받은 인터랙티브 문서 플랫폼

Decker는 HyperCard의 카드 기반 워크플로를 현대적인 스크립트(Lil)와 자체 포함 HTML로의 크로스‑플랫폼 내보내기, 그리고 향수를 불러일으키는 1‑bit 미학으로 부활시킨 무료 오픈‑소스 멀티미디어 플랫폼으로, 광고나 텔레메트리 없이 누구나 인터랙티브 문서, 게임, 도구를 만들 수 있게 합니다.

616

boxmot: 통합 Python 및 C++ 구현을 갖춘 플러그형 다중 객체 추적 프레임워크

탐지기, 추적기 및 ReID 모듈을 교체할 수 있는 통합 인터페이스를 제공하는 플러그형 Python 및 C++ 다중 객체 추적 라이브러리.

617

yolov3: 멀티스케일 예측 및 에지 및 서버 배포를 위한 다양한 모델 변형을 갖춘 실시간 객체 탐지 프레임워크

YOLOv3 실시간 객체 탐지 모델의 PyTorch 구현체로, 다양한 모델 변형에 대해 학습, 추론 및 배포를 위한 도구를 제공합니다.

618

에이전틱 AI 시대의 과학 컴퓨팅 – OpenAI 현장 보고서

OpenAI는 Codex와 Claude Code와 같은 AI 에이전트가 여덟 개의 생명 과학 소프트웨어 프로젝트를 가속화하여 연구자의 역할을 검증으로 전환하고 장기적 관리의 필요성을 강조하는 탐색적 현장 보고서를 공유합니다.

619

OlmoEarth 플랫폼: 행성 규모에서의 지리 공간 추론

Hugging Face와 Ai2는 미세 조정에서 대륙 규모 추론까지 지리 공간 기초 모델을 확장하도록 설계된 인프라인 OlmoEarth 플랫폼을 도입했습니다. 제곱 킬로미터당 페니의 분수 수준의 비용으로.

620

OpenAI의 ChatGPT Work 출시 및 Codex와의 공유 에이전트 하네스

OpenAI는 지식 근로자에게 지속 가능한 환경, 아티팩트, 사이트, 메모리, 서브‑에이전트를 제공하면서 대부분의 사용자에게 단일 기본 경험을 유지하도록 ChatGPT Work를 출시하여 Codex의 에이전트 기능을 ChatGPT와 통합했습니다.

621

ctrlb-decompose: LLM을 위한 로그 압축 및 패턴 추출

ctrlb-decompose는 수백만 개의 노이즈가 많은 로그 라인을 구조적 패턴의 작은 집합으로 압축하여 통계와 이상 탐지를 제공하고, 로그를 LLM에 적합하게 만드는 Rust 기반 도구입니다.

622

BMW 차량 내 스파이더맨 애니메이션과 자동차 광고에 대한 논쟁

BMW는 차량 디스플레이에 opt-in 스파이더맨 테마 애니메이션을 도입하여, 개인 차량 소유권에 대한 광고의 침범에 관한 사용자들 사이의 논쟁을 촉발했습니다.

623

데이터 지향 설계 소개

데이터 지향 설계 (DOD)는 객체 계층보다 메모리 레이아웃과 데이터 접근 패턴을 우선시하여 CPU 캐시 효율성을 극대화하고 대규모 병렬 처리를 가능하게 합니다.

624

onnxruntime: 머신러닝 모델을 위한 크로스 플랫폼 추론 및 학습 가속기

다양한 하드웨어 및 운영 체제에서 고성능 추론 및 학습을 위한 크로스 플랫폼 머신러닝 가속기.

625

MAI-Cyber-1-Flash inside MDASH – Microsoft AI 발표

Microsoft는 세계 수준의 취약점 탐지를 선도 모델들의 절반 비용으로 제공하는 MDASH에 통합된 컴팩트한 보안 모델인 MAI-Cyber-1-Flashを発表합니다.

626

HMTP: 기존 웹 표준을 사용하여 현대적인 이메일 후계자 설계하기

HMTP (Hypertext Mail Transfer Protocol)는 스팸, 스푸핑 및 암호화 문제를 해결하기 위해 SMTP를 HTTP, WebFinger, ActivityPub을 포함한 기존 웹 표준 스택으로 대체하는 제안된 이메일 후계자입니다.

627

LFM2.5-Encoders 출시

Liquid AI는 LFM2.5-Encoder-230M과 LFM2.5-Encoder-350M을 출시했는데, 이는 최대 8,192 토큰까지의 고품질 장문 컨텍스트 추론을 제공하며, ModernBERT-base보다 CPU 성능이 znacz하게 빠른 범용 인코더 모델입니다.

628

런던 개트윅 공항 스탠리 로보틱스 자동 주차

런던 개트윅 공항은 스탠리 로보틱스의 로봇 주차 서비스를 도입하여, 승객이 키를 retained한 채 차량이 자동으로 이동 및 저장되어 공간을 최적화하도록 했습니다.

629

supervision: 데이터 처리 및 시각화를 위한 모델-agnostic 컴퓨터 비전 툴킷

모델-agnostic한 데이터 로딩, 시각화 및 데이터셋 관리를 위한 포괄적인 컴퓨터 비전 툴킷.

630

streamlit: 대화형 데이터 및 AI 애플리케이션을 빠르게 구축하고 공유하기 위한 Python 프레임워크

데이터 대시보드, 보고서 및 AI 채팅 애플리케이션을 위한 스크립트를 대화형 웹 앱으로 변환하는 오픈 소스 Python 프레임워크입니다.

631

yolov5: 객체 감지, 분할 및 분류를 위한 빠르고 프로덕션 검증된 컴퓨터 비전 프레임워크

실시간 객체 감지, 이미지 분할 및 이미지 분류를 위한 PyTorch 기반의 빠르고 사용하기 쉬운 컴퓨터 비전 모델.

632

Gemini Robotics 2 릴리즈 노트 / 새로운 소식

Google DeepMind는 적응형 로봇 시스템을 위해 지능적인 전신 제어, 고급 섬세함, 그리고 다중 로봇 협업을 가능하게 하는 모델 스위트를 제공하는 Gemini Robotics 2를 소개했습니다.

633

Let's Seal: 무료 및 셀프 호스팅 문서 서명을 위한 오픈 표준

Let's Seal은 암호학적 서명, Bitcoin 앵커링 타임스탬프, 투명성 로그를 결합하여 유료 문서 서명 서비스에 대한 무료 오픈 소스 대안을 제공하기 위해 SEAL (Sealed Evidence Anchored to a Ledger) 표준을 도입합니다.

634

쿠키 배너 죽이기: EU 위원회의 브라우저 수준 개인정보 신호 제안 및 산업계 반발

EU 위원회는 쿠키 배너를 대체하기 위해 브라우저 수준 개인정보 신호를 제안했지만, 추적 산업의 로비가 개혁을 막고 있습니다.

635

Terence Tao: 인공지능 시대의 수학

Terence Tao는 AI 능력이 성장함에 따라 '증명 과잉' 위기를 피하기 위해 수학 공동체가 증명 생성에서 증명 소화와 정준화로 초점을 옮겨야 한다고 주장한다.

636

해바라기: 계층 난이도 엔진을 갖춘 논리 퍼즐 게임

해바라기는 논리 엔진을 사용하여 퍼즐을 해결하는 데 필요한 특정 추론 기술에 따라 퍼즐을 분류하는 논리 퍼즐 게임으로, 기본부터 광란까지의 등급이 있습니다.

637

mirage: AI 에이전트가 다양한 데이터 소스와 상호작용하기 위해 bash 명령을 사용할 수 있게 하는 통합 가상 파일 시스템

AI 에이전트를 위한 통합 가상 파일 시스템으로, S3, Google Drive, Slack 등 다양한 서비스를 하나의 파일 시스템으로 마운트하여 에이전트가 bash 명령으로 데이터를 조작할 수 있게 합니다.

638

liteflow: 복잡한 비즈니스 로직과 AI 에이전트를 통합 컴포넌트로 오케스트레이션하는 규칙 엔진 프레임워크

Java용 최신 규칙 엔진 프레임워크로, 복잡한 비즈니스 오케스트레이션을 분리하고 AI 에이전트를 오케스트레이션 가능한 컴포넌트로 취급합니다.

639

구글이 스페이스X에 대한 941억 달러 지분을 공개하며, 약 6% 소유권을 나타냄

구글은 이제 스페이스X에 대한 지분이 941억 달러로 평가되었으며, 이는 약 6% 소유권에 해당한다고 공개했습니다.

640

PGSimCity: 3D로 시각화한 PostgreSQL 엔진

PGSimCity는 PostgreSQL 데이터베이스 엔진의 내부 아키텍처와 스케줄링을 시각화하기 위해 설계된 오픈소스 3D 동작 모델입니다.

641

Ruff v0.16.0 릴리스 노트 / 새로운 내용

Ruff v0.16.0은 기본 규칙 집합을 59개에서 413개로 크게 확장하고, Markdown 코드 블록 포맷팅 및 새로운 억제 주석 형식을 도입했습니다.

642

SenseNova-Skills: AI 에이전트를 위한 인포그래픽 생성 및 심층 연구를 포함한 엔드‑투‑엔드 사무 기능 모음

AI 에이전트를 위한 전문 사무 스킬 모음으로, 자동 인포그래픽 생성, PPT 제작, Excel 데이터 분석, 심층 연구를 가능하게 합니다.

643

Libsm64: 외부 게임 엔진에서 Super Mario 64를 라이브러리로 사용하기

Libsm64는 개발자가 다른 게임 엔진에 Super Mario 64를 삽입할 수 있게 하는 재사용 가능한 라이브러리를 제공하며, 이는 Half‑Life 2에서 Mario가 실행되는 커뮤니티 데모와 같이 보여집니다.

644

릴레이 시장: 토큰 재판매업자와 사기 생태계가 AI 모델을 악용하는 방법

다계층 릴레이 시장을 깊이 파헤쳐, 계정 남용, 도난된 자격 증명, one-api와 new-api 같은 오픈소스 게이트웨이 소프트웨어를 통해 AI 모델 접근을 대폭 할인된 가격에 제공하는 방식을 분석합니다.

645

holaOS: 100개 이상의 업무 통합을 통해 내구성 있는 전문 메모리를 구축하는 로컬 퍼스트 워킹 에이전트

HolaOS는 로컬 퍼스트 AI 워킹 에이전트로, 100개 이상의 업무 도구와 통합하여 사용자가 직접 제어하는 내구성 있는 전문 컨텍스트 메모리를 구축합니다.

646

제목: 새로운 AI 초능력: 집중과 실행

요약: AI는 작업 효율을 높이지만 'make-work'와 번아웃의 위험을 만든다; 해결책은 프로젝트의 수평적 확장에서 수직적 깊이와 품질로 전환하는 것이다.

647

InsForge: 에이전트 코딩을 위한 올인원 백엔드 플랫폼으로 AI 에이전트를 위한 인프라 기본 요소를 도구로 제공

AI 코딩 에이전트에게 데이터베이스, 인증, 스토리지 등 도구와 인프라를 제공하여 전체 스택 애플리케이션을 엔드‑투‑엔드로 구축·배포할 수 있게 하는 오픈소스 백엔드 플랫폼.

648

zcf: 한 번의 클릭으로 Claude Code와 Codex AI 코딩 에이전트를 초기화하는 제로-컨피그 설정 도구

워크플로우, API 구성, MCP를 포함한 Claude Code와 Codex를 위한 원클릭 설정을 제공하는 제로-컨피그 초기화 도구.

649

antigravity-awesome-skills: 에이전트 우선 로컬 컨트롤 플레인으로 에이전트가 선택한 스킬 스택을 기록하고 검증하는

소프트웨어 프로젝트를 위한 재현 가능한 스킬 스택을 검색, 선택, 구성할 수 있도록 AI 코딩 에이전트를 허용하는 로컬 컨트롤 플레인과 1,988개 이상의 스킬 라이브러리.

650

AI 역량 강화의 역설: 왜 세부 사항이 여전히 중요한가

David Nicholas Williams는 진정한 전문성과 역량 강화가 세부 사항을 숙달함에서 비롯된다고 주장하며, 작업의 '어려운 부분'을 우회하기 위해 AI를 사용하는 것은 고품질이고 새로운 결과를 달성하는 데 필요한 기술의 발달을 방해한다고 제안한다.