[1/3] 开源项目最大的问题就是社区分裂——只要一言不合就可以 fork 出一个新项目，然后就可以吹自己有什么上百项改进，仿佛整个项目的荣誉就归他了，还恬不知耻地反问原始项目有什么功能和文档是他没有的（废话你全抄下来了）。其实，由于开源项目间可以公开合法地彼此抄袭，项目间比的并不是谁能写出 ...展开全文c
[4/3] 再过几天就 40 岁生日了。按照郭德纲的说法，谁能想到这是一个 20 年前仅有 20 岁的人！这个月多发了 300 欧元工资，我骚包，准备周末去 Verona 一趟，买盒 Venchi 巧克力分给同事（最后一次了）再拍几张照片。
[3/3] 终于把 Axiom 官方 PDF 文档里的书签和超链接都修好了，可以在 PDF 里点来点去了。其实不难，只需把 dvipdfm 升级到 dvipdfmx，然后给 hyperref 加上配套的选项。最难能可贵的是，我的苹果 10.6 虚拟机里还运行着我 2009 年花 2650 元买的 Acrobat Pro 9 中文正版，永久序列号，还能正常使用。
[2/3] 这张照片充分体现了大画幅摄影的镜头移轴优势。当时我用的是相对较大的光圈，为了把距离相机仅有 30cm 多点儿的蓝色消防栓和远处的房子跟车同时拍清楚，镜头向右几乎扭动了 30 度左右。原始胶片上车牌号清晰可见，边缘锐利；左侧远处的山也是清楚的，因为在焦内，而右侧不远处的树反而是糊的。
[1/3] 前两天在 Mac OS X 10.11 上成功编译出 Axiom 最新版本以后，我不敢自满，继续孜孜以求，终于昨天在 Mac OS X 10.6 (Snow Leopard) 上也成功编译了，用的是 MacTeX 2016 和系统编译器 GCC 4.2。我觉得 GNU Common Lisp 还是跟 GCC 编译器配合使用比较放心，LLVM 对于 GCL 来说毕竟是新鲜事物。
[1/3] 历尽艰辛，终于成功编译了原版 Axiom 计算机辅助代数软件的最新源代码（版本号是may2017）。我在反复尝试后发现源代码经过小修小补后只有在 Mac OS X 10.11 的默认编译器和 MacTeX 2017 的组合下才能完美通过编译，没有做出一丁点儿的妥协。最后得到的二进制打包 300 多兆，可以运行在 10.11 以 ...展开全文c
[4/3] 终于把《八方旅人》最终 boss 给干掉了。全凭运气好，武术家刚好没被打死的同时还处于低血状态导致更强的输出。其他人全力加血的同时给武术家加 BP，在打 boss 的问题上根本帮不上忙（事实上加尔德拉根本就没被破防过就被打死了）。终于了却了一个心愿，这个游戏可以告一段落了。
[3/3] 最近我在早上上班的公交车上已经不太爱看美女了，不如专心练琴![[酷]](https://face.t.sinajs.cn/t4/appstyle/expression/ext/normal/c4/2018new_ku_org.png "[酷]")
巴赫的这段曲子我一定是听过了无数遍，所以才能在看乐谱的同时在脑子里回想出四声部中的至少两个。我最多也只能弹两个。争取有朝一日四声部能同时弹出来![[挤眼]](https://face.t.sinajs.cn/t4/appstyle/expression/ext/normal/43/2018new_jiyan_org.png "[挤眼]")
巴赫的这段曲子我一定是听过了无数遍，所以才能在看乐谱的同时在脑子里回想出四声部中的至少两个。我最多也只能弹两个。争取有朝一日四声部能同时弹出来 
[2/3] 屡战屡败之后，昨天我开始认真研究 Youtube 上那个 5 分钟搞定《八方旅人》最终 boss 战的视频，这才发现我究竟错过多少必不可少的特效武器（基本都来自被我忽略的支线剧情）。更重要的是，我之前研究的那些职业搭配主要是为了确保两个队伍里什么人都有，从而做到自给自足，但其实这样是干不过最 ...展开全文c
[1/3] 英国有个计算机科学家叫 James H. Davenport。这个人曾经来过我们办公室（是我一个师兄的博士论文评审团主席），我当时还不认识他，但后来顺着名字查了一下就被惊到了。根据维基百科记载，此人 16 岁时就表现出极高的计算机天赋，曾经把 IBM 用于教学推广的 6 位低端计算机硬给改成了当时较为高 ...展开全文c
[1/3] 我今天首次给 HOL-Light 提交了一个小补丁，是我之间移植他的实数定理求解器时发现的一个小改进。我真是硬着头皮写 OCaml 代码，就因为 HOL4 的上一任维护者（Konrad Slind）让我回馈上游。不过 HOL-Light 有记录的贡献者总共才6个人，2个还是打酱油的，那我这一下子就可以跻身五强行列了
[1/3] 话说昨晚临睡前尝试了一下我研究出来的《八方旅人》“制式打法”，就是无论打哪个 boss 的技能配置和步骤都一样，并且绝对不吃药。我的 1 队比 2 队弱一些，所以我必须派他们去打那 8 个小 boss，然后还真挺顺利的。结果万万没想到，这个打法在打第1个大 boss（眼球）的时候因为打得太慢，结果一 ...展开全文c
[1/3] 话说我这两天反复研究《八方旅人》的职业搭配，以网上一篇攻略的推荐配置为基础，把12个职业分给8个人（每人最多分1个），这里面如何搭配跟取舍，实在是大有文章。然后还要从不计其数的装备和附加能力中选出合理的搭配，尤其是要确保不同职能的人通过不同的速度得到相对固定的出手顺序，最后实现 ...展开全文c
[1/3] 我老板的脑子里肯定是缺点儿什么…… 昨天一个同事过生日，然后今天带来一些巧克力给大家分享，我老板回信说 “嗨，你知道吗？昨天也是某某恐怖分子头目的生日……” 虽然这个名单后面也有几个好人（其实也就算不上好人，就是政治家），但整个生日祝词的气氛已经全变了！
[1/3] 经人指点，然后又看了攻略，终于来到《八方旅人》最终 boss 站了（好像还得重打一遍之前的所有第四章小 boss 们）。这时候就显出 switch 的优势了：据说要打好几个小时但中途无法存档，如果是 PC 版本就很麻烦了，但 switch 可以随时关机暂停，只是不能切换到其他游戏罢了。我不急慢慢来。
正在加载中，请稍候...
- 手机玩微博
-
扫码下载，更多版本
戳这里
微博客服4000-960-960意见反馈舞弊举报About Weibo微博招聘新浪网导航违规内容投诉010-60618076投诉处理大厅 DMCA投诉/Report 互联网法院微博工作站
京ICP证100780号京ICP备12002058号-2京网文〔2020〕4754-886号（京）网械平台备字（2022）第00006号京食药网食备202210035
互联网药品信息服务(京)-非经营性-2015-0110增值电信业务经营许可证B2-20140447增值电信业务经营许可证京B2-20221511乙测资字11510760
中国互联网举报中心北京互联网举报中心内容从业人员违法违规行为举报网络110报警服务北京文化市场举报热线中国互联网协会北京网络行业协会扫黄打非举报入口网络谣言曝光台
互联网新闻信息服务许可编号:11220190001广播电视节目制作经营许可证（京）字第04005号Copyright © 2009-2022 WEIBO 北京微梦创科网络技术有限公司京公网安备11000002000019号