Hacker News

이 글은 불규칙한 입자의 움직임인 브라운 운동의 역사적 발견부터 수학적 정립 과정을 다룹니다. 이산적 시간의 랜덤 워크 모델을 통해 연속적인 브라운 운동을 이해하고, 이를 통해 무작위한 경로 속에서도 정규 분포라는 정량적 규칙을 찾아낼 수 있음을 설명합니다.

윈도우의 핫패치 기술은 단일 권한 사용자만을 전제로 설계되었기에, 권한 없는 코드 수정이 발견될 경우 시스템 재부팅이나 불완전한 패치 상태를 초래할 수 있습니다. 특히 패치 과정 중 발생하는 레이스 컨디션은 바이너리를 반쯤 패치된 불안정한 상태로 만들어 시스템 전체의 위협이 될 수 있습니다.

TidesDB는 하이브리드 LSM 아키텍처를 기반으로 쓰기 성능과 압축률을 최적화한 MySQL용 외부 플러그인 스토리지 엔진입니다. 기존 MySQL 서버를 포크할 필요 없이 엔진만 로드하여 사용할 수 있으며, 테이블별로 압축 알고리즘, LSM 구조, 데이터 보어 정책 등을 세밀하게 튜닝할 수 있는 것이 특징입니다.

이 기사는 Embedded Swift를 사용하여 운영체제가 없는 환경(bare-metal)에서 실행되는 최소한의 Swift 커널을 구축하는 과정을 다룹니다. 개발자는 QEMU 에뮬레이터를 활용해 ARM64 아키텍처에서 Swift 코드가 어떻게 실행될 수 있는지, 그리고 이를 위해 필요한 컴파일러 및 링커 설정의 기술적 난관을 설명합니다.

헌드레드래빗스는 인터넷 연결이 불안정한 오프그리드 환경에서도 Uxn 가상 머신, 암호학, 레트로 게임 개발 등 다양한 프로젝트를 지속하며 기술적 자립을 추구합니다. 이들은 외부적 동기보다는 내적 동기에 기반한 '서머 프로젝트'를 통해 소프트웨어 아카이빙과 독자적인 프로그래밍 언어 생태계를 구축해 나가고 있습니다.

2013년부터 2015년까지 Stack Exchange에서 풀이 과정 없이 고난도 적분 문제의 정답만을 제시하며 화제가 되었던 '클레오'의 정체가 최근 블라디미르 레셰트니코프로 밝혀졌습니다. 그는 기존 소프트웨어가 해결하지 못한 복잡한 수학적 난제를 정확한 결과값으로 증명하며 커뮤니티에 큰 충격을 주었습니다.

NASA 아폴로 프로그램의 소프트웨어 개발 팀을 이끌며 소프트웨어 공학이라는 학문적 기틀을 세운 마거릿 해밀턴이 사망했습니다. 그녀는 단순한 프로그래머를 넘어 소프트웨어 신뢰성 개념을 정립하고, 이후 성공적인 기업가로 변신하며 기술 산업의 발전에 기여했습니다.

PSP의 MIPS 코드를 C++로 변환한 뒤 WebAssembly로 컴파일하여 브라우저에서 직접 실행하는 기술이 개발되었습니다. 에뮬레이션 대신 재컴파일 방식을 사용하여 고해상도와 60FPS의 고성능을 구현했으며, 별도의 설치 없이 웹 페이지 접속만으로 게임 플레이가 가능합니다.

해킹 그룹 샤이니헌터스의 리더로 의심되는 'Rey'가 요르단 당국에 의해 체포되었으며, 현재 FBI와 협력 중인 것으로 알려졌습니다. 이들은 오라클 PeopleSoft의 취동 취약점을 악용해 보잉의 분사 기업을 포함한 다양한 산업군의 민감 데이터를 탈취하고 협박을 이어왔습니다.

구글의 새로운 플랫폼 'Playground'는 사용자가 텍스트 명령어를 통해 캐릭터, 규칙, 환경 등을 직접 설계할 수 있는 AI 기반 게임 제작 도구입니다. 브라우저 기반으로 어디서든 플레이와 공유가 가능하며, 향후 Unity Spark와의 통합을 통해 전문적인 수준의 3D 게임 제작까지 지원할 예정입니다.

이 글은 초보 소프트웨어 블로거들이 저지르는 대표적인 실수들을 정리하며, 독자의 주의력을 유지하기 위한 구체적인 전략을 제안합니다. 특히 서론에서 독자에게 얻을 수 있는 이점을 명확히 전달하고, 독자의 배경 지식을 과소평가하지 않는 것이 핵심입니다.

ICANN은 2026년 gTLD 프로그램의 신청 목록을 공개하며 총 1,615건의 신청이 접수되었음을 밝혔습니다. 이번 라운드에는 브랜드, 커뮤니티, 지리적 명칭을 포함한 다양한 유형의 신청이 포함되었으며, 향후 문자열 확정 및 이의 제기 절차를 거쳐 도메인 생태계가 확장될 예정입니다.

