3401

Oproxy: 브라우저 기반 네트워크 트래픽 검사 및 수정

Oproxy는 MITM 기능과 실험적 AI 어시스턴트와 같은 기능을 제공하며 브라우저 인터페이스에서 직접 네트워크 트래픽을 것을 검사하고 수정할 수 있도록 설계된 오픈 소스 도구입니다.

3402

zeroserve: Userspace eBPF로 스크립트 작성이 가능한 Zero-Config 웹 서버

zeroserve는 전통적인 선언적 설정을 샌드박스화된 userspace eBPF 프로그램으로 대체하는 고성능, zero-config HTTPS 서버입니다.

3403

S&P 500, SpaceX, OpenAI 및 Anthropic의 빠른 인덱스 진입을 거부

S&P 500은 SpaceX, OpenAI 및 Anthropic에 대한 진입 요건 면제를 요청한 것을 거부하고, 1년 이상의 거래 기록과 수익성을 요구하는 규칙을 유지했습니다.

3404

AI 격차: Hacker News에서 소프트웨어 엔지니어링 관점을 분석

속도를 위한 'vibe coding'과 전통적인 엔지니어링 엄격성 사이의 긴장을 깊이 탐구한 내용으로, Hacker News의 방대한 커뮤니티 토론을 기반으로 합니다.

3405

OpenAI AGI 배포 및 개발 전략 계획

OpenAI는 자동화된 AI 연구, 경제 가속화, 그리고 지구상의 모든 사람에게 개인 AGI 제공에 초점을 맞춰 AGI가 인류 전체에 이익이 되도록 하는 전략 계획을 발표했습니다.

3406

잉글랜드와 웨일스 경찰, 법정 진술서 작성 시 AI 사용 중단 명령 받음

잉글랜드와 웨일스의 경찰 조직들은 적절한 평가와 자동화된 출력물의 신뢰성에 대한 우려로 인해 법정 진술서 생성에 AI를 사용하는 것을 중단하라는 지시를 받았습니다.

3407

Google과 SpaceX 컴퓨트 계약: AI 용량을 위한 월 9억 2000만 달러 거래

Google은 Gemini Enterprise 플랫폼을 지원하기 위해 110,000개의 Nvidia GPU를 활용하여 AI 컴퓨트 용량에 대해 SpaceX에 월 9억 2000만 달러를 지급하는 계약을 체결했습니다.

3408

WebAssembly로 포팅된 Pokemon Emerald

pokeemerald-wasm 프로젝트는 원본 Pokemon Emerald 게임 로직을 WebAssembly로 포팅하여, 전통적인 GBA 에뮬레이터를 사용하지 않고도 고성능 브라우저 기반 게임 플레이를를 가능하게 합니다.

3409

Yoti 연령 확인 서비스로부터 플래그 지정 및 신고된 GrapheneOS 사용자

연령 확인 서비스 Yoti는 reportedly GrapheneOS를 실행하는 장치를 의심스러운 것으로 플래그 지정하고, 이러한 사례를 법 집행 당국에 자동으로 보고한다고 합니다.

3410

클라우드플레어 CEO 매튜 프린스, 벤처 캐피털 실수와 편견에 대해

클라우드플레어 CEO 매튜 프린스와 다른 기업가들은 벤처 캐피털 자금 조달 과정에서 성별 편견, 전문성 부족, 기대치 불일치에 대한 사례를 공유합니다.

3411

OpenEnv: 오픈소스 AI를 위한 에이전틱 RL 환경 표준화

Hugging Face는 OpenEnv를 커뮤니티 조정 프로젝트로 전환하여 에이전틱 강화 학습 환경의 상호 운용성 레이어로 제공하고 있습니다.

3412

OpenAI 경제 연구 교환 출시

OpenAI은 외부 연구자가 OpenAI 도구와 데이터 세트에 접근하여 AI의 경제적 영향에 대한 독립적인 경험적 증거를 생산할 수 있도록 Economic Research Exchange를 출시했습니다.

3413

OpenAI Economic Research Exchange 출시

OpenAI는 노동자, 기업 및 기관에 미치는 AI의 경제적 영향에 대한 실증적이고 독립적인 증거를 생성하는 외부 연구자들을 지원하기 위해 OpenAI Economic Research Exchange를 출시했습니다.

