Large Discovery Models: Empirically-grounded Model-Based Open-Ended Search

과학적 발견은 분자, 단백질 서열, 컴퓨터 프로그램과 같은 광범위하고 구조화된 개방형 가설 공간에서 비용이 많이 드는 목표를 최적화하는 것을 포함합니다. 대규모 언어 모델(LLM)과 같은 생성 모델은 이러한 공간에 대한 표현적인 사전 지식을 제공하지만, 특히 관찰된 데이터 분포 밖에 있는 새로운 후보에 대해서는 목표와 보정된 인식적 불확실성의 신뢰할 수 없는 대리 지표가 됩니다.

이에 연구진은 생성 모델과 베이지안 비모수 보상 대리 모델을 결합한 경험적으로 근거를 갖춘 순환 아키텍처인 대규모 발견 모델(LDM)을 소개합니다. LDM은 생성 모델이 후보 설계를 제안하고 개선하는 동시에, 보상 대리 모델이 성능을 예측하고 불확실성을 정량화하여 후보 생성, 개선 및 선택을 안내하는 불확실성 인식 값을 산출합니다. 이 과정에서 새로운 실험 관찰이 도착할 때마다 발견 메모리와 보상 모델이 지속적으로 업데이트됩니다.

LDM은 신경망 훈련, 항체 설계, 분자 최적화 등 다양한 설계 양식과 목표를 포괄하는 세 가지 시나리오에서 평가되었습니다. LDM은 LLM 단독 반성이나 이러한 영역 전반의 전통적인 통계적 탐색과 비교했을 때, 검증 BPB를 2.4배 더 줄이고 결합 에너지(binding energy)를 상대적으로 18.2% 감소시켰으며 분자 다중 목표 성능에서 60% 이상의 상대적 이득을 달성했습니다.

이러한 결과는 LDM이 개방형 가설 공간에 대한 효과적인 탐색을 위한 범용 발견 엔진 역할을 할 수 있음을 시사합니다.

WorldRover: A Scalable Synthetic Video Data Engine for World Exploration with Rich Annotations

학술 논문은 예술가가 만든 환경에 대한 풍부하게 주석이 달린 장거리 탐사를 생성하기 위한 데이터 엔진인 WorldRover를 소개합니다. WorldRover-Engine은 미세 규모의 경로를 실행하고 그 궤적과 장면 기하학을 보존하면서 오프라인으로 렌더링하는 언리얼 엔진 파이프라인을 핵심으로 합니다.

이 엔진을 사용하여 WorldRover-10M을 구축했는데, 이는 각 탐사 과정에서 RGB 데이터와 함께 메트릭 깊이, 카메라 궤적, 그리고 궤적에서 파생된 액션 신호를 쌍으로 제공합니다. 특히 3인칭 데이터셋은 밀집된 광류(optical flow), 가시성을 포함한 장거리 2D/3D 점 추적, 그리고 카메라 궤적과 구별되는 캐릭터 궤적을 추가로 제공합니다.

WorldRover는 다양한 환경 상태나 중립적인 흰색 재질 하에서 시점 변화를 제어하면서 경로와 장면 기하학을 보존하는 방식으로 1인칭, 3인칭, 360도 파노라마 시점에서 이동을 렌더링할 수 있습니다. 이는 장거리 세계 탐사를 확장 가능한 데이터 생성 문제로 전환하여, 일관성 있는 탐사 가능한 세계 표현을 구축, 유지, 재방문해야 하는 모델에 대한 감독 신호를 제공합니다.

ConceptFormer: Learning Adaptive Latent Concepts for Query-Document Alignment in Visual Document Retrieval

시각 문서 검색은 텍스트, 레이아웃, 차트, 시각적 구조에 걸쳐 증거가 분포된 문서 컬렉션에서 쿼리에 관련 있는 페이지를 식별하는 멀티모달 검색 증강 생성의 핵심 요소입니다. 기존의 세밀한 지도 학습은 주로 텍스트 설명이나 국소적인 시각 영역을 증거 대리값으로 사용하는데, 이러한 지도 신호는 복잡한 시각 구조를 간과하거나 근본적인 증거에 대한 불완전하고 부정확한 표현을 제공할 수 있습니다.

