王垠百科
人物简介
王垠：四川大学 97 级本科毕业，保送到清华大学计算机系直博。曾在清华大学计算机系软件所就读，主要进行集成电路布线算法的研究。2004 年左右发表《完全用 Linux 工作》和《写给支持和反对〈完全用 Linux 工作〉的人们》的文章，在中国的计算机和 Linux 阵营引起极大轰动效应，成为水木清华 linuxapp 版和中国多个 Linux 社区的偶像级人物。2005 年，王垠为第一作者的论文参加 IEEE/ACM Asia and South Pacific Design Automation Conference（ASP-DAC 2005）国际学术会议并获得 Best Paper Award。这是自 ASP-DAC 会议举办以来大陆论文首次获奖。
头像与照片
当前网站与社交账号
| 名称 | 类型 | 说明 |
|---|---|---|
| 当然我在扯淡 | 个人博客 | 王垠的中文博客 |
| Yin’s Memos | Substack | 英文备忘录 |
| 垠的备忘录 | Substack | 中文备忘录 |
| Surely I Am Joking | WordPress | 英文草稿站 |
| 王垠的草稿本 | WordPress | 中文草稿站 |
| 不再关心人类de垠 | 微博 | 个人微博账号 |
| yinwang0 | 个人照片账号 | |
| Yin Wang | 职业资料页 | |
| yinwang0 | GitHub | 开源项目主页 |
| yinwang0’s gists | GitHub Gist | 代码片段主页 |
开源项目
| 名称 | 类型 | 说明 |
|---|---|---|
| PySonar2 | 静态分析工具 | Python 语义索引与类型推导 |
| ydiff | 程序比较工具 | 结构化程序比较工具 |
| psydiff | 程序比较工具 | Python 结构化程序比较工具 |
| rubysonar | 静态分析工具 | Ruby 语义索引与类型推导 |
| tinyKanren | 程序语言 | miniKanren 的精简实现 |
内容备份与镜像
以下页面由本站或第三方维护，并非王垠本人维护的官方网站。
| 名称 | 类型 | 说明 |
|---|---|---|
| 博客文章镜像 | 第三方镜像 | 王垠博客文章存档 |
| 微博内容镜像 | 第三方镜像 | 王垠微博内容存档 |
| Substack 内容镜像 | 第三方镜像 | 王垠 Substack 内容存档 |
| 王垠百科文章归档 | 本站归档 | 本站收录的文章列表 |
| “当然我在扯淡”订阅归档 | 本站归档 | 博客订阅内容归档 |
| YinWangBak | GitHub 仓库 | 第三方内容备份项目 |
| 王垠博客备份 | 第三方镜像 | 自动备份 yinwang.org 博客文章 |
| yinwangdl | GitHub 仓库 | 王垠博客自动备份项目 |
| 当然我在扯淡 | 第三方归档 | 博客文章订阅归档 |
| 王垠博客 PDF 备份 | PDF 归档 | 博客文章离线备份 |
学术论文与专题资料
| 名称 | 类型 | 说明 |
|---|---|---|
| Register Allocation By Model Transformer Semantics | 学术论文 | 合作者：R. Kent Dybvig |
| The Polygonal Contraction Heuristic for Rectilinear Steiner Tree Construction | 学术论文 | ASP-DAC 2005 论文 |
| The Polygonal Contraction Heuristic for Rectilinear Steiner Tree Construction | DBLP 记录 | 论文书目记录 |
| ASP-DAC 2005 Best Papers | 获奖资料 | ASP-DAC 2005 获奖论文名单 |
| Yin’s Blog - Mind Map | 思维导图 | 王垠为博客内容绘制的分类图 |
| Yin’s Mid-Term Memory | 思维导图 | 王垠中期记忆的思维导图 |
| Static Analysis of Dynamically Typed Languages made Easy | 演讲幻灯片 | 关于动态语言静态分析的幻灯片 |
| Ground-Up Computer Science — Chapter 1 | 教材样章 | Functions |
| Ground-Up Computer Science — Chapter 2 | 教材样章 | Recursion |
| Ground-Up Computer Science — Chapter 3 | 教材样章 | Chapter 3 |
| Ground-Up Computer Science — Chapter 4 | 教材样章 | Trees |
| Ground-Up Computer Science — Chapter 5 | 教材样章 | Calculator |
历史网站存档
以下链接指向 Wayback Machine 历史快照或其他存档页面。
| 名称 | 来源 | 说明 |
|---|---|---|
| Indiana 大学个人主页 | Wayback Machine | 王垠在 Indiana 大学的主页 |
| 简书个人主页 | Wayback Machine | 王垠的简书主页 |
| 知乎主页 | Wayback Machine | 王垠早期的知乎主页 |
| 早期个人主页 | Huihoo 镜像 | 王垠早期的个人主页 |
| Yin Wang’s Homepage | LaTeXStudio 镜像 | 王垠早期的个人主页 |
| 新浪博客 | 新浪博客 | 王垠早期的博客主页 |
| Flickr 相册 | Flickr | 王垠早期的照片主页 |
| LOFTER | Wayback Machine | 王垠早期的 LOFTER 主页 |
| Live 空间 | Wayback Machine | 王垠早期的 Live 空间 |
| MSN 空间 | Wayback Machine | 王垠早期的 MSN 空间 |
媒体采访与历史报道
| 名称 | 来源 | 日期 |
|---|---|---|
| 专访清华申请退学博士王垠：我会把退学坚持到底 | 新浪新闻 | 2005-10-17 |
| 王垠“申请清华退学 我不后悔” | 新浪新闻 | 2005-10-24 |
| 清华申请退学博士王垠：退学是为不失去创造力 | 搜狐新闻 | 2005-10-22 |
| 资料：王垠个人简历 | 搜狐新闻 | 2005-09-27 |
相关转载与轶闻
| 名称 | 来源 | 说明 |
|---|---|---|
| 王垠的一条微博 | CSDN 转载 | 相关转载资料 |