3414

하네스 엔지니어링: 에이전트 우선 세계에서 코덱스 활용

OpenAI는 5개월 동안의 실험을 설명하며, 소프트웨어 제품이 manually-written code 가 zero 인 상태로 구축되었고, 엔지니어의 역할이 코드 작성에서 AI 에이전트가 안정적으로 실행할 수 있도록 환경과 피드백 루프를 설계하는 방향으로 변화했다고 설명합니다.

3415

SQLite에서 UUID 기본 키의 위험성

SQLite `WITHOUT ROWID` 테이블에서 무작위 UUIDv4를 기본 키로 사용하면 B-tree 재균형으로 인해 삽입 성능이 최대 16배까지 저하될 수 있으며, 시간 순서로 정렬되는 UUIDv7은 효율적인 대안을 제공합니다.

3416

인도의 인구 변화: 예상치 못한 출산 감소 분석

인도는 출산율이 예상치 못하게 감소하고 있으며, 이는 산업화, 경제적 압박, 사회적 가치 변화가 전통적인 가족 구조보다 개인의 선택을 우선시하는 세계적 추세를 반영합니다.

3417

Hacker News Sans AI: 해커 뉴스에서 AI 콘텐츠 필터링

Hacker News Sans AI는 개발자들 사이의 'AI 피로'를 해소하기 위해 AI 관련 콘텐츠를 제거한 필터링된 해커 뉴스 버전을 만들기 위한 커뮤니티 주도 프로젝트입니다.

3418

로체스터 대학교 태양열 담수화 시스템

로체스터 대학교 연구진은 레이저 식각 검은색 금속을 사용하여 염수 폐기물 없이 담수를 생산하고 리튬과 같은 귀중한 미네랄을 추출할 수 있는 태양열 담수화 공정을 개발했습니다.

3419

IP KVM 비교: 홈랩 원격 관리 하드웨어 평가

IP KVM 장치에 대한 종합적인 평가로, 오픈 소스 PiKVM과 전문가용 TinyPilot부터 JetKVM과 Sipeed NanoKVM과 같은 가성비성 옵션까지 대역 외(out-of-band) 원격격리 관리용 장치를 평가합니다.

3420

Gov.uk 결제 처리를 위해 Stripe를 Adyen으로 교체

영국 정부(Gov.uk)는 결제 처리 서비스를 Stripe에서 네덜란드 제공업체인 Adyen으로 전환하여, 엔터프라이즈 규모의 운영을 전문으로 하는 제공업체로 이동했습니다.

3421

Conventional Commits에 반대하는 논거: 왜 Scope가 Type보다 중요한가

Conventional Commits는 커밋 유형을 scope 대신 우선시하여 중복된 메타데이터를 생성하고, changelog나 semantic versioning 자동화에 실패하는 문제를 지적합니다.

3422

전근대 군대와 세계 창작자: 왜 그들은 싸우는가

전산업 군사 시스템은 시민 사회 구조를 직접 반영하며, 모집은 단순한 강제보다는 고용, 권리, 직업, 혹은 의뢰 관계에 기반한다.

3423

Claude가 rsync의 버그를 증가시켰나요? 통계 분석

v2.4.6부터 v3.4.3까지의 rsync 릴리스를 대상으로 한 분포 분석 결과, Claude가 지원한 릴리스는 통계적으로 과거 인간만의 릴리스보다 버그가 더 많지 않다는 것이 밝혀졌습니다.

3424

Gemma 4 QAT 출시: 에지 디바이스를 위한 모델 압축 최적화

Google은 Gemma 4를 위한 양자화 인식 학습(QAT) 체크포인트를 출시하여, 텍스트 전용 사용 사례의 경우 E2B 모델의 메모리 점유율을 1GB 미만으로 줄이고 모바일 및 소비자용 GPU에서의 효율성을 개선했습니다.

3425

네덜란드 정부, DigiD 플랫폼 운영을 유럽 기업으로 제한

네덜란드 정부는 비유럽연합(EU) 법률 및 외국 데이터 접근과 관련된 국가 안보 위험을 Mitigate(완화)하기 위해 DigiD 플랫폼의 운영자를 유럽 기업으로 지정하도록 의무화할 것입니다.