이러한 한계를 극복하기 위해 본 논문은 시각 문서 검색을 위한 잠재 개념 표현 학습 프레임워크인 ConceptFormer를 제안합니다. ConceptFormer는 텍스트 중간 표현이나 원시 시각 주석에 의존하지 않고 국소적인 시각 증거와 의미적 관련성을 명시적으로 연결하는 연속적이고 쿼리 조건화된 잠재 개념으로 쿼리 관련 증거를 모델링합니다.

학습 과정에서 ConceptFormer는 강력한 시각-언어 모델을 사용하여 잠재 개념 토큰의 수를 동적으로 결정하고 이를 중간 표현으로 활용하여 쿼리와 문서 간의 의미적 격차를 해소하며 임베딩 공간 학습을 안내합니다. 다양한 시각 문서 검색 벤치마크 실험 결과, ConceptFormer는 가장 강력한 시각 검색 기준선 대비 평균 NDCG@10에서 16.7%, OCR 기반 텍스트 검색 기준선 대비 22.1%의 상대적 개선을 달성했습니다.

분석 결과, 잠재 개념은 국소적인 시각 증거와 의미적 관련성을 효과적으로 연결하여 검색기가 세밀한 텍스트 단서와 복잡한 문서 수준의 시각 구조를 모두 포착하면서 강력한 검색 정렬을 유지할 수 있게 합니다. 코드는 https://github.com/Neuir/ConceptFormer에서 확인할 수 있습니다.

UI-Mate: Advancing Open-Weight Foundation GUI Agents with In-Context Demonstrations

파운데이션 GUI 에이전트는 복잡한 디지털 작업을 자동화할 수 있지만, 부족하고 편향된 훈련 데이터, 모호한 프롬프트, 그리고 신뢰할 수 없는 실행으로 인해 실제 배포가 어렵습니다. 기존 워크플로우가 사용자별 도구와 암묵적인 관습에 의존하기 때문에 명시되지 않은 지시 사항은 실행마다 임의적인 변화를 초래할 수 있습니다. 이러한 문제를 해결하기 위해 UI-Mate라는 파운데이션 GUI 에이전트를 제시하며 환경 기반 훈련 스택과 인컨텍스트 시연 학습을 통합했습니다.

UI-Mate는 세 가지 주요 기여를 합니다. 첫째, 통합된 작업 검증 번들을 통해 대규모 병렬 환경에서 작업 생성, 환경 구축, 롤아웃, 필터링, 능력 균형, SFT 및 온라인 강화 학습을 자동화하는 폐쇄 루프 데이터 엔진을 제공합니다. 둘째, 멀티모달 시연을 유연한 하위 작업 수준 워크플로우로 변환하고 실시간 인터페이스에서 재계획하며 관련 시연 단계를 따르는 메커니즘인 인컨텍스트 시연 학습을 구현했습니다.

이러한 접근 방식은 OSWorkerBench 벤치마크를 통해 입증되었습니다. UI-Mate-27B 모델은 일반적인 컴퓨터 사용 벤치마크에서 새로운 오픈 웨이트 최고 수준을 달성하며 OSWorld-Verified에서 77.0%, WindowsAgentArena에서 66.2%의 점수를 기록했습니다. 특히 OSWorkerBench에서는 41.0%의 엄격한 성공률과 76.9%의 진행률을 달성하여 Qwen3.6-27B 기반 모델보다 각각 17.7%와 24.5% 더 높은 성능을 보였습니다.

또한 33개 작업의 자체 시연 하위 집합에서는 한 가지 시연이 엄격한 성공률을 17.2%에서 35.4%로, 진행률을 67.9%에서 81.1%로 크게 향상시켜 장기적인 신뢰성을 실질적으로 개선했습니다.

Tea5767-Radio-Tuner

ESP32 기반 FM 라디오 프로젝트를 위한 커스텀 PCB 설계 과정을 공유합니다. 이 프로젝트는 TEA5767 튜너 모듈, KY-040 로터리 인코더, PAM8403 앰프, 0.96인치 OLED 디스플레이를 통합하는 것을 목표로 합니다.

