Hacker News
원문 사이트 ↗Hacker News는 Y Combinator가 운영하는 글로벌 테크 커뮤니티로, 매일 수백 개의 스타트업·엔지니어링·연구 글이 업보팅으로 큐레이션됩니다. 실리콘밸리 창업자·시니어 개발자가 가장 빠르게 흡수하는 정보 채널로, 스타트업스쿨은 상위 인사이트만 한국어 분석과 함께 큐레이션합니다.
Hacker News 주요 토픽
Hacker News 관련 글 — 5 페이지
- 1
Lean 정理 증명器에 대한 수학자들의 이해: 신뢰성 & AI
과거 수십 년이 걸리던 수학적 증명의 형식화 작업이 AI를 통한 자동화 기술로 인해 단 며칠 만에 가능한 수준으로 진화했습니다. Anthropic과 OpenAI 등 빅테크 기업들이 복잡한 수학적 정리를 자동 변환하는 데 성공하며, 수학적 신뢰성 확보와 지식 구축의 새로운 시대가 열리고 있습니다.
What mathematicians should know about the Lean Theorem Prover: reliability & AI↗hacker-news.firebaseio.com
- 4
미국 기업들이 성분 목록 조작에 사용하는 사기 수법
미국 기업들이 제품의 첫 번째 성분을 유리하게 보이게 하려고 하나의 성분을 여러 개의 하위 성분으로 쪼개서 표기하는 '성분 분할(ingredient splitting)' 기술을 사용하고 있습니다. 이는 FDA 규정상 합법이지만, 실제로는 설탕 함량이 높음에도 불구하고 과일 함량이 높은 것처럼 소비자를 오도할 수 있는 기만적 행위로 지적받고 있습니다.
Scam American companies are using to manipulate ingredient lists↗hacker-news.firebaseio.com
- 8
기업가 재산 과세: 노르웨이, 2021–2025년의 증거
2021~2024년 노르웨이의 강화된 부유세 개혁이 기업 활동에 미친 영향을 분석한 결과, 상위 0.1%의 극소수 자산가 이탈은 확인되었으나 스타트업 창동자나 발명가의 유출은 없었습니다. 또한, 자산가들의 이탈에도 불구하고 이들이 운영하던 기업의 투자나 경제 활동은 유지되었으며, 세수 증대 효과도 뚜렷하게 나타났습니다.
Taxing Entrepreneurial Wealth: Evidence from Norway, 2021–2025↗hacker-news.firebaseio.com
- 12
23개의 핵심 오픈 소스 프로젝트 중 11개가 1~2명에 의해 운영되고 있습니다.
현대 인터넷 인프라를 지탱하는 주요 오픈소스 프로젝트들이 극소수의 개인 개발자에게 의존하고 있다는 분석 결과가 발표되었습니다. xz, 타임존 데이터베이스 등 핵심 프로젝트들이 적절한 자금 지원 없이 개인의 헌신에만 의존하고 있어, 관리자 부재나 악의적인 공격 시도가 전 세계적인 시스템 붕괴로 이어질 수 있는 위험한 상황입니다.
11 of 23 Core Open Source Projects Run on 1 or 2 People↗hacker-news.firebaseio.com
- 22
Show HN: AI 에이전트가 화면에 큰 화살표, 박스, 텍스트를 그릴 수 있습니다.
'bigarrow'는 AI 에이전트가 macOS 화면 위에 화살표, 박스, 텍스트를 그려 사용자의 주의를 끌 수 있도록 돕는 명령줄 도구입니다. 에이전트가 스스로 해결할 수 없는 보안 인증이나 권한 승인 단계에서 인간에게 명확한 행동 지침을 시각적으로 전달하여 에이전트와 인간 사이의 작업 병목을 해결합니다.
Show HN: Let your AI agents paint big arrows, boxes and text on your screen↗hacker-news.firebaseio.com


