3426

현대 AI 개발 워크플로우: Hacker News 인사이트

개발자들은 단순 AI 채팅 인터페이스에서 벗어나, Spec-Driven Development, TDD 훅, 터미널-우선 환경을 포함한 에이전시 워크플로우로 전환하여 복잡한 소프트웨어를 더 빠르게 구축하고 있습니다.

3427

초가공식품에서의 담배 산업 전술의 교차점

담배 회사들이 중독적 설계와 물류 전문 지식을 글로벌 식품 시스템에 적용하여 초가공식품 분야로 다각화하고 있는 방식에 대한 논의.

3428

ABC 클래식 100 순위 시각화

gotski가 만든 ABC 클래식 100 순위 시각화는 2001년부터 2021년까지 클래식 음악 작품들의 인기도를 추적하는 인터랙티브 범프 차트를 제공합니다.

3429

Sigma 45mm f/2.8 렌즈 수리 및 PCB 분석

Sigma 45mm f/2.8 렌즈의 기술적 분해 및 수리 과정에서, 제어 PCB 상의 0603 SMT 퓨즈 단선이 전체 전자 기능 고장의 원인이었음이 밝혀졌습니다.

3430

롱 코비드(Long Covid)의 정의 및 치료의 어려움

롱 코비드는 표준화된 진단 정의의 부족과 환자들이 보고하는 매우 다양한 증상 및 회복 전략으로 인해 복잡한 의학적 과제로 남아 있습니다.

3431

양자 마법과 홀로그래픽 시공간에서 중력의 기원

물리학자들은 비-Clifford 게이트에서 파생된 'magic'이라는 양자 속성을 확인했으며, 이는 홀로그래픽 시공간이 굽혀질 수 있게 하여 중력에 대한 잠재적 양자 메커니즘을 제공한다.

3432

Lowfat: LLM 토큰 사용량 감소를 위한 플러그형 CLI 필터

Lowfat은 명령줄 출력에서 노이즈를 제거하여 AI 토큰 비용과 컨텍스트 윈도우 팽창을 줄이기 위해 설계된 경량 로컬 우선 CLI 도구입니다.

3433

Ladybird Browser: Maintainer-Only Code Contributions으로의 전환

The Ladybird browser project has ended public pull requests to mitigate security risks and maintain architectural integrity as it prepares for its first alpha release.

3434

Google과 SpaceX 컴퓨트 계약: AI 인프라를 위한 월 9억 2000만 달러 거래

Google은 2026년 10월부터 2029년 6월까지 매월 9억 2000만 달러를 SpaceX에 지급하여 약 110,000개의 NVIDIA GPU 및 관련 컴퓨트 부품에 대한 접근 권한을 얻고, Gemini Enterprise에 대한 급증하는 수요를 충족할 예정입니다.

3435

이케아와 싱가포르의 변혁

이케아는 전략적 경제 개방, 엄격한 사회 규율, 실용적 권위주의를 결합해 자원이 부족한 탈식민지 전초기지를 글로벌 금융 허브로 급속히 성장시켰다.

3436

'오 시트' 순간: 생성 AI의 실제 세계 돌파구

사용자들은 코딩, 하드웨어 디버깅, 복잡한 문제 해결 등에서 생성 AI의 깊은 역량에 대한 회의에서 깨달음으로 전환된 구체적인 순간들을 공유합니다.

3437

프로그래머와 AI 중심 문서화로의 전환

소프트웨어 엔지니어들은 AI 에이전트의 성능을 최적화하기 위해 상세한 문서화(CLAUDE.md와 같은)를 우선시하고 있으며, 이는 AI가 인간 동료보다 더 신뢰할 수 있는 독자라는 인찰을 보여줍니다.

3438

Microsoft pg_durable: PostgreSQL를 위한 인-데이터베이스 내구성 있는 실행

Microsoft는 SQL로 정의되고 데이터베이스 내에서 내구성 있게 실행되는 장기 실행 및 결함 허용이 가능한 워크플로를 가능하게 하는 PostgreSQL 확장 프로그램인 pg_durable를 오픈 소스로 공개했습니다.