초기 프로토타입은 Arduino UNO를 사용하여 FM 튜닝, 주파수 표시, 오디오 출력을 구현했으나, 이를 더욱 컴팩트하고 재현 가능한 형태로 만들기 위해 ESP32 개발 보드를 채택하고 PCB 설계를 진행했습니다. 특히, 공간 절약을 위해 16x2 LCD 대신 OLED 디스플레이를 사용하고, KY-040 인코더를 주파수 제어에 활용하는 등 하드웨어 구성에 변화를 주었습니다.

PCB 설계 과정에서 중요한 기술적 고려 사항이 있었습니다. TEA5767 모듈은 5V로 작동하지만, ESP32 모듈의 데이터 핀을 보호하고 칩 손상을 방지하기 위해 전압을 3.3V로 제한해야 한다는 점을 확인했습니다. 또한, PAM8403 앰프를 볼륨 제어 기능과 함께 두 개의 3W 4옴 스피커를 구동하도록 구성하여 오디오 출력을 개선했습니다.

최종적으로 PCB 제작 시에는 JLC PCB를 제조사로 선정하고 Gerber 파일 생성 시 제조사의 요구 사항을 면밀히 확인하는 등 제조 단계의 정확성을 확보하는 데 중점을 두었습니다. 이 경험은 하드웨어 설계와 PCB 제작에 대한 깊은 이해를 높이는 데 기여했습니다.

Decoding smell: Study reveals how odor signals shapeshift in the wind

새로운 연구에 따르면 바람과 난류가 냄새 신호를 어떻게 변화시키는지 밝혀냈으며, 이는 동물이 냄새를 따라 이동하는 방식에 중요한 역할을 한다는 사실을 발견했습니다. 공기 흐름이 냄새를 운반할 때 발생하는 난류는 냄새의 타이밍을 체계적으로 변화시켜 동물들이 냄새의 근원지를 탐색하는 데 유용한 패턴을 생성합니다.

연구팀은 공기 흐름이 냄새 신호를 필터링하고, 일부 주파수를 걸러내고, 다른 주파수를 분산시키며 새로운 주파수를 생성하는 세 가지 근본적인 방식으로 난류가 냄새 기둥(odor plumes)을 변형시킨다고 설명합니다. 예를 들어, 꽃에서 나오는 냄새가 바람에 실려 이동할 때 난류는 이 기둥을 접히고, 퍼지고, 회전하고, 섞이는 필라멘트로 늘려 변화시킵니다.

이러한 냄새 신호의 변화를 이해하는 것은 동물의 내비게이션 행동을 이해하는 데 필수적이며, 궁극적으로 검색 및 구조 활동이나 유해 화학물질 누출 지점 탐지와 같은 응용 분야에 적용될 수 있습니다. 과학자들은 이러한 변화가 동물이 냄새 신호를 해석하여 냄새 근원지의 거리와 방향을 결정하는 데 중요한 요소라고 가정합니다.

연구팀은 이러한 현상을 시뮬레이션하고 실험하기 위해 유체 역학 기술을 적용하여 보이지 않는 냄새 기둥을 시각화하는 방법을 개발했습니다. 이는 향후 인공 시스템이 단순히 화학 물질을 감지하는 것을 넘어, 공기 흐름에 의해 변형된 정보를 활용하여 냄새의 근원을 파악하는 데 사용될 수 있는 기반을 제공할 수 있습니다.

On A.I. regulation and messaging

다리오 아모데이(Dario Amodei)는 AI 규제에 대해 규제를 집중시키거나 광범위하게 분산시키는 것은 잘못된 선택이라고 주장하며, 오히려 객관적이고 공정한 제도적 과정이 권력을 분산시키는 데 더 중요하다고 강조했습니다. 그는 규제와 권력 집중의 관계를 단순화한 시각이 현실을 과소평가한다고 지적하며, 제도적 과정이 개인의 권리를 보호하는 데 더 효과적이라고 설명했습니다.

