V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
V2EX  ›  thekll  ›  全部回复第 1 页 / 共 13 页
回复总数  243
1  2  3  4  5  6  7  8  9  10 ... 13  
2017-11-15 02:10:57 +08:00
回复了 omph 创建的主题 Ubuntu 原生运行安卓程序的系统出现了!
是说在操作系统上自己又实现了一个 Android container ?而且只支持 ARM ?
2017-11-08 22:10:58 +08:00
回复了 bsns 创建的主题 程序员 学数学学出失落感来了
@Biggoldfish
我不确定“自然科学”的定义。不过在这种场景下,其实也不需要去看严格的定义,即使有这样的定义存在。


也顺便,我想说在讨论问题前先看清楚别人在说什么可能也很重要。
2017-11-08 21:56:59 +08:00
回复了 bsns 创建的主题 程序员 学数学学出失落感来了
@ryd994
自然哲学曾一度特指物理,从牛顿的“自然哲学的数学原理”书名就可看出。哲学这个概念太泛,几乎包括所有科学,要不博士学位怎么几乎都称 Ph.D。
非数学专业把数学作为工具来理解也没什么问题,但数学从数的概念产生,数论、几何系建立,就已脱离具象而向着抽象自我发展,肯定已不仅仅是工具这么简单了。

任何科学都是人定义的,在这点上可以去看哲学上的唯心说。在某种意义上,我们所看到的、所理解的就是一个虚拟的存在,存在于我们的意识中。真实的存在总有一些人类永远或暂时无法感知的属性。也正因为此,科学才需要不断发展。科学的主观性没发避免,但这并没有想象的那么严重,物理上许多不同定律其实是等价的,只是不同的人从不同的角度去描述。
即使某一天人类认识了所有的科学理论,还有工程方面的事可以做,在这方面几乎有无限可能。这也是数学的用武之地。比如去实现人工智能,然后人类就可以退出宇宙舞台了:)
2017-11-08 20:57:09 +08:00
回复了 bsns 创建的主题 程序员 学数学学出失落感来了
@matolv
好像有人(费曼?)说过数学不是自然科学,我不确定自然科学的严格定义,但数学本身应该属于科学范畴,而且是最纯粹的科学。这点从数论就能体现,许多数学上重要的理论方法都是在解决数论问题的过程中出现的。
“数学不是科学”这种观点,大概是因为没看到数学本质的一面,只看到了数学形式的一面。例如数字上的各种进制、几何上的不同公理体系,甚至有些混乱的数学标记、符号。假如从这个意义上说“数学是一门语言”,就有些不够深入。思想、程序、数学都需要某种形式系统作为载体,但这种形式本身并不是数学全部。
柯朗曾反对数学脱离实际应用,变成一种游戏;同样的,数学又要保持非常高的抽象性,并避免形而上的东西。

另一种说法“数学是宇宙的语言”,就相对比较能体现数学的本质。从这点上说,数学是研究“空间”的一门科学。这里的空间,就是指爱因斯坦相对论提到的那个空间,万物之源。
2017-10-22 02:37:43 +08:00
回复了 asiufasd 创建的主题 程序员 为什么没有 UTF-24 这种编码?
@noli 说的没错。至于 cpu 怎么去处理它,当然是根据不同的数据类型和编码规范进行识别和处理。
2017-10-22 02:20:33 +08:00
回复了 asiufasd 创建的主题 程序员 为什么没有 UTF-24 这种编码?
我上面的回答有点答非所问。
首先,unicode 是一整套的字符编码规范,按现有 codespace 定义,已经可以容纳足够多的字符,目前看来还没有必要再扩展。
其次不要把 UTF 和 unicode 搞混了,UTF-8,UTF-16,UTF-32 是 unicode 的具体编码实现。并不直接表示 codepoint。UTF-8 编码可以是 1 ~ 4 字节,UTF-16 是 2 或者 4 字节,UTF-32 则是 4 字节。
你说的 UTF-24 大概是想增加码空间,正如上面所说没必要,实际好多空间都还没用。
2017-10-22 00:49:26 +08:00
回复了 asiufasd 创建的主题 程序员 为什么没有 UTF-24 这种编码?
也没有 3 个字长的地址阿
2017-05-03 20:06:06 +08:00
回复了 esolve 创建的主题 问与答 不同数组初始化的区别?
2017-04-30 17:00:08 +08:00
回复了 meetocean 创建的主题 问与答 有想学习逻辑学并运用于现实生活中的吗?
不知道爱因斯坦在什么时候,什么场合说的那句话。逻辑对科学的重要性毋庸置疑,但有一个前提,一定要建立的真实、客观的认识基础上。如果前提错了,会推导出各种奇怪的结论。
爱因斯坦的 30 岁论,中文搜索到的条目看上去大多像鸡汤文。英文 quora 上倒是有讨论:
https://www.quora.com/Do-you-think-Einstein-was-right-when-he-said-A-person-who-has-not-made-his-great-contribution-to-science-before-the-age-of-thirty-will-never-do-so
2017-04-27 18:29:58 +08:00
回复了 superPershing 创建的主题 问与答 什么是高内聚、低耦合?
我的理解:高内聚就是内部功能组件尽可能的小和单一,同时避免暴漏不必要的接口;高耦合即尽可能的抽象外部接口,使接口服务和内部实现无关。
2017-04-22 18:25:26 +08:00
回复了 join 创建的主题 程序员 到现在我们忽然菜明白自由软件的可贵。
许多人好像并没有理解 free/open source 的目的,它主要是针对开发者而言,为了更加开放的商业模式,在有人作恶或者垄断时可以有另一种选择。这一点可以参考 UNIX 的版权诉讼历史。开放系统从体系框架上具有许多优势,就像民主和非民主的政治体系,虽然许多现代国家选择民主而且相信民主是个好东西,但总有人愿意由别人来替自己做决定。这就像总有受虐狂的存在一样。

