Hacker News 뉴스
Y Combinator의 Hacker News에서 화제가 된 기술 토론과 링크를 큐레이션합니다.
총 2,727건
- 302
LLM이 TLA+로 현실 세계 시스템을 모델링할 수 있을까?
LLM이 TLA+와 같은 형식 검증 언어를 사용하여 실제 분산 시스템의 구현체를 정확히 모델링할 수 있는지 평가하는 'SysMoBench' 벤치마нк의 연구 결과를 다룹니다. 연구 결과, LLM은 문법이나 실행 단계는 통과하지만, 실제 코드의 로직을 반영하는 일치성(Conformance)과 불변성(Invariant) 테스트에서는 40%대의 낮은 점수를 기록하며 '교과서적 재현'에 그치는 한계를 보였습니다.
Can LLMs model real-world systems in TLA+?↗sigops.org
- 310
Show HN: Corsproxy – CORS 오류 즉시 해결 – 개발용 무료
Corsproxy.io는 개발 과정에서 빈번하게 발생하는 CORS(Cross-Origin Resource Sharing) 오류를 즉각적으로 해결해 주는 프록시 서비스입니다. 로컬 개발 환경에서는 무료로 제공하며, 프로덕션 환경에서는 캐싱, 헤더 조작, 데이터 포맷 변환 등 고급 기능을 유료로 제공하여 개발 생산성을 극대화합니다.
Show HN: Corsproxy – Fix CORS Errors Instantly – Free for Development↗corsproxy.io
- 314
Show HN: 초고압축 – 수학적으로 손실 없는 5비트 LLM 압축 기술
UltraCompress는 단일 32GB 소비자용 GPU만으로 405B 규모의 초거대 언어 모델(LLM)을 성능 저하를 최소화하며 5비트로 압축할 수 있는 혁신적인 기술입니다. 레이어별 스트리밍 방식과 저차원 보정(V18-C) 기법을 통해 대규모 모델의 경량화 및 배포 비용을 획기적으로 낮출 수 있습니다.
Show HN: UltraCompress – first mathematically lossless 5-bit LLM compression↗github.com
- 315
Show HN: 분리된 편집 가능한 파트로 구성된 3D 객체를 생성하는 도구를 만들었습니다
NOVA3D는 텍스트, 이미지, 스케치를 기반으로 편집 가능한 구조화된 3D 객체를 생성하는 AI 도구입니다. 단순한 메쉬 생성을 넘어 Blender Python 코드를 생성함으로써, 각 부위가 분리된 계층 구조(Hierarchy)를 가진 GLB 파일을 출력하여 후속 작업에서의 편집 가능성을 극대화했습니다.
Show HN: We built a tool that generates 3D objects with editable, separate parts↗nova3d.xyz
- 317
pg_flight_recorder: pg_cron을 통해 PostgreSQL 시스템 상태를 지속적으로 샘플링하기
pg_flight_recorder는 외부 에이전트나 사이드카 없이 pg_cron을 활용해 PostgreSQL의 시스템 상태를 지속적으로 샘플링하는 서버 사이드 확장 기능입니다. 장애 발생 시점의 쿼리, 락(Lock), I/O, WAL 활동 등을 마치 블랙박스처럼 기록하여 데이터베이스의 과거 상태를 정확히 재구성할 수 있게 해줍니다.
pg_flight_recorder: Continuously sample PostgreSQL system state via pg_cron↗github.com














