::Blog信息::
名称: let comch pute be aos me you
作者: heteroclinic
域名: blog.mitbbs.com/heteroclinic
站点: BBS 未名空间站

档案日期:20190501000000 ~ 20190601000000


2019-05-26 01:31:17

主题: Re: Linux算不算基本没有后门,很安全?
从工程的角度,linux很烂,传统工程主要几个流程
设计施工监理验收,
所以你找个颐业生,搞出来的东西就是只能这个样子。
这些问题的根源就是所谓的美国例外论或者唯心史观。
比尔盖茨可以搞微软,那么一窝蜂drop out 就都是万能的了,轮船军舰喷气机,然后全都laxigile.
我偶而看看linux的github, 怎么说呢一盘散沙。按照传统工程你要把总师抓出来枪毙,结果你谁也找不到,什么文件记载你也找不到。
另外象英国殖民地警察乔治奥威尔,有什么治理国家的经验?而且是缅甸这种农村。
你如果说安全的话,做外贸有句话叫从南京到北京,买的没有卖的精。
更傻的人用很傻的东西,也是市场。
从技术角度安全实际不关linux什么事情,一个正八景企业实业单位code review, ips ids 是标配。
【 在 somehow (修身健体) 的大作中提到: 】
: bug不算,只考虑故意植入的漏洞,
: 有多安全?




提示: 本博文来自于 Programming 版



2019-05-17 01:48:01

主题: Re: 做个编程语言简单调查
还是解决具体问题比较好,编译器这种东西没碰过。不过做过breadboard设计整数相加的溢出,我觉得使得我对计算机器认识比较深刻。
三极管就是近似,电压是测量近似,傅立叶变换再精妙,最后还得用门电路,就是世界上你可以认为没有是非,但是只有门里或者门外。忘了,书上讨论过门电路vs 摸拟电路。

如果你没有一个全的真值表,你肯定会溢出,会有漏洞。

另外我最近总结,图灵机没有时间参数,是不是一个缺陷。不是说隐含了时间就是不变流形,而是计算机器的一些问题实际是应该以可变流形,就是物理的规律会随时间变化。比如数据库系统一边计数一边运算,最后一定会溢出。还没太想好。总之不是一个全真值表的表述,所以有时间参数的系统不是图灵机,图灵测试是伪命题。全真或许可以以群论来表示。


【 在 justnow (阿材) 的大作中提到: 】
: 好奇大家有谁实现过完整的编程语言系统?包括:
: 1 定义语言 spec,包括词法,语法,BNF 产生式等;明白自己在设计中作出的 
: tradeoffs;
: 2 实现该 spec,包括 lexer,parser,code generator 等;用啥工具都成:bison, 
: YACC, 或者手工随意;
: 3 实现虚拟机,包括指令集,数据类型,条件,循环,堆,栈,子程序调用,递归,垃
: 圾收集,异常抛出和处理,coroutine,程序加载和执行。
: 你做的系统未必是进入 production 的系统,只要走过从 spec 到可运行程序的整个流
: 程就可以。或者不用虚拟机,直接生成机器代码也可以,只要能跑。
: 哪怕能在 vm 上面运行个该语言写的八皇后都算。关键是点到点,到了这个份上就 OK。
: ...................




提示: 本博文来自于 Programming 版



BBS 未名空间站