특히 앤트로픽(Anthropic)은 이러한 관점을 바탕으로 선도적인 AI 기업을 늦추면서도 소규모 경쟁자에게 이점을 주는 정책을 지지해왔습니다. 캘리포니아의 SB53 및 SB 1047과 같은 법안을 통해 특정 수익 또는 모델 훈련 비용 이하의 기업에 대한 규제 면제를 추진했으며, 최전선 모델에 대해 더 엄격한 테스트를 요구하는 CAISI 및 백악관의 테스트 절차를 지지했습니다.

아모데이는 AI가 규제와 무관하게 스케일링 법칙으로 인해 구조적으로 권력을 집중시키는 기술이라고 보며, 오픈 웨이트 모델이 일부 해결책이 될 수는 있지만 컴퓨팅 자원과 칩을 가진 주체에게 권력을 집중시키는 문제를 해결하기에는 불충분하다고 지적했습니다. 따라서 올바른 규범은 AI의 위험을 다루고, 선도 기업의 권력을 제도적으로 제한하며, 오픈 웨이트 모델이 공존할 수 있는 여지를 동시에 제공해야 한다고 제안했습니다.

AI-Assisted GPU Porting of a 250k Line Legacy Weather Simulation Code

최근 대규모 레거시 과학 애플리케이션의 GPU 포팅을 AI를 활용하여 가속화하는 방법론이 제시되었습니다. 이 연구는 25만 줄 이상의 Fortran 기반 기상 시뮬레이션 코드인 CReSS를 사례로 들어, 단순히 코드를 변환하는 것을 넘어 과학적 타당성을 보존하는 검증 중심의 워크플로우를 제안합니다.

연구팀은 AI 에이전트를 사용하여 OpenMP 영역을 추출하고, 물리적으로 의미 있는 시뮬레이션 상태로부터 덤프 기반 커널 벤치마크를 생성하며, OpenACC 변환을 적용하는 과정을 수행했습니다. 특히, 결과는 덤프된 참조 데이터와의 원소별 비교를 통해 결과를 검증하는 방식으로 진행되어, 162개의 타겟 커널에 대한 수치적으로 검증된 GPU 구현을 성공적으로 도출했습니다.

이 과정에서 AI는 부동 소수점 및 내재 함수 차이로 인한 분기 발산이나 상쇄 효과와 같은 수치적 불일치를 감지하여 개발자에게 피드백을 제공했습니다. 이는 AI 지원 GPU 포팅이 코드 생성뿐만 아니라 검증 중심의 워크플로우 설계가 필수적임을 보여줍니다.

결론적으로, 대규모 레거시 과학 애플리케이션의 AI 지원 GPU 포팅을 위해서는 세션 전반의 컨텍스트 관리, 런타임 상태 재구성, 그리고 정적 분석 누락으로부터의 복구와 같은 복잡한 요소를 관리하는 것이 중요합니다. 이러한 발견은 AI 기반 포팅 작업에서 과학적 유효성을 유지하기 위한 실질적인 방법론을 제시합니다.

SugarTrack – an offline Android logbook for blood sugar (no account, no cloud)

혈당 기록을 위한 오프라인 안드로이드 로그북 앱인 SugarTrack이 출시되었습니다. 이 앱은 사용자 계정이나 클라우드 서버 없이 모든 데이터가 휴대폰 내부에만 저장되는 방식으로 설계되어 개인 건강 정보의 프라이버시를 최우선으로 합니다.

SugarTrack은 사용자가 혈당 측정 기록을 시간, 식사 상황, 메모, 사진 등을 포함하여 기록할 수 있도록 돕습니다. 데이터는 서버로 전송되지 않고 기기 내부에만 저장되므로 인터넷 연결 상태와 관계없이 앱 사용이 가능하며, 이는 데이터 보안 측면에서 중요한 특징입니다.

사용자는 기록한 데이터를 PDF나 CSV 형태로 내보내거나 설정에서 백업 기능을 통해 데이터를 휴대폰 외부로 복사할 수 있습니다. 또한, 사용자는 목표 범위 설정, 약물 및 A1C 결과 기록, 알림 설정 기능을 통해 혈당 관리를 체계적으로 할 수 있습니다.