对于普通用户,选择封闭系统还是开放系统完全可以由用户决定。只要这个决定是用户自己理性思考的结果。假如用户同时又是开发者,是否自由或者开源就很重要。
2017-04-21 19:09:34 +08:00
回复了 join 创建的主题 程序员 到现在我们忽然菜明白自由软件的可贵。
站在更高观点来观察人类社会演化,语言、绘画的出现,是人类第一次尝试抽象表达,以摆脱物质束缚,这便是自由萌芽;随后文字、艺术、科学、思想等更高级的抽象形式出现并发展,人类在物质或者科学规律的束缚下,不断突破,从此一发不可收拾。

这其中有一个主线,便是:
抽象——>形成形式表达——>形式表达再自由组合成各种形式(各种逻辑算法、非逻辑艺术形式)——>形式再反过来作用于物质。

从具体形式到抽象形式,即抽象,是软件的本质,基于此就可以在不同层次考虑问题,可以形成虚拟的硬件,而这种硬件又可以灵活改变和相互作用。至此人类终于抽象并着手建造一个前无古人无比强大的工具—人工智能。云计算以及各种虚拟化技术的优势也在于此,云平台也是人工智能的基础平台。

GNU 等自由软件组织的开放软件协议就是向传统商业模式的挑战,在未来软件无处不在,且极有可能是一切商业活动的基础时,一种更开放的商业模式当然是值得期待的。某些互联网企业依靠垄断或者间接的绑架用户的业务模式当然也不会长久。
2017-04-20 23:36:53 +08:00
回复了 join 创建的主题 程序员 到现在我们忽然菜明白自由软件的可贵。
我指的是 gnu 。
2017-04-20 23:34:54 +08:00
回复了 join 创建的主题 程序员 到现在我们忽然菜明白自由软件的可贵。
我觉的这里的 free 几乎没有或者根本不关“免费”的意思。
2017-04-20 23:30:58 +08:00
回复了 join 创建的主题 程序员 到现在我们忽然菜明白自由软件的可贵。
自由首先要解决的问题就是去中心化,不能由某一个人或某一些人决定整个系统的行为。
同时还需要越多的个体参与,以实现多样化、自然选择和智力上的分布式运算。
2017-04-16 16:30:03 +08:00
回复了 liaa 创建的主题 程序员 提醒 V 友, 防不胜防的钓鱼网址
IDNA
在 IDN 规范里应该强制要求浏览器等应用在显示 IDN 时将 puncode 编码的字符以某种直观的可辨识的方式表示,以示其为非 ASCII 码字符。
2017-04-14 16:05:19 +08:00
回复了 zqqian 创建的主题 问与答 如何“劫持”HTTPS 让需要登录的 wifi 跳转到认证界面?
操作系统会提供网络切换后的联网检测功能,即尝试请求 http://xx.xx/generate_204 。比如 macOS/iOS ,如果网络接入设备需要 captive portal 身份验证,会弹出登录界面。此时,假如设置了系统级的加密代理,一定要在规则里让 captive portal 检测域名绕过代理。

不知道 android 有没有类似机制。
1  2  3  4  5  6  7  8  9  10 ... 13  
关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   1035 人在线   最高记录 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 25ms · UTC 21:45 · PVG 05:45 · LAX 13:45 · JFK 16:45
Developed with CodeLauncher
♥ Do have faith in what you're doing.