How I Vibed a Proof of Conway’s Conjecture
Dan 用前沿模型+Lean 尝试证明 Conway refinement conjecture，称机械检查通过但未经数学家独立核验，邀请证伪；记录 vibe 做数学证明的一个月过程。
overreacted.io
站点来源 · 不代表单一作者
当前已导入的历史，每页 50 篇；不代表网站完整历史。筛选作用于当前页，更多内容可由 Grok 后续补齐。
访问原站 ↗There Are No Instances in atproto
Dan 澄清 atproto/Bluesky 没有 Mastodon 式「实例」：身份与数据模型不同，拿实例问 Bluesky 是范畴错误，并对照 RSS 时代解释。
A Social Filesystem
「A Social Filesystem」。要点：January 18, 2026 Remember files? You write a document, hit save, and the file is on your computer. It’s yours. You can inspect it, you can send it to a friend, and you can open it with other apps. Files come from the paradigm of personal computing. This post, however, isn’t about personal computing. What I want to talk about is social computing—apps like Ins。
Introducing RSC Explorer
「Introducing RSC Explorer」。要点：December 19, 2025 In the past few weeks, since the disclosure of the critical security vulnerability in React Server Components (RSC), there’s been a lot of interest in the RSC protocol. The RSC protocol is the format in which React trees (and a superset of JSON) get serialized and deserialized by React. React provides both a writer and a reader for the RSC 。
Hire Me in Japan
「Hire Me in Japan」。要点：November 11, 2025 My sabbatical is soon coming to an end, and I am looking for a new job. In particular, I am looking for a job at a company that would like to sponsor a working visa for me in Japan, where I’d like to relocate within the next year. If you can sponsor a software engineering visa in Japan and think I might be a good fit, please email [email pr。
第 1 页