language
2020-12-11 12:46
我们可以从Inuttitut学习到什么，Inuttitut是由谦卑，诗歌和土地塑造而成的语言。
Quaqtaq村的经理Bobby说：“她要休假两个星期。”
他在谈论娱乐部门的负责人，他掌握了所有钥匙，最重要的是Isummasarvik School储藏室的钥匙。我们需要它来获得运动器材，以保持孩子们在日营中的忙......
2020-11-1 7:7
在街上骑车时，我通常可以根据它们的“肢体语言”来判断我前面的车要做什么：它们是如何在自己的车道上定位的。我不知道我能不能很清楚地说出规则是什么，但我可以说出正在发生的事情，我知道我能说出来，因为我在脑海里做出了预测，然后这些预测被汽车的实际表现所证实。(是的，可能存在选择偏差，所以如果我真的想确认，我应该记录我的猜测......
2020-10-24 7:26
Youtube-dl是一个用于从互联网下载视频的开源实用程序。它最初只是一个下载YouTube视频的简单命令行工具，但后来发展到支持各种各样的视频网站。
今天，我们怀着沉重的心情报告，美国唱片业协会(RIAA)已向GitHub发出DMCA请求，要求拆除youtube-dl存储库及其分支：
这一请求是在YouTube-......
2020-10-22 20:50
回过头来看20：20，你会有什么不同的做法？"；我想我会……。
巴西的新数据隐私法是什么，在巴西做生意的公司需要知道什么…。
你在未来的应聘者身上寻找的三种技能或能力是什么？“最重要的是我……。
在技术领域，有一件事通常可以被认为是静态的经验法则，那就是事情在不断变化。创新，特别是在云时代，是不断发生的，很难跟......
2020-10-11 16:5
很明显，这个站点的目标之一是说服人们认真对待F#作为一种通用开发语言。
但随着函数式习惯用法变得越来越主流，C#增加了lambdas和LINQ等函数功能，似乎C#越来越“赶上”F#。
“C#已经具备了F#的大部分功能，我为什么还要费心去切换呢？”*。
“没有必要改变。我们所要做的就是等待几年，C#将获得许多提供最大好......
2020-9-30 4:19
Https://cppcon.org/https://github.com/CppCon/CppCon2020-Halide是一种开源的，特定于领域的语言，用于优化图像处理，机器学习...
2020-9-22 22:38
Hask是一个纯Python、零依赖的库，它模仿了来自Haskell的大多数核心语言工具，包括：
完整的Hindley-Milner类型系统(带有类型类)，它将对任何装饰有Hask类型签名的函数进行类型检查。
所有您喜欢的语法和控制流工具，包括运算符节、一元错误处理、保护等。
来自Haskell基库的(一些)标准库的......
2020-9-13 0:23
在我多年来学习9种语言的旅程中，我尝试了各种不同的方法来使我的学习更有效。以下是一些值得注意的方法，以及它们有效(或不有效)的原因。我希望这对你的学习也有帮助。
说到学习一门语言，沉浸是关键。身处以你的目标语言为母语的国家是最理想的。即使你没有意识到，你的学习也会变得无时无刻不在进行。
几年前我搬到东京，在一家全日本......
2020-9-9 22:57
下载PDF摘要：我们探索了基于转换器的语言模型在自动定理证明中的应用。这项工作的动机是，与人类相比，自动化定理证明者的一个主要限制-原始数学术语的生成-可能可以通过语言模型的生成来解决。我们为Metamath形式化语言设计了一个自动证明器和证明助手GPT-f，并对其性能进行了分析。GPT-f发现了新的简短证明，这些证......
2020-9-5 10:46
下载PDF摘要：最近的研究表明，大型基于文本的神经语言模型，按照传统的监督学习目标进行训练，获得了一种令人惊讶的倾向，可以进行少量和一次性的学习。在这里，我们证明了一个位于模拟3D世界中的具体化Agent，并被赋予了一种新的双编码外部记忆，当用传统的强化学习算法训练时，可以表现出类似的一次性单词学习。在通过连续的视觉......
2020-9-5 7:23
一些州发现自己需要懂60年历史的编程语言COBOL的人来改造陈旧的政府系统，目前这些系统正在努力处理冠状病毒危机带来的大量失业申领人数。
堪萨斯州、新泽西州和康涅狄格州在上周申请失业救济金的人数达到惊人的660万后，都经历了技术崩溃。
他们可能很难找到他们需要的程序员。这些天来，知道COBOL(通用面向商业的语言)的......
2020-8-27 0:35
(定义(thunk-time-it任务)(在(Cim)之前定义)(定义答案(任务))(在此之前定义增量(-(Cim)之前))(printf"；时间：~a ms\n"；增量)答案)。
Racket允许程序员添加新的语法结构，其方式与其他语言允许制定过程、方法或类的方式相同。您所需要做的就是制定一条简单的规则......
2020-8-25 1:50
许多公司都吹嘘自己在招聘过程中对技术一无所知。这是有道理的，为什么要限制你的候选人人才库呢？他们可能会说：“优秀的开发人员应该能够迅速发现不同语言之间的细微差别，他们的算法知识和经验正是我们要寻找的。”我最近从一个语言不可知的招聘经理，到一个语言不可知的候选人，再到一个语言不可知的家族，再到新手Python开发人员。......
2020-8-24 4:18
开放领域问答模型-理论上能够用新奇的答案回答新问题的模型-通常只是简单地记忆在它们所训练的数据中找到的答案，这取决于数据集。这是一个隶属于Facebook和伦敦大学学院的研究团队的断言，他们在一篇预印本论文中提出了证据，证明在开放领域基准测试的模型给出的答案中，有60%-70%嵌入了训练集中的某个地方。
开放领域问答......
2020-8-20 0:29
为什么我的模型会做出这样的预测？这一预测是否可以归因于敌对行为，或者是训练集中不受欢迎的前科？
如果我更改文本样式、动词时态或代词性别等内容，我的模型行为是否一致？
并排模式，用于比较两个或多个型号，或一对示例中的一个型号。
高度可扩展到新的模型类型，包括分类、回归、跨度标记、seq2seq和语言建模。支持开箱即用的......
2020-8-18 7:52
在类型驱动开发中，类型是构造程序的工具。我们将类型作为程序的计划，并使用编译器和类型检查器作为我们的助手，引导我们找到满足该类型的完整程序。越有表现力的类型是我们放弃前面，我们就越有信心，结果程序将是正确的。
在Idris中，类型是语言中的一级构造。这意味着类型可以作为参数传递给函数，并且可以像任何其他值一样从函数返......
2020-8-17 8:31
Julia允许您编写UI、静态编译代码，甚至将其部署到Web服务器上。它还具有强大的类似shell的功能来管理其他进程。它提供了类似Lisp的宏和其他元编程工具。
Julia具有用于C/Fortran、C++、Python、R、Java和许多其他语言的外来函数接口。Julia还可以通过其嵌入API嵌入到其他程序中。具......
2020-8-17 8:29
Halide是一种编程语言，旨在使在现代机器上编写高性能图像和数组处理代码变得更容易。卤化物目前的目标是：
GPU计算API：CUDA、OpenCL、OpenGL、OpenGL Compute Shaders、Apple Metal、Microsoft Direct X 12。
Halide不是一种独立的编程语言，而......
2020-8-11 5:13
你好，干扰者！很高兴为我们的首个编程语言Jam揭开序幕。如果你刚刚听说这件事，或者需要复习一下，那么请访问以下链接：Jam登陆页面Jam Introo发布Jam注册说明如果你还没有注册，或者认为其他人可能会感兴趣，现在做还不算太晚。我们将继续开放注册服务一周。我们保持主题的开放性，主要标准是“新鲜度”或新想法。我们不......
2020-8-5 0:5
今年的末日是星期二，我邀请了一位朋友来参加一场双人对决：一轮Stet！，这是根据“Dreyer‘s English”改编的新语言游戏；接着是马克·艾伦(Mark Allen)的“That Word Chat”节目，这是一档为墨水部落的编辑、词典编纂者、语言学家和其他人制作的自制Zoom脱口秀节目。我的朋友是梅里尔·珀......
2020-8-4 23:47
纳瓦霍语或纳瓦霍语(/ˈnævəh oʊ，ˈnɑː-/；[3]纳瓦霍语：Dinébizaad[t？nép？z̥ɑ̀ːt]或NaabeehóBizaad[nɑ̀ːpèːhóp？z̥ɑ̀ːt])是纳-德内族的一种南部阿萨巴斯堪语，通过它与北美西部地区所说的语言有关。纳瓦霍语主要在美国西南部使用，特别是在纳瓦霍族。它是使用......
2020-7-25 16:12
TypeDraft是TypeScript的超集，它为该语言增加了DSL和宏机制。如果TypeScript是可缩放的JavaScript，那么TypeDraft就应该是可缩放的TypeScript。
我们可以通过指定不同的环境变量来构建不同版本的库。例如，在实现DSL时，我们实现了名为“debug”的DSL：
这样就可......
2020-7-24 8:0
(这是我在PyCon和DevDay上的一次演讲的改编。幻灯片和视频有俄语版本)。
你知道下划线是什么吗？一般而言，让生活变得更美好的是JavaScript库。适用于任何用JavaScript编写的人。我主要编写Python，我也想让我的生活更好，所以我继续为Python编写了一个类似的库。但问题是，你需要理解某种东西......
2020-7-21 2:54
“玩GPT-3感觉就像看到了未来，”旧金山的开发者和艺术家Arram Sabeti上周在推特上写道。这在很大程度上总结了过去几天社交媒体上对OpenAI最新的语言生成人工智能的反应。
OpenAI在5月份发表的一篇研究论文中首次描述了GPT-3。但上周，它开始向要求访问私人测试版的精选人员点滴提供该软件。目前，Ope......
2020-7-18 3:24
几周前，我在GitHub上浏览，遇到了一个吸引我眼球的回购。它托管了一个完全用NIM编写的项目。
我立刻得出结论，这是很多人使用的众多编程语言中的一种，但我只是个不懂它的笨蛋。但我没有把它放在一边，而是决定：让我们来了解一下这方面的情况。
因此，下面来介绍一下我使用NIM的经验，这是一个快速编程教程，以及为什么这种语......
2020-7-11 9:15
机器人游戏-GitHub上的传统组装65(C)02是一个8位架构，有三个主要的8位寄存器。A寄存器或累加器用于大多数计算和移动数据。另一方面，X和Y寄存器用于索引到内存中或向上或向下计数1。它们不能用于通用计算，如A。X和Y寄存器的一种用途是遍历内存。例如，您可以通过将索引加载到X中，然后使用以下指令来访问数组的元素......
2020-7-6 1:59
新的“PKG和存储协议”和随之而来的主机包集中服务已经合并，并出现在JuliaV1.5.0-RC1中。新的PKG将由特定于用户的UUID和其他信息组成的遥测发送到服务器，在那里它用于统计用户数和其他统计数据。我们的目标是回答“有多少Julia用户？”在筹款方面。当前协议是选择退出，这意味着除非用户更改配置，否则将收集......