일일 요약 · Hacker News
· 7 해커뉴스
OpenAI가 파티션 원리가 선택 공리를 함의하지 않음을 증명했다고 발표하자, 이 문제를 연구해온 수학자 아사프 카라길라가 강하게 반박한다. 그는 논문이 편집 불가능할 정도로 엉성하고, 참고문헌조차 엉뚱하며, 전문가의 검토 없이 공개됐다고 지적한다. 이러한 저품질 결과물이 미디어에서 '해결'로 포장되면서 수학 연구의 본질을 왜곡하고, 자금 지원 기관과 정…
Jevman은 AI 의사결정 모델을 고전 팩맨 게임으로 평가하는 오픈소스 벤치마크입니다. 각 모델은 고전 유령과 100게임을 치르며, 평균 점수, 생존 시간, 지연 시간, 백업 이동 비율, 게임당 비용 등으로 순위가 매겨집니다. HTTP 엔드포인트만 있으면 누구나 자신의 모델을 참가시킬 수 있고, CI가 모든 게임을 재생해 점수를 검증합니다. 리더보드에는…
SVG Spark는 브라우저에서 완전히 실행되는 10가지 무료 유틸리티 모음입니다. SVG를 PNG/WebP로 변환, 정규식 시각화, 소셜 이미지 리사이저, PDF 분할/병합, JSON을 CSV/Excel로 변환, SRT 자막 정리, UTM 링크 빌더, SQL 포맷터, 대비 검사기, Markdown 미리보기 등 개발자, 마케터, 크리에이터를 위한 도구를…
Pocketty는 iPhone과 iPad를 위한 SSH 터미널로, herdr와 연동해 AI 에이전트의 상태를 실시간으로 알려줍니다. 에이전트가 차단되거나 완료되면 암호화된 알림이 오고, 알림을 탭하면 해당 Pane이 SSH로 바로 열립니다. Secure Enclave에 저장된 키와 Face ID 잠금, HPKE 기반 종단간 암호화로 터미널 데이터는 기기를…
Edi Life OS는 습관, 목표, 재정, 집중, 칸반 등 인생의 모든 측면을 하나의 셀프 호스팅 대시보드에서 관리할 수 있는 올인원 라이프 OS입니다. 10개의 워크스페이스가 유기적으로 연결되어 습관이 목표 진행에 영향을 주고, 칸반 카드가 캘린더에 표시되며, 모든 데이터가 하나의 생산성 점수로 요약됩니다. 내장된 MCP 서버를 통해 Claude와 같…
코드는 이해하는 속도보다 빠르게 작성된다. Spinal은 이런 혼란을 해결하기 위해 등장한 코드베이스 이해 도구다. 148만 개 커밋과 9만 6천 개 파일로 구성된 Linux 커널에서 첫 검색 결과를 20ms 이내에 반환할 만큼 초저지연 성능을 자랑한다. 또한 다음에 무엇을 찾을지 예측하고, 주목할 만한 신호와 인사이트를 자동으로 부각한다. 에이전트에 뒤…
Jane Street의 내부 메시징 시스템 Aria는 하루에 수 테라바이트를 처리한다. 인턴 Theodor Totev는 토픽 파티션 인덱싱과 적응형 트리 분할을 도입해 팁 복구와 초기 복구의 비효율을 해결했다. 그 결과 프로덕션 워크로드에서 CPU 사용량이 30% 감소했고, 13분 걸리던 초기 복구가 2.5초 이내로 단축됐다.