IT/기술기타Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI ProjectsHacker News Front PageComments ...전문 보기인용공유신고이 뉴스, 어떠셨어요?👍좋아요🤝공감😮놀라움😟우려😡화나요🥱관심없음탭 한 번으로 반응 · 로그인 불필요관련 뉴스관련 뉴스 제보는 로그인 후 가능합니다.'tech' 카테고리 뉴스제이케이시냅스, 9월 11일 임시주주총회 소집 결의…이사 선임·사업목적 추가 안건 상정디지털투데이한국제지, 최대주주 해성산업 등 주식 1억2884만8816주 감소…주식병합 영향디지털투데이KCC, 제79회 외화표시 해외교환사채 교환가액 416462원에서 408770원으로 하향 조정디지털투데이더보기 +2건Hacker News의 다른 기사More Tailscale tricks for your jailbroken KindleHacker News Front PageCracking Windows Open: Porting RADV to Win32Hacker News Front PageUser Interfaces of the Demo SceneHacker News Front Page더보기 +2건