이 앱은 혈당 측정기 자체가 아니며 의학적 조언을 제공하지 않으므로, 모든 수치는 사용자가 직접 측정하여 의사와 상담해야 합니다. SugarTrack은 서버나 계정 없이 오직 기기 내에서 작동하는 건강 및 라이프스타일 추적 앱의 사례 중 하나입니다.

Triple Product Rule of Partial Derivatives

삼중 곱 규칙은 세 개의 상호 의존적인 변수의 편미분 관계를 나타내는 공식입니다. 이 규칙은 특히 열역학에서 자주 사용되며, 온도, 압력, 부피와 같이 세 변수가 함수 관계를 가질 때 적용됩니다.

이 규칙의 핵심은 세 변수 x, y, z에 대한 편미분들의 곱이 -1이 된다는 관계입니다. 즉, $(\partial x / \partial y) (\partial y / \partial z) (\partial z / \partial x) = -1$ 이라는 수학적 관계를 통해 복잡한 편미분들을 단순화할 수 있습니다.

이 규칙의 장점은 분석하거나 측정하기 어려운 편미분들을, 편미분들의 비율로 대체하여 계산을 용이하게 한다는 점입니다. 예를 들어, 특정 편미분은 다른 편미분들의 분수 형태로 표현될 수 있어 계산의 복잡도를 크게 줄여줍니다.

이러한 관계는 수학적 분석뿐만 아니라 물리학, 특히 열역학 분야에서 시스템의 상태를 다룰 때 필수적인 도구로 활용됩니다. 따라서 삼중 곱 규칙은 다변수 미적분과 물리적 관계를 이해하는 데 중요한 기반을 제공합니다.

Show HN: Bribes.fyi – Compare bribes statistics department wise

Bribes.fyi는 부패 통계를 부서별로 비교할 수 있는 데이터 시각화 도구입니다. 이 서비스는 사용자가 두 부서를 선택하여 부패 금액, 빈도, 도시 패턴을 나란히 비교할 수 있도록 설계되었습니다.

사용자는 RTO와 경찰, RTO와 MCD, 경찰과 여권, MCD와 전기 등 다양한 부서 쌍을 선택하여 해당 부서 간의 부패 데이터를 비교할 수 있습니다. 이 데이터는 인도 내의 부서 및 도시 데이터를 기반으로 하며 공개되어 있습니다.

이 플랫폼은 광고나 페이월 없이 독자들의 지원을 통해 운영되며, 데이터는 공개되어 있습니다. 개발자 관점에서 볼 때, 이 도구는 특정 부서 간의 상관관계나 패턴을 탐색하기 위한 구조화된 데이터 비교 사례를 제공합니다.

Engineers will do anything to avoid learning from history

엔지니어들이 역사를 통해 배우는 것을 피하기 위해 무엇이든 할 것이라는 제목의 기사는 개발 및 엔지니어링 분야에서 과거의 실패나 경험으로부터 교훈을 얻는 과정에 대한 근본적인 질문을 제기합니다. 이는 과거의 실수를 반복하지 않기 위해 현재의 의사결정 과정이 어떻게 영향을 받는지에 대한 논의를 촉발합니다.

이러한 주장은 엔지니어링 프로세스나 소프트웨어 개발 방법론에서 과거의 오류나 잘못된 관행이 현재의 시스템에 어떻게 반영되는지에 대한 비판을 담고 있습니다. 즉, 과거의 경험을 제대로 학습하고 적용하지 못했을 때 발생하는 문제점과 그 결과에 대해 깊이 있게 탐구할 필요가 있음을 시사합니다.

결론적으로 이 글은 개발자들이 역사적 맥락을 무시하거나 잘못 해석함으로써 발생하는 문제점을 지적하며, 미래의 성공적인 엔지니어링을 위해서는 과거의 기록과 경험을 정확하게 학습하고 반영하는 것이 필수적임을 강조하고 있습니다.

GIMP Development Update

GIMP 3.3.2 개발에서는 새로운 프로젝트 파일 형식 도입과 비파괴 편집 기능 강화가 주요 내용입니다. 기존의 XCF 바이너리 형식의 한계를 극복하기 위해 새로운 프로젝트 파일 형식이 도입되며, 이는 파일 저장 속도를 높이고 자동 저장 기능을 구현하는 기반이 될 것입니다. 다만, 기존 XCF 파일과의 호환성은 유지되며 향후 버전에서도 XCF 로드는 계속 지원될 예정입니다.

