일일 요약 · Hacker News
· 27 해커뉴스
우리는 내부 모델 Astra 를 활용해 10 년 이상 미해결된 수학 및 이론 컴퓨터 과학 문제 10 가지를 해결했습니다. 고차원 기하학부터 양자 복잡성까지 다양한 분야에서 새로운 결과를 도출했으며, 모든 증명은 Lean 으로 형식화되어 검증되었습니다. 이 성과는 과학자와 수학자들이 발견을 가속화할 수 있도록 지원하는 우리의 책임 있는 접근 방식을 보여줍니…
우리는 현재 순간을 견디지 못해 끊임없이 다음 것을 추구하며 도피합니다. 이 글은 아무것도 하지 않고 편안함을 느끼는 것이 왜 어려운지 설명하고, 호흡에 집중하며 존재 자체를 수용하는 간단한 훈련법을 제안합니다. 이를 통해 불필요한 도피 습관을 줄이고 삶을 더 편안하게 살 수 있습니다.
저는 C로 작성된 WASTE 엔진을 통해 64GB RAM 노트북에서 2.78조 파라미터 규모의 Kimi K3 모델을 실행하는 데 성공했습니다. 이 엔진은 NVMe 디스크에서 필요한 가중치를 스트리밍하여 메모리 한계를 극복하며, 별도의 의존성 없이 작동합니다. 이는 거대 모델을 클라우드 없이 로컬에서 실행하는 새로운 가능성을 보여줍니다.
캐나다 정부가 UN Cybercrime Convention에 서명했지만, 이는 사이버 범죄 대응을 넘어 광범위한 국경 간 감시와 전자 증거 공유를 허용하는 조약입니다. 인권 단체와 전문가들은 이 조약이 러시아, 중국 등 독재 정권의 억압적 법률을 국제적으로 활용할 수 있는 통로가 될 수 있다고 경고했습니다. 정부가 9개월 전 서명을 보류했던 이유와 현재…
저는 x86_64-unknown-linux-musl 환경에서 빌드된 Ripgrep 15.2.0 이 매우 큰 디렉토리 트리를 고도로 병렬로 검색할 때 간헐적으로 SIGSEGV 오류로 충돌하는 문제를 발견했습니다. 이 오류는 MUSL 라이브러리의 할당기 내부에서 발생하며, OpenAI Codex 에 포함된 바이너리에서도 재현되었습니다. 20GiB 규모의 데이…
저는 AI 시대에 맞춰 데이터 시각화를 혁신할 새로운 언어 Flint를 소개합니다. Flint는 복잡한 차트를 쉽고 직관적으로 생성할 수 있도록 설계되었으며, 기존 도구들의 한계를 극복합니다. 이 언어를 통해 개발자와 데이터 과학자는 더 빠르게 인사이트를 도출할 수 있습니다.
AI 는 몇 분 만에 작동하는 프로토타입을 만들어주지만, 이는 제품과 다릅니다. 확장성, 보안, 에러 처리 등 실제 운영을 위한 판단은 여전히 인간이 해야 합니다. 컴퓨터 과학의 기초를 이해하지 않고 AI 에만 의존하면, 결국 문제를 해결할 수 없는 상황에 처하게 됩니다.
AI 기술 발전으로 개인용 소프트웨어 개발 비용이 급감했습니다. 저는 가족의 수면 패턴, 저의 마라톤 훈련, 그리고 재즈 연습을 위한 앱을 직접 구축했습니다. 복잡한 사용자 계층 없이 순수하게 우리 가족의 필요에 맞춘 이 도구들은, 기존 상용 앱이 제공할 수 없는 깊은 개인화를 가능하게 합니다.
BMW 는 2026 년 7 월, 고객 차량의 대시보드 Control Display 에 Spider-Man: Brand New Day 영화 광고를 배포했다. 이는 2023 년 차량을 사적인 공간이라며 광고를 배제하겠다고 밝힌 BMW 의 이전 입장과 배치된다. 전 세계 70 개 이상 시장에서 운영되는 이 캠페인은 소유자가 이미 구매한 차량에 제3자 광고를 노…
저는 RamenHaus 에서 매일 다른 라멘 한 그릇을 사진으로 찍어 기록합니다. 현재까지 114 그릇의 라멘을 맛보고 게시했습니다. 이 프로젝트는 Rotating Sandwiches 와 Naive Yearly 에서 영감을 받았습니다. 쿠키나 팁, JavaScript 없이 오직 라멘만을 제공합니다.
수소와 산소의 동위원소 비율이 물의 동결점에 미세한 영향을 미치기 때문에, 과학계는 정확한 측정을 위해 표준이 필요합니다. 1961 년 제안된 SMOW 는 국제원자력기구 회의에서 VSMOW 로 정립되어 현재까지 가장 공식적인 물로 사용되고 있습니다. 이 귀한 물은 5ml 병에 159 달러, 갤런당 12만 달러의 가치를 지니며, 삼중점 셀을 통해 온도를 보…
Herald Square 의 북서쪽 모서리에서 100 년 이상 Macy's 광고판에 가려져 있던 작은 홀드아웃 건물이 드디어 모습을 드러냈다. 이 건물은 1900 년대 초 Macy's 와 Siegel-Cooper 간의 치열한 소매 전쟁의 상징으로, 현재는 Kaufman Realty 소유로 새로운 광고주가 등장할 준비를 하고 있다.
Large Reasoning Models 가 수학적 난제를 해결하는 등 놀라운 성과를 내지만, 그 내부의 추론 과정은 실제 사고를 반영하지 않을 수 있습니다. 연구에 따르면 모델이 생성한 Chain of Thought 는 단순한 ' mumblings'일 뿐, 실제 결과에 필수적이지 않을 수 있습니다. 이 모순된 현상 속에서 AI 의 진정한 추론 능력을 재…
NAS 시장이 모듈성과 사용자 통제를 잃고 폐쇄적인 생태계로 변하고 있습니다. 납땜된 LPDDR RAM, 제한된 네트워크 속도, 하드웨어 잠금 정책 등 10 가지 주요 변화를 통해 제조사들이 비용 절감과 생태계 종속을 위해 사용자 경험을 어떻게 희생시키는지 분석합니다.
이번 달 Servo는 기록적인 558개의 커밋을 통해 SharedWorker와 다양한 미디어 쿼리를 포함한 핵심 웹 플랫폼 기능을 추가했습니다. SpiderMonkey 보안 업데이트와 변수 폰트 처리 개선을 통해 lichess.org와 같은 실제 사이트의 호환성이 크게 향상되었으며, 웹 브라우저의 오랜 숙원인 텍스트 선택 기능 구현도 시작되었습니다.
웹 컴포넌트를 10 년 가까이 다루며 겪었던 레이아웃 시프트와 SSR 문제 등을 해결하기 위해 Elena 라이브러리를 만들었습니다. Elena 는 HTML 과 CSS 를 먼저 렌더링한 후 JavaScript 로 기능을 점진적으로 추가하는 Progressive Web Components 철학을 따릅니다. 이를 통해 프레임워크 간 호환성을 확보하고 접근성을…
Go Collections 작업 그룹은 Go 1.28 에 표준 라이브러리에 Generic Collection Types 를 추가하기 위해 노력해 왔습니다. 우리는 hash.Map, hash.Set, ordered.Map, 그리고 개선된 heap API 를 포함한 새로운 데이터 구조를 제안하며, Go 의 실용성과 단순함 원칙을 유지합니다. Generics…
나는 부조리라는 개념을 통해 삶의 무의미함을 인정하고 그 속에서 저항해야 한다고 믿었습니다. 하지만 Jean-Paul Sartre 는 역사를 통해 공산주의 이상을 실현하려 했죠. 이 근본적인 차이로 인해 우리는 친구에서 치열한 라이벌로 변했습니다. 혁명은 자유를 억압하지만, 진정한 저항은 인간성을 지키는 길입니다.
개발자들은 프로덕션 장애를 최우선으로 해결하지만, 개발 도구나 빌드 시스템의 문제는 종종 간과합니다. 그러나 파이프라인이 마비되면 소프트웨어 제작 자체가 불가능하므로, 이는 개발 팀에게도 명백한 생산 중단입니다. QA 서버 장애나 테스트 실패 등 모든 단계는 프로덕션 장애로 간주하고 즉시 해결해야 합니다.
Manifest 팀은 7,000 명의 클라우드 사용자를 대상으로 LLM router 를 4 개월간 테스트한 결과, 대부분의 경우 단일 모델을 사용하는 것이 더 효과적임을 확인했습니다. 프롬프트만으로는 작업 복잡성을 판단하기 어렵고, 캐싱이 비용 절감에 더 효율적이며, 모델 간 전환은 일관성을 해치고 예측 불가능성을 증가시킵니다. 결국 절감된 비용은 유지보…
단순해 보이는 마침표와 쉼표, 중점 같은 기호들이 언어와 디자인에 미치는 영향을 살펴봅니다. 각 기호의 디자인 특징, Kerning, 그리고 지역별 사용 관습의 차이를 설명하며, 특히 소수점 표기나 시간 표시에서 발생하는 혼란을 해결하는 방법을 다룹니다. 올바른 타이포그래피를 위해 이러한 작은 점들의 미묘한 차이를 이해하는 것이 중요합니다.
Solid Queue 1.6.0 릴리스를 통해 스레드 풀 대신 단일 Fiber 리액터 스레드에서 Fiber를 사용하여 작업을 실행하는新模式를 지원합니다. 이제 작업자 설정에서 스레드 수 대신 Fiber 수를 지정하면 되며, 내부적으로 Async를 활용합니다. 이는 LLM 호출과 같은 I/O 중심 워크로드에 특히 유용하며, Rails에서 Fiber 격리를…
위대한 작업을 위해서는 타고난 재능과 깊은 관심을 가진 분야를 선택해야 합니다. 그 분야의 최전선까지 지식을 확장한 뒤 남들이 간과하는 공백을 발견하고, 그 틈새를 파고들어야 합니다. 단순한 근면보다는 호기심과 즐거움이 더 강력한 동력이 되어야 합니다.
Matrix 커뮤니티 관리자로서 한 주 동안 겪은 다양한 기술적 난관을 공유합니다. Space 권한 설정 오류부터 Draupnir 봇의 Dendrite 호스팅 문제, 그리고 서버 간 동기화 실패로 인한 사용자 차단까지, 실제 운영 현장에서 마주치는 예상치 못한 문제들을 다룹니다. 이러한 경험은 Matrix 생태계의 이상과 현실 사이의 괴리를 보여줍니다.
G'MIC 프로젝트가 출시 18 년 만에 성숙한 4.0 버전을 선보였습니다. 이번 업데이트는 새로운 필터 644 개를 포함하며, G'MIC-Qt 플러그인을 통해 GIMP, Krita, Photoshop 등 다양한 소프트웨어와 연동됩니다. 이제 우리는 기능 추가보다 프레임워크의 안정성과 성능 향상에 집중하여 디지털 아티스트들에게 더욱 견고한 도구를 제공합니…
저는 이동하는 기차 창문에 산업용 선형 카메라를 고정하여 초당 수천 줄의 데이터를 포착하고 이를 후처리하여 거대한 사진을 합성합니다. 이번 발표에서는 일관된 이미지를 만들기 위해 속도를 정확히 측정하고 각 줄을 빠르게 수집하는 과정의 어려움, 그리고 이렇게 생성된 초광각 이미지를 처리하고 표시하는 데 따른 기술적 문제들을 공유합니다.
Agentic AI 가 등장하며 LLM 추론의 병목 현상이 연산에서 메모리로 이동했습니다. AMD Instinct MI450 의 새로운 하드웨어 기능과 Gluon DSL 을 활용하여 Attention Decode 커널을 최적화하는 방법을 소개합니다. 이를 통해 HBM 대역폭의 85% 에 달하는 성능을 달성하고, 메모리 집약적 AI 워크로드를 위한 효율적인…