iNews新知科技 关注科技，自有新知
2025年5月15日 …
查看更多
Don’t Test, Verify：哪个故事真正符合你对形式化验证的想象？
从诞生至今，形式化验证（Formal Verification）方法一直与“小众、冷门”等字眼挂钩。 …
查看更多最新文章
RSA累加器，区块链瘦身神器？
我们知道，默克尔树结构（Merkle tree）对于区块链项目而言是非常重要的，无论是比特币区块链还 …
查看更多密码朋克消亡史
草根阶级突然监管原本神秘被禁止的密码和代码领域，产生的最重要的结果也许就是获得了可用的电子货币。 — …
查看更多一箭四星发射成功 苏宁把粉丝宠上天！
“哼！坐稳了，上天就上天～29号见吧！”苏宁易购这条宣称发射卫星的官方微博最终实现：北京时间2018 …
查看更多特斯拉的历史拐点究竟在哪儿？
“你可能不相信自己的眼睛，我们也不相信有朝一日会写出这样的话。”在特斯拉发布财报的前一天，持续多年做 …
查看更多微信、支付宝的安全性如何？密码学家是这么说的
请互联网的出现，彻底革新了人类的工作和生活习惯，只要加入虚拟世界，即使天涯海角，也能随心所欲。 但代 …
查看更多马化腾发问背后腾讯焦虑：六年前架构不适应当下环境
最近，腾讯CEO马化腾在知乎求解科技前景，不过业内人士对腾讯未来的关注度显然更高，认为马化腾在知乎的 …
查看更多在重庆做互联网，真的比在上海差很多吗？
昨天得知一个消息：认识的一个90年的技术团队负责人，刚刚跳槽去了家头条系公司，年薪150万+。 这和 …
查看更多B站和腾讯达成战略合作，引领ACG产业升级，如何优势互补？
二次元文化中有一个词汇叫“圈地自萌”，是指自己偷着乐，以及拉着跟自己有同样趣味的人一起偷着乐。 这也 …
查看更多不是所有人都能从工业革命中获益
“在一个组织得合理的社会制度下，所有这些（机器方面的）改进都只会受到欢迎；然而，在一切人反对一切人的 …
查看更多雷军与董明珠“10亿赌局”的悬念
2013年12月12日，在“中国经济年度人物”颁奖典礼上，获奖者雷军表示：“小米模式能不能战胜格力模 …
查看更多340亿美元买下红帽！IBM百年以来最大手笔，云市场翻身之战！
IBM将以现金收购Red Hat所有股份，收购总额大约为340亿美元，创下了开源软件史上最大的交易记 …
查看更多除了“假货”，拼多多还有什么？
2018年10月13号，在混沌大学的课堂上，李善友教授首次进行案例分析，深度解析拼多多在电商红海中的 …
查看更多在中国，音乐到底靠什么挣钱？
在中国，音乐到底靠什么挣钱？ 关于这个问题，我在微博 @新音乐产业观察 上聊过很多次了，不过，我觉得 …
查看更多顺丰55亿收购DHL供应链业务 意打造全球标准平台
顺丰控股（002352）26日晚发布公告称，公司与国际物流三巨头之一DHL达成战略合作协议。 根据交 …
查看更多量产甜蜜：为什么我们无法停止吃糖和变胖？
我们这一代年轻人的家庭里，多半有那么一两个“中年发福”的人。因为工作的原因频繁出入酒局、饭局，回到家 …
查看更多“男同”借腹生子
在5个正常胚胎里，2个是男孩，3个是女孩。钟源想了想，还是决定第一个孩子要个男孩。 孩 …
查看更多AI+IP，克拉克拉的虚拟偶像生意究竟怎么玩？
谈到虚拟偶像，就绕不开身为“世界第一公主殿下”的初音大小姐。 初音未来是2007年8月31日由CRY …
查看更多