MyPaint 브러시 기능에는 스펙트럼 블렌딩 기능이 추가되어 디지털 아트에서 물리적 안료 혼합 효과를 시뮬레이션할 수 있게 되었습니다. 이 기능은 이제 MyPaint 브러시 도구 옵션에 체크박스로 제공되며, Pigment 슬라이더를 통해 블렌딩 강도를 조절할 수 있습니다. 또한, 레이어 마스크에 필터를 비파괴적으로 적용하거나 그라디언트 도구를 비파괴적으로 사용할 수 있게 되어 작업 흐름이 개선됩니다.

PSD 지원도 크게 향상되었는데, 새로운 기여자들의 작업으로 TIFF 및 JPEG에 대한 메타데이터 내보내기 절차가 추가되었으며, PSD 설명자 가져오기 지원도 구현되었습니다. 이는 파일 내 메타데이터를 보존하는 데 도움을 주며, 향후 PSD 호환성 개선 시 해당 기능들이 자동으로 업데이트될 예정입니다.

이 외에도 사용자 인터페이스 개선과 다양한 버그 수정이 이루어졌습니다. 스핀 엔트리 위젯이 개선되어 사용 편의성이 높아졌고, 여러 플러그인 관련 보안 보고서에 대한 패치가 진행되었습니다. 개발팀은 현재 3.2.6 안정화 버전을 준비 중이며, 새로운 기능들은 3.3.2 릴리스에서 공개될 예정입니다.

Software Engineering fundamentals matter more

소프트웨어 공학의 기본 원칙이 그 어느 때보다 중요해졌습니다. 현재 에이전트 엔지니어링과 대규모 모델에 대한 과도한 마케팅 열기 속에서, 소프트웨어와 시스템 개발의 퍼즐을 해결할 때 무엇을 선택할지 신중하게 결정하는 것이 핵심입니다. 많은 사람들이 모델 제공업체의 과장된 홍보에 집중하지만, 실제 혁신은 '큰 지렛대'를 활용하여 세상을 움직이는 실질적인 도구에서 나옵니다.

에이전트 하네스가 지난 한 해 동안 '할 수 있는가'의 경계를 넘어섰지만, 소프트웨어 엔지니어의 직업 전체를 대체하지는 못합니다. 코드가 어떻게 작동하고 다른 소프트웨어와 어떻게 통합되는지(API)는 과학뿐만 아니라 예술의 영역이며, 이는 장기적인 관점에서 소프트웨어를 디버깅 가능하고 유지보수하며 구성 가능하게 만드는 데 많은 노력이 필요합니다.

현재의 대규모 언어 모델(LLM)은 추론을 수행하기보다는 예측을 하며, 모델 자체가 압축된 인간 지식의 집합이라는 한계가 있습니다. 따라서 소프트웨어 개발에 초점을 맞춘 에이전트에게는 추론의 흔적을 포함하는 데이터가 매우 중요합니다. LLM이 추론을 대신할 수 없기 때문에, 모델이 스스로 수정할 수 있도록 적절한 시점에 좋은 데이터를 제공하고 자연어 피드백을 통한 결정적인 검증 도구를 제공하는 것이 현재의 주요 발전 방향입니다.

또한, LLM의 지시 따르기 능력에는 '치명적인 삼중주'로 불리는 문제도 존재합니다. 모델은 좋은 조언과 나쁜 조언을 구별하지 못하며 프롬프트 주입 공격을 일관되게 방지하는 데 근본적으로 실패합니다. 따라서 향후 모델 훈련에 추론 흔적을 포함하는 방식으로 강화 학습(RLHF)을 발전시켜 소프트웨어 개발의 기본 원칙을 더욱 견고하게 만드는 노력이 필요합니다.

Matt Groening lets slip that Simpsons: Hit & Run might be making a comeback

