Jane Street, 11x11 스타배틀 검사 ASIC 퍼즐 해답 공개, 30개국에서 400여 건 풀이 제출

Jane Street, 11x11 스타배틀 검사 ASIC 퍼즐 해답 공개, 30개국에서 400여 건 풀이 제출

  • Jane Street가 공개한 ASIC 퍼즐의 정체는 11x11 스타배틀(투 낫 터치) 검사기로, 각 행·열·영역에 별 2개를 두고 대각선 포함 인접 배치를 금지하는 규칙을 하드웨어로 검증함
  • 칩은 121비트 입력을 순차로 받아 행·열·영역별 2비트 카운터, 영역 매핑용 121비트 ROM, 인접 감시용 지연선, 전체 별 개수 카운터를 병렬로 돌린 뒤 결과를 AND로 묶어 성공 신호를 만듦
  • 정답 문자열은 ROM에 LFSR로 난독화해 저장했고, 성공 시 TWO STARS를, 오답 대부분은 TRY AGAIN을 출력하며 일부 입력은 이스터에그를 발생시킴
  • 30개국 이상에서 약 400건의 풀이가 들어왔고, KLayout·Yosys·Z3에 Python·Rust·C++·OCaml·Haskell·Odin으로 직접 짠 도구를 곁들인 풀이가 많았음
  • 칩은 오픈소스 SKY130 표준 셀 라이브러리와 LibreLane 툴체인으로 설계했고, GDS에 셀 이름을 남겨 Magic·KLayout의 LVS로 게이트 넷리스트를 추출할 수 있게 했음

Hacker News opinions

회로 설계 쪽 사람이라 이런 퍼즐은 반가움. 원래 완전 폐쇄적인 업계에 커뮤니티를 만들려는 시도잖아. 근데 고빈도 매매로 돈 버는 데서 자금이 나온다는 건 좀 그럼. 자원 낭비고.

HFT가 예전보다 효율적임. 스프레드랑 수수료로 개인이 뜯기던 총액보다 지금 HFT가 가져가는 몫이 적고 가격 발견도 나아졌음. 스프레드도 좁아졌는데 뭐가 문제임?

Jane Street은 HFT 아니지 않나. Citadel이나 HRT랑 헷갈린 거 같은데. 걔넨 좀 옛날 스타일 퀀트 헤지펀드 쪽이고.

HFT랑 무관하게 MPW 셔틀 기반으로 돌아가는 오픈소스 실리콘 커뮤니티는 따로 있음.

HFT가 시장을 효율적으로 만든다는 건 AI가 일자리 없애서 기업이 효율적이 된다는 논리랑 같음. HN이 자기 직군을 AI한테 계속 바치는 걸 보면 씁쓸함. 나는 리테일 퀀트인데 그 AI 도구로 시장에서 엣지 뽑는 모델 만드는 건 재밌음. 덕분에 테크 재취업은 글렀지만.

AI 모델들은 해답이랑 이스터에그를 찾아냈음?

Jane Street 퍼즐 볼 때마다 문제 해결 능력을 어떻게 키워야 하나 싶음. 다른 분야에서 패턴을 어떻게 끌어오는지. 그냥 퍼즐 많이 푸는 것만은 아닐 거 같은데 팁 있으면 알고 싶음.

다른 사람보다 먼저 포기하지 않으면 됨.

어려운 문제를 계속 풀고 실패해도 버티는 연습이 제일 큼. 어디서 길을 잘못 들었는지 되짚어보고 다음엔 그 지점을 피하는 식으로. 좋은 판단과 나쁜 판단의 갈림길을 알아두면 도움이 됨. 결국 양과 끈기임.

Jane Street 하드웨어 팀이 세계에서 제일 빠른 매매 시스템용 FPGA랑 ASIC을 만드는데 일상이 딱 이런 퍼즐임. 근데 이제는 아님. AI가 실패하는 테스트 디버깅을 잘해서 파형이랑 명령 트레이스를 며칠씩 들여다볼 일이 없어짐. 그건 안 그리울 듯.

Claude한테 회로 퍼징을 시켜봤는데 그건 안 됐고 대신 Z3/SMT 쪽으로 가서 3시간 만에 풀었음. 이미 풀이가 나온 뒤긴 한데 소프트웨어 리버서 입장에선 소름 돋았음. 풀이 글도 씀.

