- 综合排序
- 最热优先
- 最新优先
重庆合川发布陶行知AI数字人，世优科技提供数字人全栈技术支持
作为全国五省市九区县“重走行知路”主题活动的核心亮点，由重庆市合川区、民生教育集团、重庆应用职业技术学院联合发布，世优科技提供全栈技术支持的陶行知AI数字人正式亮相。 缘起：为何要让陶行知先生“数字化”？合川，作为陶行知先生生活、办学的重要之地，素有“育才摇篮”之称。 高拟真还原，再现先生神韵：为了最真实地还原陶行知先生的神韵与风骨，世优科技的技术团队付出了远超常规的努力。在合川区陶行知研究会的协助下，团队系统学习了陶行知先生的相关著作与史料。 该项工作由合川区教委具体牵头，由合川区陶行知研究会负责知识库的建设整理，与世优科技的技术团队开展协同工作，深入梳理了陶行知先生的生平履历、教育著作、书信文章以及“生活即教育”、“社会即学校”、“教学做合一 陶行知AI数字人项目建设基本完成，基于数字人的应用与课程研究也已启程。随着波塔AI数字人一体机在合川各教育地标的正式“上岗”，陶行知先生的数字身影将长久驻留。
10910编辑于 2026-04-10- 来自专栏ThoughtWorks
敏捷是知与行的功夫
” 敏捷是知与行的功夫 王阳明心学中有知行合一的认识论，即知行原是两个字，说一个功夫，不可分作两事。 “ 知之真切笃实处便是行，行之明觉精察处便是知。
49620编辑于 2023-04-28 - 来自专栏ionic3+
Vue+Ionic4，知虎偏行（一）引言
“明知山有虎，偏向虎中行”。这里说的虎，主要有两点： @ionic/vue还属于beta版，在npm上是v0.0.4，实际在Github上源码已更新到v0.0.8，但这离正式版发布有很大的距离，使用它开发有一定的风险。 网上资料较少，官方文档待完善。 实际上，@ionic/vue最初来自一个社区团队Modus的项目ionic-vue，后来该团队发送了一个pull请求，被ionic吸收，使包装器成为核心存储库的一部分。 Modus团队为了证明不只是在展现层上工作，而且集成运行良好，Modus团队还使
1.4K20发布于 2019-07-10 - 来自专栏ionic3+
Vue+Ionic4，知虎偏行（三）自定义主题
然后再创建一个scss主题文件，存放目录和名字随意，如variables.scss，里面写上覆盖的样式：
73920发布于 2019-07-15 - 来自专栏ionic3+
Vue+Ionic4，知虎偏行（二）创建及配置项目
安装ionic相关依赖（其中@ionic/core是组件部分，@ionic/vue是封装成Vue方式调用的接口部分）：
4.7K41发布于 2019-07-10 - 来自专栏AI科技大本营的专栏
60行代码爬取知乎“神回复”，句句戳中泪点
作者 | shenzhongqiang 转载自Python与数据分析（ID:PythonML） 之前的一篇文章《爬了下知乎神回复，笑死人了~》发布后，引发了大家热烈的反响。 其实爬取知乎神回复很简单，这篇文章我们就来揭晓一下背后的原理。 知乎神回复都有些什么特点呢？我们先来观察一下 大家看出什么规律了么？短小精辟有没有？赞同很多有没有？ 所以爬取知乎神回复我们只要爬取那些赞同多又字数少的回答就可以。简单的两个步骤就能实现，第一步爬取知乎回答，第二部筛选回答。是不是很easy？ 爬取知乎回答 第一步我们爬取知乎上的回答。 知乎上的回答太多了，一下子爬取所有的回答会很费时，我们可以选定几个话题，爬取这几个话题里的内容。 41 Q: 知乎给你带来的最小限度的好处是什么？ A: 消磨时间还不觉得罪恶。 42 Q: 有哪些反人类的科技发明或设计？
1.2K10发布于 2019-05-06 - 来自专栏深度学习与python
数字化不是试出来，而是蹚出来的｜行知数字中国
出品 | InfoQ ·《 行知数字中国 》 采访 | 霍太稳，极客邦科技创始人 &CEO 采访嘉宾 | 史喆，富士康科技集团首席数字官 作者 | 刘燕 审校 | 罗燕珊 数字经济时代 本着“推动数字人才全面发展”的使命，探求中国数字化发展的切片，极客邦科技 InfoQ 重磅推出《行知数字中国》视频栏目，通过访谈、探访等形式记录和传递极客邦眼中的数字中国，希望能为业界带来启发。 《行知数字中国》第一期，InfoQ 邀请到了富士康科技集团首席数字官史喆博士，来分享制造业实施数字化转型的路径和方式。史博士还从制造业延伸开去，总结了一些传统企业做数字化转型的方法论。 InfoQ《行知数字中国》× 富士康首席数字官史喆 精剪版 （本期完整版将于7月4日上线InfoQ网站） 1 数字化转型，爆发前夜 商业世界从来不缺科技浪潮，过往的每一次变革都深刻改变和重塑着社会。 最近这几年，数字化正在成为新的时代浪潮，数字化转型运动如火如荼，席卷千行百业。 那些快速抓住风口者往往能在激烈的市场竞争中占得先机，登上浪潮之巅。
72910编辑于 2023-03-29 - 来自专栏新智元
陶哲轩等重写论文回应争议：七种证明，全面回顾“颠覆数学常识”的公式是怎么来的？
那么对应于特征值λi(A)的特征向量 vi 它的第j个元素vi,j是和A的子矩阵Mj （A去掉了第j行和第j列后的矩阵）有如下恒等关系： ? A的子矩阵Mj （A去掉了第j行和第j列后的矩阵）的特征值同样升序排列。那么，根据柯西交叉不等式可以得到： ? 虽然这个恒等式对于一些数学领域来说相当熟悉，但它不像线性代数的其他恒等式那样广为人知，例如克拉默法则，柯西行列式公式等。 （@） Mji 还是A出去第j行第i列的子矩阵。根据Cramer 法则，则有： ? 如果A是对角阵，则伴随矩阵也是对角阵。更通用的，如果A是正规矩阵，对角化后可以写成 ? 的形式。 我仍然感到震惊的是，这样一个基本的结果并没有广为人知；我的意思是，作为大学二年级的学生，我实际上可以理解之前的论文版本，这对于新数学来说是相当罕见的。
1.7K10发布于 2019-12-18 - 来自专栏华章科技
笑死人不偿命的知乎沙雕问题排行榜
导读：这两天偶然上网的时候，被知乎上一个名为“玉皇大帝住在平流层还是对流层”的问题吸引，本以为只是小打小闹，殊不知这个问题却在知乎上引发了强烈共鸣，浏览次数500W+，7000+关注： ? 于是乎就激发了去探索知乎上“沙雕”问题的想法，也参照了shenzhongqiang文章《75条笑死人的知乎神回复，用60行代码就爬完了》，通过Python爬取这些问题的内容，浏览次数，关注人数，总结一份权威 作者：徐麟 来源：数据森麟（ID：shujusenlin） 01 数据来源 知乎非常“贴心”地专门有一个问题可以满足我们的需求，出人意料的是这个问题居然有243个回答，并且陶飞同学获得了3W+的赞同： - 调查类问题 …… ——@陶飞 原问题链接： https://www.zhihu.com/question/37453271/ 我们从中爬取了所有回答中出现的问题链接，共用400多个问题，其中陶飞就提供了 200+，在此向陶飞同学表示感谢，帮助我们构建了“沙雕数据库”，这部分代码如下： import re import selenium from selenium import webdriver import
5.8K40发布于 2019-11-12 - 来自专栏一行数据
【安排】23行代码爬取知乎全部回答（内附源码和应用程序）
上个月行哥为了给大家推荐书单，1分钟爬取了知乎5646个回答，并统计出前十名推荐量最高的书单给大家分享，并且为了大家使用方便将该篇推文中的代码转成应用程序给大家使用，但是万万没想到 ? 查看知乎网页地址，question后的一串数字就是问题号 ? def getAnswers(qid): offset = 0 num = 1 f = open("知乎回答%s.txt" % qid, "a") while True: offset += 20 time.sleep(1) f.close() getAnswers(62096167) 2.应用程序版本 对于不了解爬虫的小伙伴，只需要打开一行数据爬取知乎回答 .exe，修改问题号和选择保存路径，就可以将该知乎问题下的所有回答保存到当前路径下，如下图所示 ?
2.3K62发布于 2020-07-14 - 来自专栏机器之心
陶哲轩等人用编程方法，推翻了60年几何难题「周期性平铺猜想」
如果移动每一行，使其与其上方的行偏移不同的量，你将永远无法找到可以像图章一样剪切和粘贴以重新创建完整平铺的区域。真正的诀窍是像彭罗斯那样，找到可以覆盖整个平面的瓷砖组，但只能以不重复的方式覆盖。 这个猜想在一维和二维中的结果已广为人知，陶哲轩和 Greenfeld 试图在三维的情况上证明它：证明如果你可以移动一个三维形状来平铺整个三维空间，那么一定有一种方法可以周期性平铺空间。 陶哲轩说：「哪怕你只有两块瓷砖，它们也可以互相交谈，做些复杂的事情。」 Greenfeld 和陶哲轩认为他们的平铺方程系统是一个计算机程序。 每一行代码或方程都是一个命令，而命令的组合可以生成一个程序，实现一个特定的目标。「逻辑电路是由非常基本的对象构成的，AND 门和 OR 门等等，」陶哲轩说。 数学家们试图用特定的数字序列填满每一行和对角线，这些数字序列与他们可以用平铺方程描述的约束类型相对应：他们将其比作一个巨大的数独谜题。
77210编辑于 2023-03-29 - 来自专栏数字化之路
30分钟精通正则表达式！程序员必备的文本处理「万能钥匙」，效率直接飙升 10 倍！
在几万行日志里找「特定格式错误」，手动搜索到眼瞎？ 批量处理用户输入的手机号、邮箱，逐个检查到崩溃？ 想从网页源码提取数据，却只能逐行复制粘贴？ 匹配任意单个字符（除换行） a.c 匹配 abc、a&c \d 匹配数字 \d{3} 匹配 123 ^ 匹配字符串开头 ^Error 匹配行首的错误日志 $ 匹配字符串结尾 \.jpg$ 匹配 jpg \w+\.net // 匹配非www开头的.com域名（如 ai-as.net） 三、实战技巧：3 招解决 90% 的日常需求 ▶ 场景 1：验证手机号与邮箱 手机号：1[3-9]\d{9} 解析 ：以 1 开头，第二位 3-9，后跟 9 位数字（覆盖所有运营商）。 四、避坑指南：新手必知的 3 个「陷阱」 ▶ 陷阱 1：转义字符的「双重加密」 在编程语言中使用正则时，需注意双重转义！ Java 示例：匹配点号 . 需写为 \\d\\.
48410编辑于 2025-06-09 - 来自专栏量子位
陶哲轩：张益唐新论文存在一些技术问题，我已请他澄清
不少人把目光投向陶哲轩。 最新消息，陶哲轩已经读过张益唐的论文并做出点评： 目前论文的基本正确性尚未得到确认。 存在一些印刷错误和技术问题（主要集中在第11和12节）。 我已转发给益唐并请他澄清。 陶哲轩则在点评中写道： 以上这些问题（连同一些更严重的问题）是可能被修正的，但是需要一些时间。 对于其中“更严重的问题”是什么，他没有明确指出。 为什么看向陶哲轩？ 陶哲轩对此事的看法，为何备受关注？ 除了二人研究领域有重叠之外，陶哲轩还对张益唐上一次重要成果作出过重要改进。 而陶哲轩会不会再次出手，自然成了大家期待的对象。 实际上朗道西格尔零点也是陶哲轩这些年来的研究对象，去年九月他也发过相关论文。 关于这次结果的改进，张益唐在北大做学术报告时表示至少可以做到到几百。 关于自己的未来，已67岁的张益唐在亲笔写的知乎长文中也提到，没有考虑过退休的问题。 如果我真的离开数学了，我确实不知道我该怎么活。
1.1K30编辑于 2022-12-09 - 来自专栏新智元
陶哲轩论文漏洞竟被AI发现，26年预言要成真！看定理名猜出研究方向，大神直呼AI能力惊人
只不过这个过程这比他预想的要繁琐得多，每一行证明都要花费大约一个小时来形式化。 在项目的第一周，他的瓶颈在于不熟悉Lean语法和工具；但目前的瓶颈在于工具本身——不如计算机代数软件包中的工具先进。 例如，他在论文的一行中指出，不等式： 可以重排为： 假设所有分母都是正数，这对于人工计算来说是一项非常快速的任务，在任何标准的计算机代数软件包中也能相当容易地完成。 在证明论文定理1.3的过程中，陶哲轩用Lean4完成了定理证明的形式化。 在论文中，证明过程中只有一页纸，不过形式化证明却使用了200行Lean4。 比如在论文中，陶哲轩只是假定 在任何a>0的实数上都是凸的，并在之后调用了詹森不等式。但相关代码却需要差不多50行。 陶哲轩表示自己需要粗略地模拟Lean4的重写策略，通过剪切、粘贴等操作，对从一行到下一行的冗长表达式进行有针对性的编辑。这会导致错别字在文档中一连传播多行。
37620编辑于 2023-10-29 - 来自专栏新智元
50岁高龄程序员刚开源了10万行大数据平台代码
陶建辉将他和团队两年多的时间写下的10多万行C语言代码放在GitHub上，分享给全球的开发者。更多AI话题欢迎来新智元和群查看。 前几天，陶建辉对外正式宣布TDengine，一款专为物联网定制打造的大数据平台软件，正式开源。陶建辉将他和团队两年多的时间写下的10多万行C语言代码放在GitHub上，分享给全球的开发者。 陶建辉 不安于现状，每天12小时，连续两月写出18000行代码 1984年，高一的陶建辉写下了第一个Basic语言程序，到现在，35年已经过去。 在所有场合，当陶建辉介绍TDengine的时候，都是特别的自豪，因为这个超强的产品是他与团队一行一行代码码出来的，是无数个日夜debug出来的，不仅远超国内的产品，更是能把全球排名第一的同类产品拉下马。 2013年，他创办了一家专注于母婴行业的智能硬件公司，胎心算法程序不到600行源代码。
1.8K140发布于 2019-07-16 - 来自专栏Python数据科学
深爬笑死人不偿命的知乎沙雕问题排行榜！哈哈哈哈哈
前言 这两天偶然上网的时候，被知乎上一个名为“玉皇大帝住在平流层还是对流层”的问题吸引，本以为只是小打小闹，殊不知这个问题却在知乎上引发了强烈共鸣，浏览次数500W+，7000+关注： ? 于是乎就激发了去探索知乎上“沙雕”问题的想法，通过Python爬取这些问题的内容，浏览次数，关注人数，总结一份权威（搞笑）的“沙雕”问题排行榜 数据来源 知乎非常“贴心”地专门有一个问题可以满足我们的需求 ，出人意料的是这个问题居然有243个回答，并且陶飞同学获得了3W+的赞同 ? 我们从中爬取了所有回答中出现的问题链接，共用400多个问题，其中陶飞就提供了200+，在此向陶飞同学表示感谢，帮助我们构建了“沙雕数据库”，这部分代码如下： import reimport seleniumfrom 看来这些问题大多是源自于大家对于人生的探索，否则“为什么”，“如果”，“怎么办”也不会出现那么多，出人意料的是“体验”这个知乎专属tag居然并不多，可能是出于对知乎的尊重，和“体验”相关的问题都不会问得那么
2.6K30发布于 2019-11-12 - 来自专栏凹凸玩数据
python盘点：知乎沙雕问题排行榜
前言 这两天偶然上网的时候，被知乎上一个名为“玉皇大帝住在平流层还是对流层”的问题吸引，本以为只是小打小闹，殊不知这个问题却在知乎上引发了强烈共鸣，浏览次数500W+，7000+关注： ? 于是乎就激发了去探索知乎上“沙雕”问题的想法，也参照了shenzhongqiang强哥之前的知乎神回复文章，通过Python爬取这些问题的内容，浏览次数，关注人数，总结一份权威（搞笑）的“沙雕”问题排行榜 数据来源 知乎非常“贴心”地专门有一个问题可以满足我们的需求，出人意料的是这个问题居然有243个回答，并且陶飞同学获得了3W+的赞同 ? 我们从中爬取了所有回答中出现的问题链接，共用400多个问题，其中陶飞就提供了200+，在此向陶飞同学表示感谢，帮助我们构建了“沙雕数据库”，这部分代码如下： import re import selenium 看来这些问题大多是源自于大家对于人生的探索，否则“为什么”，“如果”，“怎么办”也不会出现那么多，出人意料的是“体验”这个知乎专属tag居然并不多，可能是出于对知乎的尊重，和“体验”相关的问题都不会问得那么
91330发布于 2019-11-26 - 来自专栏机器之心
陶哲轩上手Copilot：不可思议，它能从定理名字猜出我想要的方向
机器之心报道 编辑: 蛋酱、小舟 尝鲜 GPT-4 之后，陶哲轩又用上了 Github Copilot。 这一次，他的试用场景是学习 Lean 语言并利用其形式化数学定理。 而陶哲轩提到的定理，来自 10 月 9 日的一篇论文： 论文中的这个证明只有不到一页，但陶哲轩的形式化证明使用了 200 行 Lean 语言。 举例来说，在论文中，陶哲轩只是断言对于任意 a>0 的情况， 在实数上是凸的，因为这是一个常规的微积分练习，然后调用了 Jensen 不等式，但写出所有细节用了大约 50 行代码。 陶哲轩表示，Github copilot 能够正确预测各种例行验证的多行代码，并从定理的名字等线索中推断出他想要的方向，这种能力是「不可思议」的。 「在用 LaTeX 撰写证明时，我经常粗略地模拟这种方法，将我要处理的冗长表达式从一行剪切粘贴到下一行，然后进行有针对性的编辑，但这有时会导致错字在文档中多行传播，因此能以自动和可验证的方式进行重写是件好事
36520编辑于 2023-10-24 - 来自专栏飞总聊IT
笑死人不偿命的知乎沙雕问题排行榜
（图片来自于网络） 作者：徐麟，某互联网公司数据分析狮，个人公众号数据森麟（id：shujusenlin） 前言 这两天偶然上网的时候，被知乎上一个名为“玉皇大帝住在平流层还是对流层”的问题吸引，本以为只是小打小闹 ，殊不知这个问题却在知乎上引发了强烈共鸣，浏览次数500W+，7000+关注： 于是乎就激发了去探索知乎上“沙雕”问题的想法，也参照了shenzhongqiang强哥之前的知乎神回复文章爬了下知乎神回复 ，笑死人了~，通过Python爬取这些问题的内容，浏览次数，关注人数，总结一份权威（搞笑）的“沙雕”问题排行榜 数据来源 知乎非常“贴心”地专门有一个问题可以满足我们的需求，出人意料的是这个问题居然有243 个回答，并且陶飞同学获得了3W+的赞同 我们从中爬取了所有回答中出现的问题链接，共用400多个问题，其中陶飞就提供了200+，在此向陶飞同学表示感谢，帮助我们构建了“沙雕数据库”，这部分代码如下： import tag居然并不多，可能是出于对知乎的尊重，和“体验”相关的问题都不会问得那么“沙雕”。
81020发布于 2019-11-12 - 来自专栏浊酒清味
笑死人不偿命的知乎沙雕问题排行榜
，殊不知这个问题却在知乎上引发了强烈共鸣，浏览次数500W+，7000+关注： ? 于是乎就激发了去探索知乎上“沙雕”问题的想法，也参照了shenzhongqiang强哥之前的知乎神回复文章爬了下知乎神回复，笑死人了~，通过Python爬取这些问题的内容，浏览次数，关注人数，总结一份权威 （搞笑）的“沙雕”问题排行榜 数据来源 知乎非常“贴心”地专门有一个问题可以满足我们的需求，出人意料的是这个问题居然有243个回答，并且陶飞同学获得了3W+的赞同 ? 我们从中爬取了所有回答中出现的问题链接，共用400多个问题，其中陶飞就提供了200+，在此向陶飞同学表示感谢，帮助我们构建了“沙雕数据库”，这部分代码如下： import re import selenium 看来这些问题大多是源自于大家对于人生的探索，否则“为什么”，“如果”，“怎么办”也不会出现那么多，出人意料的是“体验”这个知乎专属tag居然并不多，可能是出于对知乎的尊重，和“体验”相关的问题都不会问得那么
64750发布于 2019-12-02
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号