JavaScript 是一种动态的类型语言,但这并不意味着要否定类型的使用。我们日常打交道的主要就是字符串、数值、布尔值等。虽然 JavaScript 语言成面上没有相关的集成。不过我们可以使用类型签名生成文档,也可以使用注释帮助我们区分类型。
根据Picrce的说法:“类型系统是一个可以根据代码段计算出来的值对它们进行分类,然后通过语法的手段来自动检测程序错误的系统。”
从reddit/hackernews/lobsters/meetingcpp摘抄一些c++动态
fasterthanlime 的油管视频介绍了你“不应该”使用 Rust 的十大理由[1] :
早在 1950 年代,随着 Lisp 语言的创建,函数式编程( Functional Programming,简称 FP)就已经开始出现在大家视野。
1801,Joseph Marie Jacquard用打孔卡为一台织布机编写指令,在提花织布机(或称甲卡提花织布机,Jacquard loom)上,运用打孔卡上的坑洞来代表缝纫织布机的手臂动作,以便自动化产生装饰的图案。Jacquard织布机是第一台可进行程序控制的织布机。用打孔卡进行编程的概念,直到电子计算机被发明出来之后仍然被广泛运用。
“全外连接产生表 A 和表 B 中所有记录的集合,带有来自两侧的匹配记录。如果没有匹配,则缺少的一侧将包含空值。” – [来源](http://blog .codinghorror.com/a-visual-explanation-of-sql-joins/)
1900年,Hilbert 提出了数学界悬而未决的10大问题,后续陆续添加成了23个问题,被称为著名的 Hilbert 23 Problem。针对其中第2个决定数学基础的问题——算术公理之相容性,年轻的哥德尔提出了哥德尔不完备定理,解决了这个问题形式化之后的前两点,即数学是完备的吗?数学是相容的吗?哥德尔用两条定理给出了否定的回答。
近日,英国皇家学会颁发 2021 年米尔纳奖(Royal Society Milner Award and Lecture),剑桥大学信息工程学教授 Zoubin Ghahramani 因其对概率机器学习的基础贡献获得此奖项。
“这个分组变量现在是GroupBy对象。 除了分组的键df ['key1']的一些中间数据之外,它实际上还没有计算任何东西。 我们的想法是,该对象具有将所有操作应用于每个分组所需的所有信息。” – PyDA
本文较长,总共分为三大部分:(对于函数式编程以及其优点有一定理解的童鞋,可以直接从 第二部分 开始阅读)
本文简述了软件复杂度问题及应对策略:抽象和组合;展示了抽象和组合在函数式编程中的应用;并展示了Redux/React在解决前端状态管理的复杂度方面对上述理论的实践。这其中包括了一段有趣的Redux推导。 软件复杂度及其应对策略 软件复杂度 软件的首要技术使命是管理复杂度。——代码大全 在软件开发过程中,随着需求的变化和系统规模的增大,我们的项目不可避免地会趋于复杂。如何对软件复杂度及其增长速率进行有效控制,便成为一个日益突出的问题。下面介绍两种控制复杂度的有效策略。 对应策略 抽象 世界的复杂、多变和人
明文攻击就是指已经知道了部分明文和它对应的加密后的字段,从而可以推测出使用的加密手段或者密码本。明文攻击这个故事还要从二战时候说起。
上面的两端代码都是等价的,但是第一段代码sort1这个偏函数需要指定传入的类型才能运行,而sortWith则不需要。对于等效的代码,为什么sort1无法使用类型推断,而sortWith可以呢?
软件定义网络(SDN)是过去十年中一项重要的技术,增加了网络的可编程性。SDN理念通过将应用、控制和数据平面解耦来增加网络的可编程性。数据平面是一个重要但尚未解决的组件,与控制和应用平面相比,它受到的关注较少。
kaggle.com主页 AI科技评论3月8日消息,科技博客 TechCrunch 援引消息人士报道称,谷歌正在收购 Kaggle —— 一个举办数据科学和机器学习竞赛的平台。有关此次交易的详细信息目前还未披露,但是考虑到谷歌本周在旧金山召开 Cloud Next 云技术大会,官方消息很可能会在明天公布。 TechCrunch 通过电话联系了 Kaggle 的 CEO Anthony Goldbloom,他并没有否认这次收购,而谷歌则拒绝对该消息置评。 Kaggle 由 Golgbloom 和 Ben
【新智元导读】“新智元 2015 人工智能创业家”得主余凯所创立的地平线机器人公司近日获得了著名风险投资家、Facebook 和阿里巴巴投资人 Yuri Milner 的投资,新智元群友和专家的投票预
华莱士指责科技公司乐于销售人们的数据,却不愿意把它们提供给政府,迫使政府在去激进化项目、监控和其他反恐措施上花费了大量资金。 “如果他们继续不合作,我们应该考虑把征税作为一种手段来促使他们合作,或者弥补他们的不作为所造成的损失,”华莱士在接受英国《星期日泰晤士报》采访时表示。 华莱士并未给出征税计划的进一步细节。《星期日泰晤士报》称,任何纳税要求将会以暴利税的形式实施,类似于英国前首相布莱尔在1997年对公用事业民营化征收的税种。 华莱士指责科技公司把自身利益置于公共安全之上。“我们不应该继续对这些公司的贪
去年,霍金与企业家尤里•米尔纳(Yuri Milner)一起,推出了长期研发计划“突破摄星”。
2022年5月19日消息,拥有专有计算和机器学习平台的生物技术公司Oxford Drug Design已从现有投资者ACF Investors、o2h Ventures、Jonathan Milner、一些returning angels和新投资者、R42 Group那里筹集了270万美元的资金。这使公司的筹款和股权融资总额超过1200万美元。
转自|新浪科技(http://tech.sina.cn/) 依靠反射光推进的宇宙飞船 尤里与霍金 北京时间4月13日早间消息,霍金联合互联网投资人尤里-米尔纳(Yuri Milner)周二宣布启动一个
原标题:Nature:科学家发现能有效编程癌症免疫疗法的关键开关蛋白! 本文系生物谷原创编译,欢迎分享,转载须授权! 在机体感染或肿瘤生长期间,一类名为CD8+ T细胞的特殊类型白细胞会在脾脏和淋巴结中快速增殖,并且获取杀灭疾病细胞的能力;随后某些杀伤性T细胞就会迁移到机体患处来消灭细菌或癌细胞。 📷 图片来源:The Scripps Research Institute 那么这些杀伤性T细胞如何学会离开“巢穴”后在特殊的组织部位(比如皮肤、倡导、实体瘤部位)积累的?长期以来研究人员并没有有效阐明到底是哪种
近日,著名制药企业 Genentech 向 23andMe 注资 6000 万美金,用于分享后者的帕金森氏症患者的基因组数据。 23andMe 是一家好公司,Anne Wojcicki 也被认为是一位好科学家。但基因技术涉及人类隐私以及令很多科研工作者头疼的伦理问题,这导致 23andMe 开展业务并没有想象中那么顺利。 2013年11月,FDA 叫停了 23andMe 与健康有关的数据解读服务,虽然这意味着消费者依然可以拿着数据找懂行的从业者解读,这项禁令的确“减缓了我们新客户的增长速度”。 作为一家
尼古拉斯·沃斯(Niklaus Wirth,1934年2月15日—),生於于瑞士温特图尔,是瑞士计算机科学家。Pascal语言之父。
余凯在地平线人工智能芯片发布会上。 硅谷传奇风险投资家Yuri Milner在与地平线创始人兼CEO余凯交谈时曾问道:“10年后,我们的生活将因地平线的存在而发生什么改变?” 余凯的回答非常朴实:“那时,你的身边将围绕着各种智能设备:自动驾驶汽车可以来到住宅门口接你,空调知道你睡觉时最舒适的温度是多少,冰箱知道你喜欢的食物即将吃完而自动为你下单购买……你身边的设备如同有五官,可以感知环境;有反馈,可以人机交互;有大脑,可以作决策判断。” 现在,地平线正在给一些终端设备装上“大脑”——经过两年多的研发,地
当我们开始这个小众市场的时候,我们的第一个问的问题是:什么是人工智能芯片?最好的办法是先思考人工智能软件需要什么:很好的处理速度,以及高处理速度所需的大功率。然而,处理器的运行方法也很重要。这段从MIT Technology Review引用的文字解释了为什么我们不能仅仅用高端的英特尔处理器芯片来实现人工智能: 一个顶级的英特尔处理器包含过多的punch用来运行庞大的金融电子表格或是企业运营软件时,而为了深度学习的芯片优化将一些特定类型的问题(比如理解语音命令或识别图像)分成为无数的小块(bite-size
EllipticEnvelope假设数据是正态分布的,并且基于该假设,在数据周围“绘制”椭圆,将椭圆内的任何观测分类为正常(标记为1),并将椭圆外的任何观测分类为异常值(标记为-1)。 这种方法的一个主要限制是,需要指定一个contamination参数,该参数是异常观测值的比例,这是我们不知道的值。
大数据文摘作品,转载要求见文末 作者 | Aileen 6月3日周六晚上,英国首都伦敦发生了恐怖主义袭击事件,7人死亡,至少48人受伤。这是不到两周时间里英国发生的第二次恐怖袭击。 英国首相特蕾莎·梅在唐宁街外发表演讲:“我们不能允许恐怖主义有滋生的温床。” 她还补充道:“然而,这正是互联网界和提供互联网基础服务的大公司所提供的。我们需要和我们的盟友政府们达成国际协议,监管网络空间以防止极端主义以及恐怖主义计划的传播。“ 对于这样的指责,各个科技公司纷纷发声。 Facebook: 我们希望Facebook
10 月 11 日 - 10 月 17 日,原定于加拿大蒙特利尔举办的计算机视觉领域三大顶会之一——ICCV 2021,正在线上举行。今天,大会全部奖项已经公布。
大数据文摘作品,转载要求见文末 编译 | 姜范波,任杰,Sophie Google于今早在旧金山举行的Google Cloud Next会议上确认将收购数据科学竞赛平台Kaggle,但没有公开收购条款细节。 图:2017年3月9日Kaggle社区最新排名 这项收购并不出人意料。Kaggle在平台上拥有50万数据科学家,它将使Google能够立即在AI社区中拓展其覆盖范围。随着谷歌与亚马逊在云计算领域的竞争难分伯仲,它将需要尽可能多的制胜点。 这也将帮助谷歌在数据科学社区中更加扎实地确立其品牌——尽管得
编者按:数字经济不断深化发展的当下,云计算产业风起云涌,也孕育了众多的创业公司。作为全球IDC产业“第二级”,中国市场也愈加吸引全世界的目光。近日,一家外媒就介绍了它眼中的5家中国云计算独角兽公司。文章来源于网络,不代表本号及作者的立场。
作者:Chientung 摘自:36氪 网站:www.36kr.com 近日,著名制药企业 Genentech 向 23andMe 注资 6000 万美金,用于分享后者的帕金森氏症患者的基因组数据。
█ 本文译自技术文档撰写人 Jesse Dohmann 于2017年11月2日的博客文章:From Aircraft to Optics : Wolfram Innovator Awards 2017
明敏 发自 凹非寺 量子位 | 公众号 QbitAI 硅谷富豪们痴迷的抗衰老“神药”,最近又有新进展了。 现在,吃一粒药丸,不仅可以靶向清除衰老细胞,还能提高生物体内抗衰老蛋白的水平。 而且这种药物已经在人体上进行了实验。 结果表明,罕见病特发性肺纤维化 (IPF)患者在口服药物一段时间后,尿液中的抗老蛋白α-Klotho水平明显提高。 这是一种可协助传递延缓衰老激素信号的蛋白,相关研究曾在Nature上发表。 此次的最新进展由梅奥医学中心James L. Kirkland团队带来,研究成果已在柳叶刀子
为此,来自南加州地震中心、哥伦比亚大学、加州大学等的研究人员决心,用计算机模拟加州80万年来的地震情况。
11月5日,斯蒂芬•威廉•霍金(Stephen William Hawking)在腾讯WE大会的五周年论坛上远程发布了最新演讲。霍金教授的出现是这次大会上的特殊惊喜。他试图和北京的听众探讨两个终极问题: 人类的未来如何达到完美? 我们为什么要探索另一星球? 在演讲中,霍金表述了对地球和人类的担忧,但他称自己为“乐观主义者”,他相信人类可以避免这样的世界末日,而最好的方法就是移民到太空,探索人类在其他星球上生活的可能。他在本次演讲中,也重点介绍了“突破摄星”计划,他认为,这一计划是人类初步迈向外太空的真正机会
解释器是比较深入的内容。虽然我试图从最基本的原理讲起,尽量让这篇文章不依赖于其它的知识,但是这篇教程并不是针对函数式编程的入门,所以我假设你已经学会了最基本的 Scheme 和函数式编程。如果你完全不了解这些,可以读一下 SICP 的第一,二章。当然你也可以继续读这篇文章,有不懂的地方再去查资料。我在这里也会讲递归和模式匹配的原理。如果你已经了解这些东西,这里的内容也许可以加深你的理解。 解释器其实不是很难的东西,可是好多人都不会写,因为在他们心目中解释器就像一个 Python 解释器那样复杂。如果
【新智元导读】科技杂志Wired日前公布数字世界“最有影响力100 人”,其中近三分之一与人工智能有关。其中,马斯克第1、扎克伯格第2、马化腾排第4,马云第6,DeepMind创始人Hassabis第
根据瞻博网络的数据,到2021年,一旦有460亿台设备,传感器和执行器连接在一起,那么我们将会进入一个更大,更强大和更稳定的物联网(IoT)。那么IoT 2.0会是什么样的? 互操作性和开放的生态系统 IoT 2.0的关键特征之一将是通用标准。物联网是广泛的,其涵盖的许多行业 - 从工厂,汽车到建筑自动化和网络 - 都有自己的协议,接口和硬件。 Canonical的PC电话设备营销主管Thibaut Rouffineau说:“物联网的真正范例转变是开发板的可用性,只是旧专有解决方案成本的一小部分。”他认
1 前言 如今编程成为了一个越来越重要的「技能」: 作为设计师,懂一些编程可能会帮你更好地理解自己的工作内容; 作为创业者,技术创始人的身份则会让你的很多工作显得更容易。 而作为刚入门的新手,面对眼前
@app.errorhandler 装饰器是 Flask 中的一个装饰器,用于注册一个错误处理函数。这个函数会在应用程序抛出指定类型的异常时执行,可以用来自定义错误页面或返回错误信息。
不管是哪种编程语言,重新造轮子都是不好的做法。像启动多个goroutine并行处理任务并将它们的错误聚合这样的代码片段非常常见,对于这种情况,Go系统库中提供了解决该问题的方法。本文让我们深入研究它,并理解为什么它应该成为Go开发人员手中一把有力的工具。
大数据文摘出品 1956年8月,在美国汉诺斯小镇宁静的达特茅斯学院中,克劳德·香农(Claude Shannon,信息论的创始人在内的几十位科学家正聚在一起,讨论着一个完全不食人间烟火的主题:用机器来模仿人类学习以及其他方面的智能。 会议足足开了两个月的时间,虽然大家没有达成普遍的共识,但是却为会议讨论的内容起了一个名字:人工智能。因此,1956年也就成为了人工智能元年。 一张集体照(见上图)拍摄了7名主要参与者,在之前的文章中,一直只标明了六个人的位置,在后排,从左到右,是奥利弗 · 塞尔福里奇,纳撒尼尔
Redis的设计理念之一是简单性和可预测性,为了保持这种简单性,Redis采用了单线程的模型。Redis通过单线程的方式避免了多线程的复杂性和线程安全性的问题。
@app.register_error_handler 是 Flask 中的一个装饰器,用于注册一个错误处理函数。与 @app.errorhandler 不同的是,它可以同时处理多种异常类型。
在计算机科学中,并查集(英文:Disjoint-set data structure,直译为不交集数据结构)是一种数据结构,用于处理一些不交集(Disjoint sets,一系列没有重复元素的集合)的合并及查询问题。并查集支持如下操作:
在整个 SQL 执行过程中,需要经过 Parser,Optimizer,Executor,DistSQL 这几个主要的步骤,最终数据的读写是通过 tikv-client 与 TiKV 集群通讯来完成的。
理解kubectl的核心实现之一:Visitor Design Pattern 访问者模式
Redis客户端使用名为RESP(Redis序列化协议)的协议与Redis服务器进行通信。 虽然该协议是专为Redis设计的,但它可以用于其他CS软件项目的通讯协议。
Redis是开源的高性能内存Key-Value数据库, 可以提供事务和持久化支持, 并提供了TTL(time to life)服务。
领取专属 10元无门槛券
手把手带您无忧上云