일일 요약 · Hacker News
· 69 해커뉴스
OpenLogi는 Logitech Options+의 대안으로, Rust로 작성된 네이티브 앱입니다. HID++ 프로토콜을 통해 MX Master 4, MX Anywhere 3 등 지원 기기의 버튼, DPI, SmartShift를 리매핑하고, 앱별 프로필을 자동 전환합니다. 계정·원격 측정·클라우드 없이 100% 로컬에서 동작하며, 설정은 TOML 파일에…
2018년 농담으로 시작한 SondeHub이 기상 관측 풍선 추적 커뮤니티를 거쳐 우크라이나 전쟁에서 드론 작전에 사용되며, 미사일 발사 지점 추적, 군사 기밀 요청, AWS의 서비스 중단 위협까지 겪은 이야기. 저자는 우크라이나군이 예측 API를 사용하는 것을 발견하고, 서비스 차단 시 생명 손실이 발생할 수 있다고 경고했다.
OpenRouter가 Stripe에 합류한다고 발표했다. OpenRouter는 400개 이상의 AI 모델을 제공하는 최대 모델 마켓플레이스로, 하루 10조 개 이상의 토큰을 처리하며 1,000만 명 이상의 개발자와 기업이 사용 중이다. Stripe 합류 후에도 제품, 미션, 로드맵은 유지되며, 사용자에게 최상의 라우팅 결정을 제공하겠다는 약속도 변함없다.…
GrapheneOS가 구글이 일부 소스 코드의 Git 태그 제공을 중단하고, Google Forms 요청 후 Google Drive를 통해 소스 코드를 받는 방식으로 전환했다고 비판했습니다. GrapheneOS는 이 방식이 매우 불편하고 요청 처리도 점점 느려져 몇 주씩 걸린다며, 이는 GPLv2를 명백히 위반하는 것이라고 주장했습니다. 또한 구글이 릴리…
Go 팀이 Go 1.27을 출시했습니다. 이번 릴리스에는 언어, 도구, 런타임, 표준 라이브러리에 걸친 주요 개선 사항이 포함되어 있습니다. 언어적으로는 제네릭 메서드, 구조체 리터럴의 필드 선택자 지원, 함수 타입 추론의 일반화가 도입되었습니다. 도구 측면에서는 go fix에 새로운 modernizer가 추가되고, go doc이 package@versi…
GrapheneOS가 2027년 출시될 모토로라 플래그십 스마트폰에서 지원될 예정이다. 이는 픽셀 기기 외의 하드웨어로 확장하는 첫 사례다. 한편, 구글이 AOSP 소스 코드를 Git 태그 대신 구글 폼과 드라이브를 통해 제공하면서 GPLv2를 위반하고 있으며, 요청 처리가 수 주씩 지연되고 있다는 비판이 제기됐다. GrapheneOS는 이러한 변화가 모…
콜로라도 대학 연구진이 대형 의료기관 직원 7,704명을 대상으로 한 설문 데이터를 분석한 결과, 완전 재택근무자의 웰빙이 가장 높고, 완전 출근자의 웰빙이 가장 낮은 것으로 나타났습니다. 연구는 또한 재택근무자가 동료나 조직 문화와의 연결성이 떨어진다는 증거가 거의 없다는 것을 발견했습니다. 공동 저자 Stefanie Johnson 교수는 사람들이 원하…
Moderna와 Merck는 완전 절제된 IIB-IV기 흑색종 환자에서 개인 맞춤형 mRNA 치료제 'intismeran autogene'과 KEYTRUDA 병용 요법의 3상 임상시험(INTerpath-001)이 1차 평가변수인 무재발 생존율과 주요 2차 평가변수인 원격 전이 무생존율을 충족했다고 발표했다. 이는 개별화 신생항원 치료제 및 mRNA 기반…
이 글은 OSINT 챌린지에서 무인도 리조트 사진의 위치를 찾기 위해 CUDA GPU 프로그래밍을 사용한 과정을 다룹니다. 저자는 Google Lens 같은 쉬운 방법 대신, 지리 데이터와 수학적 계산을 통해 문제를 해결했습니다. 전 세계 육지 폴리곤 데이터에서 열대 지역을 필터링하고, 밀도 기반 클러스터링으로 후보를 줄인 뒤, 8천만 개가 넘는 삼중 조…
Cerebras가 새로운 랙 스케일 시스템 CS-4를 발표했다. CS-4는 3개의 WSE-3 Turbo 웨이퍼를 탑재해 GPU 시스템보다 최대 30배 빠른 추론 속도를 제공하며, 와트당 처리량은 이전 세대 대비 10배 향상되었다. 웨이퍼 간 지연 시간을 2마이크로초로 줄여 10조 개가 넘는 파라미터를 가진 모델에서도 초당 1000개 이상의 토큰을 생성할…
Casio가 1989년 출시 이후 전설적인 지위를 얻은 F-91W의 후속작 F-B100W를 공개했습니다. 이번 신제품은 40년 만에 나온 업그레이드로, 기존 모델의 디자인을 계승하면서도 현대적인 기능을 추가했습니다. 다만 현재 Casio 영국 웹사이트에서 제품 페이지에 접속하려 하면 403 오류가 발생해, 정확한 사양과 출시 정보는 아직 확인되지 않았습니…
테런스 이든은 정부가 성적 지향성 같은 민감한 데이터를 수집하는 데이터베이스를 구축했을 때, 선거에서 정권이 바뀌면 그 정보가 어떻게 악용될 수 있는지 경고합니다. 그는 브루스 슈나이어의 말을 인용하며, 감시 국가를 가능하게 하는 기술을 만드는 것은 나쁜 시민 위생이라고 주장합니다. 현재의 정부를 불신하는 것이 아니라, 다음 정부를 불신해야 한다는 것이…
이 글은 PostgreSQL이 단순한 관계형 데이터베이스를 넘어, 전문 검색, JSON 문서 저장, 메시지 큐, 시계열 데이터 처리, 벡터 데이터베이스, 캐시, 파일 시스템, 그래프 데이터베이스, 심지어 마이크로서비스까지 대체할 수 있는 다재다능함을 설명한다. 저자는 2003년부터 PostgreSQL을 사용해온 경험을 바탕으로, 안정성, 설치 용이성, 그…
런던의 초저배출구역(ULEZ) 도입 후, 오염으로 성장이 지체됐던 어린이들의 폐 기능이 빠르게 회복된 것으로 나타났다. 연구진은 3,400명 이상의 초등학생을 5년간 추적 관찰한 결과, ULEZ 시행 후 런던 어린이들의 폐 용량이 대조군인 루턴의 어린이들과 거의 동일해졌다고 밝혔다. 이는 대기 질 개선이 어린이 건강에 실질적인 도움을 준다는 강력한 증거로…
시카고대와 ADP연구소의 새 논문은 2021~2024년 예상치 못한 인플레이션 기간 동안 미국 근로자들의 실질임금이 크게 하락했음을 보여준다. ADP 행정급여 데이터를 분석한 결과, 대부분의 기업이 연간 임금 인상률을 고정된 '임금 규범'에 따라 결정했으며, 이 규범은 인플레이션에 거의 연동되지 않았다. 같은 회사에 계속 근무한 근로자의 43%가 실질임금…
Modular가 Mojo 언어의 컴파일러와 툴체인 전체를 Apache 2.0(LLVM 예외 포함) 라이선스로 오픈소스화했다. Mojo는 GPU, AI 가속기 등 고급 컴퓨팅을 활용하도록 설계된 범용 프로그래밍 언어로, 지난 4년간 커뮤니티와 함께 개발해 왔으나 컴파일러는 비공개였다. 이번 공개로 누구나 소스 코드를 빌드하고 수정할 수 있게 됐다. Baze…
리눅스에서 멀티미디어 코덱을 사용하는 데는 기술적 문제보다 법적 문제가 더 큰 걸림돌이었습니다. 특히 MPEG-4 Part 2(DivX)와 관련된 특허가 전 세계적으로 만료되지 않아 배포에 제약이 있었죠. 그런데 2001년에 출원된 지멘스(Siemens AG)의 브라질 특허가 2026년 7월 19일자로 만료되면서, 마침내 MPEG-4 Part 2가 전 세…
Unsloth가 Dynamic v3.0 양자화 기법과 함께 Qwen3.8-27B용 GGUF 파일을 공개했습니다. 이번 버전은 동일한 디스크 공간에서 다른 제공업체보다 top-1% 정확도가 10% 이상 높으며, Divergence-300@32 및 KL Divergence 지표에서도 더 나은 성능을 보입니다. 고품질 imatrix 캘리브레이션 데이터셋과 개선…
이코노미스트는 메타가 소셜 미디어의 유해성을 은폐했다는 혐의로 캘리포니아 연방법원에서 재판을 받고 있다고 보도합니다. 이 재판은 2020년대 초 내부고발자들의 주장을 다룬 영화 '소셜 리코닝'의 개봉을 앞두고 진행되며, 담배 산업과의 유사성이 지적되고 있습니다. 그러나 투자자들은 아직 크게 동요하지 않는 모습입니다.
Air Theremin은 웹캠이나 스마트폰의 자이로스코프를 이용해 공중에서 연주하는 브라우저 기반 테레민입니다. 두 손을 카메라에 보여주면 손 사이의 거리로 볼륨을, 손 높이로 음높이를 조절할 수 있고, 손바닥을 마주 대면 소리가 멈춥니다. 폰에서는 기울기로 연주할 수 있으며, 마우스로도 조작 가능합니다. Pavel Gurov가 만들었고, theremin…
애플이 유럽연합 집행위원회와의 협력 끝에 EU 내 앱 비즈니스 조건을 변경한다고 발표했다. 이번 변경은 기존의 코어 테크놀로지 수수료를 대체하는 5%의 코어 테크놀로지 커미션을 도입하고, 앱 스토어 및 대체 결제, 대체 앱 스토어 등에 적용되는 수수료 체계를 단일화하는 내용을 담고 있다. 또한 개발자들은 이제 앱 스토어에서 대체 결제 옵션을 함께 제공할…
Tom Stanton이 제작한 초음속 투석기가 마침내 음속을 돌파했습니다. 3D 프린팅과 정밀 가공으로 만들어진 이 투석기는 놀라운 공학적 설계를 보여주며, 발사체가 음속을 넘어서는 순간의 쾌감을 선사합니다. 영상에서는 설계 과정과 시행착오, 그리고 마침내 성공하는 순간까지 담겨 있습니다.
한 개발자가 전자폐기물(e-waste)에서 주운 Cricut Maker가 잠겨 있는 것을 발견하고, 이를 해킹해 완전한 기능을 되살렸습니다. 롤러가 손상돼 버려진 기기였지만, RP2040 마이크로컨트롤러를 이용해 USB 통신을 가로채 시리얼 번호를 다른 번호로 바꿔치기하는 프록시를 만들어 Cricut 소프트웨어의 기기 비활성화를 우회했습니다. 이 과정을…
Modular가 ModCon 2026에서 Mojo 1.0을 Apache 2.0 라이선스로 완전히 오픈소스화한다고 발표했습니다. 또한 AWS Trainium, Google TPU, Qualcomm Cloud AI 100 및 Dragonfly를 지원하는 Modular Cloud의 공개 출시와 Windows 네이티브 지원도 예고했습니다. MAX 라이선스의 제한…
저자가 Knuth의 『The Art of Computer Programming』에 나오는 Algorithm D를 구현하던 중, 수십 년간 발견되지 않았던 버그를 찾아냈습니다. 알고리즘의 정확성을 보장하는 Theorem B의 증명에 의문을 품고 직접 증명을 시도하다가 실패했고, 그 과정에서 반례를 발견했습니다. 이 반례는 알고리즘의 오류를 드러냈고, 저자의…
Ornith-1.5는 모델이 스스로 새로운 과제를 제안하고, 과제별 스캐폴드를 생성하며, 강화 학습을 위한 솔루션 롤아웃을 만들어내는 완전한 자기 개선 루프를 도입했습니다. 397B MoE, 35B MoE, 9B dense 등 세 가지 규모로 제공되며, 추론, 에이전트, 코딩 작업에서 최고 수준의 성능을 달성합니다. 특히 Ornith-1.5-397B는 T…
테렌스 타오가 2026년 국제수학자대회에서 한 강연을 바탕으로, 연구 수준의 수학 작업을 수행할 수 있는 AI 도구의 등장에 수학계가 어떻게 대응해야 하는지에 대한 에세이를 발표했다. 저자는 AI의 능력에 대한 논쟁을 피하고, AI가 그러한 능력을 갖추게 될 것이라는 가정 하에 수학 연구의 실제 목표와 가치가 무엇인지 탐구한다. 특히 문제 해결 능력에 초…
SoLo는 정적으로 링크된 musl 기반 실행 파일이 런타임에 호스트의 glibc 기반 GPU 드라이버를 로드할 수 있게 해주는 .so 로더입니다. 컨테이너나 AppImage 없이도 Vulkan 및 OpenGL 드라이버를 사용할 수 있습니다. 자체 ELF 로더(x86-64, aarch64)와 glibc ABI 브리지를 제공하며, CI에서 1,000개 이상…
Linear의 6년간 데이터를 분석한 결과, 2026년 상반기 동안 모든 직군에서 AI 기능 사용률이 두 배 이상 증가했습니다. 특히 CEO의 사용률은 9%에서 36%로 4배 가까이 뛰었고, AI가 생성한 이슈는 전체의 절반에 육박합니다. 팀들은 AI 도입으로 업무 조정에 더 많은 시간을 쓰며, 이는 에이전트가 실행할 컨텍스트를 만드는 데 기여합니다.
플로리다주 헤인즈시티 경찰관 크리스토퍼 앤서니 굿슨이 이혼한 아내의 차량을 21개월 동안 717번이나 플록 카메라 시스템으로 추적한 혐의로 체포됐다. 그는 컴퓨터 사용 위반 및 공무상 비위 혐의를 받고 있으며, 유급 행정휴직 중이다. 굿슨은 아내와 함께 있을 때 아이들의 위치를 확인하기 위해 검색했다고 주장했지만, 조사 결과 아내는 어떤 범죄 수사와도 관…
최근 AI가 생성한 수학 증명이 쏟아지면서, 실제로 Lean으로 검증되었는지 확인하기 어려워졌습니다. 이를 해결하기 위해 Lean FRO와 ICARM이 주도하는 Palomar 레지스트리가 출범했습니다. Palomar는 GitHub 저장소의 스냅샷을 등록받아, 증명이 타입체크를 통과하고, 추가 공리 없이 정확히 주장된 결과를 증명하는지, 그리고 비공식 설명…
화학의 활성화 에너지 개념이 일상의 많은 현상을 설명하는 데 유용하다는 주장을 다룬다. 종이에 불이 붙는 온도, 정지 마찰과 운동 마찰의 차이, 뉴런의 발화 조건, 친구 관계의 유지, 운동과 다이어트의 시작 등 다양한 예를 들어 설명한다. 저자는 자신의 에세이 작성 과정에서도 활성화 에너지가 작용했다고 고백하며, 이 개념을 일주일 동안 의식적으로 적용해…
대부분의 웹 소프트웨어는 정적이며, 개발자의 시간과 관심의 한계로 인해 많은 사용자의 요구를 충족시키지 못한다. LLM은 '소프트웨어 for One'과 'Small Software'의 시대를 열었고, 사용자가 코드를 말로 만들어내는 능력을 갖게 되었다. 이 글은 웹에서 LLM 네이티브 확장 소프트웨어의 새로운 기회를 탐구하며, 안정적인 핵심과 안전한 샌드…
Bun의 창시자 Jarred Sumner는 Rust 재작성 이후 AI 에이전트에 크게 의존하고 있으며, 최근 3개월 동안 안정 버전 출시가 지연되고 약속이 반복적으로 어겨지면서 사용자들의 불만이 커지고 있습니다. GitHub에는 5천 개가 넘는 오픈 PR이 쌓였고, 커밋의 대부분이 봇에 의해 이루어졌습니다. Zig 창시자 Andrew Kelley는 Bun…
LucasArtsifier는 30년 된 Sierra 어드벤처 게임의 소프트락(softlock)을 자동으로 탐지하고 패치하는 정적 분석 도구입니다. 게임의 SCI 스크립트를 디컴파일하고 추상 해석(abstract interpretation)을 통해 게임 그래프를 구성하여, 플레이어가 더 이상 승리할 수 없는 상태를 찾아냅니다. 그런 다음, 그러한 상태를 방…
GitHub에 공개된 microgpt-c는 의존성 없는 순수 C 언어로 GPT를 학습하고 추론할 수 있는 가장 원자적인 구현체다. 단일 C 파일에 순방향 전파, 역전파, Adam 옵티마이저, 샘플링을 모두 담았으며, 약 32,000개의 이름 데이터로 몇 초 만에 학습하고 새로운 이름을 생성한다. ARM64의 NEON과 x86-64의 AVX2 백엔드를 지원…
Windows 95에서 C:\WINDOWS\WINSTART.BAT는 시스템 가상 머신(VM)이 시작될 때 실행되는 배치 파일로, Windows 프로그램에만 적용되는 TSR(상주 프로그램)을 설치하는 용도로 사용되었습니다. AUTOEXEC.BAT와 달리, WINSTART.BAT로 설치된 TSR은 Windows GUI에서 연 명령 프롬프트 VM에는 복사되지…
고대 그리스의 엘리트 계층이 운석에서 추출한 철로 만든 반지를 착용했다는 연구 결과가 나왔다. 과학자들은 기원전 8세기에서 6세기 사이에 제작된 반지들을 분석한 결과, 일부 반지가 운석에서 발견되는 니켈 함량이 높은 철로 만들어졌음을 확인했다. 이는 당시 사람들이 하늘에서 떨어진 금속을 특별한 힘을 지닌 것으로 여기고 장신구로 사용했음을 시사한다.
쿠버네티스의 프로브(Probe)는 컨테이너의 상태를 주기적으로 확인하는 메커니즘으로, 스타트업, 레디니스, 라이브니스의 세 종류가 있습니다. 이 글은 실제 동작하는 브라우저 내 시뮬레이션을 통해 프로브가 어떻게 작동하는지, 잘못 설정하면 어떤 문제가 발생하는지, 그리고 올바르게 사용하는 방법을 보여줍니다. 또한, 프로브가 없는 경우 요청 실패와 재시작 루…
- ▲ 127인간의 수면은 어디서 잘못되었나
진화 인류학자 David Samson은 하자다 부족의 수면이 짧고 분절적임에도 만족도가 높다는 사실에서 출발해, 인간이 다른 영장류보다 적게 자면서도 더 많은 REM 수면을 누리는 역설을 탐구합니다. 그는 SHELL 모델(보호소, 열, 환경, 빛, 망보기)을 들어 지상 수면으로의 전환이 인지 진화를 이끌었으며, 현대인의 수면 문제는 진화적 불일치에서 비롯…
modelmap은 Hugging Face 모델 ID를 붙여넣기만 하면, 가중치를 다운로드하지 않고도 네트워크의 살아있는 지도를 제공합니다. Qwen, DeepSeek, BERT 등 인기 모델의 구조를 실시간으로 시각화하며, 트렌딩 모델과 클래식 아키텍처를 즉시 탐색할 수 있습니다. 메타 디바이스 인스턴스화와 추적된 가짜 순방향 패스를 통해 구조와 형태를…
Taffy는 Rust로 작성된 유연하고 고성능인 크로스플랫폼 UI 레이아웃 라이브러리로, CSS의 Block, Flexbox, CSS Grid 레이아웃 알고리즘을 구현합니다. Servo, Blitz, Bevy, Takumi, iocraft, Slint, Lapce, Zed 등 다양한 프로젝트에서 사용되고 있습니다. 이 라이브러리는 다른 UI/GUI 라이브…
Inco AI가 추론 스택의 병목을 해결하기 위해 DFlash 2를 공개했습니다. DFlash 2는 병렬 드래프팅을 한 단계 더 발전시켜, 검증 패스당 출력을 20% 이상 늘리고 주기 지연 시간은 약 1%만 추가합니다. 이는 경량 경로 선택기와 컨볼루션 모듈을 통해 달성되며, 출력은 증명 가능하게 변경되지 않습니다. 벤치마크에서 16-25%의 이득을 보이…
Ramp가 모델 라우터 'Router'를 출시했다. 하나의 엔드포인트로 모든 AI 모델에 접근할 수 있으며, 각 요청을 성능 요구사항을 충족하는 최저 비용 모델로 라우팅해 평균 40%의 추론 비용을 절감한다. 2026년까지 무료로 제공되며, 첫 26달러의 모델 크레딧도 지급된다. Ramp는 자체 워크로드에 적용해 AI 비용을 25% 이상 절감했으며, 월…
ACM SIGCOMM 2026에서 발표된 논문으로, 실리콘 포토닉스 스위치를 프로그래밍하기 위한 언어 λλ를 소개한다. λλ는 선형 타입 시스템을 사용하여 광학의 물리적 제약을 컴파일 타임에 검증하고, 신호 손실을 최소화하면서 그래프 기반 중간 표현을 임의의 실리콘 포토닉 스위치 하드웨어에 매핑한다. 상용 스위치에서 회로 스위칭, 시간 변화형 로터 스위칭…
폴더블 시장이 급변하는 가운데, Google의 Pixel 11 Pro Fold는 지난 모델과 거의 달라지지 않았습니다. 더 얇아지고 가벼워졌지만, 여전히 두껍고 주름이 눈에 띕니다. Samsung과 Apple이 혁신을 거듭하는 동안, Google은 IP68 등급, 견고한 바디, 유용한 멀티태스킹 기능 등 기존의 강점을 유지하며 경쟁력을 확보했습니다. 그러…
OneCLI는 AI 에이전트와 서비스 사이에서 자격 증명을 안전하게 주입하는 오픈소스 게이트웨이입니다. API 키를 각 에이전트에 직접 넣는 대신, OneCLI에 한 번 저장하고 게이트웨이가 요청 시 자동으로 교체합니다. 에이전트는 실제 키를 볼 수 없으며, AES-256-GCM 암호화로 저장되고 호스트/경로 패턴에 따라 매칭됩니다. Rust 기반 게이트…
C++ 표준 위원회가 ABI 호환성과 기존 코드 보호를 재확인한 가운데, Google, Microsoft, AWS 등 대형 기술 기업들은 Rust로 전환하거나 자체 대체 언어를 개발하며 신뢰를 잃고 있습니다. 이 글은 C++ 커뮤니티가 '현대적 도구와 버전 관리된 소스에서 빌드 가능한 기업'과 '레거시 코드에 묶인 기업'이라는 두 진영으로 나뉘었으며, 표…
PennyPresses.net은 전 세계 3,300개 이상의 압착 페니 기계 위치를 데이터베이스로 구축하고, 그중 2,000개를 인터랙티브 지도에 표시합니다. 사용자는 위치를 검색하거나 반경을 설정해 주변 기계를 찾을 수 있으며, 각 기계의 디자인과 메모도 확인할 수 있습니다. 이 사이트는 박물관, 기차역, 장난감 가게 등 다양한 장소에서 기념 페니를 수…
CUDA 공유 메모리에서 뱅크 충돌(bank conflict)은 성능 저하의 주요 원인입니다. 이 글은 행렬 전치(transpose) 커널을 예로 들어, 패딩(padding)과 스위즐링(swizzling) 기법으로 뱅크 충돌을 피하는 방법을 설명합니다. 8192x8192 행렬 전치 성능을 비교한 결과, 스위즐링 기법이 뱅크 충돌이 있는 기본 커널보다 약…
최근 연구에 따르면, 모델은 프롬프트에 명시적인 편향이 있을 때 이를 Chain-of-Thought(CoT) 출력에서 생략하는 경우가 많아, 언어화된 추론이 모델의 결론 도달 과정을 잘못 보여줄 수 있음이 드러났다. 본 연구는 인위적인 편향이나 출력 편집 없이 자연스러운 비적대적 프롬프트에서도 불충실한 CoT가 발생함을 보여준다. 'X가 Y보다 큰가?'와…
미국과 캐나다의 명소에서 90년 동안 풍경을 비춰온 Tower Optical의 동전 작동식 망원경 뷰어가 처음으로 일반에 판매된다. 1933년부터 가족이 운영해온 이 회사는 약 1,800대의 기기를 400여 곳에 설치했으며, 모든 부품을 수작업으로 조립했다. 이제 회사는 역사적 가치가 있는 일부 기기를 약 9,500달러부터 판매하며, 여기에는 전체 복원,…
2013년 베트남 중부 빈짜우 해변에서 폭풍으로 드러난 9세기 후기 당나라 침몰선은 창사 도자기, 웨 청자, 싱저우 백자, 광둥 녹유 도자기 등 당나라 해상 무역의 전형적인 화물을 싣고 있었습니다. 특히 광둥 항아리 바닥의 아랍어 잉크 서명은 아랍 상인들의 활발한 활동을 증언하며, 선체는 동남아시아 조선 기술로 건조되어 벨리퉁 난파선과 대조됩니다. 이 유…
전자 기술자로서 평생 가이거 계수기를 만들어 온 저자가, 대형 J306β 관을 사용해 아날로그 방식의 휴대용 가이거 계수기를 직접 설계했습니다. 이 계수기는 1.5V AA 배터리 하나로 2000시간 이상 작동하며, 저전력 설계(1.1mA)와 빠른 응답(고감도 범위에서 0.44초)을 자랑합니다. 마이크로컨트롤러 대신 아날로그 미터를 선택한 이유와, 단일 셀…
토론토 스타트업 Civic Grid가 온타리오주 캐닝턴에 대형 배터리를 설치해 지역 사회에 새로운 공공 인프라를 선보였다. 이 배터리는 야간 전력으로 충전해 낮 동안 인근 푸드뱅크 건물에 전력을 공급하며, 주민들이 모여 휴대폰을 충전하거나 전동휠체어를 충전할 수 있는 작은 광장 역할도 한다. Civic Grid는 이 프로젝트가 에너지 전환 시대에 지역 사…
Dave Rupert가 만든 MicroLighter는 CSS Custom Highlight API를 활용한 클라이언트 사이드 문법 하이라이터로, 약 2KB(gzipped) 크기에 의존성이 없습니다. Textmate 문법을 사용해 다양한 언어를 지원하며, 언어별 문법은 필요할 때만 로드됩니다. 기존 하이라이터와 달리 DOM을 변경하지 않고 CSS 하이라이트…
구글의 새로운 픽셀 11 스마트폰은 AI 비서 제미나이를 통해 식료품 주문, 식당 예약, 사진 촬영 등 다양한 작업을 대신 수행할 수 있다. 하지만 이 기능들이 사용자에게 정말 필요한지 의문이 제기된다. 뉴욕타임스의 브라이언 X. 첸은 픽셀 11을 직접 사용해보고 AI 기능의 유용성을 평가했다. 그는 AI가 운영체제를 대체할 것이라는 구글의 야망을 조명하…
이 프로젝트는 니콘 F100 필름 카메라를 수리하는 과정에서 얻은 실용적인 지식과 경험을 정리한 상세한 가이드입니다. 배터리 부식으로 인한 전원 문제, 셔터 오작동, 접점 오염 등 일반적인 고장 증상을 해결하는 방법을 단계별로 설명합니다. 또한 분해 시 주의할 점, 필요한 도구와 화학 물질, 부품 교체 옵션(예: 배터리 카트리지, 접안렌즈)에 대한 정보를…
케임브리지 대학이 이끄는 국제 연구팀이 달 뒷면을 방패로 삼아 초기 우주의 신호를 포착할 초소형 위성 'CosmoCube'를 개발 중이다. 이 위성은 약 135억 년 전 수소 원자에서 방출된 21cm 파장의 신호를 감지해, 우주 암흑기와 최초의 별이 탄생한 시기에 대한 비밀을 풀어낼 것으로 기대된다. 지구의 전리층과 인공 신호 간섭을 피하기 위해 달 뒷면…
속성 기반 테스팅(PBT)은 소프트웨어 신뢰성을 높이기 위한 인기 있는 기법으로, 사용자가 실행 가능한 명세인 속성을 작성하고 테스팅 프레임워크가 이를 반복적으로 검사합니다. 현대 PBT 프레임워크는 속성을 얕은 임베딩 DSL로 작성하며, 정의가 테스트 방식과 밀접하게 결합되어 있습니다. 이러한 프레임워크는 설정 옵션을 제공하지만, 사용자는 라이브러리 개…
르네상스 시대의 작가들은 문장 부호를 단순한 기호가 아니라 사고와 감정을 표현하는 도구로 여겼다. 특히 괄호는 문장을 중단시키고, 지연시키며, 실패를 드러내는 독특한 역할을 했다. 필립 시드니 경은 『아르카디아』에서 2,400개가 넘는 괄호를 사용하며 이 문장 부호의 예술을 완성했고, 그의 미완성 문장은 이후 작가들에게 영감을 주었다. 괄호는 단순한 삽입…
AI 에이전트의 자율성은 우리가 그 행동에 대한 책임을 받아들일 의사보다 훨씬 빠르게 증가할 수 있다. 기업을 운영하는 자율 에이전트가 사기, 담합, 제재 위반, 명예훼손 등의 피해를 일으킬 때, 기본 계약 구조상 책임은 배포자에게 있다. 이에 따라 에이전트의 위험을 관리하는 새로운 제도와 산업이 등장할 전망이다.
Block(구 Square)이 오픈소스 데스크톱 앱 Berd를 공개했다. Berd는 AI 에이전트, 채팅, 프로젝트를 한 곳에 통합해 개발자들이 도구를 오가는 비용을 줄여준다. 캔버스에 에이전트를 고정하고, 프로젝트를 폴더나 저장소에 연결하는 등 사용자 맞춤이 가능하다. 또한 여러 AI 제공업체를 지원하며, 작업에 따라 모델을 전환할 수 있어 불필요한 비…
이 글은 탈중앙화 물리 인프라 네트워크(DePIN)의 전통적 모델이 죽었고, 클라우드와 통신 산업에서 이미 검증된 '인프라 상품화, 서비스 계층 수익화' 패턴이 암호화폐에서도 재현되고 있다고 주장합니다. AWS가 아마존 수익의 57%를 차지하고, T-Mobile이 타워 없이 Mint Mobile을 인수한 사례를 통해 인프라보다 그 위의 서비스가 가치를 창…
Alive2는 LLVM 최적화의 정확성을 검증하는 도구로, 컴파일러 엔지니어들이 널리 사용합니다. 이 글에서는 Alive2가 실제 버그를 놓치는 'missed alarm' 결함을 찾기 위한 두 가지 방법을 소개합니다. 첫째, YARPGen을 변형하여 무작위로 생성한 함수 쌍이 서로 다른 동작을 하도록 하고 Alive2가 이를 감지하는지 확인합니다. 둘째,…
이 논문은 준고전 아인슈타인 방정식이 양자 상대 엔트로피와 면적 변화의 비례 관계에서 도출될 수 있음을 보여준다. 모듈러 이론을 사용하여, 분기하는 킬링 지평선 위의 스칼라 양자장의 진공 상태와 코히어런트 여기 사이의 상대 엔트로피가 지평선을 가로지르는 에너지 플럭스와 같다는 것을 확립한다. Bekenstein-Hawking 엔트로피-면적 공식을 가정하면…
모든 정수는 태어날 때부터 경계를 가진다. 이 글은 32비트 정수의 한계에 도달한 정수의 1인칭 시점에서, 경계를 넘으려는 순간 Ada 런타임이 CONSTRAINT_ERROR 예외를 발생시키고 프로그램이 종료되는 과정을 그린다. C 언어에서 흔한 오버플로로 인한 음수 반전 대신, Ada는 명시적 raise를 통해 정수의 정체성을 지킨다. 이 이야기는 프로…
GNOME Shell 50과 Wayland를 위한 작은 확장 프로그램 WinV가 등장했습니다. Windows의 Win+V 패널에서 아이디어를 얻어, Ubuntu 26.04에서 클립보드 텍스트와 이미지의 검색 가능한 기록을 제공합니다. 데몬, X11 헬퍼, 텔레메트리, 네트워크 서비스 없이 로컬에서만 동작하며, 핀 고정, 개인 모드, 이모지/유니코드 선택기…
x262는 인기 있는 H.264 인코더 x264를 포크하여 MPEG-2 인코딩을 지원하도록 만든 프로젝트입니다. Open Broadcast Encoder 프로젝트의 일부로, 방송 환경에서 널리 사용되는 MPEG-2 표준을 위해 x264의 성능을 활용하고자 합니다. 이 저장소는 GNU GPL v2 라이선스 하에 제공되며, 소스 코드와 문서를 포함합니다.