- 综合排序
- 最热优先
- 最新优先
重庆合川发布陶行知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 - 来自专栏程序人生 阅读快乐
AngularJS实战 - 陶国荣 著
近来，国内开发者对Angular的学习越来越热，有一个非常重要的原因在于Angular框架与以往任何一套前端框架都不同，它的主旨是克服HTML在构建应用上的不足，并补足这些应用的缺陷，如使用大括号语法进行数据绑定、使用DOM控制结构来实现对页面元素的控制等一系列的方法，同时，Angular又是一个完整的端对端的解决方案，可以非常轻松地构建一个CRUD应用，并非常方便地实现测试、发布的功能。
73410发布于 2018-10-10 - 来自专栏ionic3+
Vue+Ionic4，知虎偏行（三）自定义主题
然后再创建一个scss主题文件，存放目录和名字随意，如variables.scss，里面写上覆盖的样式：
73820发布于 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 数字化转型，爆发前夜 商业世界从来不缺科技浪潮，过往的每一次变革都深刻改变和重塑着社会。 最近这几年，数字化正在成为新的时代浪潮，数字化转型运动如火如荼，席卷千行百业。 那些快速抓住风口者往往能在激烈的市场竞争中占得先机，登上浪潮之巅。
72810编辑于 2023-03-29 - 来自专栏量子位
GitHub Copilot让陶哲轩感到“不安”
并且陶哲轩还给出了一个具体的案例做阐述。 例如在上面这个例子中，陶哲轩先是将一个积分分成了三块。 然后他用语言描述了如何对第一块的内容做估计，以及说明了一下如何估计剩下两块的内容。 它基于陶哲轩给出的内容，“啪的一下”，就提出了一大长段的建议内容。 陶哲轩对此表示： 虽然Copilot给出的建议不都是可用的，但最终，我估计有十几句是被我用到了博客文章里。 网友在看到陶哲轩的安利之后也表示赞成，认为GitHub Copilot对非编程相关的内容也是一个非常好的文本工具。 而这并不是陶哲轩第一次给AI工具“带盐”了，在此之前，他便已经推荐过GPT-4、VSCode等等。 那么这次在GitHub Copilot的加持之下，陶哲轩又完成了怎样的一项工作？ 我们继续往下看。 接下来，陶哲轩介绍了一些估计非负量的和或积分的上界的常用方法，包括算术平均值-几何平均值不等式、Holder不等式、Markov不等式等。
40050编辑于 2023-10-03 - 来自专栏新智元
陶哲轩等重写论文回应争议：七种证明，全面回顾“颠覆数学常识”的公式是怎么来的？
那么对应于特征值λ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 - 来自专栏Python乱炖
知否知否-----selenium知多少
关于selenium，就不多介绍什么了，主要就是用来进行自动化的工具。怎样进行自动化，这才是它大放异彩的地方。下面就来看看吧！
84620发布于 2019-09-23 - 来自专栏新智元
很快OpenAI能证明陶哲轩错了？陶哲轩一句话，被OpenAI高管怼回去
作为o1早期的访问者，菲尔兹奖得主陶哲轩在OpenAI研究高级副总Mark Chen访谈中，畅聊了o1推理的数学未来。 不过，陶哲轩还认为，AI在数学领域的应用将带来一种 「不同的美」，计算机生成的证明将有别于人类生成的证明，具有自己的一种优雅。 陶哲轩认为，年轻数学家必须保持灵活性，因为数学已经逐渐变成了一个技术性学科，越来越考验协作性。 ，陶哲轩表示，把数学计算机化，并支持检索，是一个很棒的想法。 陶哲轩回应说，数学是一条非常宽的双向车道，比如物理学家可能已经发现了数学原理，但没有解释，然后还需要再回过头发展数学理论。
35700编辑于 2025-02-15 - 来自专栏开源社
知否知否，VS Code 不止开源
作者：韩骏 | 编辑：舒敏 VS Code， 昨夜始于“开源”，如今“开源”深处渡。 读者看到这句话，也许会有疑惑，为什么两个“开源”都加上了双引号? 其实是笔者有意为之，因为这个两个“开源”的
77560发布于 2019-05-29 - 来自专栏Python乱炖
知否知否-----selenium知多少（二）
D:\\baidu_img.jpg") driver.quit() Selenium关闭浏览器 这个步骤在之前的每个exercise我们都有执行过，之前没介绍，那我们最后就来说一下，每个代码的最后一行，
1.8K30发布于 2019-09-23 - 来自专栏用户2442861的专栏
高性能网络编程（一）----accept建立连接（陶辉）
http://blog.csdn.net/russell_tao/article/details/9111769
1K10发布于 2018-09-20 - 来自专栏新智元
DeepMind首个猜想库开源，获陶哲轩力挺！
新智元报道 编辑：桃子 【新智元导读】谷歌DeepMind重磅出击，开源首个形式化数学猜想库，获陶哲轩力挺！从解析数论的兰道猜想开始，这个开源项目将为AI破解数学难题的未来铺路。 形式化猜想，再次获陶哲轩认可！ 最近，谷歌DeepMind正式开源了「形式化猜想」GitHub项目，在业内引发巨大的反响。 项目地址：https://github.com/google-deepmind/formal-conjectures 尤其是，一直以来对此关注度最高的菲尔兹奖得主陶哲轩，发长文进行了点评。 陶哲轩：AI攻克数学猜想第一步 你可能好奇，为什么不直接让AI去解决数学问题，非要搞什么「形式化」？ 这里有个关键点：数学猜想通常是用自然语言描述，对人来说很直观，但对计算机来说却像「天书」。 陶哲轩表示，「提出一个数学猜想容易，证明它却难如登天」。 若想借助自动化工具在这些问题上取得进展，建立一种标准化的表述形式是关键的第一步。
28110编辑于 2025-06-13 - 来自专栏数据仓库技术
行转列-有序行转列
(1, 2, 3), (x, i) -> x + i); [1,3,5] Since: 2.4.0 2.其他函数介绍 collect_list collect_set concat_ws 三、有序行转列 直接考虑是使用开窗函数，根据时间进行排序（这种方法不可行，原因在于collect_list和collect_set那句提示“该函数是非确定性的，因为收集结果的顺序取决于行的顺序，这在经过shuffle之后可能是不确定的 ----------+----------------------+--------------+---------------------------------------+ 我们可以观察最后一行结果 我们只需要取出每个骑手最后一行数据即可。 -----+----------------------+--------------+--------------------------+ 2.2 对time_customer 按照骑手id分组行转列
43910编辑于 2024-08-13
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号