No discussions yet
ex program, en farm
긱뉴스나 해커뉴스 보면 토론 내용이랑 본문이 다른 페이지로 분리된게 불편하더라고요. 사람들이 어떤 문단을 얘기하는 건지 기사랑 댓글창을 왔다갔다하는 게 항상 불편했습니다.그래서 아무 웹페이지에나 Google Docs…
The MacBook Neo is the first major new Mac aimed at the consumer market in the Apple Silicon era. It’s meant to make a d…
Anthropic gave up its contract with the Pentagon over AI safety disagreements -- then, OpenAI swooped in.
Dedicated to verified superintelligence via autoformalization.