해커뉴스
GitHub Actions 러너 배정 지연 장애, Actions와 Pages 포함 3시간 40분 만에 복구화성 카오스 지형 위키백과 문서가 해커뉴스에 올라와 '토끼굴' 반응노르웨이, 공원·학교·헬스장 등 공공장소에서 스마트 안경 임시 금지 추진2026 노벨 생리의학상, 빛으로 뉴런을 조절하는 광유전학 연 칼 디서로스·페터 헤게만·게오르크 나겔 3인 공동 수상Haskell로 GTK 4·libadwaita 할 일 앱 만들기, haskell-gi와 Elm 아키텍처 1부Claude Opus 5.5 에이전트가 계산으로 찾아낸 상온 반강자성 반도체 후보 2종퀄컴, 화웨이 LogicFolding 칩 제조 특허 라이선스 계약 체결Reflection이 501B 오픈웨이트 MoE 모델 Beam 공개, 가중치는 이번 달 말플로리다 여성, Claude를 일기장처럼 쓰다가 보안관 사무소 난사 언급이 경찰에 신고돼 2급 중죄 기소Haskell 블로그, foldl과 foldr 차이 설명 재게재: 지연 평가에서 foldl이 thunk 사슬로 공간을 선형으로 늘림치사 유전자 모기로 뎅기열 95% 줄였는데, 미국 승인은 15년째 공전 중C에서 union으로 타입 안전 제네릭 자료구조 만드는 4단계 기법2026 노벨 생리의학상, 광유전학 연 칼 디서로스·페터 헤게만·게오르크 나겔 3인 수상화웨이·퀄컴, 5G와 AI 포함 다년 특허 크로스라이선스와 미국 특허 매입 계약 발표벤 톰슨의 맥 미니, macOS 화면 공유 결함으로 루트 탈취…클로드 에이전트가 채굴기 발견Cloudflare, AI 에이전트용 Web Search API 베타 공개. Ceramic.ai, Exa, Linkup 3개 제공자 지원GrapheneOS, 픽셀 11에서 MTE 빠진 걸 확인하고 시리즈 건너뛰기 검토... 모토로라로 초점 이동독일 RobCo, $1B 밸류에이션으로 유럽 로봇 유니콘 등극덴마크 CPR 레지스터에서 880만 명 이름·주소·주민번호 무단 유출레드햇 벤치마크: Jev 같은 결정 모델, LLM-as-a-judge와 전통 분류기를 이기지 못함석유 제품을 식물 소재로 바꾸는 리뷰가 해커뉴스 프론트페이지에 올라 바이오연료 회의론으로 번짐Claude에게 스캐너를 맡겼다가 기어를 부순 뒤, 네거티브 변환만 자동화한 35mm 필름 스캔 파이프라인Xray-core, 인증서 검증 우회 취약점 반년간 은폐 의혹...'코드 단순화'라며 조용히 패치Stripe Katie Dill의 AI 시대 'zombie UI' 경계 강연, 해커뉴스는 "예술은 확장 대상이 아니다" 반발스왑으로 밀려난 Go GC 메타데이터가 40ms stop-the-world 정지를 만든 사례CedarDB, 1993년 원본 Doom의 게임 로직과 렌더러를 SQL로 이식해 35 FPS로 구동팁펫 스튜디오 폐업 후 90GB 스톱모션 자료, 인터넷 아카이브에 공개1997년 백업 우화 'The Tao of Backup'이 해커뉴스에 다시 올라, 테이프 비용과 NixOS 재현성 이야기로 번짐F1 바레인 GP 포메이션 랩 소프트웨어 결함으로 전 차량 출력 상실, 드라이버들 "용납할 수 없다"스탠퍼드 Ousterhout의 "TCP는 AI 클러스터의 병목" Homa 강연, HN에서 설계 비판까지SSH 원격 포워딩과 nginx secure_link로 만드는 셀프호스팅 HTTP 터널Jane Street, 11x11 스타배틀 검사 ASIC 퍼즐 해답 공개, 30개국에서 400여 건 풀이 제출인포콤 '인피델'에서 40년 묵은 와일드 포인터 컴파일러 버그 발견브라우저에서 VB6 IDE를 그대로 재현, 폼 디자이너와 샘플 주문 앱까지 실행천장 선풍기가 팬들리에로: 웨이페어 $169 크리스털 팬과 교체 불가 LED잘못된 마스킹으로 드러난 구글 데이터센터 물·전기 사용량: 링컨 52.65MW, 파피리언 연 547.88MgalmacOS 27에서 Apple Intelligence 끄고 모델 파일까지 지우는 CLI RemoveMacAI, HN에서 curl | bash 신뢰 논쟁 촉발울프럼, AI가 수학을 대신한다는 주장에 1988년 Mathematica 사례 들어 반박해커뉴스 프런트에 다시 오른 피터 왓츠의 '블라인드사이트', 의식은 진화의 사치라는 논쟁하일브론 문제 최선 배치 모은 사이트, 아마추어 수학자들이 신기록 잇달아 갱신Apple Magic 키보드·트랙패드를 Apple ID 없이 두 Mac에서 공유하는 오픈소스 Magic Switch전 세계 등화 75,919개를 지구본에 올린 mapped.earth, 모바일 핀치 줌 깨짐과 데이터 과다 표시 지적macOS 사진·동영상 모든 프레임을 AI로 검색하는 오픈소스 SCM, HN에서 프레임 샘플링 비용 논쟁Rust 메타데이터 조기 방출로 빌드와 검사가 최대 2배 빨라진 프로토타입 공개글라슈테에서 주운 쓰레기로 만든 30분짜리 진자시계, NOMOS 레지던시에서 제작돼 GTC 기준 시계로노스이스턴대, 차량 21대와 동반 앱 30개 추적해 커넥티드카 데이터 흐름 공개Strata, RTX 4090에서 Qwen3.8 Flash Next 125B를 초당 124 토큰으로 돌려Playdate C 최적화 비법: 게임보이 에뮬레이터 코어를 20KB에서 2KB로GPU 트레이스 시각화 도구 gpuvis, 커밋 1,778개에 스타 921개VGHF 디지털 아카이브, 잡지 5000종 돌파하고 일본어 잡지 지원 시작C2PA 제외 범위로 파일 전체를 서명에서 빼내 타임스탬프까지 위조한 PoC 공개3Blue1Brown 그랜트 샌더슨의 2023년 '수학의 교육적 저주' 강연이 해커뉴스에서 다시 화제메타 Muse가 앱스토어 1위, 기술은 새로울 게 없고 설계가 이겼다는 분석Jagex, 언리얼 엔진으로 만드는 신작 RuneScape MMO RS4 공개. 출시까지 몇 년러시아가 발전소를 때려도 미콜라이우 수돗물이 나온 이유는 덴마크 지원 오프그리드 태양광쓰레기통 6개에 UWB 태그 붙여 "내놨는지" 확인하는 BinRangeLiDAR로 찾은 뉴욕시 최고 높이 나무 후보 4그루, 20년 넘은 기록 갱신 제안Nolan Lawson이 본 '플랫폼을 쓰라'는 말이 안 먹히는 이유: jQuery 시대의 습관, 문서화 격차, 직접 만드는 재미에이전트에 필요한 건 메모리가 아니라 문서라는 주장, 메모리 플러그인은 전부 RAG라는 지적EMT 자격을 딴 소프트웨어 엔지니어가 꼽은, EMT가 되지 않은 21가지 이유 순위로댕 미술관 3D 스캔 소송, 콩세유 데타가 포인트 클라우드를 비문서로 재분류현직 전기공의 반박: 대학 순등록금은 연 $2,500 미만, 임금 프리미엄은 여전히 대졸 쪽HN: 'Triumph of the Nerds' 제작자 밥 크링글리 별세, 애플 초기 직원 출신사이먼 윌리슨 "사용량 기반 서비스엔 기본 하드 예산 상한 필요"... AWS·구글 클라우드 지출 한도 도입OpenAI 안전 리더 데이비드 로빈슨 사임, "문화가 망가졌다" 경고얀 르쿤 "AI가 인류 멸망시킬 우려 전혀 없다", 아모데이는 '현혹된 상태'라고 비판OPM 국장이 '모범 연방 직원'으로 지목한 20세 DOGE 출신, 최소 6개 주에서 형사 책임 위험밸브 Timur Kristóf, GCN 1.0/1.1 구형 AMD GPU를 AMDGPU 커널 드라이버로 끌어올린 작업 XDC 2026에서 발표Cloudflare, Workers와 Artifacts로 차세대 Git 플랫폼 공모전 개최... 상금 $25k는 크레딧 지급 논란Opus 5.5 프롬프트 가이드: 'think carefully' 지우고 CLAUDE.md에 정지 규칙 넣으라고 권고연방판사, Flock 번호판 검색을 '무차별 대량 감시'라며 수정헌법 4조 위반 판결중력장으로 우주선을 슬링하는 브라우저 게임 Hole Punch 공개MPEG-2 TS를 MOQ로 패키징하는 IETF 드래프트, 해커뉴스 프런트페이지 논의는 가치를 잘못 짚었다는 반박스탠퍼드 철학백과 'Holes' 항목 2025년 개정: 구멍은 실재하는가, 아니면 없는 것인가Goffin 앵무새 15마리, 몸을 장애물로 인식하는 BAO 과제서 97.8% 성공지렁이 이동을 지도로 그리는 탐지기 구상, 현장 데이터는 1988년 연구뿐Show HN: Offrun, 맥에서 Claude Code와 Codex를 한 워크스페이스로 관리FTL, 리눅스 바이너리 호환 사용자 공간 OS로 클라우드 컨테이너 격리 겨냥Cities: Skylines 2의 도시가 너무 사각형이고 너무 깨끗하다는 미학 비판, AI 목업 이미지 두고 HN에서 공방C++ Insights: 컴파일러 눈으로 본 C++ 소스, GitHub 스타 4.5kAleph Alpha, 78B 총 파라미터에 활성 3B, 1M 컨텍스트의 오픈웨이트 MoE Kolibri를 Apache 2.0으로 공개GitHub 새 대시보드가 기본 화면으로 전환, 이슈와 PR 중심 개편에 피드는 별도 탭으로 분리cp의 -r과 -R, GNU coreutils에서는 2002년에 병합됐지만 BSD와 POSIX는 여전히 -R만 권장16억 삼각형 Zorah 씬, meshoptimizer 압축으로 glTF 63.3GB를 32.6GB로 줄여닌텐도 64용 파트너-N64 개발 키트, 개조 콘솔로 브레이크포인트와 리셋을 구현GS1, 50년 만에 바코드 퇴출 선언하고 2027년부터 QR코드로 전환Mat Duggan이 그린 'tmux가 OS인' 데스크톱, 하루 6번 화면 전환과 창 관리 3유형 문제 짚음Kagi, Orion 리눅스와 윈도우 개발 중단하고 오픈소스로 전환Cloudflare, OHTTP 게이트웨이 클로즈드 베타 공개. Privacy Gateway는 OHTTP Relay로 개명이디오크라시 풍자 사이트 'Extra Big Ass Intelligence', Brawndo와 'OW! My BALLS!'로 LLM 슬롭 흉내Emacs에서 Org-mode로 쓰고 Gleam과 Pandoc으로 굽는 블로그 파이프라인Show HN: LDraw 어셈블리 언어로 레고 CAD 모델 생성하는 오픈소스 툴셋 ldraw-nova 공개베네치아의 콘스탄티노플 전쟁 실패가 최초 채권시장을 낳았다해커뉴스 화제: Newgrounds 25년째 그대로, Ruffle이 플래시 게임 살려냄GLM 5.3 Flash 한 달 챌린지, 2B 토큰 중 절반만 지켜지고 에너지 사용은 계획의 3.5배하버드 원전 인근 암 연구 방법론, 코스트코에 적용하니 연 12만 명 사망애플, macOS Full Disk Access에 추가 통제 예고, AI 에이전트 위험을 근거로 제시M4 Mac mini에 리눅스 부팅 성공, 잠긴 레지스터와 SPTM 벽 넘은 기록Meta, Muse AI 하드웨어 연동 오픈소스 SDK 공개... ESP32와 라즈베리파이 지원Redis 만든 antirez, C로 쓴 로컬 추론 엔진 ds4 공개. 128GB 맥에서 DeepSeek V4 Flash 2비트 양자화로 초당 39토큰 생성
3 alerts
New alert

My alerts

Sign in to create alerts.

All alerts

Duneby 제욱AIby 제욱해커뉴스by 성현