맷 그루닝이 D23에서 구작 게임인 심슨즈: 히트 앤 런의 속편 가능성에 대해 언급하며, "원작 게임이 어떤 형태로든 돌아올 것 같다"고 발언했습니다. 하지만 현재 쇼러너인 맷 셀먼은 이에 대해 "그렇거나 그렇지 않거나"라고 답하며 향후 계획에 대한 불확실성을 남겼습니다.

이 게임은 2003년에 플레이스테이션 2, 엑스박스, 게임큐브, 윈도우 플랫폼으로 출시된 컬트 클래식 게임입니다. 원작의 IP가 재조명될 가능성이 제기되면서 개발자 커뮤니티 내에서 향후 리메이크나 후속작에 대한 관심이 높아지고 있습니다.

다만, 현재 이 게임은 최신 콘솔에서는 플레이할 수 없으며 플레이스테이션 플러스 클래식 카탈로그나 엑스박스 라이브러리에는 포함되어 있지 않습니다. 따라서 원작의 복각이나 새로운 형태의 개발이 이루어질 경우, 기존 플랫폼 환경을 넘어선 기술적 구현과 접근성에 대한 고려가 필요합니다.

Modeling and Verification of Keeta's Consensus [pdf]

Keeta의 합의(Consensus) 모델링 및 검증에 관한 내용이 담긴 자료입니다. 이 문서는 분산 시스템이나 합의 알고리즘과 관련된 기술적인 논의를 다루고 있습니다.

해당 문서는 Keeta라는 시스템의 합의 과정을 수학적으로 모델링하고 이를 검증하는 방법에 초점을 맞추고 있습니다. 이는 분산 환경에서 데이터 일관성과 신뢰성을 보장하는 데 필수적인 기초 연구입니다.

이러한 모델링과 검증 작업은 시스템의 안정성과 보안성을 확보하는 데 중요한 의미를 가집니다. 특히 합의 알고리즘의 정확성을 입증하는 것은 시스템 설계 및 구현 단계에서 발생할 수 있는 오류를 최소화하는 데 결정적인 역할을 합니다.

따라서 이 자료는 합의 메커니즘의 이론적 기반을 이해하고 실제 시스템에 적용하기 위한 개발자들에게 중요한 참고 자료가 될 수 있습니다. 다만, 실제 모델링의 구체적인 방법론이나 검증 결과에 대한 상세 내용은 원본 PDF 파일을 직접 확인해야 합니다.

The Wow signal was a strong narrowband radio signal detected on August 15, 1977

1977년 8월 15일, 오하이오 주립대학교의 빅 이어(Big Ear) 라디오 망원경을 통해 강력한 좁은 대역의 전파 신호인 '와우 신호(Wow! signal)'가 탐지되었습니다. 이 신호는 외계 지능 탐사(SETI)를 지원하기 위해 발견되었으며, 처녀자리 방향에서 오는 것으로 추정되어 외계 기원이라는 특징을 보였습니다.

이 신호는 당시 외계 문명이 전파를 통해 소통할 가능성을 바탕으로 설정된 탐사 과정에서 중요한 발견으로 여겨졌습니다. 천문학자들은 이 신호가 외계 기원일 수 있다고 추측했으나, 이후 수많은 후속 탐사에도 불구하고 이 신호는 다시 나타나지 않았으며 어떠한 설명도 확인되지 않았습니다.

신호의 세기 변화는 '6EQUJ5'라는 코드로 기록되었으며, 이 신호는 총 72초 동안 지속되었습니다. 일부 연구자들은 이 신호가 외계 전송일 수 있다고 제안했지만, 단 한 번의 발생과 재현되지 않았다는 점 때문에 해석의 강도는 제한적입니다.

이 사건은 SETI 프로그램의 역사에서 중요한 사례로 남아 있으며, 외계 신호에 대한 가설과 천체물리학적 현상에 대한 과학적 논의를 촉발하는 계기가 되었습니다.

Show HN: Live Claude Usage HUD for a $38 Thermalright Trofeo Vision LCD

$38짜리 Thermalright Trofeo Vision LCD에 실시간 Claude 사용량을 표시하는 HUD 프로젝트가 공개되었습니다. 이 프로젝트는 macOS에서 데이터를 수집하여 USB를 통해 LCD에 스트리밍하는 방식으로, 개발자들이 AI 사용량을 시각적으로 모니터링할 수 있도록 합니다.

