• Re: 迅雷 现在还有人用吗?

    不需要。

    【 在 HYNOS 的大作中提到: 】

    : 这种用法需要买会员吗?

    昨天 17:07
  • Re: 迅雷 现在还有人用吗?

    迅雷11大改版还行,我都是把资源先放到云盘中,再从云盘往下拖,宽带能跑满。

    【 在 HYNOS 的大作中提到: 】

    : 你用的哪个版本的?越新版好像越卡了

    昨天 12:25
  • Re: Re:5g低延迟体现在哪里?

    看到国家轰轰烈烈地搞5G大跃进,浪费了大量的资金,最后注定一地鸡毛,在这种情况下不说的才是爱国?

    【 在 fbf 的大作中提到: 】

    : 说出来就是不爱国啊

    : 发自「今日水木 on SM-G9500」

    前天 11:00
  • Re: 5g低延迟体现在哪里?

    用几千亿来做测试?要我看就是有人贪图利益有人蠢被人忽悠而己。。。

    【 在 TTcafe 的大作中提到: 】

    : 也许是一种忠诚度检验呢?这年头谁敢乱说话?

    : 是鹿是马重要吗?领导说它是啥最重要。

    前天 07:42
  • Re: 5g低延迟体现在哪里?

    是的,这么一个简单的问题,无数人却装作看不到,也真是奇了怪了!

    【 在 ble 的大作中提到: 】

    : 所以说那些水军一股脑的拿低延迟来宣传就是骗子。5G的低延迟只是手机到基站这一段,对应的就是你的手机到家里路由器,电脑到路由器那一段。5G这一段(相对3、4G)确实大幅优化了。但是基站到你要访问的网站那一段,其实目前劣势还是相当大。

    11月27日
  • Re: [转载]筋疲力尽的开源开发者

    没办法,谁让人家第一个搞出来的呢,这就是路径依赖,比如,我不爽qwert键盘很久了,但是会有人生产更顺手的键盘吗?不会的,因为每个会用计算机的人打字都已经习惯了这种键盘,更顺手的键盘反倒是没法用的。。。

    【 在 javaboy 的大作中提到: 】

    : gnu那一套东西虽然免费开源,但质量特别糟糕其实。而且还大搞copyleft。它们成了现代软件的基石以后对行业发展有很多害处的。排挤了很多高质量可维护的东西。

    : busybox/toybox到现在还替代不了gnu coreutils就是明证。类似无法维护但无法替代的例子还有musl vs glibc,还有gnu binutils。。尤其是binutils,代码实在太乱了,看着窝火。。

    11月27日
  • Re: 作为一个业余写代码的人

    所以楼主需要的是一张纸,而不是什么自动机?难道不是这样吗?

    【 在 poocp 的大作中提到: 】

    : 所以先把对问题的有限自动机画在纸上,反复推敲核查,比起凭空在脑中思考全部条件,对普通人而言,还是前者更容易设计出覆盖全面

    11月27日
  • Re: 作为一个业余写代码的人

    从计算的角度看,一个表格等价于若干if,如此而已,所以并不会出现用表格就能保证程序能够处理所有的分支而用if就不行的情况,如果一个人思维不缜密,用if覆盖不全某些条件,那么他即使用表格,也只会设计出覆盖不全的表格而已。。。

    【 在 poocp 的大作中提到: 】

    : 就计算机上应用而言,以表格方式来实现还是有一定优势的,能避免因使用IF语句,造成的CPU分支预测执行,预测失败造成的开销。

    11月27日
  • Re: 作为一个业余写代码的人

    FSM是说自动机的类型(0/1/2/3),而DFA和NFA是说自动机的接受输入之后跳转是否是确定的这个属性,这是两个不同维度的概念,这两组概念是正交的,所以KMP等价于把一个non-deterministic FSM 转换成一个 deterministic FSM。。。

    【 在 KCH 的大作中提到: 】

    : 他说FSM,你说DFA,鸡同鸭讲...

    11月27日
  • Re: 作为一个业余写代码的人

    我第一次认识到有限状态自动机的能力,是我证明了在字符流中搜索某个pattern的kmp算法等价于正则表达式"*pattern", 只是后者需要使用一个NFA->DFA的转换,这个转换所做的工作本质上等价于KMP算法(其实想想一点都不奇怪,KMP中的K就是大名鼎鼎的TAOCP作者Knuth,而他同时也是LR算法的发明人)。

    而你说的这种自动机,实际上就是一个二维的表,行是状态,列是输入,表格中放着一些函数指针,这种表怎么说呢,虽然从概念逻辑上它的确是一个自动机,但它并没有充分利用自动机的能力,它就是一个表格而已。

    所以,当有人跟我说这个表就是有限状态自动机的时候,我就只能笑笑罢了。。。

    【 在 poocp 的大作中提到: 】

    : 这贴楼层太高,没注意ID,见你回复,我把你当成楼主了,言语有所冒犯抱歉了。

    : 根据我的经验,初学者面临的IF满天飞,不停打补丁的问题,大部分是未经良好规划设计就动手,以至于没完全覆盖所有条件。当然不排除楼主遇到的问题不是有限状态的情况,我提到的方案适合大部分情况。

    11月27日
  • Re: 作为一个业余写代码的人

    if的描述能力是最强的,甚至可以用if来描述图灵机,怎么能根据if漫天飞就断定lz的问题是有限状态的?

    【 在 poocp 的大作中提到: 】

    : 楼主的IF漫天飞的问题显然是有限状态的。

    11月27日
  • Re: 作为一个业余写代码的人

    然而这个世界上大部分实用的程序都不是有限状态(即状态可枚举)的,比如编程中经常出现的递归结构(比如OS中的进程树等概念),这些结构本质上是一个下推有界自动机,需要上下文无关文法(2型文法)才能描述,然而能自如地使用2型、以及2型以上文法的人,我在现实生活中还没看到过,能正确地掌握3型文法(正则表达式)的人就已经凤毛麟角了。。。

    【 在 poocp 的大作中提到: 】

    : 一旦涉及关键业务部分,我就会用有限自动机来保证所有条件全覆盖,来提高代码的健壮性。

    : 只要文档注释足够,旁人也不难理解。

    11月27日
  • Re: 作为一个业余写代码的人

    还好,有人理解我。。。

    【 在 javaboy 的大作中提到: 】

    : 嗯,你的看法我很理解。我在某个技术群也提过几次我对过度吹捧形式化方法的观点有点反感。

    : 不过话说回来,程序员需要掌握的知识面实在太广,要做的选择题多得令人窒息。一个人没有足够的经验积累、自信构建、还有中招踩坑的过程,要质疑,要唱衰一个热点事物是需要很大的勇气的,真的非常非常难。

    : poocp现在和这些科班知识还处在热恋期,他迟早也会倦的。哈哈哈。

    : ...................

    11月27日
  • Re: [转载]筋疲力尽的开源开发者

    就如同人们经常问“中国有科学吗”、“中国有哲学吗”一样,我好奇地问一句,中国有开源吗?

    【 在 chaobill 的大作中提到: 】

    : 那你只看到老外的情况。

    : 中国的开源,要看thinkphp这个典型例子

    : :

    11月27日
  • Re: 作为一个业余写代码的人

    是吗,失敬啊,我的研究生涯就是从形式语言开始,逐渐过度到算法,最后变成实用化的工具平台的过程,我必须承认,因为这段不算成功的经历,我的潜意识中对过度抽象的技术存在反感。。。

    【 在 javaboy 的大作中提到: 】

    : 他走shell、gcc、嵌入式、电路设计路线的,基本功非常扎实。

    11月27日
  • Re: [转载]筋疲力尽的开源开发者

    那得感谢RMS这样的真正的理想主义者创建的gcc,gcc是点燃开源软件模式的第一把火。。。

    【 在 chaobill 的大作中提到: 】

    : 确实是。

    : 我一直在想第一批自来水是怎么起来的。

    : 现在搞开源的没名气连个反馈也不会有。

    : ...................

    11月27日
  • Re: 作为一个业余写代码的人

    @poocp 的研究领域是什么?

    【 在 javaboy 的大作中提到: 】

    : 哈哈哈。我证明poocp也是位基本功扎实,很有追求的朋友。

    : 恰好两个人的领域错开了,容易互相认为自己不熟悉的知识更重要。。。

    11月27日
  • Re: 作为一个业余写代码的人

    lz只是一个尚未找到编程感觉的初学者,有人就劝他用形式语言和自动机来辅助编程,这类似于小学生不擅长加减法,但有人却劝他通过学习近世代数来理解代数的基础一样,我想不出这样做,除了故意卖弄学识之外,能给初学者任何有用的帮助。

    我从事IT的编码和研究工作二十多年最大的经验就是,解决问题的工具要和问题相匹配,如果用高端的工具去解决低端的问题,那就是华而不实,反之,如果用过于低端的工具去解决高级的问题,也只能成为笑柄。

    在这个帖子下面的留言中,能够看到两种倾向的人都不少。。。

    【 在 KCH 的大作中提到: 】

    : 你不能打击一个初学者的布道热情

    11月27日
  • Re: 作为一个业余写代码的人

    我可能是中国在自动机方面研究得最深入的人之一了。。。

    【 在 poocp 的大作中提到: 】

    : 那你还是先把算法概论学好吧,我说的那个对你太难。

    11月27日
  • Re: 作为一个业余写代码的人

    思维的严密要靠思维自己来保证,而不是靠某些工具。。。

    【 在 poocp 的大作中提到: 】

    : 因为专业人员解决问题的思考方式就和业余的不同。

    11月27日