刚发现点"引用"可以直接复制整个帖子,有点像邮件列表 但是还是不习惯
L
lebegue 发布的帖子
-
RE: 有研究减少运算量的抽象理论吗
我猜lz想说程序分析
关于程序分析领域的研究现状和热点趋势? - 熊英飞的回答 - 知乎
但是现有的程序分析方法对算法的抽象还是不符合程序员的思维(比较贴近写编译器的人的思维?),很多抽象讲什么可达状态啥啥啥的,太数学又没什么用 -
RE: 有没有软件可以控制软件访问硬盘的行为,比如说拦截流氓软件的访问
没有意义,所有的桌面平台的权限都给的太松了,到处都有提权方法(Windows多数安装程序都有管理员权限),文件系统没有隔离,进程之间环境也会互相干扰
一定要隔离的话用类似虚拟机的方法 -
RE: 看到一个网站neocities很有意思
这个网站不限于复古风格,看它首页的featured 几个例子就知道了,属于do it yourself的类型,有一些HTML编辑器的配套工具
-
RE: 这个 Mandelbrot set 在线显示网页有点强
实现没啥亮点,还以为能看到很好用的数学基础库,然而没有,就是手写一个循环去putPixel
L君倒是觉得这个网站挺好看的,字体和排版都很美,配色也很合理在晚上不辣眼睛 -
RE: 突然对群论里的「等于」有点疑惑
硬要说的话,等于的意思是如果元素A和元素B相等,那么对任意一个有元素A的命题,用元素B替换元素A都不改变命题真假性("不改变"指命题同为真或者同为假)
当然这个解释还是马马虎虎,但是人类数学毕竟没法脱离人类语言