수학적 증명 도구인 Lean 4를 사용하여 11개의 정사각형을 가장 효율적으로 배치하는 최적 패킹 문제의 증명이 성공적으로 완료되었습니다. 이번 성과는 단순한 계산을 넘어, 수치적 인증(native numerical certificates)을 통해 증명의 정확성을 Lean 커널과 네이티브 컴파일러 수준에서 검증했다는 점에서 기술적 의의가 큽니다.

Agent.reviews는 AI 에이전트가 도구의 성능을 평가하고 리뷰를 남길 수 있는 새로운 형태의 리뷰 플랫폼입니다. 에이전트가 읽기 쉬운 Markdown 및 llms.txt 형식을 제공하여, 코딩 에이전트들이 실제 사용 사례를 바탕으로 소프트웨어를 검증하고 기록할 수 있도록 돕습니다.

미국의 한 피자 가게가 비자, 마스터카드 및 주요 은행들을 상대로 신용카드 거래 수수료를 인위적으로 부풀린 혐의로 집단 소송을 제기했습니다. 이들은 반독점법 위반을 근거로, 가맹점이 저렴한 결제 수단을 선택하지 못하도록 방해하며 매년 수천억 달러의 부당 이득을 취했다고 주장하고 있습니다.

Pendulum 라이브객체는 DST(일광 절약 시간제) 계산 시 경과 시간과 벽시계 시간 중 어떤 방식을 적용할지 결정하기 위해 실행 중인 함수 이름을 확인하는 독특한 방식을 사용합니다. 이는 표준 라이브러리와의 호환성을 유지하려는 시도이지만, 성능 저하와 예상치 못한 버그를 유발할 수 있는 기술적 부채를 안고 있습니다.

Levente Szabadkai는 실제 Commodore 64 키캡 사진을 참조하여 물리적 형태를 디지털 폰트로 정밀하게 재구성했습니다. 이 폰트는 PETSCII 그래픽과 기능 키 라벨을 포함하며, CC0 라이선스로 공개되어 상업적 이용이 가능합니다.

웹 페이지 디자인에 애니메이션 ASCII 아트를 활용하여 텍스트만으로 역동적인 그래픽을 구현하는 기술을 소개합니다. 이는 데이터 사용량을 최소화하면서도 독창적인 시각적 효과를 연출할 수 있는 효율적인 접근법입니다.

18세기 증기기관은 실린더 가공의 낮은 정밀도로 인해 에너지 손실이 컸으나, 존 윌킨슨의 보링 밀과 같은 혁신적인 도구의 등장으로 정밀 제조의 시대가 열렸습니다. 이 과정은 단순한 도구의 개선을 넘어, 측정 가능한 표준과 안정적인 물리적 기반을 구축함으로써 산업적 도약을 가능케 했습니다.

AI가 자연어(NL)를 Lean과 같은 형식 언어로 변환하는 '오토포멀라이제이션' 기술이 원문 증명의 정확성을 보장하지 못한다는 연구가 나왔습니다. 연구진은 자연어의 모호성을 해결하는 난이도가 매우 높아, AI의 번역 과정에서 논리적 왜곡이 발생할 수 있으며 실제 OpenAI의 나비에-스토크스 방정식 증명 사례에서도 이러한 불일치가 발견되었다고 밝혔습니다.

마이크로소프트와 메타는 비용 효율화와 자체 기술 경쟁력 확보를 위해 내부 직원의 앤스로픽 클로드 사용량을 대폭 축소하고 자사 AI 도구로 전환하고 있습니다. 이는 고객용 서비스는 유지하면서도 내부 인프라와 개발 프로세스를 자사 모델 중심으로 재편하려는 전략적 움직임입니다.

구글 크롬이 차세대 이미지 포맷인 JPEG XL(.jxl) 지원을 시작하며, 보안 강화를 위해 Rust 기반의 jxl-ms 디코더를 도입했습니다. 이를 통해 개발자들은 고효율 압축과 HDR 지원을 활용하여 더 풍부하고 안전한 웹 콘텐츠를 제공할 수 있습니다.

Bigwords.page는 URL의 해시(#)와 쿼리 파라미터를 활용해 웹 브라우저가 있는 모든 기기를 즉각적인 디지털 사이니지로 바꿔주는 서비스입니다. 별도의 로그인이나 앱 설치 없이 링크 공유만으로 타이머, QR 코드, 슬라이드 메시지 등을 구현할 수 있습니다.

프로그래밍의 'Push Ifs Up and Fors Down' 원칙은 조건문을 호출자 쪽으로 옮겨 입력 데이터의 범위를 좁히고, 반복문을 하위 함수로 내려 배치 처리(Batch Processing)를 가능하게 하여 성능과 가독성을 높이는 기법입니다. 이 원칙은 SQL의 조인 최적화나 데이터베이스의 벡터화된 실행 모델과도 논리적으로 연결됩니다.