• Re: gcc要编译一天?

    你这什么机器?用 nuc i5 从头到尾编译一次五分钟搞定,而且还是 debug 版本。

    【 在 Moshe 的大作中提到: 】

    : GCC本身要编译一天发自「今日水木 on LYA-AL10」 ...

    11月20日
  • Re: GNU AS 通用汇编语言

    我跟你讲两个事实: AS 用的那套语法没有形式化,更不是科学。

    其它的话再跟你多说一句都是浪费我时间。跟小菊聊天都比跟你聊天有意思。

    【 在 philbloo 的大作中提到: 】

    【 在 darkk 的大作中提到: 】

    : 你的这个说法是错的,是真正的民科。

    : 喷了 谁给这个帖子加的精?整个胡...

    11月11日
  • Re: GNU AS 通用汇编语言

    喷了 谁给这个帖子加的精?整个胡说八道

    你写过程序没?能分清 syntax 和 semantics 的区别吗?你肯定没写过汇编,估计也没读过吧?搞得懂 inline asm 跟 asm 的区别吗?知道后端是怎么 lower 跟 emit 的吗?为什么各种架构都用一样的 codegen 来描述,你明白不?能分清 compiler 跟 assembler 吗?各种架构的手册读过几页?居然如此自大说 intel 手册胡说。 Linux/win 是用汇编写的,这是九十年代初民智未开的时候流行的谬论,你现在重新发现了一遍。

    【 在 darkk 的大作中提到: 】

    : 他们胡说的 ...

    11月03日
  • Re: Go+ 1.0发布

    完成度也很低 版本号1.0太夸大了 也就 0.01的个人玩票水平

    【 在 MetalSlugX 的大作中提到: 】

    : 论坛没反应?搞了一个红红火火的发布会,请倪光南院士讲话。网上新闻稿如出一辙而正经的学习页面,却没几个。不是骗子,就是高级 ...

    10月17日
  • Re: Go+ 1.0发布

    扫了下代码 技术含量很低

    【 在 MetalSlugX 的大作中提到: 】

    : 论坛没反应?搞了一个红红火火的发布会,请倪光南院士讲话。网上新闻稿如出一辙而正经的学习页面,却没几个。不是骗子,就是高级 ...

    10月17日
  • Re: 非科班马龙最值得看的一本书,《编码》,没有之一

    回头看很多书都幼稚 比如 clrs ,龙书,虎书,csapp ,effective cpp ,sicp ,甚至高的 concrete math, 等等。不过这些书还是好书,读的过程中有很多会心一笑的地方。当然有些书始终都是严肃的,比如 TAPL 或者 Principles of program analysis ,但是非严肃的书不读的人恐怕世界上一个都没有。

    【 在 bn95 的大作中提到: 】

    : 你不是计算机科班?所以需要读这么幼稚的书? ...

    10月08日
  • Re: 非科班马龙最值得看的一本书,《编码》,没有之一

    software

    【 在 tgfbeta 的大作中提到: 】

    : sw是啥? ...

    10月07日
  • Re: 非科班马龙最值得看的一本书,《编码》,没有之一

    本来就是本科普书,要求别太高。再说了, ee 还有点门槛,sw 根本没有门槛,小学生都能入 sw 的门。

    【 在 a0123456789q 的大作中提到: 】

    : 外行看着觉得惊为天书。其实看了连门都没入。当然正是没入门,所以比较简单,让外行以为自己很牛,掏一万都值。呵呵。 ...

    10月06日
  • Re: 写专利应该从哪些角度思考?

    把发专利当任务来完成很不好受,整个过程都是在骗自己,所有参与者也都明白这是在糊弄,个个都在演戏。真有新点子的时候写 disclosure 是很爽的,不过这样的机会不多,一年有一次就算不错了。都是从自己写 disclosure 开始,一般一两页就够了,不需要多严格或者详细。然后内部找几个有经验的讨论一下,确定是否继续进行。确定之后找律师事务所推荐的专业人士写,一般需要开好几个会把细节敲定,然后 review 。最后定稿会长达几十甚至上百页,因为对方会穷举所有应用的可能,还会把整个点子从最基础的概念开始讲起。然后就没你什么事了。

    【 在 WhereThere 的大作中提到: 】

    : 公司要写一些专利,但目前没有头绪,应该怎么迈出第一步?发自「今日水木 on iPhone  ...

    10月06日
  • Re: 《图灵完备》游戏

    游戏是挺精致 不过花时间玩这个不如花同样的时间玩 fpga

    【 在 hgoldfish 的大作中提到: 】

    https://store.steampowered.com/app/1444480/Turing_Complete/类 ...

    10月04日
  • Re: 所有 bug 的根源

    这个思路跟我想的差不多。

    把值和映射分开管理。映射本身当然也可以作为值,但是首先不能跟自己的 domain 混在一起,其次是实际上很少有能自然的符合 combinator 运算的 mapping ,书上的例子基本上都是 parser 和 lambda 相关

    【 在 dilemma 的大作中提到: 】

    : 游戏行业里有用entity component system配合data oriented ...

    09月30日
  • Re: 所有 bug 的根源

    你对停机问题有误解。上次你问我为什么并行最优化可解的时候我就回答过你了,凡是可枚举的 *某一个* 算法 都跟停机问题没关系。尤其是,所有跟停机问题类似的命题都需要或多或少用到对角线来构造反例,这就暗示了在你生活中接触过的算法全都跟停机问题无关。

    【 在 xiaoju 的大作中提到: 】

    : 所谓的写程序就是解一个停机问题,而停机问题在数学上是不可计算的,人类不是上帝也不例外。所以写程序本质上就是把一个大的不可 ...

    09月30日
  • Re: 所有 bug 的根源

    跟函数式关系不大 分散和宂余的关系表达用 haskell 也一样会遇到

    【 在 henryoung 的大作中提到: 】

    : 函数式编程? ...

    09月28日
  • Re: 所有 bug 的根源

    我还没想过状态应该怎么维护 感觉状态和关系又不太一样

    【 在 allegro 的大作中提到: 】

    : 我的感觉是一个原则:尽量减少程序的state,不引入冗余的state。程序应该是描述各个state之间的关系,而不是一个 ...

    09月28日
  • Re: 非科班马龙最值得看的一本书,《编码》,没有之一

    同作者那本 annotated turing 绝对更好看

    【 在 stub 的大作中提到: 】

    : 这本书如果1w人民币,我也会毫不犹豫的购买。 ...

    09月28日
  • 所有 bug 的根源

    我发现所有 bug 的根源都是分散式的映射管理。野指针,mutable,pass by ref,面向对象,这些全都是导致分散式映射管理的途径而已。

    任何两个值的关系都是一种映射,比如 child - parent,root - leaf ,result - operand 。这些映射关系通常是保存在一个实例的属性里,并且通常是同时被多个实例共同保存。比如 parent 保存自己 children 的一个数组,而每个 child 保存自己的 parent。这些属性通常是以 refrence 的形式保存。但这种映射通常是会变化的,所以一个映射改变会涉及到多个实例,而这种联动往往会涉及到 corner case ,导致数据不一致。

    解决这个问题最好的办法是集中管理映射关系。每个实例不再单独记住各自的关系,而是由一个集中的 map 来表达这些关系。听起来是开倒车,但其实是最不容易出错的做法。这样其实是把每个实例当作值而不是对象来处理,那么在做语法语义分析,静态分析的时候,可以用更接近代数的方式来思考,在表达的时候也可以更接近代数,很多逻辑可以用代数的形式来表达和演算,出错的机会会少很多。比如说有一个需要做 abstract interpretation 的场合,本来需要模拟运行所有指令,我最后发现竟然可以用矩阵运算来表达,不管是运行效率还是表达方式都是后者占优,而且后者也不容易出错。

    09月27日
  • Re: 如何让对方相信我的电子卡和远距离读写器是对称加密的?

    你先回答这个问题:你能不能证明你的对称加密算法的 permutation 没有 bias。

    如果你不能回答这个问题,那你只有使用标准的算法才能让客户满意。

    09月09日
  • Re: 1瓦功耗,5GHz频率 (转载)

    功耗 在电压上做文章 具体我没问 也不懂

    【 在 Xaoyao 的大作中提到: 】

    : 什么意思?是频率5Ghz是cheating还是功耗那么低是cheating? ...

    08月30日
  • Re: 求教一个C++数组赋值的效率问题

    应该是 page fault

    用 systemtap 监测可以确认

    【 在 xueyandy 的大作中提到: 】

    : 比如有一个长度为200万的double数组D,给D[0]赋值的时候很快(估计不到1微秒),但是给D[1000000]赋值 ...

    08月27日
  • Re: 现在想想,本青简直反指之神

    行业软件适合小公司和个人。

    我以前的公司做 gpu 的,加上高管和前台总共不到 30 个人。现在的公司稍微大一点,但是我做的这个产品总共也就不到 30 人,包括销售。一个产品养活这 30 个人是没问题的。当然也不能发财,但起码做的事有趣,也有口饭吃。

    【 在 hgoldfish 的大作中提到: 】

    : 是的。要么转行做金融温拿,要么去大厂。别搞什么行业软件。 ...

    08月23日