#language

2021-1-20 7:48
凌晨1点之后1月12日,一位多产的Wikiepdian编辑了专辑Death Breathing的条目。小修改是添加了超链接,这是对英语Wikipedia进行的第十亿次编辑。 “维基百科Ser Amantio di Nicolao修改了专辑《 Death Breathing》中的文章,这是Wikipedian进行的......
2021-1-20 4:7
v0.2现在只是v2.0。这种版本控制方式将与VS Code市场的方式更好地配合使用,即< major>。< minor>。< patch>。我想保留将来升级次要版本的选项。如果0.2冻结了主要和次要字段,那将无法正常工作。 接下来是文档。实际上,该语言的测试阶段应该花更长的时间......
2021-1-11 20:39
此过程是自动的。 您的浏览器将很快重定向到您请求的内容。
2020-12-19 23:46
作为TypeScript的变体,可以轻松地将其编译为WebAssembly,而无需学习新的语言。 与现有的Web生态系统集成-无需设置繁重的工具链。只需npm安装它! AssemblyScript是根据Apache许可版本2.0发布的免费和开源软件,该软件基于Binaryen,并基于WebAssembly规范......
2020-12-12 5:52
从几乎所有指标来看,这都是非凡的成就。人类基因组计划的完成为科学家研究“造人蓝图”提供了起点。制药公司突然拥有了遗传图谱,可以设计出更具针对性的药物。考古学家获得了比较各个年龄段人类基因组的路线图。生物学家获得了一个lodestar,以定位控制健康和行为的基因。基因组时代的闸门已正式开启。但是该项目也揭示了一个谜。 ......
2020-12-11 12:46
我们可以从Inuttitut学习到什么,Inuttitut是由谦卑,诗歌和土地塑造而成的语言。 Quaqtaq村的经理Bobby说:“她要休假两个星期。” 他在谈论娱乐部门的负责人,他掌握了所有钥匙,最重要的是Isummasarvik School储藏室的钥匙。我们需要它来获得运动器材,以保持孩子们在日营中的忙......
2020-11-9 2:0
关于使用Rust编程语言编写名为Eldiro的编程语言的系列文章。
Body Language and Machine Learning(statmodeling.stat.columbia.edu)
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-10-11 15:45
法语DGFiP的M语言编译程序
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-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脱口秀节目。我的朋友是梅里尔·珀......
Navajo Language Grammar(en.wikipedia.org)
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......