AI가 작성한 코드에 대해 푸시 전에 사용자에게 퀴즈를 내는 Git 훅, Sphinx
Sphinx는 AI 코딩 에이전트가 만든 변경 사항을 푸시하기 전에 질문을 내는 Git 훅입니다. 사용자가 코드의 동작과 예외 상황을 설명하면 푸시를 허용하며, 개발자가 이해하지 못한 채 코드를 배포하는 일을 줄이려는 도구입니다.
Hacker News · 최신 글
Lean에 검증된 커널이 함께 배포됩니다
Lean v4.35.0은 개발 내용을 여러 커널로 다시 검사하는 `lake check`를 제공합니다. Lean으로 작성하고 일관성을 증명한 con-leche와 Rust로 옮겨 검증한 con-ron을 포함해 검사 경로를 늘렸으며, 정식 배포 커널과 구현·컴파일러의 오류가 증명 결과에 끼칠 위험을 줄이는 데 초점을 둡니다.
Around The World 게임의 하늘을 더 아름답게 렌더링하기
항해 탐험 게임 Around The World의 개발자가 Godot에서 구름의 다중 산란, 대기 산란, 수평선과 톤 매핑을 조정해 하늘을 다듬습니다. 직접 만든 Rust 광선 추적기로 기존 구름 조명 테이블의 한계를 확인하고, 행성과 달의 공전·자전을 엔진에서 모델링해 일출과 일몰을 계산합니다.
DeepSeek Search와 Fetch API, 성공 요청 1,000건당 0.75달러
DeepSeek가 에이전트와 RAG 애플리케이션용 Search API와 Fetch API를 공개했습니다. 두 API 모두 성공 요청 1,000건당 0.75달러이며, 검색 결과 수와 무관하게 요청 단위로 과금합니다. 계정별 요청 한도는 각각 초당 5회입니다.
Show HN: Esp32sim - 브라우저에서 ESP32 펌웨어 실행하기
Esp32sim은 ESP32-S3, C3, C6와 클래식 ESP32의 펌웨어를 실제 ROM과 부트로더부터 실행하는 오픈소스 에뮬레이터입니다. 명령줄과 브라우저에서 수정하지 않은 펌웨어를 돌리고, 주변장치와 보드, 가상 Wi-Fi 네트워크도 모델링합니다. 하드웨어 비교 결과와 각 칩의 지원 범위를 함께 공개합니다.
코모도어 64 하드웨어 시뮬레이터: 칩과 핀을 고장 내고 결과를 확인하세요
Commodore 64의 ASSY 250407 메인보드를 핀 단위로 시뮬레이션하는 프로그램입니다. 칩과 연결부에 고장을 설정해 화면과 신호 변화를 살펴보고, 실제 보드 학습이나 고장 진단에 활용할 수 있습니다. 실제 속도보다 느리고 아날로그 동작에는 추정값을 사용합니다.
댐을 하나씩 없애자 미국 북동부 강에 물고기가 돌아오고 있습니다
미국 북동부에서 노후 댐을 철거하면서 청어와 바다칠성장어 같은 회유성 어류가 강으로 돌아오고 있습니다. 플리머스 타운 브룩에서는 연간 청어 회귀량이 약 2만5천 마리에서 20만 마리 이상으로 늘었지만, 남은 댐과 복잡한 철거 절차, 에너지·홍수 관리 문제도 과제로 남아 있습니다.
도리토에 든 색소로 닭고기를 투명하게 만들기
식용 색소 타르트라진(tartrazine)에 닭가슴살을 담가 빛이 일부 통과하는 시료를 만들고, 그 원리를 굴절률 변화로 설명합니다. 논문보다 낮은 농도와 실온에서 진행한 실험에서는 얇게 자른 닭고기에 약한 반투명성이 나타났습니다.
후리가나를 표시하는 일본어 글꼴, Furifont
Furifont는 글꼴의 합자(ligature)를 활용해 일본어 한자 위에 후리가나를 표시합니다. 웹사이트에 글꼴을 설치하거나 북마클릿·사용자 스크립트로 적용할 수 있지만, 한자 읽기는 문맥에 따라 달라져 잘못 표시될 수 있습니다.
Pele, 테마를 적용할 수 있는 Mermaid 다이어그램 SVG 렌더러
Pele은 Mermaid 문법을 SVG로 렌더링하는 도구로, CSS 변수로 색상과 글꼴을 설정하며 색상 변경은 다시 렌더링하지 않고 적용합니다. 제작자가 공개한 비교에서 gzip 번들 크기는 230kB, 렌더링 시간은 0.05~0.3ms이며 Mermaid.js보다 작고 빠르다고 제시합니다.
건강한 산호와 맞닿은 백화 산호, 며칠 만에 회복
실험실에서 건강한 산호 조각과 맞닿은 백화 산호가 공생 조류를 전달받아 회복했습니다. 두 조각이 같은 유전형일 때만 조직 다리가 형성됐으며, 연구진은 이 접촉 방식이 산호 복원에 쓰일 가능성을 제시합니다.
태양광 발전량, 세계 월간 기준으로 처음 원자력 추월
WNISR 2026에 따르면 태양광은 2025년 4월 처음으로 월간 발전량에서 원자력을 앞섰고, 2026년 3~5월에는 태양광과 풍력이 각각 원자력을 넘어섰습니다. 태양광·배터리 설비 증설과 원전 건설 지연이 발전량 격차와 전력망 운영 논쟁을 키우고 있습니다.
OpenCode 보안 침해로 Console 사용자 1.4% 영향
OpenCode는 대규모 distillation 공격과 관련한 보안 침해로 OpenCode Console 사용자 1.4%가 영향을 받았다고 밝혔습니다. 팀은 저장된 외부 제공업체 API 키가 노출됐을 수 있다며 해당 키를 폐기하고 교체하라고 안내했지만, 침해 경위와 distillation 공격의 관계는 아직 공개하지 않았습니다.
일반 얼음보다 10배 강한 '슈퍼 얼음'
히브리대학교 연구진이 셀룰로오스 나노결정과 맞춤형 단백질을 얼음에 결합해 BioPykrete를 만들었습니다. 일반 얼음보다 10배 강하고 파괴 전 에너지를 70배 더 흡수하지만, 현재는 소규모 개념 검증 단계입니다.
몬테카를로 시뮬레이션
몬테카를로 시뮬레이션은 무작위 표본과 큰 수의 법칙을 활용해 적분, 조합 문제, 은퇴 자금의 불확실성을 추정합니다. 글은 원주율 추정과 SET 카드 조합 사례를 거쳐 평균 수익률만 적용한 은퇴 계산이 실제 위험을 가릴 수 있음을 보여줍니다.
Show HN: Gemini 4 Argon이 스타크래프트를 플레이합니다
StarSkirmish Bench v0.2는 LLM이 한 시간 동안 C++로 작성한 StarCraft: Brood War 봇의 성능을 비교합니다. GPT-6 Astra가 1위, GPT-6.1 Sol이 2위이며 Gemini 4 Argon을 포함한 세 모델은 37~39점으로 비슷한 결과를 냈습니다. 다만 최고 모델도 상위 인간 제작 봇을 상대로 승률이 7%에 그쳤습니다.
eBay, 무선 송신 장비 판매 제한…아마추어 무선 전용 장비는 예외
FCC의 새 장비 인증 규정에 맞춰 eBay가 무선 송신 장비 매물에 FCC ID 제출을 요구합니다. 아마추어 무선 주파수에서만 작동하는 장비는 인증 대상이 아니므로 예외이며, eBay는 해당 장비 매물에 FCC ID를 요구하지 않겠다고 밝혔습니다.
Ultramarine 1 Flash, 전문 지식 업무용 오픈 모델
Paper Instruments가 오픈 모델 Ultramarine 1 Flash를 공개했습니다. GLM-5.3 Flash를 기반으로 대규모 강화학습을 적용했으며, 자체 지식 업무 벤치마크에서 작업당 0.13달러로 Claude Fable 5 Max와 GPT-5.6 Sol Max보다 높은 점수를 기록했다고 밝혔습니다.
기억의 관점에서 트랜스포머를 유도할 수 있습니다
선형층, MLP, self-attention을 키-값 기억 저장소로 해석하고, 기억을 불러올 때 생기는 간섭을 기준으로 저장 용량을 비교합니다. 키 차원이 64일 때 추정 용량은 단순 선형 저장소의 약 64개에서 제곱 ReLU MLP의 약 2,700개, self-attention의 약 120만 개로 늘어납니다.
괄호 없이 JavaScript 함수를 호출하는 또 다른 방법
V8의 Error.prepareStackTrace와 프로토타입 변환을 조합해 괄호 없이 임의의 JavaScript 함수를 만들고 실행하는 방법을 설명합니다. 이 기법은 Error 객체와 배열의 문자열 변환, 단항 + 연산자의 암묵적 형 변환을 차례로 이용합니다.