3439

국제우주정거장 공기 누출 수리 및 우주비행사 대피

국제우주정거장(ISS)에서 우주비행사들은 정거장 구간의 균열로 인한 공기 누출을 수리하는 동안 잠시 대피하라는 지시를 받았습니다.

3440

대한민국, 온라인 커뮤니티 대상 AI 이미지 검열 의무화

대한민국은 딥페이크와 불법 콘텐츠에 대응하기 위해 온라인 포럼에 AI 기반 이미지 스캔 도구 구현을 의무화하고 있으며, 이는 감시, 벤더 종속성, 그리고 문화적 가치에 대한 논쟁을 불러일으키고 있습니다.

3441

유럽 지역의 우주 기반 GNSS 간섭 추적

연구 논문은 2019년부터 유럽, 그린란드, 캐나다에 영향을 미치는 광범위한 GNSS 간섭의 근원으로 러시아의 Edinaya Kosmicheskaya Sistema 조기 경보 위성 군집, 특히 Cosmos 2546을 지목하고 있습니다.

3442

C++: 다큐멘터리

새로운 다큐멘터리는 Bell Labs의 'C with Classes'에서 시작하여 세계에서 가장 빠르게 성장하는 프로그래밍 언어 중 하나가 된 C++의 40년 진화 과정을 기록합니다.

3443

트랜스포머는 세 개의 프로젝션이 필요할까? QKV 변형 분석

체계적인 연구에 따르면 트랜스포머에서 키와 값 프로젝션을 공유(K=V)하면 KV 캐시를 최대 96.9%까지 줄일 수 있으며 성능 손실은 최소화되어 보다 효율적인 온디바이스 추론이 가능해진다.

3444

S&P Dow Jones Indices, MegaCap IPO 진입 규칙 유지

S&P Dow Jones Indices는 SpaceX와 같은 MegaCap IPO를 S&P 500에 빠르게 편입하는 것을 거부하고, 인덱스 안정성을 보호하기 위해 엄격한 수익성 및 상장 기간 요건을 유지하고 있습니다.

3445

AI 에이전트를 위한 테스트 주도 개발(TDD) 구현하기

Jason Swett은 AI가 생성한 테스트와 코드의 품질을 개선하기 위해 구조화된 'specify-encode-fulfill' 루프와 Kent Beck의 Canon TDD 적용을 제안합니다.

3446

ESP32 Bit Pirate: 멀티 프로토콜 하드웨어 해킹 도구

ESP32 Bit Pirate는 ESP32-S3 기반 장치를 I2C, UART, SPI 및 무선 프로토콜을 지원하는 멀티 프로토콜 해킹 도구로 변환하는 오픈 소스 펌웨어입니다. Web 또는 Serial CLI를 통해 사용할 수 있습니다.

3447

Azure Linux 4.0 출시: Microsoft의 첫 범용 클라우드 OS

Microsoft는 Azure Linux 4.0을 퍼블릭 프리뷰로 출시하며, 이 배포판을 특수 목적용 내부 도구에서 모든 Azure VM 및 곧 WSL에서 사용할 수 있는 범용 클라우드 OS로 전환합니다.

3448

Open Code Review: Alibaba의 AI 기반 코드 리뷰 CLI 도구

Open Code Review는 결정론적 엔지니어링과 LLM 에이전트를 결합하여 대규모 환경에서 정밀한 라인 단위 코드 리뷰를 제공하는 오픈 소스 CLI 도구입니다.

3449

Meta, 지원 중단된 Portal 기기에 ADB 활성화

Meta는 단종된 Portal 스마트 디스플레이 라인업에 Android Debug Bridge (ADB) 지원을 확장하여, 개발자들이 앱을 사이드로드하고 하드웨어를 재용도화할 수 있도록 했습니다.

3450

Lean 4와 AI 에이전트를 통한 형식 검증된 멀티폴리곤 교차 연산

`verified-polygon-intersection` 프로젝트는 Lean 4를 사용하여 정확성을 보장하고 Claude Opus 4.8을 사용하여 자율적인 증명 생성을 활용함으로써, 멀티폴리곤 교차 알고리즘의 최초 형식 검증된 구현을 제공합니다.