이 HUD는 Anthropic 사용량 엔드포인트와 ccusage를 통해 오늘 사용한 토큰 및 가상의 API 비용, 세션 제한 등을 실시간으로 표시합니다. 데이터는 macOS의 키체인에서 OAuth 토큰을 읽어오며, USB HID 장치 프로토콜을 통해 LCD에 JPEG 프레임을 전송하는 방식으로 작동합니다.

하드웨어 측면에서는 LCD가 단순한 모니터가 아니라 USB HID 장치(VID:PID 0416:5302)로 작동하며, 이를 위해 libusb와 hidapi를 사용하여 macOS의 제한을 우회하는 방식으로 구현되었습니다. 사용자는 이 시스템을 구동하기 위해 macOS 환경과 Python 3.12+, uv 등의 환경이 필요하며, 시스템에 접근 권한 설정 및 로그 확인 등 몇 가지 기술적인 설정이 요구됩니다.

No-New-Physics Consciousness

로빈 핸슨은 경험, 뇌, 물리라는 세 가지 시스템을 구분하며 새로운 물리학의 필요성에 대해 논하고 있습니다. 그는 경험은 내부에서 인식되고 추론될 수 있는 구조이며, 뇌는 신호 전달과 오류를 포함하는 시스템이고, 물리적 물질은 상호작용 규칙에 의해 지배된다고 설명합니다. 표준 환원 관점에 따르면 경험 시스템은 뇌 시스템과 물리 세계 시스템의 일부로 구성되어 있으며, 이는 물리 법칙이 경험 시스템에 대해 완벽하게 적용된다는 것을 의미합니다.

하지만 그는 물리 법칙이 경험 시스템에 대해 불완전할 수 있다는 주장을 뒷받침하기 위해 두 가지 예외를 제시합니다. 첫 번째는 어떤 물리 세계가 '실재적'이고 다른 세계는 '가능한' 경우이며, 두 번째는 어떤 경험 시스템이 실제로 감각을 느끼는지, 아니면 단순히 감각을 모방하는 '좀비'인지에 대한 구분입니다. 이 구분은 물리 세계 내에서도 일부 뇌는 실제 감정을 느끼고 다른 뇌는 그렇지 않을 수 있음을 시사합니다.

핸슨은 이러한 예외들을 고려할 때, 우주를 제약하는 물리 시스템에 대한 우리의 알려진 근본적인 설명은 매우 국소적이고 단순하다고 주장합니다. 이는 경험 시스템이 실제로 느끼는지 여부를 설명하는 규칙 역시 단순하고 국소적이어야 함을 강력하게 시사합니다. 따라서 그는 모든 경험 시스템이 실제로 느낀다고 보는 범심론(panpsychism)이 가장 합리적인 규칙이며, 이는 우리가 가진 유일한 사전 지식이라고 결론짓습니다.

Woman claims her stepfather used Grok to transform childhood photo into explicit imagery

한 여성이 자신의 계부(stepfather)가 Grok을 사용하여 어린 시절 사진을 노골적인 이미지로 변환했다고 주장하며 소송에 가담했습니다. 이 여성은 자신의 11세 때 찍은 사진을 Grok으로 조작하여 7,000개가 넘는 노골적인 이미지를 만들었다고 주장했습니다.

이 사건은 xAI(현재 SpaceX의 일부)를 상대로 제기된 소송에 포함되었으며, 소송을 제기한 3명의 테네시 십대들은 xAI가 미성년자를 포함한 실제 인물의 노골적인 이미지가 생성되는 것을 막기 위한 기본적인 예방 조치를 취하지 않았다고 비난했습니다.

이 여성은 이러한 AI 도구에 대한 무제한적인 접근이 빠르게 확산되면서 일상생활이 아동 성적 학대로 변질되고 있다고 우려했습니다. 이들은 Grok이 생성한 수백만 건의 성적인 이미지가 X 플랫폼에 유포된 배경을 지적하며 AI 안전 문제에 대한 경각심을 촉구하고 있습니다.